public static void Nondeterminism(DecisionProbe probe, DFAState d) { GetErrorState().warnings++; Message msg = new GrammarNonDeterminismMessage(probe, d); GetErrorState().warningMsgIDs.Add(msg.msgID); GetErrorListener().Warning(msg); }
public static void Nondeterminism( DecisionProbe probe, DFAState d ) { GetErrorState().warnings++; Message msg = new GrammarNonDeterminismMessage( probe, d ); GetErrorState().warningMsgIDs.Add( msg.msgID ); GetErrorListener().Warning( msg ); }