public static void NonLLStarDecision(DecisionProbe probe) { GetErrorState().errors++; Message msg = new NonRegularDecisionMessage(probe, probe.NonDeterministicAlts); GetErrorState().errorMsgIDs.Add(msg.msgID); GetErrorListener().Error(msg); }
public static void NonLLStarDecision( DecisionProbe probe ) { GetErrorState().errors++; Message msg = new NonRegularDecisionMessage( probe, probe.NonDeterministicAlts ); GetErrorState().errorMsgIDs.Add( msg.msgID ); GetErrorListener().Error( msg ); }