Mercurial > cpython-lru_cache-weakref
annotate Mac/PythonLauncher/FileSettings.h @ 80661:94de77bd0b4b 2.7
Issue #16194: document imp.load_dynamic problems
when read several extension modules from the same binary object file.
| author | Andrew Svetlov <andrew.svetlov@gmail.com> |
|---|---|
| date | Thu, 29 Nov 2012 19:51:28 +0200 |
| parents | 1cb2ece4b9e1 |
| children | 5d41ebc79738 |
| rev | line source |
|---|---|
|
24426
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
1 // |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
2 // FileSettings.h |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
3 // PythonLauncher |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
4 // |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
5 // Created by Jack Jansen on Sun Jul 21 2002. |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
6 // Copyright (c) 2002 __MyCompanyName__. All rights reserved. |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
7 // |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
8 |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
9 #import <Foundation/Foundation.h> |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
10 |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
11 @protocol FileSettingsSource |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
12 - (NSString *) interpreter; |
|
27913
cdb1abc1b409
Optionally honour #! paths in scripts. Fixes #676358.
Jack Jansen <jack.jansen@cwi.nl>
parents:
26806
diff
changeset
|
13 - (BOOL) honourhashbang; |
|
24426
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
14 - (BOOL) debug; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
15 - (BOOL) verbose; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
16 - (BOOL) inspect; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
17 - (BOOL) optimize; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
18 - (BOOL) nosite; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
19 - (BOOL) tabs; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
20 - (NSString *) others; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
21 - (BOOL) with_terminal; |
|
29570
1aa9057c38b4
Added a field that allows the user to set sys.argv-style arguments
Jack Jansen <jack.jansen@cwi.nl>
parents:
27913
diff
changeset
|
22 - (NSString *) scriptargs; |
|
24426
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
23 @end |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
24 |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
25 @interface FileSettings : NSObject <FileSettingsSource> |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
26 { |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
27 NSString *interpreter; // The pathname of the interpreter to use |
|
26806
b204b4a72b4e
Changed the input field for the interpreter to use (in the preferences
Jack Jansen <jack.jansen@cwi.nl>
parents:
26398
diff
changeset
|
28 NSArray *interpreters; // List of known interpreters |
|
27913
cdb1abc1b409
Optionally honour #! paths in scripts. Fixes #676358.
Jack Jansen <jack.jansen@cwi.nl>
parents:
26806
diff
changeset
|
29 BOOL honourhashbang; // #! line overrides interpreter |
|
24426
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
30 BOOL debug; // -d option: debug parser |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
31 BOOL verbose; // -v option: verbose import |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
32 BOOL inspect; // -i option: interactive mode after script |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
33 BOOL optimize; // -O option: optimize bytecode |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
34 BOOL nosite; // -S option: don't import site.py |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
35 BOOL tabs; // -t option: warn about inconsistent tabs |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
36 NSString *others; // other options |
|
29570
1aa9057c38b4
Added a field that allows the user to set sys.argv-style arguments
Jack Jansen <jack.jansen@cwi.nl>
parents:
27913
diff
changeset
|
37 NSString *scriptargs; // script arguments (not for preferences) |
|
24426
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
38 BOOL with_terminal; // Run in terminal window |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
39 |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
40 FileSettings *origsource; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
41 NSString *prefskey; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
42 } |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
43 |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
44 + (id)getDefaultsForFileType: (NSString *)filetype; |
|
26398
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
45 + (id)getFactorySettingsForFileType: (NSString *)filetype; |
|
24426
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
46 + (id)newSettingsForFileType: (NSString *)filetype; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
47 |
|
26398
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
48 //- (id)init; |
|
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
49 - (id)initForFileType: (NSString *)filetype; |
|
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
50 - (id)initForFSDefaultFileType: (NSString *)filetype; |
|
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
51 - (id)initForDefaultFileType: (NSString *)filetype; |
|
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
52 //- (id)initWithFileSettings: (FileSettings *)source; |
|
24426
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
53 |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
54 - (void)updateFromSource: (id <FileSettingsSource>)source; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
55 - (NSString *)commandLineForScript: (NSString *)script; |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
56 |
|
26398
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
57 //- (void)applyFactorySettingsForFileType: (NSString *)filetype; |
|
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
58 //- (void)saveDefaults; |
|
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
59 //- (void)applyUserDefaults: (NSString *)filetype; |
|
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
60 - (void)applyValuesFromDict: (NSDictionary *)dict; |
|
a0d752be5577
Lots of restructuring, mostly suggested by Bill Bumgarner. Main
Jack Jansen <jack.jansen@cwi.nl>
parents:
24426
diff
changeset
|
61 - (void)reset; |
|
26806
b204b4a72b4e
Changed the input field for the interpreter to use (in the preferences
Jack Jansen <jack.jansen@cwi.nl>
parents:
26398
diff
changeset
|
62 - (NSArray *) interpreters; |
|
24426
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
63 |
|
9afac0dd6b6e
First stab at the launcher application. This will be run when the user
Jack Jansen <jack.jansen@cwi.nl>
parents:
diff
changeset
|
64 @end |
