public class SLTranslationException extends ProofInputException
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
fileName |
private Position |
pos |
private static long |
serialVersionUID |
Constructor and Description |
---|
SLTranslationException(java.lang.String message) |
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() |
Position |
getPosition() |
getMessage
extractInformationFromTreeNodeStream, getUnexpectedType
private static final long serialVersionUID
private final java.lang.String fileName
private final Position pos
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 java.lang.String getFileName()
public Position getPosition()
public int getLine()
public int getColumn()