TestCase7 subStateMachine local local Junction junction state7 state8 exit1 exitPoint exit2 exitPoint enter2 entryPoint enter1 entryPoint simpleStateMachine else x==0 opaqueBehavior x<0 x>0 x<0 x!=0 initial state_1 state_3 finalState choice choice state_2 state_0 opaqueExitBehavior opaqueEntryBehavior opaqueDoBehavior protocolClass protocolStateMachine Condition2 Condition1 FinalState State2 Initial State1 public referredOperation x!=-1 compositeStateMachine state1 initial state6 subMachineState exit2 enter1 enter2 exit1 finalState join join fork fork compositeState Region state2 state3 Region1 state5 state4