protected void eventCondition(IAutomataTransitionConditionFinite condition)
{
//string startID;
//string endID;
//if (transtion.StateStart != null) { startID = transtion.StateStart.GetID(); } else { startID = "<null>"; };
//if (transtion.StateEnd != null) { endID = transtion.StateEnd.GetID(); } else { endID = "<null>"; };
//TesterLog("eventCondition", startID + "->" + endID + " # " + "evaluating condition");
TesterLog("eventCondition", "evaluating condition");
}
public void DoOnEval(IAutomataTransitionConditionFinite condition)
{
if (OnEval != null)
{
OnEval(condition);
}
}
public void decision_Receiving_Idle(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
{
//Not measuring anything
//Second step of cycle
args.Allow = (BufferReceive.Count == 0);
}
public void decision_Idle_Sending(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
{
args.Allow = (BufferSend.Count > 0);
}
protected void eventCondition(IAutomataTransitionConditionFinite condition)
{
//TesterLog("eventCondition", "evaluating condition");
}
public static void TransitionConditionRandom(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
{
args.Allow = RandomnessFactory.GetSingleBinary();
}
public static void TransitionConditionNever(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
{
args.Allow = false;
}
public static void TransitionConditionAlways(IAutomataTransitionConditionFinite condition, EventArgsAllow args)
{
args.Allow = true;
}