Fixed: Editor open a file in R/O (as external) when debugging a file under linked...
[phpeclipse.git] / net.sourceforge.phpeclipse.launching / src / net / sourceforge / phpdt / internal / launching / PHPLaunchConfigurationAttribute.java
1 package net.sourceforge.phpdt.internal.launching;
2
3 public interface PHPLaunchConfigurationAttribute {
4         static final String PHP_LAUNCH_CONFIGURATION_TYPE = "net.sourceforge.phpdt.launching.LaunchConfigurationTypePHPApplication";
5
6         static final String PHP_LAUNCH_PROCESS_TYPE = "net.sourceforge.phpdt.launching.processType";
7
8         static final String CUSTOM_LOAD_PATH = PHPLaunchingPlugin.PLUGIN_ID
9                         + ".CUSTOM_LOAD_PATH";
10
11         static final String FILE_NAME = PHPLaunchingPlugin.PLUGIN_ID + ".FILE_NAME";
12
13         static final String INTERPRETER_ARGUMENTS = PHPLaunchingPlugin.PLUGIN_ID
14                         + ".INTERPRETER_ARGUMENTS";
15
16         static final String MODULE_NAME = PHPLaunchingPlugin.PLUGIN_ID
17                         + ".MODULE_NAME";
18
19         static final String PROGRAM_ARGUMENTS = PHPLaunchingPlugin.PLUGIN_ID
20                         + ".PROGRAM_ARGUMENTS";
21
22         static final String PROJECT_NAME = PHPLaunchingPlugin.PLUGIN_ID
23                         + ".PROJECT_NAME";
24
25         static final String SELECTED_INTERPRETER = PHPLaunchingPlugin.PLUGIN_ID
26                         + ".SELECTED_INTERPRETER";
27
28         static final String WORKING_DIRECTORY = PHPLaunchingPlugin.PLUGIN_ID
29                         + ".WORKING_DIRECTORY";
30
31         // static final String USE_DEFAULT_LOAD_PATH = PHPLaunchingPlugin.PLUGIN_ID
32         // + ".USE_DEFAULT_LOAD_PATH";
33         static final String USE_DEFAULT_WORKING_DIRECTORY = PHPLaunchingPlugin.PLUGIN_ID
34                         + ".USE_DEFAULT_WORKING_DIRECTORY";
35
36         static final String REMOTE_DEBUG = PHPLaunchingPlugin.PLUGIN_ID
37                         + ".REMOTE_DEBUG";
38
39         static final String REMOTE_DEBUG_TRANSLATE = PHPLaunchingPlugin.PLUGIN_ID
40                         + ".REMOTE_DEBUG_TRANSLATE";
41
42         static final String REMOTE_PATH = PHPLaunchingPlugin.PLUGIN_ID
43                         + ".REMOTE_PATH";
44
45         static final String OPEN_DBGSESSION_IN_BROWSER = PHPLaunchingPlugin.PLUGIN_ID
46                         + ".OPEN_DBGSESSION_IN_BROWSER";
47
48         static final String FILE_MAP = PHPLaunchingPlugin.PLUGIN_ID + ".FILE_MAP";
49 }