public class SLTranslationException extends ProofInputException implements HasLocation
Constructor and Description |
---|
SLTranslationException(java.lang.String message) |
SLTranslationException(java.lang.String message,
LabeledParserRuleContext expr) |
SLTranslationException(java.lang.String message,
org.antlr.v4.runtime.ParserRuleContext expr) |
SLTranslationException(java.lang.String message,
java.lang.String fileName,
int line,
int column) |
SLTranslationException(java.lang.String message,
java.lang.String fileName,
Position pos) |
SLTranslationException(java.lang.String message,
java.lang.String fileName,
Position pos,
java.lang.Throwable cause) |
SLTranslationException(java.lang.String message,
java.lang.Throwable cause) |
SLTranslationException(java.lang.String message,
java.lang.Throwable cause,
java.lang.String fileName,
Position pos) |
Modifier and Type | Method and Description |
---|---|
int |
getColumn() |
java.lang.String |
getFileName() |
int |
getLine() |
Location |
getLocation()
This method can be used to obtain the Location (1-based line and column!) of the exception.
|
Position |
getPosition() |
getMessage
extractInformationFromTreeNodeStream, getUnexpectedType
public SLTranslationException(java.lang.String message, java.lang.Throwable cause, java.lang.String fileName, Position pos)
public SLTranslationException(java.lang.String message, java.lang.String fileName, Position pos, java.lang.Throwable cause)
public SLTranslationException(java.lang.String message, java.lang.String fileName, Position pos)
public SLTranslationException(java.lang.String message, java.lang.String fileName, int line, int column)
public SLTranslationException(java.lang.String message)
public SLTranslationException(java.lang.String message, java.lang.Throwable cause)
public SLTranslationException(java.lang.String message, org.antlr.v4.runtime.ParserRuleContext expr)
public SLTranslationException(java.lang.String message, LabeledParserRuleContext expr)
public java.lang.String getFileName()
public Position getPosition()
public int getLine()
public int getColumn()
@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.