diff options
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.room | 196 |
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() + } + } + } |