protected internal override void InternalStateChange_To_AccessControl_ReceiveFSM_Receiving_Ready_NotControlled_AvailableTransition(AccessControl_ReceiveFSMContext context, InternalEvent ie)
{
AccessControl_ReceiveFSM ctxt = context.Owner;
#if TRACE
Trace.WriteLine(
"TRANSITION : AccessControl_ReceiveFSM_SM.Receiving_Ready_Controlled_Available.InternalStateChange_To_AccessControl_ReceiveFSM_Receiving_Ready_NotControlled_AvailableTransition(, InternalEvent ie)");
#endif
context.State.Exit(context);
context.ClearState();
try
{
ctxt.initAction();
ctxt.processNotifications("Receiving_Ready_NotControlled_Available", ie);
}
finally
{
context.State = AccessControl_ReceiveFSM_SM.Receiving_Ready_NotControlled_Available;
context.State.Entry(context);
}
return;
}
protected internal override void ReceiveTransition(AccessControl_ReceiveFSMContext context, RequestControl msg, Receive.Body.ReceiveRec transportData)
{
AccessControl_ReceiveFSM ctxt = context.Owner;
#if TRACE
Trace.WriteLine(
"TRANSITION : AccessControl_ReceiveFSM_SM.Receiving_Ready_NotControlled_Available.ReceiveTransition(, RequestControl msg, Receive.Body.ReceiveRec transportData)");
#endif
if (ctxt.isDefaultAuthorityGreater(msg))
{
AccessControl_ReceiveFSMState endState = context.State;
context.ClearState();
try
{
ctxt.SendAction("ConfirmControl", "INSUFFICIENT_AUTHORITY", transportData);
}
finally
{
context.State = endState;
}
}
else if (! ctxt.isDefaultAuthorityGreater(msg))
{
context.State.Exit(context);
context.ClearState();
try
{
ctxt.StoreAddressAction(transportData);
ctxt.SetAuthorityAction(msg);
ctxt.ResetTimerAction();
ctxt.SendAction("ConfirmControl", "CONTROL_ACCEPTED", transportData);
ctxt.processNotifications("Receiving_Ready_Controlled_Available", null);
}
finally
{
context.State = AccessControl_ReceiveFSM_SM.Receiving_Ready_Controlled_Available;
context.State.Entry(context);
}
} else {
base.ReceiveTransition(context, msg, transportData);
}
return;
}
protected internal override void ReceiveTransition(AccessControl_ReceiveFSMContext context, RequestControl msg, Receive.Body.ReceiveRec transportData)
{
AccessControl_ReceiveFSM ctxt = context.Owner;
#if TRACE
Trace.WriteLine(
"TRANSITION : AccessControl_ReceiveFSM_SM.Receiving_Ready_NotControlled_NotAvailable.ReceiveTransition(, RequestControl msg, Receive.Body.ReceiveRec transportData)");
#endif
AccessControl_ReceiveFSMState endState = context.State;
context.ClearState();
try
{
ctxt.SendAction("ConfirmControl", "NOT_AVAILABLE", transportData);
}
finally
{
context.State = endState;
}
return;
}
protected internal override void ReceiveTransition(AccessControl_ReceiveFSMContext context, QueryAuthority msg, Receive.Body.ReceiveRec transportData)
{
AccessControl_ReceiveFSM ctxt = context.Owner;
#if TRACE
Trace.WriteLine(
"TRANSITION : AccessControl_ReceiveFSM_SM.Receiving_Ready_NotControlled_Available.ReceiveTransition(, QueryAuthority msg, Receive.Body.ReceiveRec transportData)");
#endif
AccessControl_ReceiveFSMState endState = context.State;
context.ClearState();
try
{
ctxt.SendAction("ReportAuthority", transportData);
}
finally
{
context.State = endState;
}
return;
}
protected internal override void TimeoutTransition(AccessControl_ReceiveFSMContext context)
{
AccessControl_ReceiveFSM ctxt = context.Owner;
#if TRACE
Trace.WriteLine(
"TRANSITION : AccessControl_ReceiveFSM_SM.Receiving_Ready_Controlled_NotAvailable.TimeoutTransition()");
#endif
AccessControl_ReceiveFSMState endState = context.State;
context.ClearState();
try
{
ctxt.resetTimerAction();
}
finally
{
context.State = endState;
}
return;
}
protected internal override void ReceiveTransition(AccessControl_ReceiveFSMContext context, SetAuthority msg, Receive.Body.ReceiveRec transportData)
{
AccessControl_ReceiveFSM ctxt = context.Owner;
#if TRACE
Trace.WriteLine(
"TRANSITION : AccessControl_ReceiveFSM_SM.Receiving_Ready_Controlled_NotAvailable.ReceiveTransition(, SetAuthority msg, Receive.Body.ReceiveRec transportData)");
#endif
if (ctxt.isAuthorityValid(msg) && ctxt.isControllingClient( transportData ))
{
AccessControl_ReceiveFSMState endState = context.State;
context.ClearState();
try
{
ctxt.SetAuthorityAction(msg);
}
finally
{
context.State = endState;
}
}
else {
base.ReceiveTransition(context, msg, transportData);
}
return;
}
protected internal override void TimeoutTransition(AccessControl_ReceiveFSMContext context)
{
AccessControl_ReceiveFSM ctxt = context.Owner;
#if TRACE
Trace.WriteLine(
"TRANSITION : AccessControl_ReceiveFSM_SM.Receiving_Ready_Controlled_Available.TimeoutTransition()");
#endif
context.State.Exit(context);
context.ClearState();
try
{
ctxt.SendAction("RejectControl", "CONTROL_RELEASED");
ctxt.initAction();
ctxt.processNotifications("Receiving_Ready_NotControlled_Available", null);
}
finally
{
context.State = AccessControl_ReceiveFSM_SM.Receiving_Ready_NotControlled_Available;
context.State.Entry(context);
}
return;
}
protected internal override void ReceiveTransition(AccessControl_ReceiveFSMContext context, ReleaseControl msg, Receive.Body.ReceiveRec transportData)
{
AccessControl_ReceiveFSM ctxt = context.Owner;
#if TRACE
Trace.WriteLine(
"TRANSITION : AccessControl_ReceiveFSM_SM.Receiving_Ready_Controlled_Available.ReceiveTransition(, ReleaseControl msg, Receive.Body.ReceiveRec transportData)");
#endif
if (ctxt.isControllingClient( transportData ))
{
context.State.Exit(context);
context.ClearState();
try
{
ctxt.SendAction("RejectControl", "CONTROL_RELEASED", transportData);
ctxt.initAction();
ctxt.processNotifications("Receiving_Ready_NotControlled_Available", null);
}
finally
{
context.State = AccessControl_ReceiveFSM_SM.Receiving_Ready_NotControlled_Available;
context.State.Entry(context);
}
}
else {
base.ReceiveTransition(context, msg, transportData);
}
return;
}