public static class SyntaxErrorReporter.ParserException extends java.lang.RuntimeException implements HasLocation
Constructor and Description |
---|
ParserException(java.lang.String msg,
java.util.List<SyntaxErrorReporter.SyntaxError> errors) |
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.
|
java.lang.String |
getMessage() |
java.lang.String |
print(java.lang.String[] lines,
java.lang.CharSequence delimter) |
public ParserException(java.lang.String msg, java.util.List<SyntaxErrorReporter.SyntaxError> errors)
public java.lang.String print(java.lang.String[] lines, java.lang.CharSequence delimter)
public java.lang.String getMessage()
getMessage
in class java.lang.Throwable
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.