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