Searched refs:warningMsgIDs (Results 1 – 1 of 1) sorted by relevance
268 public BitSet warningMsgIDs = new BitSet(); field in ErrorManager.ErrorState519 if (getErrorState().warningMsgIDs.member(msgID)) { in getMessageType()611 getErrorState().warningMsgIDs.add(msgID); in warning()620 getErrorState().warningMsgIDs.add(msg.msgID); in nondeterminism()642 getErrorState().warningMsgIDs.add(msg.msgID); in analysisAborted()661 getErrorState().warningMsgIDs.add(msg.msgID); in insufficientPredicates()741 getErrorState().warningMsgIDs.add(msgID); in grammarWarning()