From 85e7d2df21773f5d66e29f7b9603c9165345a198 Mon Sep 17 00:00:00 2001 From: jeremie.tatibouet Date: Tue, 13 Jun 2017 11:54:42 +0200 Subject: PSSM-4 Synchronous operation call on an active object ends if the corresponding call event occurrence was deferred. Change-Id: If28f0a548b1c0752f5faf72c241212f0b5fe6525 Signed-off-by: jeremie.tatibouet --- .../resources/tests/PSSM_TestSuite.notation | 666 +- .../resources/tests/PSSM_TestSuite.uml | 22297 ++++++++++--------- .../StateMachines/StateMachineEventAccepter.java | 49 +- 3 files changed, 11686 insertions(+), 11326 deletions(-) diff --git a/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources/tests/PSSM_TestSuite.notation b/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources/tests/PSSM_TestSuite.notation index de98d1d3669..748fbf57674 100644 --- a/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources/tests/PSSM_TestSuite.notation +++ b/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources/tests/PSSM_TestSuite.notation @@ -105,7 +105,7 @@ - + @@ -59520,7 +59520,7 @@ - + @@ -59533,7 +59533,7 @@ - + @@ -59553,8 +59553,12 @@ + + + + - + @@ -59570,10 +59574,6 @@ - - - - @@ -59656,10 +59656,10 @@ - + - + @@ -59667,24 +59667,8 @@ - - - - - - - - - - - - - - - - - - + + @@ -59699,15 +59683,15 @@ - - + + - + - + @@ -59849,7 +59833,7 @@ - + @@ -59875,21 +59859,32 @@ - - - + + + + + + + + + + + + + + - - + + - - - + + + - + @@ -59913,65 +59908,146 @@ - + - - -
-
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
- - - + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - + + - - - + + + - - - - + + + - - - - + + + + - - - + + + - - - + + + - - + + - - - + + + - - - + + + - + @@ -60070,158 +60146,223 @@ - - + + - - - + + + - - + + - - + + - - + + - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - + + - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - + + - - + + - - + + - - + + - - - - - + + + + + - - - + + + + + + + + + + + + - - + + - - + + - - + + - - - - - + + + + + - - - + + + - - + + - - + + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + - - + + - - + + - - + + + + + + + + + + + + + + + + + + - - + + - - + + - - + + - - - - - + + + + + @@ -61570,4 +61711,141 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources/tests/PSSM_TestSuite.uml b/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources/tests/PSSM_TestSuite.uml index acf2ef17046..8468ed1ac68 100644 --- a/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources/tests/PSSM_TestSuite.uml +++ b/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/resources/tests/PSSM_TestSuite.uml @@ -1001,7 +1001,7 @@ activity 'Behavior002_SemanticTest$factory'(): Behavior002_SemanticTest { - + namespace StateMachine_TestSuite::Behavior; @@ -1050,1575 +1050,1575 @@ activity BehaviorTests() { suite.Start(); } - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - + + + - - - - - - - - - - - - - - - + + + - - + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + - - - - - - - + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - + + + + + + + + - - + + - - - - - - - - - + + - - + + + + + + - - - - - - - - - - - - - + + + + - - + + - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + + - - - + + + - - - - - - + + + + + + - - - + + + - + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + - - - + + + - - - - - - - - - + + + + - - + + - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - + + + + + - - + + - + - - - - - - - - - - - - + + + + - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - + + + + - - - + + + - - - - - - - - - - - - - - + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - + + + + + + + - - - + + + - - - - - + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - + + + + + + - - - - - + - - - + + + - - - - + + - - + + - + + - - - - - + + + + - - - + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + - - + + - + - - - - + + + + + - + - - + + - - - - - - - - - + + + + + + + + + + + + + + - - - - + + + - - + + - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - + + + + + - - - - - - + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + - - - + - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + - - - - + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + - + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + + + + + + + - - - + + - - + + - - - + + + - - - + + + - - - - - - - - - + + + + - - + + - + - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - + + + + + + - - - - + + + + - - - + + + - - - - - + + + + + - - - - + + + + - + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + - + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - + - - + + - - - - + + + + - - - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -26249,7 +26249,7 @@ activity 'Transition023_SemanticTest$factory'(): Transition023_SemanticTest {&#x - + namespace StateMachine_TestSuite; @@ -26274,77 +26274,77 @@ activity AllTests() { Junction::JunctionTests(); } - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + @@ -26857,7 +26857,7 @@ activity 'Event016_SemanticTest_A$factory'(): Event016_SemanticTest_A { - + namespace StateMachine_TestSuite::Event; @@ -26884,7 +26884,7 @@ private import Event::'019-E'::'Event019_SemanticTest_E'; activity EventTests() { let suite : SemanticTestSuite = new SemanticTestSuite("Event"); - /*Event001*/ + /*Event001*/ e001 = new 'Event001_SemanticTest'(); e001.name = "Event 001"; e001.expectedTraces->add("wait(exit)"); @@ -27009,8535 +27009,8535 @@ activity EventTests() { suite.Start(); } - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - + - - + + - - - - + + + + - - - + + + - - - + + + - - - + + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + - - + + - - - - - - - - - + + - - + + + + + - - - - - - - - - - - - - - - + + + - - + + - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + - - - + + + - - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - + + + + + + - - - - - - + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - + + + + + - - + + - + - - - - + + + + + - + - - + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - + + + + + + + + + + + - - - + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - - + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - - - - + + + + + + + + + + + + - - - - + + + + + + + + - - + + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + - - + + - - + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - + - - + + - - + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + - - - - + + + + - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + - - - - - + + + + - - - - + + + + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - - - + + + + + - + - - + + - - - + + + + + + + + + + + + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - + + + + + - - - + + + - - - - - - - + + + + + + + + + + + + + + + - + + + - - - - + + + + + + + + + + + + + + + + + - + - - + + - + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + - - - - - + + + + + + + + + + + + + + + - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - + + - - + + + + + + - - - - - - - - - - - - - + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - + + + + + + + + + + + + + + + - + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - + + + + - - + + - + - - - - + + + + - + - - + + + - - - + + + - - + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + - - + + - - - - - - - - - - - - - - + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - + - - - + + + - - - - + + + - - + + - + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - - + + - - + + - + - + - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - - - - + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - - - + + + + + + + + + - - + + - - - - - - - - - + + - - + + + + + + - - - - - - - - - - - - - - + + + + - - - + + + - - - + + + - - - - - - - - + + + + + + + + + + + + + + + - - + + + + + - - + + + + + + - - + + - - - - - - - + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + - - - - - + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + - - + + - - - - - - - - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + - - - + + + - - - + + + - - + + - - - - + + + + - - - + + + - + - - + + - - - + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - + + + + + + + + - - + + - - - - - - - - - + + - - + + + + + - + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - + + + - - + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - + + - + - - - - - + + + + - + - - + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + - - - + + + - - - - - - + + + + + - - - - - - + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + - - - - + + + + - - - - + + + + - - - + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - + - - - - - - - - - - - - - + + + - - + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + - - + + - + - - - - - + + + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - + + + + + - - - - - + + + + - - - - + + + + - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + - - + + + + + + - - - + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - + + + - + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + - - + + - - - - - - - - - + + - - + + + + + - - - - - - - - - - - - - - - - - - + + + - - + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - + + - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - + - - + + - - + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - + - - - - + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - + + + - + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - + + + + - - + + - + - - - - + + + + + - + - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - + + + + + + + + + + + + + + - - - + + + - - - - - + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - + + + + + + - + - - + + - - + + - - + + - + - + - - - - + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - - + + + + + + + - + - - + + - - + + - - + + - + - - - - - + + + + - - - + + + - - - + + + - - - - - + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + - - - + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + - - + + - + - - - - + + + + - + - - + + - - - - + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - - - + + + + + + + + - + - - + + - - - + + - - + + - + - - - + + + + + + + + + + + + + + + + + + - - + + - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - + + + + - - - - - - - - - - - - - - - - - - + + + - + + + - - - - + + + + - - - + + + - - - - - - - - - - - - - - + + + - - + + - + - - - - - + + + + + + + + + + + + + + + + + + - - - - + + + - - - - - + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - + + + + + - - - - - - + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + - - - + + + - - - - - - - - - - - - - - - - - + + + + + + + - - - + + + + + + + + + + + - + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + - - + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - + + + + - - - + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + - - - + + + - - - - + + - - + + - + - - - - - - - - - - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - + + + + - - - + + + - - - + + + - - - - + + + + - - + + - + - - - - + + + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - + + + + + - - - + + + + + + - - + + - - - - - - - + + + + + + + + + + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - - - - + + + + + + + - + - - + + - - + + - - + + - + - - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + - - + + - + - - - - + + + - - + + - - - - + + + + - - - + + + - + - - + + - - - - + + + + - - - + + + - - - - - - - - + + + + + + + + - - + + - - - - + + + + - - - + + + - + - - + + - - - - + + + + - - - + + + - - - - + + + + - - + + - + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - - + + - - + + - + - - - - - + + + + + + + + + + + - - - + + + - - - + + + + + + + + + + + + + + + - - + + - - + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - - + + + + + - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - + + + + + + + + + + + + + + - - + + - + + + + + + + + + + + + + - - - - + + + + + + + + + + - - - + + + - - - - + + + - - + + - - - - + + + + - - - + + + + + + + + + + + + + + + + + - + - - + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - + - - + + - - + + + - - + + - + - - - - - + + + + - - - + + + + + + + + + + + + + + + + + + - - - + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - - - - - - - - + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - + + + + + + + + - - + + - - - - - - - - - + + - - + + + + + - + + + + + + + + + + + + + + + + - - - - - + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + - - - - + + + + - - - - - + + + + - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - - - - - - + + + + + + - - + + + + + - - + + + + + + - - + + - - - - - - + + + + + + + + + + + + + + + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + - + - - + + - - + + - - + + - + + - - - - - - - - - - - - - - + + + + + + - - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - + + + + + - - - - - + + + + - - - + + + - - - + + + - - - - - + + + + + + - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - + + + + + + + + + + + + + + - - + + - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - + - - + + - - + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - + + + + - - + + + + + - - + + + + + + + - - + + - - - - - - - - - - - - - - - - - - + + + + + - - - + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - + + + + + - - + + - + - - - - + + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - - - + + + + + - + - - + + - - - - + + + + + + + + + + + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + - + - - - - - + + + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + - - - - + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - + + + + + - - + + - + - - - - + + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - + - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - + + - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - + + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - + + + + - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -45430,6 +45430,12 @@ activity 'Event019_Test_D$factory'(): Event019_Test_D { + + namespace Event::'019-D'::Event019_Tester_D; + +activity 'Event019_Tester_D$behavior$1'() { +} + @@ -95372,7 +95378,7 @@ activity 'Deferred002_SemanticTest$factory'(): Deferred002_SemanticTest { - + namespace StateMachine_TestSuite::Deferred; @@ -95443,3078 +95449,3078 @@ activity DeferredTests() { /*Deferred007 */ d007 = new 'Deferred007_SemanticTest'(); d007.name ="Deferred 007"; - d007.expectedTraces->add("S1(exit)::T3(effect)::S2(exit)[in=true]::T6(effect)[in=true]"); + d007.expectedTraces->add("S1(exit)::T3(effect)::T6(effect)[in=true][out=false]::[out=false]"); suite.tests->add(d007); // Start test suite suite.Start(); } - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - + + + - - - - + + + + + + + + + - - + + - - - - - - - - - - + + - - + + + + + - - - - - - - - - - - - - - - - - - + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - + + + - - - - + + + + - - - + + + - - - + + + - - - - - - + + + + + - - - - - - + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - + + - - - - - - - - - - + + - - + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - - + + + - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + - - - + + + - - - + + + - - + + - - - - + + + + - - - + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + - - - + + + - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + - - - + + + + + - - - - + + + + - - - + + + - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - + + + + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - + + + + + - - + + + + + + + - - + + - - - - - - + + + + + + + + + + + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - + + + + - - - + + + - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + - - - + + + - - - - - - - - + + + - - + + + + + - - - + + + + + + + + + + + + + + + + + + + + - - + + - + - - - + + + - - + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - + + + + + - - + + - + - - - - - - - - - - - - + + + + - - - - - + - - - + + + + - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - + + + - - + + - - - - + + + + - - - + + + - + - - + + - - - - - - + + + + + + + + + + + + + + + + + + + - - - + - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - + + + + - - - + + + - - - + + + - - - - + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + - - - - + + + - - - - - - - - - - - - - - - + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + - - - - - - - - - - + + + + - - - + + + - - - - + + + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - + + + + - - - + + + - - - + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - + + + - - - - - + + + + + + + + + + + + + + + + - - - + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - + + + + + - - - + + + - - - - - - + + + + + + + + + + + + + + + - + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + - - - + + + - - - - - + + + + + - - + + - + - - - - + + + + - + - - + + - - - + + + - - + + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - + + + - - - + + + - - - - - - - + + + + + + + + + + + + + + + + - + - - + + - - + + + - - + + - + - - - + + + + + + + + + + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - - + + + - + - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + - - + + - - - - + + + + - - - + + + - + - - + + - - - - + + + + - - - + + + - - - - + + + - - + + - + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - + + + + + + + + + + - - - - + + + + - - - - - + + + + - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + - - - - + + + + + - - - - - + + + + + + + + + + - + - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + - - - - + + + + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - + + + - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - + + + + + + + + + + - - - + + + - - - + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - + + + + + + + + - - + + + + - - + + - + - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + - - - + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - + + + + - - - + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -102822,38 +102828,56 @@ activity 'Deferred006_SemanticTest_C$factory'(): Deferred006_SemanticTest_C {&#x - - - - + - + - activity effect(in p: Boolean) { - 'T6_effect'(p); + activity effect(in p: Boolean) : Boolean { + return 'T6_effect'(p); } - + - - - - - - + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - + + + + @@ -102921,11 +102945,26 @@ activity 'Deferred006_SemanticTest_C$factory'(): Deferred006_SemanticTest_C {&#x + + + + + + + + + + + + + + + @@ -102962,35 +103001,7 @@ activity 'Deferred006_SemanticTest_C$factory'(): Deferred006_SemanticTest_C {&#x - - - - activity exit(in p: Boolean) { - 'S2_exit'(p); -} - - - - - - - - - - - - - - - - - - - - - - - + @@ -103074,239 +103085,237 @@ activity 'Deferred007_Test$factory'(): Deferred007_Test { - - + + namespace Deferred::'007'::Deferred007_Test; -activity S2_exit(in p: Boolean) { - this.trace("S2(exit)[in="+BooleanFunctions::ToString(p)+"]"); -} +activity T6_effect(in p: Boolean) : Boolean { + this.trace("T6(effect)[in="+BooleanFunctions::ToString(p)+"][out="+BooleanFunctions::ToString(!p)+"]"); + return !p; +} - + + + + + + + - - + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - + + - - + + + + + + + + + + + + + + + + + - - + + - + - - - - - - - - - - + + + + + - + - - + + - + - - + + - - + + - + - - + + - - + + - + - - + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - namespace Deferred::'007'::Deferred007_Test; - -activity T6_effect(in p: Boolean) { - this.trace("T6(effect)[in="+BooleanFunctions::ToString(p)+"]"); -} - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - + - - + + + + + + + - + - - + + - - + + - + - - + + - + - - + + - - + + - - + + - + - - + + - + - - + + - - - - - - - - - - - - + + - - + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + @@ -103315,11 +103324,20 @@ activity T6_effect(in p: Boolean) { + + + - + + + namespace Deferred::'007'::Deferred007_Tester; + +activity 'Deferred007_Tester$behavior$1'() { +} + @@ -103330,24 +103348,35 @@ activity T6_effect(in p: Boolean) { - - - + + + + + + + + + + + - - - + + + - - - + + + - - - - - + + + + + + + + @@ -103359,30 +103388,76 @@ activity T6_effect(in p: Boolean) { - - - + + +
- - + + +
+ + + + + + - + - - + + + +
+ + + + + + +
+ + + + + + +
+ + + + + + + + + + + + + + + +
+ + + + + + + - - + + @@ -126513,7 +126588,7 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { - + @@ -126562,7 +126637,7 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { - + @@ -126686,7 +126761,7 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { - + @@ -127004,7 +127079,7 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { - + @@ -127072,7 +127147,7 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { - + @@ -127413,7 +127488,7 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { - + @@ -127638,7 +127713,7 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { - + @@ -127826,14 +127901,10 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { - - - - - + - + @@ -127908,4 +127979,8 @@ activity 'Junction006_Tester$factory'(): Junction006_Tester { + + + + diff --git a/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/src/org/eclipse/papyrus/moka/fuml/statemachines/Semantics/StateMachines/StateMachineEventAccepter.java b/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/src/org/eclipse/papyrus/moka/fuml/statemachines/Semantics/StateMachines/StateMachineEventAccepter.java index 7b016b8a5af..d5a6e4b71ad 100644 --- a/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/src/org/eclipse/papyrus/moka/fuml/statemachines/Semantics/StateMachines/StateMachineEventAccepter.java +++ b/extraplugins/moka/org.eclipse.papyrus.moka.fuml.statemachines/src/org/eclipse/papyrus/moka/fuml/statemachines/Semantics/StateMachines/StateMachineEventAccepter.java @@ -40,15 +40,18 @@ public class StateMachineEventAccepter extends EventAccepter{ public void accept(EventOccurrence eventOccurrence) { // When an event occurrence is accepted this marks the beginning of a new RTC step for // the executed state-machine. The following set of actions takes place: - // 1 - The list of transition that can be fired using the given event occurrence is computed - // 2 - This list is organized as a different sub-set of transitions that can be fired. One of the - // subset is chosen to be fired. Each transition fires **Concurrently** - // 3 - If the accepted event occurrence is a call event occurrence then there is a explicit - // "return from call" which enables the caller to continue its execution - // 4 - When the RTC step is about to complete a new event accepter for the state-machine + // 1 - The event can be deferred if required + // 2 - The event can trigger on to many transitions if it is not deferred + // 2.1 - The list of transitions that can be fired using the given event + // occurrence is computed. + // 2.2 - Transitions in the set of fireable transitions are fired **concurrently** + // 2.3 - If the accepted event occurrence is a call event occurrence then there is a explicit + // "return from call" which enables the caller to continue its execution. + // 3 - When the RTC step is about to complete a new event accepter for the state-machine // is registered at the waiting event accepter list handled by the object activation - // Note that there always is a single event accepter for a state-machine (this works differently - // than for activities). + // Note that there always is a single event accepter for a state-machine. This differs from + // fUML. Indeed, in the state machine context, the overall state machine configuration gets + // analyzed. if(this.isDeferred(eventOccurrence)){ this.defer(eventOccurrence); }else{ @@ -57,20 +60,20 @@ public class StateMachineEventAccepter extends EventAccepter{ for(Iterator fireableTransitionsIterator = fireableTransitionActivations.iterator(); fireableTransitionsIterator.hasNext();){ fireableTransitionsIterator.next().fire(eventOccurrence); } + CallEventOccurrence callEventOccurrence = null; + if(eventOccurrence instanceof CS_EventOccurrence){ + EventOccurrence wrappedEventOccurrence = ((CS_EventOccurrence)eventOccurrence).wrappedEventOccurrence; + if(wrappedEventOccurrence instanceof CallEventOccurrence){ + callEventOccurrence = (CallEventOccurrence) wrappedEventOccurrence; + } + }else if(eventOccurrence instanceof CallEventOccurrence){ + callEventOccurrence = (CallEventOccurrence) eventOccurrence; + } + if(callEventOccurrence != null){ + callEventOccurrence.returnFromCall(); + } } } - CallEventOccurrence callEventOccurrence = null; - if(eventOccurrence instanceof CS_EventOccurrence){ - EventOccurrence wrappedEventOccurrence = ((CS_EventOccurrence)eventOccurrence).wrappedEventOccurrence; - if(wrappedEventOccurrence instanceof CallEventOccurrence){ - callEventOccurrence = (CallEventOccurrence) wrappedEventOccurrence; - } - }else if(eventOccurrence instanceof CallEventOccurrence){ - callEventOccurrence = (CallEventOccurrence) eventOccurrence; - } - if(callEventOccurrence != null){ - callEventOccurrence.returnFromCall(); - } Object_ context = this.registrationContext.context; if(context!=null && context.objectActivation!=null){ context.register(new StateMachineEventAccepter(this.registrationContext)); @@ -95,7 +98,11 @@ public class StateMachineEventAccepter extends EventAccepter{ // could be found. // 3 - It does not exist any running doActivity having already registered an accepter // for the given event occurrence - boolean deferred = this._isDeferred(eventOccurrence, this.registrationContext.getConfiguration().rootConfiguration); + // Note: a completion event cannot be deferred. + boolean deferred = false; + if(!(eventOccurrence instanceof CompletionEventOccurrence)){ + deferred = this._isDeferred(eventOccurrence, this.registrationContext.getConfiguration().rootConfiguration); + } if(deferred){ Object_ context = this.registrationContext.context; if(context != null && context.objectActivation != null){ -- cgit v1.2.3