public static void InsufficientPredicates(DecisionProbe probe, DFAState d, IDictionary <int, ICollection <IToken> > altToUncoveredLocations) { GetErrorState().warnings++; Message msg = new GrammarInsufficientPredicatesMessage(probe, d, altToUncoveredLocations); GetErrorState().warningMsgIDs.Add(msg.msgID); GetErrorListener().Warning(msg); }
public static void InsufficientPredicates( DecisionProbe probe, DFAState d, IDictionary<int, ICollection<IToken>> altToUncoveredLocations ) { GetErrorState().warnings++; Message msg = new GrammarInsufficientPredicatesMessage( probe, d, altToUncoveredLocations ); GetErrorState().warningMsgIDs.Add( msg.msgID ); GetErrorListener().Warning( msg ); }