Package org.antlr.tool
Class ErrorManager.ErrorState
java.lang.Object
org.antlr.tool.ErrorManager.ErrorState
- Enclosing class:
ErrorManager
-
Field Summary
FieldsModifier and TypeFieldDescriptionTrack 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
int
int
-
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
errors
public int errors -
warnings
public int warnings -
infos
public int infos -
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
-
-
Constructor Details
-
ErrorState
public ErrorState()
-