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