public class KeYSemanticException
extends org.antlr.runtime.RecognitionException
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
cat |
private java.lang.String |
filename |
private static long |
serialVersionUID |
Constructor and Description |
---|
KeYSemanticException(java.lang.String message) |
KeYSemanticException(org.antlr.runtime.TokenStream input,
java.lang.String sourceName,
java.lang.Exception cause) |
KeYSemanticException(org.antlr.runtime.TokenStream input,
java.lang.String sourceName,
java.lang.String message) |
Modifier and Type | Method and Description |
---|---|
int |
getColumn() |
java.lang.String |
getErrorMessage()
Deprecated.
|
java.lang.String |
getFilename() |
int |
getLine() |
java.lang.String |
getMessage()
Returns a clean error message (no line number/column information)
|
java.lang.String |
toString()
Returns a string representation of this exception.
|
extractInformationFromTreeNodeStream, getUnexpectedType
private static final long serialVersionUID
private final java.lang.String cat
private final java.lang.String filename
public KeYSemanticException(java.lang.String message)
public KeYSemanticException(org.antlr.runtime.TokenStream input, java.lang.String sourceName, java.lang.String message)
public KeYSemanticException(org.antlr.runtime.TokenStream input, java.lang.String sourceName, java.lang.Exception cause)
public java.lang.String getFilename()
public int getLine()
public int getColumn()
@Deprecated public java.lang.String getErrorMessage()
public java.lang.String getMessage()
getMessage
in class java.lang.Throwable
public java.lang.String toString()
toString
in class java.lang.Throwable