Searched refs:warningMsgIDs (Results 1 – 1 of 1) sorted by relevance
273 public BitSet warningMsgIDs = new BitSet(); field in ErrorManager.ErrorState546 if (getErrorState().warningMsgIDs.member(msgID)) { in getMessageType()638 getErrorState().warningMsgIDs.add(msgID); in warning()647 getErrorState().warningMsgIDs.add(msg.msgID); in nondeterminism()669 getErrorState().warningMsgIDs.add(msg.msgID); in analysisAborted()688 getErrorState().warningMsgIDs.add(msg.msgID); in insufficientPredicates()768 getErrorState().warningMsgIDs.add(msgID); in grammarWarning()