-
Notifications
You must be signed in to change notification settings - Fork 20
/
EventK3FSM - EdgeDetector(01000000).launch
20 lines (20 loc) · 1.82 KB
/
EventK3FSM - EdgeDetector(01000000).launch
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.gemoc.execution.sequential.javaengine.ui.launcher">
<booleanAttribute key="Event Manager" value="true"/>
<intAttribute key="GEMOC_ANIMATE_DELAY" value="0"/>
<stringAttribute key="GEMOC_DEBUG_MODEL_ID" value="org.eclipse.gemoc.execution.sequential.javaengine.ui.debugModel"/>
<booleanAttribute key="GEMOC_LAUNCH_BREAK_START" value="true"/>
<stringAttribute key="GEMOC_LAUNCH_INITIALIZATION_ARGUMENTS" value="01000000"/>
<stringAttribute key="GEMOC_LAUNCH_INITIALIZATION_METHOD" value="org.eclipse.gemoc.example.k3fsm.k3dsa.FSMAspect.initializeModel"/>
<stringAttribute key="GEMOC_LAUNCH_MELANGE_QUERY" value=""/>
<stringAttribute key="GEMOC_LAUNCH_SELECTED_LANGUAGE" value="org.eclipse.gemoc.example.k3fsm.event.EventK3fsm"/>
<booleanAttribute key="Generic MultiDimensional Data Trace" value="false"/>
<stringAttribute key="LAUNCH_METHOD_ENTRY_POINT" value="public static void org.eclipse.gemoc.example.k3fsm.k3dsa.FSMAspect.main(org.eclipse.gemoc.example.k3fsm.FSM)"/>
<stringAttribute key="LAUNCH_MODEL_ENTRY_POINT" value="/"/>
<stringAttribute key="Resource" value="/org.eclipse.gemoc.example.k3fsm.model_examples.EdgeDetector/xtext/EdgeDetector.k3fsm"/>
<stringAttribute key="airdResource" value="/org.eclipse.gemoc.example.k3fsm.model_examples.EdgeDetector/representations.aird"/>
<booleanAttribute key="fsm MultiDimensional Trace" value="false"/>
<booleanAttribute key="org.eclipse.gemoc.trace.gemoc.addon_equivClassComputing_booleanOption" value="false"/>
<booleanAttribute key="org.eclipse.gemoc.trace.gemoc.addon_saveTraceOnEngineStop_booleanOption" value="true"/>
<booleanAttribute key="org.eclipse.gemoc.trace.gemoc.addon_saveTraceOnStep_booleanOption" value="false"/>
</launchConfiguration>