Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'tests/org.eclipse.etrice.ui.behavior.tests/models/InheritedStateMachine.room')
-rw-r--r--tests/org.eclipse.etrice.ui.behavior.tests/models/InheritedStateMachine.room196
1 files changed, 98 insertions, 98 deletions
diff --git a/tests/org.eclipse.etrice.ui.behavior.tests/models/InheritedStateMachine.room b/tests/org.eclipse.etrice.ui.behavior.tests/models/InheritedStateMachine.room
index c2b2ddeff..c7e0cb6e9 100644
--- a/tests/org.eclipse.etrice.ui.behavior.tests/models/InheritedStateMachine.room
+++ b/tests/org.eclipse.etrice.ui.behavior.tests/models/InheritedStateMachine.room
@@ -1,92 +1,92 @@
-RoomModel InheritedStateMachine {
-
- ActorClass Base {
- Interface {
- Port p0: PC
- }
- Structure {
- external Port p0
- }
- Behavior {
- StateMachine {
- Transition init: initial -> b0 { }
- Transition tr0: b0 -> cp cp0 {
- triggers {
- <x: p0>
- }
- }
- Transition tr1: cp cp0 -> b2
- Transition tr2: cp cp0 -> tp0 of b1 {
- cond {
- "true"
- }
- }
- Transition tr3: tp1 of b1 -> b2
- ChoicePoint cp0
- TransitionPoint tp0
- State b0
- State b1 {
- subgraph {
- EntryPoint tp0
- ExitPoint tp1
- }
- }
- State b2
- }
- }
- }
-
- ActorClass Derived extends Base {
- Structure { }
- Behavior {
- StateMachine {
- RefinedState b1 {
- subgraph {
- Transition tr0: my tp0 -> d11
- Transition tr1: d11 -> my tp1 {
- triggers {
- <x: p0>
- }
- }
- State d11
- }
- }
- RefinedState b2 {
- subgraph {
- State d21
- }
- }
- }
- }
- }
-
- ActorClass DoubleDerived extends Derived {
- Structure { }
- Behavior {
- StateMachine {
- RefinedState b1 {
- subgraph {
- RefinedState d11 {
- subgraph {
- State dd111
- }
- }
- State dd12
- State dd13
- }
- }
- RefinedState b2 {
- subgraph {
- State xt2
- RefinedState d21 {
- subgraph {
- State dd211
- }
- }
- }
- }
- }
- }
+RoomModel InheritedStateMachine {
+
+ ActorClass Base {
+ Interface {
+ Port p0: PC
+ }
+ Structure {
+ external Port p0
+ }
+ Behavior {
+ StateMachine {
+ Transition init: initial -> b0 { }
+ Transition tr0: b0 -> cp cp0 {
+ triggers {
+ <x: p0>
+ }
+ }
+ Transition tr1: cp cp0 -> b2
+ Transition tr2: cp cp0 -> tp0 of b1 {
+ cond {
+ "true"
+ }
+ }
+ Transition tr3: tp1 of b1 -> b2
+ ChoicePoint cp0
+ TransitionPoint tp0
+ State b0
+ State b1 {
+ subgraph {
+ EntryPoint tp0
+ ExitPoint tp1
+ }
+ }
+ State b2
+ }
+ }
+ }
+
+ ActorClass Derived extends Base {
+ Structure { }
+ Behavior {
+ StateMachine {
+ RefinedState b1 {
+ subgraph {
+ Transition tr0: my tp0 -> d11
+ Transition tr1: d11 -> my tp1 {
+ triggers {
+ <x: p0>
+ }
+ }
+ State d11
+ }
+ }
+ RefinedState b2 {
+ subgraph {
+ State d21
+ }
+ }
+ }
+ }
+ }
+
+ ActorClass DoubleDerived extends Derived {
+ Structure { }
+ Behavior {
+ StateMachine {
+ RefinedState b1 {
+ subgraph {
+ RefinedState d11 {
+ subgraph {
+ State dd111
+ }
+ }
+ State dd12
+ State dd13
+ }
+ }
+ RefinedState b2 {
+ subgraph {
+ State xt2
+ RefinedState d21 {
+ subgraph {
+ State dd211
+ }
+ }
+ }
+ }
+ }
+ }
}
ActorClass Base2 {
@@ -113,13 +113,13 @@ RoomModel InheritedStateMachine {
}
}
- ProtocolClass PC {
- incoming {
- Message x()
- }
- outgoing {
- Message x()
- }
- }
-
+ ProtocolClass PC {
+ incoming {
+ Message x()
+ }
+ outgoing {
+ Message x()
+ }
+ }
+
}

Back to the top