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