/******************************************************************************* | |
* Copyright (c) 2016 CEA LIST. | |
* | |
* All rights reserved. This program and the accompanying materials | |
* are made available under the terms of the Eclipse Public License v1.0 | |
* which accompanies this distribution, and is available at | |
* http://www.eclipse.org/legal/epl-v10.html | |
* | |
* Contributors: | |
* Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr | |
* - Initial API and Implementation | |
*******************************************************************************/ | |
package org.eclipse.efm.execution.core; | |
public interface IWorkflowConfigurationConstants extends IWorkflowConfigurationSyntax { | |
public final String WORKSPACE_SELECTION_DIALOG = | |
Activator.PLUGIN_ID + ".WORKSPACE_SELECTION_DIALOG"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// DIRECTOR: ANALYSIS PROFILE a.k.a. MODEL | TESTOFFLINE | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ANALYSIS_PROFILE_MODEL = "MODEL"; | |
public static final String ANALYSIS_PROFILE_TEST_OFFLINE = "TESTOFFLINE"; | |
public static final String ANALYSIS_PROFILE_UNDEFINED = ""; | |
public static final String ANALYSIS_PROFILE_MODEL_UNDEFINED = ""; | |
public static final String ANALYSIS_PROFILE_MODEL_EXPLORATION = | |
"Exploration"; | |
public static final String ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION = | |
"Transition Coverage"; | |
public static final String ANALYSIS_PROFILE_MODEL_COVERAGE_BEHAVIOR = | |
"Behavior Selection"; | |
//////////////////////////////////////////////////////////////////////////// | |
// PROJECT: MODEL SPECIFICATION a.k.a. MAIN INPUT FILE LOCATION | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_SPECIFICATION_PROJECT_NAME = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_PROJECT_NAME"; //$NON-NLS-1$ | |
public static final String ATTR_SPECIFICATION_MODEL_FILE_LOCATION = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_MODEL_FILE_LOCATION"; //$NON-NLS-1$ | |
public static final String DEFAULT_SPECIFICATION_MODEL_FILE_LOCATION = | |
"<spec-model-file-location>"; //$NON-NLS-1$ | |
public static final String ATTR_SPECIFICATION_ANALYSIS_PROFILE = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_ANALYSIS_PROFILE"; //$NON-NLS-1$ | |
public static final String ATTR_SPECIFICATION_MODEL_ANALYSIS = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_MODEL_ANALYSIS"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_ANALYSIS_ELEMENT_NAME_LIST = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_ANALYSIS_ELEMENT_NAME_LIST"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// PROJECT: MODEL SPECIFICATION a.k.a. MAIN INPUT FILE LOCATION | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_WORKSPACE_ROOT_LOCATION = | |
Activator.PLUGIN_ID + ".ATTR_WORKSPACE_ROOT_LOCATION"; //$NON-NLS-1$ | |
public static final String DEFAULT_WORKSPACE_ROOT_LOCATION = | |
"<workspace-root-location>"; //$NON-NLS-1$ | |
public static final String ATTR_WORKSPACE_OUTPUT_FOLDER_NAME = | |
Activator.PLUGIN_ID + ".ATTR_WORKSPACE_OUTPUT_FOLDER_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_WORKSPACE_OUTPUT_FOLDER_NAME = | |
"output"; //$NON-NLS-1$ | |
public static final String ATTR_WORKSPACE_LOG_FOLDER_NAME = | |
Activator.PLUGIN_ID + ".ATTR_WORKSPACE_LOG_FOLDER_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_WORKSPACE_LOG_FOLDER_NAME = | |
"log"; //$NON-NLS-1$ | |
public static final String ATTR_WORKSPACE_DEBUG_FOLDER_NAME = | |
Activator.PLUGIN_ID + ".ATTR_WORKSPACE_DEBUG_FOLDER_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_WORKSPACE_DEBUG_FOLDER_NAME = | |
"debug"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// SUPERVISOR: GRAPH EXPLORATION LIMIT a.k.a. STOP CRITERIA | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_SPECIFICATION_STOP_CRITERIA_NODE = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_STOP_CRITERIA_NODE"; //$NON-NLS-1$ | |
public static final String ATTR_SPECIFICATION_STOP_CRITERIA_WIDTH = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_STOP_CRITERIA_WIDTH"; //$NON-NLS-1$ | |
public static final String ATTR_SPECIFICATION_STOP_CRITERIA_HEIGHT = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_STOP_CRITERIA_HEIGHT"; //$NON-NLS-1$ | |
public static final String ATTR_SPECIFICATION_STOP_CRITERIA_STEPS = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_STOP_CRITERIA_STEPS"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// SUPERVISOR: TIME EXPLORATION LIMIT a.k.a. TIMEOUT | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_SPECIFICATION_STOP_CRITERIA_TIMEOUT = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_STOP_CRITERIA_TIMEOUT"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// SUPERVISOR: GRAPH SEARCH (QUEUE) STRATEGY a.k.a. ANALYSE STRATEGY | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_SPECIFICATION_ANALYZE_STRATEGY = | |
Activator.PLUGIN_ID + ".ATTR_SPECIFICATION_ANALYZE_STRATEGY"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// SUPERVISOR: REDUNDANCY DETECTOR a.k.a. INCLUSION CRITERION | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_ENABLED_INCLUSION_CRITERION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_INCLUSION_CRITERION"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// TRANSITION COVERAGE WORKER: a.k.a. ALL | DETAILS | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_ENABLED_TRANSITION_COVERAGE_DETAILS_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRANSITION_COVERAGE_DETAILS_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_SELECTION"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// TRANSITION COVERAGE WORKER: a.k.a. TRANSITION COVERAGE PROPERTY | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_TRANSITION_COVERAGE_BEGIN_STEP = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_BEGIN_STEP"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_STOP = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_STOP"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_MINIMIZE = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_MINIMIZE"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_SLICE = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_SLICE"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_HEURISTIC = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HEURISTIC"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_SCOPE = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_SCOPE"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// TRANSITION COVERAGE WORKER: a.k.a. TRANSITION COVERAGE HEURISTIC | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_TRANSITION_COVERAGE_HEURISTIC_START = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HEURISTIC_START"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_HEURISTIC_TRIALS = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HEURISTIC_TRIALS"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_OBJECTIVE_RATE = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_OBJECTIVE_RATE"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_OBJECTIVE_REST = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_OBJECTIVE_REST"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_DIRECTIVE_TRACE_HEURISTIC = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_DIRECTIVE_TRACE_HEURISTIC"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_DIRECTIVE_TRACE_COUNT_LIMIT = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_DIRECTIVE_TRACE_COUNT_LIMIT"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_DIRECTIVE_TRACE_SIZE_LIMIT = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_DIRECTIVE_TRACE_SIZE_LIMIT"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_LOOKAHEAD_DEPTH = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_LOOKAHEAD_DEPTH"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_LOOKAHEAD_WIDTH = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_LOOKAHEAD_WIDTH"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_HIT_STRONGLY_RANDOM = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HIT_STRONGLY_RANDOM"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_HIT_STRONGLY_COUNT = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HIT_STRONGLY_COUNT"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_HIT_WEAKLY_RANDOM = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HIT_WEAKLY_RANDOM"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_HIT_WEAKLY_COUNT = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HIT_WEAKLY_COUNT"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_HIT_OTHER_RANDOM = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HIT_OTHER_RANDOM"; //$NON-NLS-1$ | |
public static final String ATTR_TRANSITION_COVERAGE_HIT_OTHER_COUNT = | |
Activator.PLUGIN_ID + ".ATTR_TRANSITION_COVERAGE_HIT_OTHER_COUNT"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// BEHAVIOR COVERAGE WORKER: a.k.a. HIT OR JUMP PROPERTY | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_BEGIN_STEP = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_BEGIN_STEP"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_HEURISTIC = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_HEURISTIC"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_STOP = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_STOP"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_SLICE = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_SLICE"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_SEARCH_SCOPE_LOCALLY = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_SEARCH_SCOPE_LOCALLY"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_SCHEDULER_ORDERED = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_SCHEDULER_ORDERED"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_HIT_CONSECUTIVE = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_HIT_CONSECUTIVE"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_HIT_FOLDING = | |
Activator.PLUGIN_ID + ".ATTR_HIT_FOLDING"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_HIT_LUCKY = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_HIT_LUCKY"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_HIT_MAX = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_HIT_MAX"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_JUMP_SLICE = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_JUMP_SLICE"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// BEHAVIOR COVERAGE WORKER: a.k.a. HIT OR JUMP HEURISTIC | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_JUMP_HEIGHT = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_JUMP_HEIGHT"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_JUMP_TRIALS_LIMIT = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_JUMP_TRIALS_LIMIT"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_HIT_COUNT = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_HIT_COUNT"; //$NON-NLS-1$ | |
public static final String ATTR_BEHAVIOR_SELECTION_HOJ_JUMP_COUNT = | |
Activator.PLUGIN_ID + ".ATTR_BEHAVIOR_SELECTION_HOJ_JUMP_COUNT"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// TEST OFFLINE WORKER: CONFIGURATION a.k.a. INPUT FILE LOCATION | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_TEST_OFFLINE_TRACE_FILE_LOCATION = | |
Activator.PLUGIN_ID + ".ATTR_TRACE_FILE_LOCATION"; //$NON-NLS-1$ | |
public static final String DEFAULT_TEST_OFFLINE_TRACE_FILE_LOCATION = | |
"<merge-trace-file-path>"; //$NON-NLS-1$ | |
public static final String ATTR_TEST_OFFLINE_PURPOSE_FILE_LOCATION = | |
Activator.PLUGIN_ID + ".ATTR_TEST_PURPOSE_FILE_LOCATION"; //$NON-NLS-1$ | |
public static final String DEFAULT_TEST_OFFLINE_PURPOSE_FILE_LOCATION = | |
"<test-purpose-file-path>"; //$NON-NLS-1$ | |
public static final String ATTR_TEST_OFFLINE_ENABLED_TRACE_CONFIGURATION = | |
Activator.PLUGIN_ID + ".ATTR_TEST_OFFLINE_ENABLED_TRACE_CONFIGURATION"; //$NON-NLS-1$ | |
public static final String ATTR_TEST_OFFLINE_OBSERVABLE_SPECIFICATION = | |
Activator.PLUGIN_ID + ".ATTR_TEST_OFFLINE_OBSERVABLE_TRACE"; //$NON-NLS-1$ | |
public static final String DEFAULT_TEST_OFFLINE_OBSERVABLE_SPECIFICATION | |
= "//[*] , use for ANY element w.r.t. the kind" | |
+ "\n//com_element_id ::= <port_name_id> | <signal_name_id>" | |
+ "\n//com = <machine_name_id> -> <com_element_id>" | |
// + "\n//input#env = <machine_name_id> -> <com_element_id>" | |
// + "\n//output#env = <machine_name_id> -> <com_element_id>" | |
// + "\n//input#rdv = <machine_name_id> -> <com_element_id>" | |
// + "\n//output#rdv = <machine_name_id> -> <com_element_id>" | |
+ "\n//input = <machine_name_id> -> <com_element_id>" | |
+ "\n//output = <machine_name_id> -> <com_element_id>"; //$NON-NLS-1$ | |
public static final String ATTR_TEST_OFFLINE_CONTROLLABLE_SPECIFICATION = | |
Activator.PLUGIN_ID + ".ATTR_TEST_OFFLINE_CONTROLLABLE_TRACE"; //$NON-NLS-1$ | |
public static final String DEFAULT_TEST_OFFLINE_CONTROLLABLE_SPECIFICATION = | |
"input#env = [*]"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// TEST GENERATION WORKER : a.k.a. | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_ENABLED_TRACE_EXTENSION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_EXTENSION"; //$NON-NLS-1$ | |
public static final String ATTR_TRACE_EXTENSION_EVALUATION_STEPS = | |
Activator.PLUGIN_ID + ".ATTR_TRACE_EXTENSION_EVALUATION_STEPS"; //$NON-NLS-1$ | |
public static final String ATTR_TRACE_EXTENSION_OBJECTIVE = | |
Activator.PLUGIN_ID + ".ATTR_TRACE_EXTENSION_OBJECTIVE"; //$NON-NLS-1$ | |
public static final String DEFAULT_TRACE_EXTENSION_OBJECTIVE = | |
"output#env = [*]\n" | |
+ SYNTAX_TRACE_SPECIFICATION_LINK; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ENABLED_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ENABLED"; //$NON-NLS-1$ | |
public static final String DEFAULT_BASIC_TRACE_FOLDER_NAME = | |
"basic"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_FOLDER_NAME = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_FOLDER_NAME"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_FILE_NAME = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_FILE_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_BASIC_TRACE_FILE_NAME = | |
"testcases.txt"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ENABLED_NORMALIZATION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ELIMINATION_REDUNDANCE"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_SHOW_INITIALIZATION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_SHOW_INITIALIZATION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_EXTERNAL_INPUT_COM_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_EXTERNAL_INPUT_COM_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_EXTERNAL_OUTPUT_COM_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_EXTERNAL_OUTPUT_COM_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_INTERNAL_INPUT_COM_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_INTERNAL_INPUT_COM_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_INTERNAL_OUTPUT_COM_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_INTERNAL_OUTPUT_COM_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_INPUT_COM_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_INPUT_COM_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_OUTPUT_COM_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_IOUTPUT_COM_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_TIME_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_TIME_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_VARIABLE_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_VARIABLE_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_TRANSITION_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_TRANSITION_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_ALL_STATE_SELECTION = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_ALL_STATE_SELECTION"; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_DETAILS_ELEMENT_LIST = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_DETAILS_ELEMENT_LIST"; //$NON-NLS-1$ | |
public static final String DEFAULT_BASIC_TRACE_DETAILS_ELEMENT_LIST = | |
SYNTAX_TRACE_SPECIFICATION_LINK; //$NON-NLS-1$ | |
public static final String ATTR_BASIC_TRACE_FORMAT_ELEMENT_LIST = | |
Activator.PLUGIN_ID + ".ATTR_BASIC_TRACE_FORMAT_ELEMENT_LIST"; //$NON-NLS-1$ | |
public static final String DEFAULT_BASIC_TRACE_FORMAT_ELEMENT_LIST | |
// %1% --> string message | |
// %2% --> execution context identifier | |
= "comment = \"\\t// %1%\\n\"" | |
// %1% --> condition | |
+ "\npath#condition = \"\\tPC: %1%\\n\"" | |
+ "\npath#timed#condition = \"\\tPtC: %1%\\n\"" | |
+ "\nnode#condition = "//\"\\tNC: %1%\\n\"" | |
+ "\nnode#timed#condition = "//\"\\tNtC: %1%\\n\"" | |
// %1% --> machine runtime pid | |
// %2% --> machine identifier name | |
// %3% --> port | signal | variable | machine | transition | routine | |
// %4% --> value | |
+ "\ntime = \"\\tdelta = %4%\\n\"" | |
// + "\nassign = \"\\t2%:%3%=%4%\\n\"" | |
+ "\nassign = \"\\t%3%=%4%\\n\"" | |
+ "\nnewfresh = \"\\tnewfresh(%2%:%3%) <- %4%\\n\"" | |
+ "\ninput#env = \"\\tINPUT %2%->%3%%4%\\n\"" | |
+ "\ninput#rdv = \"\\tinput %2%->%3%%4%\\n\"" | |
+ "\ninput = \"\\tinput %2%->%3%%4%\\n\"" | |
// + "\ninput = \"\\t%2%->%3% ? %4%\\n\"" | |
+ "\noutput#env = \"\\tOUTPUT %2%->%3%%4%\\n\"" | |
+ "\noutput#rdv = \"\\toutput %2%->%3%%4%\\n\"" | |
+ "\noutput = \"\\toutput %2%->%3%%4%\\n\"" | |
+ "\nroutine = \"\\tinvoke %2%:%3%\\n\"" | |
+ "\ntransition = \"\\tfired transition %2%:%3%\\n\"" | |
+ "\nmachine = \"\\trun %1%:%2%\\n\""; //$NON-NLS-1$ | |
// TTCN Tests Generation | |
public static final String ATTR_TTCN_ENABLED_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_ENABLED"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_ENABLED_CUSTOMIZATION = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_ENABLED_CUSTOMIZATION"; //$NON-NLS-1$ | |
public static final boolean DEFAULT_TTCN_ENABLED_CUSTOMIZATION = false; | |
public static final String ATTR_TTCN_FOLDER_NAME = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_FOLDER_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_FOLDER_NAME = | |
"TTCN"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TRACE_SPECIFICATION | |
= "input#env = [*]\n" | |
+ "output#env = [*]\n" | |
+ SYNTAX_TRACE_SPECIFICATION_LINK; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_CONTROL_MODULE_NAME = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_CONTROL_MODULE_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_CONTROL_MODULE_NAME = | |
"TTCN_ControlPart"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_DECLARATIONS_MODULE_NAME = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_DECLARATIONS_MODULE_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_DECLARATIONS_MODULE_NAME = | |
"TTCN_Declarations"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_TEMPLATES_MODULE_NAME = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TEMPLATES_MODULE_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TEMPLATE_MODULE_NAME = | |
"TTCN_Templates"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_TESTCASES_MODULE_NAME = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TESTCASES_MODULE_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TESTCASES_MODULE_NAME = | |
"TTCN_TestsAndControl"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_TESTCASES_STARTING_WRAPPER = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TESTCASES_STARTING_WRAPPER"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TESTCASES_STARTING_WRAPPER = | |
// %1% --> <system identifier> | |
"\t\tf_start();"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_TESTCASES_ENDING_WRAPPER = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TESTCASES_ENDING_WRAPPER"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TESTCASES_ENDING_WRAPPER = | |
// %1% --> <system identifier> | |
"\t\tf_end();"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_TESTCASES_SENDING_WRAPPER = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TESTCASES_SENDING_WRAPPER"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TESTCASES_SENDING_WRAPPER = | |
// %1% --> <system identifier> | |
// %2% --> <environment channel> | <(system|environment) port> | |
// %4% --> <template port as type> | |
// %4% --> <template port identifier> | |
"\t\t%2%_send_%3%( %4% )"; | |
public static final String ATTR_TTCN_TESTCASES_RECEIVING_WRAPPER = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TESTCASES_RECEIVING_WRAPPER"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TESTCASES_RECEIVING_WRAPPER = | |
// %1% --> <system identifier> | |
// %2% --> <environment channel> | <(system|environment) port> | |
// %3% --> <template port as type> | |
// %4% --> <template port identifier> | |
"\t\t%2%_receive_%3%( %4% )"; | |
public static final String ATTR_TTCN_ADAPTATION_MODULE_NAME = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_ADAPTATION_MODULE_NAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_ADAPTATION_MODULE_NAME = | |
"TTCN_Adaptation"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_ADAPTATION_UTILS_IMPL = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_ADAPTATION_UTILS_IMPL"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_ADAPTATION_UTILS_IMPL | |
= "\t// A testcase could just call the function below, " | |
+ "when it needs to wait for a timeout." | |
+ "\n\t// In case the user wants he can activated " | |
+ "altsteps in 'f_start()' to catch events" | |
+ "\n\t// during this time period" | |
+ "\n\tfunction f_waitForTimeout(float p_duration) {" | |
+ "\n\t\ttimer t;" | |
+ "\n\t\tt.start(p_duration);" | |
+ "\n\t\tt.timeout;" | |
+ "\n\t}"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_TESTCASES_STARTING_ENDING_IMPL = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TESTCASES_STARTING_ENDING_IMPL"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TESTCASES_STARTING_ENDING_IMPL | |
// %1% --> <system identifier> | |
= "\tfunction f_start() runs on runsOn_%1% { }" //$NON-NLS-1$ | |
+ "\n\tfunction f_end() runs on runsOn_%1% { }"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_TESTCASES_SENDING_IMPL = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TESTCASES_SENDING_IMPL"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TESTCASES_SENDING_IMPL | |
// %1% --> <environment channel> | <(system|environment) port> | |
// %2% --> <template port as type> | |
// %3% --> <template port identifier> | |
// %4% --> <system> | |
= "\tfunction %2%_send_%3%( template %3% pdu ) runs on runsOn_%1% {" | |
+ "\n\t\t%2%.send( %3% )" | |
+ "\n\t}"; //$NON-NLS-1$ | |
public static final String ATTR_TTCN_TESTCASES_RECEIVING_IMPL = | |
Activator.PLUGIN_ID + ".ATTR_TTCN_TESTCASES_RECEIVING_IMPL"; //$NON-NLS-1$ | |
public static final String DEFAULT_TTCN_TESTCASES_RECEIVING_IMPL | |
= "\tfunction %2%_receive_%3%( template %3% pdu ) runs on runsOn_%1% {" | |
+ "\n\t\t%2%.receive( %3% )" | |
+ "\n\t}"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// DEBUG: a.k.a. | |
//////////////////////////////////////////////////////////////////////////// | |
// Console Log | |
public static final String ATTR_CONSOLE_LOG_VERBOSE_LEVEL = | |
Activator.PLUGIN_ID + ".ATTR_CONSOLE_LOG_VERBOSE_LEVEL"; //$NON-NLS-1$ | |
// First Symbex Workflow Page | |
public static final String ATTR_ENABLED_FIRST_PARSED_MODEL_TEXTUAL_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_FIRST_PARSED_MODEL_TEXTUAL_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_FIRST_PARSED_MODEL_TEXTUAL_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_FIRST_PARSED_MODEL_TEXTUAL_FILENAME"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_FIRST_PARSED_MODEL_GRAPHVIZ_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_FIRST_PARSED_MODEL_GRAPHVIZ_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_FIRST_PARSED_MODEL_GRAPHVIZ_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_FIRST_PARSED_MODEL_GRAPHVIZ_FILENAME"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_FIRST_COMPILED_MODEL_TEXTUAL_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_FIRST_COMPILED_MODEL_TEXTUAL_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_FIRST_COMPILED_MODEL_TEXTUAL_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_FIRST_COMPILED_MODEL_TEXTUAL_FILENAME"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_FIRST_SYMBEX_OUTPUT_TEXTUAL_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_FIRST_SYMBEX_OUTPUT_TEXTUAL_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_FIRST_SYMBEX_OUTPUT_TEXTUAL_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_FIRST_SYMBEX_OUTPUT_TEXTUAL_FILENAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_FIRST_SYMBEX_OUTPUT_TEXTUAL_FILENAME = | |
"symbex_output.fscn"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_FILENAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_FILENAME = | |
"symbex_output.gv"; //$NON-NLS-1$ | |
public static final String ATTR_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_TRACE_SPEC = | |
Activator.PLUGIN_ID + ".ATTR_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_TRACE_SPEC"; //$NON-NLS-1$ | |
public static final String DEFAULT_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_TRACE_SPEC | |
= "com = [*]\n" | |
+ "variable = [*]\n" | |
+ SYNTAX_TRACE_SPECIFICATION_LINK; //$NON-NLS-1$ | |
public static final String ATTR_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_FORMAT_SPEC = | |
Activator.PLUGIN_ID + ".ATTR_FIRST_SYMBEX_OUTPUT_GRAPHVIZ_FORMAT_SPEC"; //$NON-NLS-1$ | |
public static final String DEFAULT_SYMBEX_OUTPUT_GRAPHVIZ_FORMAT_SPEC | |
// %1% --> condition | |
= "path#condition = PC: %1%" | |
+ "\npath#timed#condition = PtC: %1%" | |
+ "\nnode#condition = "//NC: %1%" | |
+ "\nnode#timed#condition = "//NtC: %1%" | |
// %1% --> machine runtime pid | |
// %2% --> machine identifier name | |
// %3% --> port | signal | variable | machine | transition | routine | |
// %4% --> value | |
// + "\nassign = %2%:%3%=%4%" | |
+ "\nassign = %3%=%4%" | |
+ "\nnewfresh = newfresh(%1%:%3%) <- %4%" | |
+ "\ninput#env = INPUT %3%%4%" | |
+ "\ninput#rdv = input %3%%4%" | |
+ "\ninput = input %3%%4%" | |
// + "\ninput = %1%->%3% ? %4%" | |
+ "\noutput#env = OUTPUT %3%%4%" | |
+ "\noutput#rdv = output %3%%4%" | |
+ "\noutput = output %3%%4%" | |
// + "\noutput = %1%->%3% ? %4%" | |
+ "\nroutine = invoke %2%:%3%" | |
+ "\ntransition = fired transition %3%" | |
+ "\nmachine = \"run %1%:%3%\""; //$NON-NLS-1$ | |
// Second Symbex Workflow Page | |
public static final String ATTR_ENABLED_SECOND_PARSED_MODEL_TEXTUAL_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_SECOND_PARSED_MODEL_TEXTUAL_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_SECOND_PARSED_MODEL_TEXTUAL_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_SECOND_PARSED_MODEL_TEXTUAL_FILENAME"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_SECOND_PARSED_MODEL_GRAPHVIZ_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_SECOND_PARSED_MODEL_GRAPHVIZ_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_SECOND_PARSED_MODEL_GRAPHVIZ_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_SECOND_PARSED_MODEL_GRAPHVIZ_FILENAME"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_SECOND_COMPILED_MODEL_TEXTUAL_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_SECOND_COMPILED_MODEL_TEXTUAL_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_SECOND_COMPILED_MODEL_TEXTUAL_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_SECOND_COMPILED_MODEL_TEXTUAL_FILENAME"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_SECOND_SYMBEX_OUTPUT_TEXTUAL_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_SECOND_SYMBEX_OUTPUT_TEXTUAL_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_SECOND_SYMBEX_OUTPUT_TEXTUAL_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_SECOND_SYMBEX_OUTPUT_TEXTUAL_FILENAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_SECOND_SYMBEX_OUTPUT_TEXTUAL_FILENAME = | |
"symbex_output_extension.fscn"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_GENERATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_GENERATION"; //$NON-NLS-1$ | |
public static final String ATTR_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_FILENAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_FILENAME = | |
"symbex_output_extension.gv"; //$NON-NLS-1$ | |
public static final String ATTR_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_TRACE_SPEC = | |
Activator.PLUGIN_ID + ".ATTR_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_TRACE_SPEC"; //$NON-NLS-1$ | |
public static final String DEFAULT_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_TRACE_SPEC | |
= "com = [*]\n" | |
+ SYNTAX_TRACE_SPECIFICATION_LINK; //$NON-NLS-1$ | |
public static final String ATTR_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_FORMAT_SPEC = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_SECOND_SYMBEX_OUTPUT_GRAPHVIZ_FORMAT_SPEC"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// DEVELOPER: a.k.a. SYMBEX TUNING OPTION | |
//////////////////////////////////////////////////////////////////////////// | |
public static final String ATTR_ENABLED_DEVELOPER_TUNING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_DEVELOPER_TUNING"; //$NON-NLS-1$ | |
public static final String ATTR_DEVELOPER_TUNING_LOG_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_DEVELOPER_TUNING_LOG_FILENAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_DEVELOPER_TUNING_LOG_FILENAME = | |
"symbex.log"; //$NON-NLS-1$ | |
public static final String ATTR_DEVELOPER_TUNING_DEBUG_FILENAME = | |
Activator.PLUGIN_ID + ".ATTR_DEVELOPER_TUNING_DEBUG_FILENAME"; //$NON-NLS-1$ | |
public static final String DEFAULT_DEVELOPER_TUNING_DEBUG_FILENAME = | |
"symbex.dbg"; //$NON-NLS-1$ | |
public static final String ATTR_DEVELOPER_TUNING_DEBUG_LEVEL = | |
Activator.PLUGIN_ID + ".ATTR_DEVELOPER_TUNING_DEBUG_LEVEL"; //$NON-NLS-1$ | |
// General Context | |
public static final String ATTR_ENABLED_TRACE_PARSING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_PARSING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_CONFIGURING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_CONFIGURING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_COMPILING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_COMPILING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_LOADING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_LOADING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_COMPUTING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_COMPUTING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_REPORTING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_REPORTING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_SOLVING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_SOLVING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_PROFILING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_PROFILING"; //$NON-NLS-1$ | |
// Process Stage: Processing, Filtering, ... | |
public static final String ATTR_ENABLED_TRACE_ALL_PROCESS_STAGE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_ALL_PROCESS_STAGE"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_PRE_PROCESSING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_PRE_PROCESSING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_POST_PROCESSING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_POST_PROCESSING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_PROCESSING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_PROCESSING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_PRE_FILTERING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_PRE_FILTERING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_POST_FILTERING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_POST_FILTERING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_FILTERING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_FILTERING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_QUEUE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_QUEUE"; //$NON-NLS-1$ | |
// Statement Evaluation | |
public static final String ATTR_ENABLED_TRACE_PROGRAM = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_PROGRAM"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_STATEMENT = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_STATEMENT"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_STATEMENT_ASSIGNMENT = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_STATEMENT_ASSIGNMENT"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_STATEMENT_COMMUNICATION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_STATEMENT_COMMUNICATION"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_STATEMENT_TEST_DECISION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_STATEMENT_TEST_DECISION"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_BYTECODE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_BYTECODE"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_DATA = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_DATA"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_TRACE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_TRACE"; //$NON-NLS-1$ | |
// Element: Property, Signal... | |
public static final String ATTR_ENABLED_TRACE_VARIABLE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_VARIABLE"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_BUFFER = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_BUFFER"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_PORT = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_PORT"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_SIGNAL = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_SIGNAL"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_CONNEXION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_CONNEXION"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_TIME = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_TIME"; //$NON-NLS-1$ | |
// Executable Component... | |
public static final String ATTR_ENABLED_TRACE_EXECUTABLE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_EXECUTABLE"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_ACTIVITY = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_ACTIVITY"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_ROUTINE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_ROUTINE"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_TRANSITION = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_TRANSITION"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_MACHINE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_MACHINE"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_STATEMACHINE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_STATEMACHINE"; //$NON-NLS-1$ | |
// Others: [Qualified]NameID, RefCount, ... | |
public static final String ATTR_ENABLED_TRACE_NAME_ID = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_NAME_ID"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_QUALIFIED_NAME_ID = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_QUALIFIED_NAME_ID"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_FULLY_QUALIFIED_NAME_ID = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_FULLY_QUALIFIED_NAME_ID"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_REDUNDANCE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_REDUNDANCE"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_REFERENCE_COUNTING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_REFERENCE_COUNTING"; //$NON-NLS-1$ | |
public static final String ATTR_ENABLED_TRACE_NOTHING = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_NOTHING"; //$NON-NLS-1$ | |
// God Mode | |
public static final String ATTR_ENABLED_TRACE_GOD_MODE = | |
Activator.PLUGIN_ID + ".ATTR_ENABLED_TRACE_GOD_MODE"; //$NON-NLS-1$ | |
//////////////////////////////////////////////////////////////////////////// | |
// : a.k.a. | |
//////////////////////////////////////////////////////////////////////////// | |
} |