Skip to main content
aboutsummaryrefslogtreecommitdiffstats
blob: cdeb83a8dd5a67f0f7fa2aa3ccd19a53b27d0c75 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
RoomModel Bug541775_NoInitialTransition {

	ProtocolClass PDummy {
		incoming {
			Message in1
		}
	}

	abstract ActorClass ANoInitialTransition {
		Structure {
			Port p1: PDummy
		}
		Behavior {
			StateMachine {
				handler TransitionPoint tr0
				Transition tr1: my tr0 -> my tr0 {
					triggers {
						<in1: p1>
					}
				}
			}
		}
	}
}

Back to the top