protected internal override void ReportHeartbeatPulseTransition(PingClientProtocolContext context) { PingClientProtocol ctxt = context.Owner; #if TRACE Trace.WriteLine( "TRANSITION : PingClientProtocol_SM.Ready.ReportHeartbeatPulseTransition()"); #endif PingClientProtocolState endState = context.State; context.ClearState(); try { ctxt.printToScreenAction(); } finally { context.State = endState; } return; }
public PingClientProtocol() { /* * If there are other variables, context must be constructed last so that all * class variables are available if an EntryAction of the InitialState of the * statemachine needs them. */ context = new PingClientProtocolContext(this); }
protected internal override void ReportHeartbeatPulseTransition(PingClientProtocolContext context) { #if TRACE Trace.WriteLine( "TRANSITION : PingClientProtocol_SM.Internally_Generated_State_DO_NOT_USE.ReportHeartbeatPulseTransition()"); #endif return; }
protected internal virtual void Default(PingClientProtocolContext context) { #if TRACE Trace.WriteLine( "TRANSITION : Default"); #endif throw ( new statemap.TransitionUndefinedException( "State: " + context.State.Name + ", Transition: " + context.GetTransition())); }
protected internal virtual void ReportHeartbeatPulseTransition(PingClientProtocolContext context) { Default(context); }
protected internal virtual void Exit(PingClientProtocolContext context) { }