public class KeYSemanticException extends org.antlr.runtime.RecognitionException implements HasLocation
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() |
Location |
getLocation()
This method can be used to obtain the Location (1-based line and column!) of the exception.
|
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
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
@Nullable public Location getLocation() throws java.net.MalformedURLException
HasLocation
getLocation
in interface HasLocation
java.net.MalformedURLException
- if the URL for the location can not be createdCopyright © 2003-2019 The KeY-Project.