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; }