Transition chains going through Exit/EntryPoint can have triggers on more than one segment
- no validation warning/error to indicate that the trigger will be ignored
- in generated FSM, unused code for partial transition chains are generated
- unclear if this is actually intended behavior?
Example:
RoomModel m {
ProtocolClass p {
incoming {
Message msg
Message msg2
}
}
ActorClass a {
Structure {
Port pt: p
}
Behavior {
StateMachine {
State s1 {
subgraph {
State s1_1
Transition init: initial -> s1_1
ExitPoint exit
}
Transition t1_1: s1_1 -> my exit {triggers { <msg2: p> }}
}
State s2
Transition init: initial -> s1
Transition t1: exit of s1 -> s2 {triggers { <msg: p> }}
}
}
}
}