public class LocatableException extends java.lang.RuntimeException implements HasLocation
Constructor and Description |
---|
LocatableException(Location location) |
LocatableException(java.lang.String message,
Location location) |
LocatableException(java.lang.String message,
java.lang.Throwable cause,
boolean enableSuppression,
boolean writableStackTrace,
Location location) |
LocatableException(java.lang.String message,
java.lang.Throwable cause,
Location location) |
LocatableException(java.lang.Throwable cause,
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.
|
public LocatableException(Location location)
public LocatableException(java.lang.String message, Location location)
public LocatableException(java.lang.String message, java.lang.Throwable cause, Location location)
public LocatableException(java.lang.Throwable cause, Location location)
public LocatableException(java.lang.String message, java.lang.Throwable cause, boolean enableSuppression, boolean writableStackTrace, Location location)
@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.