public class ProofInputException extends RecognitionException
Modifier and Type | Field and Description |
---|---|
private String |
message |
approximateLineInfo, c, charPositionInLine, index, input, line, node, token
Constructor and Description |
---|
ProofInputException(Exception e) |
ProofInputException(String s) |
ProofInputException(String message,
Throwable cause) |
Modifier and Type | Method and Description |
---|---|
String |
getMessage() |
extractInformationFromTreeNodeStream, getUnexpectedType
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString