| /******************************************************************************* | |
| * 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.core.workflow; | |
| import org.eclipse.efm.core.workflow.Activator; | |
| 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. | |
| //////////////////////////////////////////////////////////////////////////// | |
| } |