public class ScriptException extends java.lang.Exception implements HasLocation
Constructor and Description |
---|
ScriptException() |
ScriptException(java.lang.String message) |
ScriptException(java.lang.String message,
java.lang.Throwable cause) |
ScriptException(java.lang.String message,
java.net.URL url,
int line,
int col) |
ScriptException(java.lang.String message,
java.net.URL url,
int line,
int col,
java.lang.Throwable cause) |
ScriptException(java.lang.Throwable cause) |
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 ScriptException()
public ScriptException(java.lang.String message, java.net.URL url, int line, int col, java.lang.Throwable cause)
public ScriptException(java.lang.String message, java.net.URL url, int line, int col)
public ScriptException(java.lang.String message)
public ScriptException(java.lang.Throwable cause)
public ScriptException(java.lang.String message, java.lang.Throwable cause)
@Nullable public Location getLocation()
HasLocation
getLocation
in interface HasLocation
Copyright © 2003-2019 The KeY-Project.