Bind Behavior Annex complete states to AADL modes 🤖

ba/org.osate.ba.tests/expected/diagnostics-validated/org.osate.ba.tests_models_covering_semantic_cr_D3_C4.txt

@@ -1 +1 @@
-error | semantic | 45 | 3 | 66 | Transitions out of complete states must have dispatch condition : Behavior Annex D.3.(L7) legality rule failed.
+error | semantic | 45 | 20 | 30 | The behavior transition tries to refine a transition mode but it is not consisting with any transition mode of exemple_cr_D3_C4::proc component: Behavior Annex D.3.(C4) consistency rule failed.

ba/org.osate.ba.tests/expected/diagnostics-validated/org.osate.ba.tests_models_covering_syntax_aadlBaTest001.txt

@@ -1,6 +1,5 @@
 error | semantic | 165 | 2 | 2 | NamesResolutionTest::thread1.impl can't have more than one initial state : a5, a6 : Behavior Annex D.3.(L3) legality rule failed.
 error | semantic | 166 | 2 | 2 | NamesResolutionTest::thread1.impl can't have more than one initial state : a5, a6 : Behavior Annex D.3.(L3) legality rule failed.
 error | semantic | 199 | 19 | 14 | The completion relative timeout condition and catch statement must have a value greater or equal to the Period of the thread it is defined in (otherwise) timeout condition can never occur.
-error | semantic | 97 | 3 | 32 | Transitions out of complete states must have dispatch condition : Behavior Annex D.3.(L7) legality rule failed.
 warning | semantic | 25 | 33 | 21 | AadlBaTestPropertySet in 'with' clause of public package section is not used.
 warning | semantic | 25 | 75 | 20 | AadlBaTestSubprogram in 'with' clause of public package section is not used.

ba/org.osate.ba.tests/expected/diagnostics-validated/org.osate.ba.tests_models_issue2147_issue2147.txt

@@ -1 +0,0 @@
-error | semantic | 35 | 5 | 21 | Transitions out of complete states must have dispatch condition : Behavior Annex D.3.(L7) legality rule failed.

ba/org.osate.ba.tests/expected/diagnostics-validated/org.osate.ba.tests_models_issue3178_MixedCompleteStates.txt

@@ -0,0 +1 @@
+error | semantic | 36 | 2 | 7 | Complete state 'waiting' must be a mode identifier because complete state 'idle' is a mode identifier: Behavior Annex D.3 legality rule failed.

ba/org.osate.ba.tests/expected/diagnostics-validated/org.osate.ba.tests_models_issue3178_MultipleSources.txt

@@ -0,0 +1 @@
+error | semantic | 44 | 30 | 5 | The behavior transition tries to refine a transition mode but it is not consisting with any transition mode of MultipleSources::worker.impl component: Behavior Annex D.3.(C4) consistency rule failed.

ba/org.osate.ba.tests/expected/diagnostics-validated/org.osate.ba.tests_models_issue3178_WrongTrigger.txt

@@ -0,0 +1 @@
+error | semantic | 42 | 21 | 5 | The behavior transition tries to refine a transition mode but it is not consisting with any transition mode of WrongTrigger::worker.impl component: Behavior Annex D.3.(C4) consistency rule failed.

ba/org.osate.ba.tests/expected/positions/org.osate.ba.tests_models_covering_semantic_cr_D3_C4.txt

@@ -1,23 +1,19 @@
 annex[0] owner=exemple_cr_D3_C4::proc
-  (BehaviorAnnex, behavior_specification, 1190, 152)
-  (BehaviorCondition, <null>, 1281, 45)
-  (BehaviorState, finalState, 1231, 10)
-  (BehaviorState, m1, 1199, 2)
-  (BehaviorStateGroup, <null>, 1199, 29)
-  (BehaviorStateGroup, <null>, 1231, 26)
-  (BehaviorTransition, <null>, 1276, 66)
-  (ModeSwitchCondition, <null>, 1284, 42)
-  (ModeSwitchConjunction, <null>, 1284, 19)
-  (ModeSwitchConjunction, <null>, 1307, 19)
-  (ModeSwitchTrigger, <null>, 1284, 7)
-  (ModeSwitchTrigger, <null>, 1296, 7)
-  (ModeSwitchTrigger, <null>, 1307, 7)
-  (ModeSwitchTrigger, <null>, 1319, 7)
-  (Reference, <null>, 1284, 7)
-  (Reference, <null>, 1296, 7)
-  (Reference, <null>, 1307, 7)
-  (Reference, <null>, 1319, 7)
-  (ReferenceSegment, inPortA, 1319, 7)
-  (ReferenceSegment, inPortB, 1296, 7)
-  (ReferenceSegment, inPorta, 1284, 7)
-  (ReferenceSegment, inPortc, 1307, 7)
+  (BehaviorAnnex, behavior_specification, 1189, 149)
+  (BehaviorCondition, <null>, 1280, 42)
+  (BehaviorState, finalState, 1230, 10)
+  (BehaviorState, m1, 1198, 2)
+  (BehaviorStateGroup, <null>, 1198, 29)
+  (BehaviorStateGroup, <null>, 1230, 26)
+  (BehaviorTransition, <null>, 1275, 63)
+  (DispatchCondition, <null>, 1283, 39)
+  (DispatchConjunction, <null>, 1292, 19)
+  (DispatchConjunction, <null>, 1315, 7)
+  (DispatchTriggerCondition, <null>, 1292, 30)
+  (DispatchTriggerLogicalExpression, <null>, 1292, 30)
+  (Reference, <null>, 1292, 7)
+  (Reference, <null>, 1304, 7)
+  (Reference, <null>, 1315, 7)
+  (ReferenceSegment, inPortA, 1292, 7)
+  (ReferenceSegment, inPortB, 1304, 7)
+  (ReferenceSegment, inPortC, 1315, 7)

ba/org.osate.ba.tests/expected/positions/org.osate.ba.tests_models_issue3178_InModes.txt

@@ -0,0 +1,4 @@
+annex[0] owner=InModes::worker.impl
+  (BehaviorAnnex, behavior_specification, 1889, 40)
+  (BehaviorState, active, 1897, 6)
+  (BehaviorStateGroup, <null>, 1897, 32)

ba/org.osate.ba.tests/expected/positions/org.osate.ba.tests_models_issue3178_Issue3178.txt

@@ -0,0 +1,14 @@
+annex[0] owner=Issue3178::worker.impl
+  (BehaviorAnnex, behavior_specification, 1957, 110)
+  (BehaviorCondition, <null>, 2042, 14)
+  (BehaviorState, active, 1997, 6)
+  (BehaviorState, idle, 1965, 4)
+  (BehaviorStateGroup, <null>, 1965, 30)
+  (BehaviorStateGroup, <null>, 1997, 24)
+  (BehaviorTransition, <null>, 2035, 32)
+  (DispatchCondition, <null>, 2045, 11)
+  (DispatchConjunction, <null>, 2054, 2)
+  (DispatchTriggerCondition, <null>, 2054, 2)
+  (DispatchTriggerLogicalExpression, <null>, 2054, 2)
+  (Reference, <null>, 2054, 2)
+  (ReferenceSegment, go, 2054, 2)

ba/org.osate.ba.tests/expected/positions/org.osate.ba.tests_models_issue3178_MixedCompleteStates.txt

@@ -0,0 +1,6 @@
+annex[0] owner=MixedCompleteStates::worker.impl
+  (BehaviorAnnex, behavior_specification, 1915, 65)
+  (BehaviorState, idle, 1923, 4)
+  (BehaviorState, waiting, 1955, 7)
+  (BehaviorStateGroup, <null>, 1923, 30)
+  (BehaviorStateGroup, <null>, 1955, 25)

ba/org.osate.ba.tests/expected/positions/org.osate.ba.tests_models_issue3178_MultipleSources.txt

@@ -0,0 +1,15 @@
+annex[0] owner=MultipleSources::worker.impl
+  (BehaviorAnnex, behavior_specification, 2023, 127)
+  (BehaviorCondition, <null>, 2124, 17)
+  (BehaviorState, done, 2072, 4)
+  (BehaviorState, first, 2031, 5)
+  (BehaviorState, second, 2064, 6)
+  (BehaviorStateGroup, <null>, 2031, 31)
+  (BehaviorStateGroup, <null>, 2064, 30)
+  (BehaviorTransition, <null>, 2108, 42)
+  (DispatchCondition, <null>, 2127, 14)
+  (DispatchConjunction, <null>, 2136, 5)
+  (DispatchTriggerCondition, <null>, 2136, 5)
+  (DispatchTriggerLogicalExpression, <null>, 2136, 5)
+  (Reference, <null>, 2136, 5)
+  (ReferenceSegment, wrong, 2136, 5)

ba/org.osate.ba.tests/expected/positions/org.osate.ba.tests_models_issue3178_WrongTrigger.txt

@@ -0,0 +1,14 @@
+annex[0] owner=WrongTrigger::worker.impl
+  (BehaviorAnnex, behavior_specification, 1984, 113)
+  (BehaviorCondition, <null>, 2069, 17)
+  (BehaviorState, active, 2024, 6)
+  (BehaviorState, idle, 1992, 4)
+  (BehaviorStateGroup, <null>, 1992, 30)
+  (BehaviorStateGroup, <null>, 2024, 24)
+  (BehaviorTransition, <null>, 2062, 35)
+  (DispatchCondition, <null>, 2072, 14)
+  (DispatchConjunction, <null>, 2081, 5)
+  (DispatchTriggerCondition, <null>, 2081, 5)
+  (DispatchTriggerLogicalExpression, <null>, 2081, 5)
+  (Reference, <null>, 2081, 5)
+  (ReferenceSegment, wrong, 2081, 5)

ba/org.osate.ba.tests/expected/positions/org.osate.ba.tests_models_issue3182_Issue3182.txt

@@ -1,76 +1,76 @@
 annex[0] owner=Issue3182::derived
-  (AssignmentAction, <null>, 2232, 10)
-  (BehaviorActionBlock, <null>, 2231, 12)
-  (BehaviorAnnex, behavior_specification, 2057, 271)
-  (BehaviorCondition, <null>, 2258, 17)
-  (BehaviorCondition, <null>, 2300, 17)
-  (BehaviorIntegerLiteral, <null>, 2241, 1)
-  (BehaviorState, ACTIVE, 2138, 6)
-  (BehaviorState, finish, 2167, 6)
-  (BehaviorState, start, 2111, 5)
-  (BehaviorStateGroup, <null>, 2111, 22)
-  (BehaviorStateGroup, <null>, 2138, 24)
-  (BehaviorStateGroup, <null>, 2167, 21)
-  (BehaviorTransition, <null>, 2249, 37)
-  (BehaviorTransition, <null>, 2291, 37)
-  (BehaviorTransition, begin, 2205, 39)
-  (BehaviorVariable, local, 2071, 5)
-  (BehaviorVariableGroup, <null>, 2071, 28)
-  (DispatchCondition, <null>, 2261, 14)
-  (DispatchCondition, <null>, 2303, 14)
-  (DispatchConjunction, <null>, 2270, 5)
-  (DispatchConjunction, <null>, 2312, 5)
-  (DispatchTriggerCondition, <null>, 2270, 5)
-  (DispatchTriggerCondition, <null>, 2312, 5)
-  (DispatchTriggerLogicalExpression, <null>, 2270, 5)
-  (DispatchTriggerLogicalExpression, <null>, 2312, 5)
-  (Reference, <null>, 2232, 5)
-  (Reference, <null>, 2270, 5)
-  (Reference, <null>, 2312, 5)
-  (ReferenceSegment, input, 2270, 5)
-  (ReferenceSegment, input, 2312, 5)
-  (ReferenceSegment, local, 2232, 5)
+  (AssignmentAction, <null>, 2283, 10)
+  (BehaviorActionBlock, <null>, 2282, 12)
+  (BehaviorAnnex, behavior_specification, 2108, 271)
+  (BehaviorCondition, <null>, 2309, 17)
+  (BehaviorCondition, <null>, 2351, 17)
+  (BehaviorIntegerLiteral, <null>, 2292, 1)
+  (BehaviorState, ACTIVE, 2189, 6)
+  (BehaviorState, finish, 2218, 6)
+  (BehaviorState, start, 2162, 5)
+  (BehaviorStateGroup, <null>, 2162, 22)
+  (BehaviorStateGroup, <null>, 2189, 24)
+  (BehaviorStateGroup, <null>, 2218, 21)
+  (BehaviorTransition, <null>, 2300, 37)
+  (BehaviorTransition, <null>, 2342, 37)
+  (BehaviorTransition, begin, 2256, 39)
+  (BehaviorVariable, local, 2122, 5)
+  (BehaviorVariableGroup, <null>, 2122, 28)
+  (DispatchCondition, <null>, 2312, 14)
+  (DispatchCondition, <null>, 2354, 14)
+  (DispatchConjunction, <null>, 2321, 5)
+  (DispatchConjunction, <null>, 2363, 5)
+  (DispatchTriggerCondition, <null>, 2321, 5)
+  (DispatchTriggerCondition, <null>, 2363, 5)
+  (DispatchTriggerLogicalExpression, <null>, 2321, 5)
+  (DispatchTriggerLogicalExpression, <null>, 2363, 5)
+  (Reference, <null>, 2283, 5)
+  (Reference, <null>, 2321, 5)
+  (Reference, <null>, 2363, 5)
+  (ReferenceSegment, input, 2321, 5)
+  (ReferenceSegment, input, 2363, 5)
+  (ReferenceSegment, local, 2283, 5)
 annex[1] owner=Issue3182::derived.impl
-  (AssignmentAction, <null>, 2614, 10)
-  (BehaviorActionBlock, <null>, 2613, 12)
-  (BehaviorAnnex, behavior_specification, 2433, 277)
-  (BehaviorCondition, <null>, 2640, 17)
-  (BehaviorCondition, <null>, 2682, 17)
-  (BehaviorIntegerLiteral, <null>, 2623, 1)
-  (BehaviorState, ACTIVE, 2520, 6)
-  (BehaviorState, finish, 2549, 6)
-  (BehaviorState, start, 2493, 5)
-  (BehaviorStateGroup, <null>, 2493, 22)
-  (BehaviorStateGroup, <null>, 2520, 24)
-  (BehaviorStateGroup, <null>, 2549, 21)
-  (BehaviorTransition, <null>, 2631, 37)
-  (BehaviorTransition, <null>, 2673, 37)
-  (BehaviorTransition, begin, 2587, 39)
-  (BehaviorVariable, TASK, 2454, 4)
-  (BehaviorVariable, local, 2447, 5)
-  (BehaviorVariableGroup, <null>, 2447, 34)
-  (DispatchCondition, <null>, 2643, 14)
-  (DispatchCondition, <null>, 2685, 14)
-  (DispatchConjunction, <null>, 2652, 5)
-  (DispatchConjunction, <null>, 2694, 5)
-  (DispatchTriggerCondition, <null>, 2652, 5)
-  (DispatchTriggerCondition, <null>, 2694, 5)
-  (DispatchTriggerLogicalExpression, <null>, 2652, 5)
-  (DispatchTriggerLogicalExpression, <null>, 2694, 5)
-  (Reference, <null>, 2614, 5)
-  (Reference, <null>, 2652, 5)
-  (Reference, <null>, 2694, 5)
-  (ReferenceSegment, input, 2652, 5)
-  (ReferenceSegment, input, 2694, 5)
-  (ReferenceSegment, local, 2614, 5)
+  (AssignmentAction, <null>, 2665, 10)
+  (BehaviorActionBlock, <null>, 2664, 12)
+  (BehaviorAnnex, behavior_specification, 2484, 277)
+  (BehaviorCondition, <null>, 2691, 17)
+  (BehaviorCondition, <null>, 2733, 17)
+  (BehaviorIntegerLiteral, <null>, 2674, 1)
+  (BehaviorState, ACTIVE, 2571, 6)
+  (BehaviorState, finish, 2600, 6)
+  (BehaviorState, start, 2544, 5)
+  (BehaviorStateGroup, <null>, 2544, 22)
+  (BehaviorStateGroup, <null>, 2571, 24)
+  (BehaviorStateGroup, <null>, 2600, 21)
+  (BehaviorTransition, <null>, 2682, 37)
+  (BehaviorTransition, <null>, 2724, 37)
+  (BehaviorTransition, begin, 2638, 39)
+  (BehaviorVariable, TASK, 2505, 4)
+  (BehaviorVariable, local, 2498, 5)
+  (BehaviorVariableGroup, <null>, 2498, 34)
+  (DispatchCondition, <null>, 2694, 14)
+  (DispatchCondition, <null>, 2736, 14)
+  (DispatchConjunction, <null>, 2703, 5)
+  (DispatchConjunction, <null>, 2745, 5)
+  (DispatchTriggerCondition, <null>, 2703, 5)
+  (DispatchTriggerCondition, <null>, 2745, 5)
+  (DispatchTriggerLogicalExpression, <null>, 2703, 5)
+  (DispatchTriggerLogicalExpression, <null>, 2745, 5)
+  (Reference, <null>, 2665, 5)
+  (Reference, <null>, 2703, 5)
+  (Reference, <null>, 2745, 5)
+  (ReferenceSegment, input, 2703, 5)
+  (ReferenceSegment, input, 2745, 5)
+  (ReferenceSegment, local, 2665, 5)
 annex[2] owner=Issue3182::typed
-  (BehaviorAnnex, behavior_specification, 2857, 185)
-  (BehaviorState, finish, 2979, 6)
-  (BehaviorState, ready, 2951, 5)
-  (BehaviorState, start, 2924, 5)
-  (BehaviorStateGroup, <null>, 2924, 22)
-  (BehaviorStateGroup, <null>, 2951, 23)
-  (BehaviorStateGroup, <null>, 2979, 21)
-  (BehaviorTransition, begin, 3017, 25)
-  (BehaviorVariable, implementationData, 2871, 18)
-  (BehaviorVariableGroup, <null>, 2871, 41)
+  (BehaviorAnnex, behavior_specification, 2908, 185)
+  (BehaviorState, finish, 3030, 6)
+  (BehaviorState, ready, 3002, 5)
+  (BehaviorState, start, 2975, 5)
+  (BehaviorStateGroup, <null>, 2975, 22)
+  (BehaviorStateGroup, <null>, 3002, 23)
+  (BehaviorStateGroup, <null>, 3030, 21)
+  (BehaviorTransition, begin, 3068, 25)
+  (BehaviorVariable, implementationData, 2922, 18)
+  (BehaviorVariableGroup, <null>, 2922, 41)

ba/org.osate.ba.tests/expected/resolved-model/org.osate.ba.tests_models_covering_semantic_cr_D3_C4.txt

@@ -3,10 +3,10 @@ annex[0] owner=exemple_cr_D3_C4::proc
     states[0] : BehaviorState name=m1
     states[1] : BehaviorState name=finalState
     transitions[0] : BehaviorTransition
-      condition : ModeSwitchTriggerLogicalExpression
-        modeSwitchConjunctions[0] : ModeSwitchConjunction
-          modeSwitchTriggers[0] : EventDataPortHolder element=exemple_cr_D3_C4::proc.inPortA [EventDataPort]
-          modeSwitchTriggers[1] : EventDataPortHolder element=exemple_cr_D3_C4::proc.inPortB [EventDataPort]
-        modeSwitchConjunctions[1] : ModeSwitchConjunction
-          modeSwitchTriggers[0] : EventDataPortHolder element=exemple_cr_D3_C4::proc.inPortC [EventDataPort]
-          modeSwitchTriggers[1] : EventDataPortHolder element=exemple_cr_D3_C4::proc.inPortA [EventDataPort]
+      condition : DispatchCondition
+        dispatchTriggerCondition : DispatchTriggerLogicalExpression
+          dispatchConjunctions[0] : DispatchConjunction
+            dispatchTriggers[0] : EventDataPortHolder element=exemple_cr_D3_C4::proc.inPortA [EventDataPort]
+            dispatchTriggers[1] : EventDataPortHolder element=exemple_cr_D3_C4::proc.inPortB [EventDataPort]
+          dispatchConjunctions[1] : DispatchConjunction
+            dispatchTriggers[0] : EventDataPortHolder element=exemple_cr_D3_C4::proc.inPortC [EventDataPort]

ba/org.osate.ba.tests/expected/resolved-model/org.osate.ba.tests_models_issue3178_InModes.txt

@@ -0,0 +1,3 @@
+annex[0] owner=InModes::worker.impl
+  parsedAnnexSubclause : BehaviorAnnex name=behavior_specification
+    states[0] : BehaviorState name=active

ba/org.osate.ba.tests/expected/resolved-model/org.osate.ba.tests_models_issue3178_Issue3178.txt

@@ -0,0 +1,9 @@
+annex[0] owner=Issue3178::worker.impl
+  parsedAnnexSubclause : BehaviorAnnex name=behavior_specification
+    states[0] : BehaviorState name=idle
+    states[1] : BehaviorState name=active
+    transitions[0] : BehaviorTransition
+      condition : DispatchCondition
+        dispatchTriggerCondition : DispatchTriggerLogicalExpression
+          dispatchConjunctions[0] : DispatchConjunction
+            dispatchTriggers[0] : EventPortHolder element=Issue3178::worker.go [EventPort]

ba/org.osate.ba.tests/expected/resolved-model/org.osate.ba.tests_models_issue3178_MixedCompleteStates.txt

@@ -0,0 +1,4 @@
+annex[0] owner=MixedCompleteStates::worker.impl
+  parsedAnnexSubclause : BehaviorAnnex name=behavior_specification
+    states[0] : BehaviorState name=idle
+    states[1] : BehaviorState name=waiting

ba/org.osate.ba.tests/expected/resolved-model/org.osate.ba.tests_models_issue3178_MultipleSources.txt

@@ -0,0 +1,15 @@
+annex[0] owner=MultipleSources::worker.impl
+  parsedAnnexSubclause : BehaviorAnnex name=behavior_specification
+    states[0] : BehaviorState name=first
+    states[1] : BehaviorState name=second
+    states[2] : BehaviorState name=done
+    transitions[0] : BehaviorTransition
+      condition : DispatchCondition
+        dispatchTriggerCondition : DispatchTriggerLogicalExpression
+          dispatchConjunctions[0] : DispatchConjunction
+            dispatchTriggers[0] : EventPortHolder element=MultipleSources::worker.wrong [EventPort]
+    transitions[1] : BehaviorTransition
+      condition : DispatchCondition
+        dispatchTriggerCondition : DispatchTriggerLogicalExpression
+          dispatchConjunctions[0] : DispatchConjunction
+            dispatchTriggers[0] : EventPortHolder element=MultipleSources::worker.wrong [EventPort]

ba/org.osate.ba.tests/expected/resolved-model/org.osate.ba.tests_models_issue3178_WrongTrigger.txt

@@ -0,0 +1,9 @@
+annex[0] owner=WrongTrigger::worker.impl
+  parsedAnnexSubclause : BehaviorAnnex name=behavior_specification
+    states[0] : BehaviorState name=idle
+    states[1] : BehaviorState name=active
+    transitions[0] : BehaviorTransition
+      condition : DispatchCondition
+        dispatchTriggerCondition : DispatchTriggerLogicalExpression
+          dispatchConjunctions[0] : DispatchConjunction
+            dispatchTriggers[0] : EventPortHolder element=WrongTrigger::worker.wrong [EventPort]

ba/org.osate.ba.tests/expected/unparse/org.osate.ba.tests_models_covering_semantic_cr_D3_C4.txt

@@ -6,7 +6,7 @@ states
   finalState : final state ;
 \s\s\s
 transitions
-  m1 -[on inPorta and inPortB or inPortc and inPortA]-> finalState ;
+  m1 -[on dispatch inPortA and inPortB or inPortC]-> finalState ;
 \s\s
 ----- Xtext reparse -----
 reparsed

ba/org.osate.ba.tests/expected/unparse/org.osate.ba.tests_models_issue3178_InModes.txt

@@ -0,0 +1,6 @@
+===== annex[0] owner=InModes::worker.impl =====
+
+states
+\tactive : initial complete state;
+----- Xtext reparse -----
+reparsed

ba/org.osate.ba.tests/expected/unparse/org.osate.ba.tests_models_issue3178_Issue3178.txt

@@ -0,0 +1,9 @@
+===== annex[0] owner=Issue3178::worker.impl =====
+
+states
+\tidle : initial complete state;
+\tactive : complete state;
+transitions
+\tidle -[on dispatch go]-> active;
+----- Xtext reparse -----
+reparsed

ba/org.osate.ba.tests/expected/unparse/org.osate.ba.tests_models_issue3178_MixedCompleteStates.txt

@@ -0,0 +1,7 @@
+===== annex[0] owner=MixedCompleteStates::worker.impl =====
+
+states
+\tidle : initial complete state;
+\twaiting : complete state;
+----- Xtext reparse -----
+reparsed

ba/org.osate.ba.tests/expected/unparse/org.osate.ba.tests_models_issue3178_MultipleSources.txt

@@ -0,0 +1,9 @@
+===== annex[0] owner=MultipleSources::worker.impl =====
+
+states
+\tfirst : initial complete state;
+\tsecond, done : complete state;
+transitions
+\tfirst, second -[on dispatch wrong]-> done;
+----- Xtext reparse -----
+reparsed

ba/org.osate.ba.tests/expected/unparse/org.osate.ba.tests_models_issue3178_WrongTrigger.txt

@@ -0,0 +1,9 @@
+===== annex[0] owner=WrongTrigger::worker.impl =====
+
+states
+\tidle : initial complete state;
+\tactive : complete state;
+transitions
+\tidle -[on dispatch wrong]-> active;
+----- Xtext reparse -----
+reparsed