Package org.antlr.tool
Class ErrorManager.ErrorState
- java.lang.Object
-
- org.antlr.tool.ErrorManager.ErrorState
-
- Enclosing class:
- ErrorManager
public static class ErrorManager.ErrorState extends Object
-
-
Field Summary
Fields Modifier and Type Field Description BitSet
errorMsgIDs
Track all msgIDs; we use to abort later if necessary also used in Message to find out what type of message it is via getMessageType()int
errors
int
infos
BitSet
warningMsgIDs
int
warnings
-
Constructor Summary
Constructors Constructor Description ErrorState()
-
-
-
Field Detail
-
errors
public int errors
-
warnings
public int warnings
-
infos
public int infos
-
errorMsgIDs
public BitSet errorMsgIDs
Track all msgIDs; we use to abort later if necessary also used in Message to find out what type of message it is via getMessageType()
-
warningMsgIDs
public BitSet warningMsgIDs
-
-