2002-07-29 18:36:35 -03:00
|
|
|
//
|
|
|
|
// FileSettings.h
|
|
|
|
// PythonLauncher
|
|
|
|
//
|
|
|
|
// Created by Jack Jansen on Sun Jul 21 2002.
|
|
|
|
// Copyright (c) 2002 __MyCompanyName__. All rights reserved.
|
|
|
|
//
|
|
|
|
|
|
|
|
#import <Foundation/Foundation.h>
|
|
|
|
|
|
|
|
@protocol FileSettingsSource
|
|
|
|
- (NSString *) interpreter;
|
2003-02-17 11:40:00 -04:00
|
|
|
- (BOOL) honourhashbang;
|
2002-07-29 18:36:35 -03:00
|
|
|
- (BOOL) debug;
|
|
|
|
- (BOOL) verbose;
|
|
|
|
- (BOOL) inspect;
|
|
|
|
- (BOOL) optimize;
|
|
|
|
- (BOOL) nosite;
|
|
|
|
- (BOOL) tabs;
|
|
|
|
- (NSString *) others;
|
|
|
|
- (BOOL) with_terminal;
|
|
|
|
@end
|
|
|
|
|
|
|
|
@interface FileSettings : NSObject <FileSettingsSource>
|
|
|
|
{
|
|
|
|
NSString *interpreter; // The pathname of the interpreter to use
|
2002-12-26 18:10:53 -04:00
|
|
|
NSArray *interpreters; // List of known interpreters
|
2003-02-17 11:40:00 -04:00
|
|
|
BOOL honourhashbang; // #! line overrides interpreter
|
2002-07-29 18:36:35 -03:00
|
|
|
BOOL debug; // -d option: debug parser
|
|
|
|
BOOL verbose; // -v option: verbose import
|
|
|
|
BOOL inspect; // -i option: interactive mode after script
|
|
|
|
BOOL optimize; // -O option: optimize bytecode
|
|
|
|
BOOL nosite; // -S option: don't import site.py
|
|
|
|
BOOL tabs; // -t option: warn about inconsistent tabs
|
|
|
|
NSString *others; // other options
|
|
|
|
BOOL with_terminal; // Run in terminal window
|
|
|
|
|
|
|
|
FileSettings *origsource;
|
|
|
|
NSString *prefskey;
|
|
|
|
}
|
|
|
|
|
|
|
|
+ (id)getDefaultsForFileType: (NSString *)filetype;
|
2002-11-25 09:11:06 -04:00
|
|
|
+ (id)getFactorySettingsForFileType: (NSString *)filetype;
|
2002-07-29 18:36:35 -03:00
|
|
|
+ (id)newSettingsForFileType: (NSString *)filetype;
|
|
|
|
|
2002-11-25 09:11:06 -04:00
|
|
|
//- (id)init;
|
|
|
|
- (id)initForFileType: (NSString *)filetype;
|
|
|
|
- (id)initForFSDefaultFileType: (NSString *)filetype;
|
|
|
|
- (id)initForDefaultFileType: (NSString *)filetype;
|
|
|
|
//- (id)initWithFileSettings: (FileSettings *)source;
|
2002-07-29 18:36:35 -03:00
|
|
|
|
|
|
|
- (void)updateFromSource: (id <FileSettingsSource>)source;
|
|
|
|
- (NSString *)commandLineForScript: (NSString *)script;
|
|
|
|
|
2002-11-25 09:11:06 -04:00
|
|
|
//- (void)applyFactorySettingsForFileType: (NSString *)filetype;
|
|
|
|
//- (void)saveDefaults;
|
|
|
|
//- (void)applyUserDefaults: (NSString *)filetype;
|
|
|
|
- (void)applyValuesFromDict: (NSDictionary *)dict;
|
|
|
|
- (void)reset;
|
2002-12-26 18:10:53 -04:00
|
|
|
- (NSArray *) interpreters;
|
2002-07-29 18:36:35 -03:00
|
|
|
|
|
|
|
@end
|