public class BuildingException extends java.lang.RuntimeException implements HasLocation
Constructor and Description |
---|
BuildingException(org.antlr.v4.runtime.ParserRuleContext ctx,
java.lang.String format) |
BuildingException(org.antlr.v4.runtime.ParserRuleContext ctx,
java.lang.String message,
java.lang.Throwable e) |
BuildingException(org.antlr.v4.runtime.ParserRuleContext ctx,
java.lang.Throwable ex) |
BuildingException(java.lang.Throwable e) |
BuildingException(org.antlr.v4.runtime.Token t,
java.lang.String message,
java.lang.Throwable e) |
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 |
toString() |
public BuildingException(org.antlr.v4.runtime.ParserRuleContext ctx, java.lang.String format)
public BuildingException(java.lang.Throwable e)
public BuildingException(org.antlr.v4.runtime.ParserRuleContext ctx, java.lang.String message, java.lang.Throwable e)
public BuildingException(@Nullable org.antlr.v4.runtime.Token t, java.lang.String message, java.lang.Throwable e)
public BuildingException(org.antlr.v4.runtime.ParserRuleContext ctx, java.lang.Throwable ex)
public java.lang.String toString()
toString
in class java.lang.Throwable
@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.