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 OPEN_DBGSESSION_IN_EXTERNAL_BROWSER = PHPLaunchingPlugin.PLUGIN_ID
  49                         + ".OPEN_DBGSESSION_IN_EXTERNAL_BROWSER";
  50
  51         static final String RELAUNCH_ON_SCRIPT_TERMINATION = PHPLaunchingPlugin.PLUGIN_ID
  52                         + ".RELAUNCH_ON_SCRIPT_TERMINATION";
  53
  54         static final String FILE_MAP = PHPLaunchingPlugin.PLUGIN_ID + ".FILE_MAP";
  55 }