Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125

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 {
		Behavior {
			StateMachine {
				State Test {
					subgraph {
						EntryPoint tp0
					}
				}
			}
		}
	}
	
	ActorClass Derived2 extends Base2 {
		Behavior {
			StateMachine {
				RefinedState Test {
					entry {
						"//"
					}
				}
			}
		}
	}

	ProtocolClass PC {
		incoming {
			Message x()
		}
		outgoing {
			Message x()
		}
	}

}