Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'tests/org.eclipse.etrice.core.genmodel.fsm.tests/models/FlatInheritedFSMExample.room')
-rw-r--r--tests/org.eclipse.etrice.core.genmodel.fsm.tests/models/FlatInheritedFSMExample.room73
1 files changed, 73 insertions, 0 deletions
diff --git a/tests/org.eclipse.etrice.core.genmodel.fsm.tests/models/FlatInheritedFSMExample.room b/tests/org.eclipse.etrice.core.genmodel.fsm.tests/models/FlatInheritedFSMExample.room
new file mode 100644
index 000000000..81fca1eaf
--- /dev/null
+++ b/tests/org.eclipse.etrice.core.genmodel.fsm.tests/models/FlatInheritedFSMExample.room
@@ -0,0 +1,73 @@
+RoomModel TemplateModel {
+
+ ActorClass TestActor extends Base {
+ Behavior {
+ StateMachine {
+ State state3
+ RefinedState state1 {
+ entry {
+ "//refined"
+ }
+ }
+ Transition tr2: state1 -> state3 {
+ triggers {
+ <in1: p0>
+ }
+ }
+ RefinedTransition tr0 {
+ action {
+ "//refined"
+ }
+ }
+ State state4
+ State state5
+ Transition tr3: state3 -> state4 {
+ triggers {
+ <in1: p0>
+ }
+ }
+ Transition tr4: state3 -> state5 {
+ triggers {
+ <in2: p0>
+ }
+ }
+ }
+ }
+ }
+
+ ActorClass Base {
+ Interface {
+ Port p0: PC
+ }
+ Structure {
+ external Port p0
+ }
+ Behavior {
+ StateMachine {
+ State state0
+ State state1
+ State state2
+ Transition init0: initial -> state0
+ Transition tr0: state0 -> state1 {
+ triggers {
+ <in1: p0>
+ }
+ }
+ Transition tr1: state1 -> state2 {
+ triggers {
+ <in1: p0>
+ }
+ }
+ }
+ }
+ }
+
+ ProtocolClass PC {
+ incoming {
+ Message in1()
+ Message in2()
+ }
+ outgoing { }
+ }
+
+} \ No newline at end of file

Back to the top