blob: 9fd09be030f6930cf3312db0368bed2a401d193e [file]
RoomModel ActorClassWithPorts {
ActorClass MyActorClass {
Interface {
Port ip : MyProtocol
Port xp : MyProtocol
}
Structure {
external Port xp
conjugated Port sp : MyProtocol
}
Behavior {
StateMachine {
Transition init: initial -> state1 {
action {
"//initial"
}
}
Transition tr0: my tp -> my tp {
triggers {
<in2: xp>
}
}
Transition tr1: state1 -> cp cp0 {
triggers {
<out1: sp>
}
}
Transition tr2: cp cp0 -> elseState {
}
Transition tr3: cp cp0 -> ifState {
cond {
"true"
}
}
Transition tr4: state1 -> ifState {
triggers {
<in1: xp>
}
}
ChoicePoint cp0
TransitionPoint tp
State state1 {
entry {
"//entry"
}
exit {
"//exit"
}
}
State elseState {
}
State ifState {
}
}
}
}
ProtocolClass MyProtocol {
incoming {
Message in1 ()
Message in2 ()
}
outgoing {
Message out1 ()
}
}
}