public class KeYSemanticException extends RecognitionException
Modifier and Type | Field and Description |
---|---|
private String |
cat |
private String |
filename |
private static long |
serialVersionUID |
approximateLineInfo, c, charPositionInLine, index, input, line, node, token
Constructor and Description |
---|
KeYSemanticException(String message) |
KeYSemanticException(TokenStream input,
String sourceName,
Exception cause) |
KeYSemanticException(TokenStream input,
String sourceName,
String message) |
Modifier and Type | Method and Description |
---|---|
int |
getColumn() |
String |
getErrorMessage()
Deprecated.
|
String |
getFilename() |
int |
getLine() |
String |
getMessage()
Returns a clean error message (no line number/column information)
|
String |
toString()
Returns a string representation of this exception.
|
extractInformationFromTreeNodeStream, getUnexpectedType
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
private static final long serialVersionUID
private final String cat
private final String filename
public KeYSemanticException(String message)
public KeYSemanticException(TokenStream input, String sourceName, String message)
public KeYSemanticException(TokenStream input, String sourceName, Exception cause)
public String getFilename()
public int getLine()
public int getColumn()
@Deprecated public String getErrorMessage()
public String getMessage()
getMessage
in class Throwable