protected void Default(Transport_SendFSMContext context) { if (context.getDebugFlag() == true) { PrintStream str = context.getDebugStream(); str.println("TRANSITION : Default"); } throw (new statemap.TransitionUndefinedException( "State: " + context.getState().getName() + ", Transition: " + context.getTransition())); }
protected void SendTransition(Transport_SendFSMContext context) { if (context.getDebugFlag() == true) { PrintStream str = context.getDebugStream(); str.println( "TRANSITION : Transport_SendFSM_SM.Internally_Generated_State_DO_NOT_USE.SendTransition()"); } return; }
protected void SendTransition(Transport_SendFSMContext context, Send msg) { Transport_SendFSM ctxt = context.getOwner(); if (context.getDebugFlag() == true) { PrintStream str = context.getDebugStream(); str.println("TRANSITION : Transport_SendFSM_SM.Sending.SendTransition(Send msg)"); } Transport_SendFSMState endState = context.getState(); context.clearState(); try { ctxt.EnqueueAction(msg); } finally { context.setState(endState); } return; }