@visualSTATE @RuleBase @Format2 "NoName" @Directives @visualSTATE 5-4-0-1273; @Date 2008-02-15; @Time 16:05:36; @Declaration @Definition @Event CLOSE_CONNECTION(), CONNECTION_REQUEST_ACCEPTED(), CONNECTION_REQUEST_REFUSED(), NEW_CONNECTION(); @Implementation @TopStateMachine Topstate1 = @State UNCONNECTED [[ Pos440 = "33 90 163 115 16 1 1638401" ]], @Initial _InitialState0 [[ Pos440 = "88 16 108 36 114689" ]], WAITING_RESPONCE [[ Pos440 = "33 169 163 194 16 1 1638401" ]], CONNECTED [[ Pos440 = "33 248 163 273 16 1 1638401" ]]; @StateRegion @OffPage Region1 (UNCONNECTED, _InitialState0, WAITING_RESPONCE, CONNECTED) [[ Pos440 = "0 0 120 34", TextDisplayNote = "Preserve", TextDisplayState = "Preserve", TextDisplayTransDesc = "Preserve", View = "2 2 7" ]]; @Entry; @Exit; @Do; @InternalRule; @TransitionRule NEW_CONNECTION() @Src UNCONNECTED : @Dest WAITING_RESPONCE [[ Pos440 = "38 127 196 147 0 809894016 66 25 66 0" ]], @NoEvent @Src _InitialState0 : @Dest UNCONNECTED [[ Pos440 = "98 6 178 36 0 809894016 10 20 65 0" ]], CONNECTION_REQUEST_ACCEPTED() @Src WAITING_RESPONCE : @Dest CONNECTED [[ Pos440 = "25 204 184 234 0 809894016 66 25 66 0" ]], CONNECTION_REQUEST_REFUSED() @Src WAITING_RESPONCE : @Dest UNCONNECTED [[ Pos440 = "232 135 379 165 1 809894017 130 12 233 138 130 14" ]], CLOSE_CONNECTION() @Src CONNECTED : @Dest UNCONNECTED [[ Pos440 = "223 244 395 274 1 809894017 130 13 239 228 239 141 130 14" ]]; @TerminationRule; [[ Pos440 = "20 26 140 76 16 1 114689" ]] @End;