Package: IDebugConstants

IDebugConstants

nameinstructionbranchcomplexitylinemethod
static {...}
M: 22 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%

Coverage

1: /*
2: * #%~
3: * org.overture.ide.debug
4: * %%
5: * Copyright (C) 2008 - 2014 Overture
6: * %%
7: * This program is free software: you can redistribute it and/or modify
8: * it under the terms of the GNU General Public License as
9: * published by the Free Software Foundation, either version 3 of the
10: * License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public
18: * License along with this program. If not, see
19: * <http://www.gnu.org/licenses/gpl-3.0.html>.
20: * #~%
21: */
22: package org.overture.ide.debug.core;
23:
24: import org.overture.ide.builders.vdmj.IBuilderVdmjConstants;
25: import org.overture.ide.core.ICoreConstants;
26:
27: public interface IDebugConstants
28: {
29:         final static String VDMPP_DEBUGGING_ENGINE_ID_KEY = "vdmpp_debugging_engine_id";
30:         final static String PLUGIN_ID = "org.overture.ide.debug";
31:         final static String EXTENSION_SOURCEVIEWER_EDITOR = "org.overture.ide.debug.sourceviewerEditor";
32:
33:         // used in the launch configuration
34:         final static String VDM_LAUNCH_CONFIG_PROJECT = "vdm_launch_config_project";
35:         final static String VDM_LAUNCH_CONFIG_MODULE = "vdm_launch_config_module";
36:         final static String VDM_LAUNCH_CONFIG_OPERATION = "vdm_launch_config_method";
37:         final static String VDM_LAUNCH_CONFIG_STATIC_OPERATION = "vdm_launch_config_static_method";
38:         final static String VDM_LAUNCH_CONFIG_EXPRESSION = "vdm_launch_config_expression";
39:
40:         final static String VDM_LAUNCH_CONFIG_DEFAULT = "vdm_launch_config_default";
41:
42:         final static String VDM_LAUNCH_CONFIG_IS_TRACE = "vdm_launch_config_is_trace";
43:
44:         // This is used by external tools to force listening on a specific port
45:         final String VDM_LAUNCH_CONFIG_OVERRIDE_PORT = "vdm_launch_config_override_port";
46:
47:         final static String VDM_LAUNCH_CONFIG_REMOTE_CONTROL = "vdm_launch_config_remote_control_class";
48:         final static String VDM_LAUNCH_CONFIG_CREATE_COVERAGE = "vdm_launch_config_create_coverage";
49:         final static String VDM_LAUNCH_CONFIG_REMOTE_DEBUG = "vdm_launch_config_remote_debug";
50:         final static String VDM_LAUNCH_CONFIG_VM_MEMORY_OPTION = "vdm_launch_config_memory_option";
51:         final static String VDM_LAUNCH_CONFIG_ENABLE_LOGGING = "vdm_launch_config_enable_logging";
52:         final static String VDM_LAUNCH_CONFIG_SHOW_VM_SETTINGS = "VDM_LAUNCH_CONFIG_SHOW_VM_SETTINGS".toLowerCase();
53:
54:         static final String VDM_LAUNCH_CONFIG_DTC_CHECKS = "vdm_launch_config_dtc_checks";
55:         static final String VDM_LAUNCH_CONFIG_INV_CHECKS = "vdm_launch_config_inv_checks";
56:         static final String VDM_LAUNCH_CONFIG_POST_CHECKS = "vdm_launch_config_post_checks";
57:         static final String VDM_LAUNCH_CONFIG_PRE_CHECKS = "vdm_launch_config_pre_checks";
58:         static final String VDM_LAUNCH_CONFIG_MEASURE_CHECKS = "vdm_launch_config_measure_checks";
59:
60:         static final String VDM_LAUNCH_CONFIG_CONSOLE_ENTRY = "vdm_launch_config_console_entry";
61:
62:         static final String VDM_LAUNCH_CONFIG_CUSTOM_DEBUGGER_PROPERTIES = "VDM_LAUNCH_CONFIG_CUSTOM_DEBUGGER_PROPERTIES".toLowerCase();
63:
64:         public static final String ID_VDM_DEBUG_MODEL = "org.overture.ide.debug.vdm";
65:         public static final String ATTR_VDM_PROGRAM = ID_VDM_DEBUG_MODEL
66:                         + ".ATTR_VDM_PROGRAM";
67:         public static final String ID_VDM_EXECUTABLE = "java";
68:
69:         public static final String BREAKPOINT_MARKER_ID = "org.eclipse.debug.core.lineBreakpointMarker";
70:
71:         // debugger
72:         public static final String[] DEBUG_ENGINE_BUNDLE_IDS = { PLUGIN_ID,
73:                         ICoreConstants.PLUGIN_ID, IBuilderVdmjConstants.PLUGIN_ID };
74:         public static final String DEBUG_ENGINE_CLASS = "org.overture.interpreter.debug.DBGPReaderV2";
75:         static final String EXTENSION_POINT_VDM_BREAKPOINT_LISTENERS = "breakpointListeners";
76:
77:         /**
78:          * Status code indicating an unexpected error.
79:          */
80:         public static final int ERROR = 120;
81:
82:         public static final String CONSOLE_DEBUG_NAME = "Overture Debug";
83:         public static final String CONSOLE_LOGGING_NAME = "VDM Debug log";
84:         static final String LogViewId = "org.overture.ide.debug.logging.logview";
85:         static final String PREF_DBGP_RESPONSE_TIMEOUT = "dbgp_connection_timeout";
86:
87:         public static final String FILE_SCHEME = "file"; //$NON-NLS-1$
88:         public static final String DBGP_SCHEME = "dbgp"; //$NON-NLS-1$
89:         public static final String UNKNOWN_SCHEME = "unknown"; //$NON-NLS-1$
90:         static final int ERR_DEBUGGER_PROCESS_TERMINATED = 121;
91:         static final String CONSOLE_INTERACTIVE_WELCOME_MESSAGE = "**\n** Welcome to the Overture Interactive Console\n**\n> ";
92:         static final String CONSOLE_MESSAGE = "**\n** Overture Console\n**\n";
93:
94:         // from marker factory
95:         public static final String LINE_BREAKPOINT_MARKER_ID = "vdm.lineBreakpoint.marker"; //$NON-NLS-1$
96:         public static final String METHOD_ENTRY_MARKER_ID = "org.overture.ide.debug.vdmMethodEntryBreakpointMarker"; //$NON-NLS-1$
97:         public static final String WATCHPOINT_MARKER_ID = "org.overture.ide.debug.vdmWatchPointMarker"; //$NON-NLS-1$
98:
99: }