Class ErrorManager.ErrorState

java.lang.Object
org.antlr.tool.ErrorManager.ErrorState
Enclosing class:
ErrorManager

static class ErrorManager.ErrorState extends Object
  • Field Details

    • 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
  • Constructor Details

    • ErrorState

      ErrorState()