public interface HasLocation
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.
|
@Nullable Location getLocation() throws java.net.MalformedURLException
java.net.MalformedURLException
- if the URL for the location can not be createdCopyright © 2003-2019 The KeY-Project.