public abstract class SVInstantiationExceptionWithPosition extends SVInstantiationException implements HasLocation
Constructor and Description |
---|
SVInstantiationExceptionWithPosition(java.lang.String description,
int row,
int column,
boolean inIfSequent) |
Modifier and Type | Method and Description |
---|---|
int |
getColumn() |
Location |
getLocation()
This method can be used to obtain the Location (1-based line and column!) of the exception.
|
java.lang.String |
getMessage() |
int |
getRow() |
boolean |
inIfSequent() |
java.lang.String |
toString()
Returns a string representation of this exception.
|
public SVInstantiationExceptionWithPosition(java.lang.String description, int row, int column, boolean inIfSequent)
public boolean inIfSequent()
public int getRow()
public int getColumn()
public java.lang.String getMessage()
getMessage
in class SVInstantiationException
public java.lang.String toString()
toString
in class SVInstantiationException
@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.