1 | //
|
---|
2 | // FileSettings.h
|
---|
3 | // PythonLauncher
|
---|
4 | //
|
---|
5 | // Created by Jack Jansen on Sun Jul 21 2002.
|
---|
6 | // Copyright (c) 2002 __MyCompanyName__. All rights reserved.
|
---|
7 | //
|
---|
8 |
|
---|
9 | #import <Foundation/Foundation.h>
|
---|
10 |
|
---|
11 | @protocol FileSettingsSource
|
---|
12 | - (NSString *) interpreter;
|
---|
13 | - (BOOL) honourhashbang;
|
---|
14 | - (BOOL) debug;
|
---|
15 | - (BOOL) verbose;
|
---|
16 | - (BOOL) inspect;
|
---|
17 | - (BOOL) optimize;
|
---|
18 | - (BOOL) nosite;
|
---|
19 | - (BOOL) tabs;
|
---|
20 | - (NSString *) others;
|
---|
21 | - (BOOL) with_terminal;
|
---|
22 | - (NSString *) scriptargs;
|
---|
23 | @end
|
---|
24 |
|
---|
25 | @interface FileSettings : NSObject <FileSettingsSource>
|
---|
26 | {
|
---|
27 | NSString *interpreter; // The pathname of the interpreter to use
|
---|
28 | NSArray *interpreters; // List of known interpreters
|
---|
29 | BOOL honourhashbang; // #! line overrides interpreter
|
---|
30 | BOOL debug; // -d option: debug parser
|
---|
31 | BOOL verbose; // -v option: verbose import
|
---|
32 | BOOL inspect; // -i option: interactive mode after script
|
---|
33 | BOOL optimize; // -O option: optimize bytecode
|
---|
34 | BOOL nosite; // -S option: don't import site.py
|
---|
35 | BOOL tabs; // -t option: warn about inconsistent tabs
|
---|
36 | NSString *others; // other options
|
---|
37 | NSString *scriptargs; // script arguments (not for preferences)
|
---|
38 | BOOL with_terminal; // Run in terminal window
|
---|
39 |
|
---|
40 | FileSettings *origsource;
|
---|
41 | NSString *prefskey;
|
---|
42 | }
|
---|
43 |
|
---|
44 | + (id)getDefaultsForFileType: (NSString *)filetype;
|
---|
45 | + (id)getFactorySettingsForFileType: (NSString *)filetype;
|
---|
46 | + (id)newSettingsForFileType: (NSString *)filetype;
|
---|
47 |
|
---|
48 | //- (id)init;
|
---|
49 | - (id)initForFileType: (NSString *)filetype;
|
---|
50 | - (id)initForFSDefaultFileType: (NSString *)filetype;
|
---|
51 | - (id)initForDefaultFileType: (NSString *)filetype;
|
---|
52 | //- (id)initWithFileSettings: (FileSettings *)source;
|
---|
53 |
|
---|
54 | - (void)updateFromSource: (id <FileSettingsSource>)source;
|
---|
55 | - (NSString *)commandLineForScript: (NSString *)script;
|
---|
56 |
|
---|
57 | //- (void)applyFactorySettingsForFileType: (NSString *)filetype;
|
---|
58 | //- (void)saveDefaults;
|
---|
59 | //- (void)applyUserDefaults: (NSString *)filetype;
|
---|
60 | - (void)applyValuesFromDict: (NSDictionary *)dict;
|
---|
61 | - (void)reset;
|
---|
62 | - (NSArray *) interpreters;
|
---|
63 |
|
---|
64 | @end
|
---|