public class SLTranslationException extends ProofInputException
Modifier and Type | Field and Description |
---|---|
private String |
fileName |
private Position |
pos |
approximateLineInfo, c, charPositionInLine, index, input, line, node, token
Constructor and Description |
---|
SLTranslationException(String message) |
SLTranslationException(String message,
String fileName,
int line,
int column) |
SLTranslationException(String message,
String fileName,
Position pos) |
SLTranslationException(String message,
String fileName,
Position pos,
Throwable cause) |
SLTranslationException(String message,
Throwable cause) |
SLTranslationException(String message,
Throwable cause,
String fileName,
Position pos) |
Modifier and Type | Method and Description |
---|---|
int |
getColumn() |
String |
getFileName() |
int |
getLine() |
Position |
getPosition() |
getMessage
extractInformationFromTreeNodeStream, getUnexpectedType
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public SLTranslationException(String message, Throwable cause, String fileName, Position pos)
public SLTranslationException(String message, String fileName, Position pos, Throwable cause)
public SLTranslationException(String message, String fileName, int line, int column)
public SLTranslationException(String message)