public static class ErrorManager.ErrorState extends Object
Modifier and Type | Field and 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 and Description |
---|
ErrorState() |
public int errors
public int warnings
public int infos
public BitSet errorMsgIDs
public BitSet warningMsgIDs
Copyright © 1992–2015 ANTLR. All rights reserved.