public final class ParserException extends java.lang.Exception implements HasLocation
Constructor and Description |
---|
ParserException(java.lang.String message,
Location location) |
Modifier and Type | Method and Description |
---|---|
Location |
getLocation()
This method can be used to obtain the Location (1-based line and column!) of the exception.
|
ParserException |
initCause(java.lang.Throwable cause) |
public ParserException(java.lang.String message, Location location)
message
- The error message. The message may be shown to
the user and should be appropriately formated.location
- The location on which the error occured. The
location may be null, if the location is unknown or the error
is independent of a location.@Nullable public Location getLocation()
HasLocation
getLocation
in interface HasLocation
public ParserException initCause(java.lang.Throwable cause)
initCause
in class java.lang.Throwable
Copyright © 2003-2019 The KeY-Project.