de.uka.ilkd.key.speclang.translation

Class SLTranslationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.antlr.runtime.RecognitionException

de.uka.ilkd.key.proof.init.ProofInputException

de.uka.ilkd.key.speclang.translation.SLTranslationException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

SLWarningException

public class SLTranslationException
extends ProofInputException

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private String	fileName
private Position	pos

Fields inherited from class org.antlr.runtime.RecognitionException

approximateLineInfo, c, charPositionInLine, index, input, line, node, token

Constructor Summary

Constructors

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)

Method Summary

Modifier and Type	Method and Description
int	getColumn()
String	getFileName()
int	getLine()
Position	getPosition()

Methods inherited from class de.uka.ilkd.key.proof.init.ProofInputException

getMessage

Methods inherited from class org.antlr.runtime.RecognitionException

extractInformationFromTreeNodeStream, getUnexpectedType

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

fileName

private final String fileName

pos

private final Position pos

Constructor Detail

SLTranslationException

public SLTranslationException(String message,
                              Throwable cause,
                              String fileName,
                              Position pos)

SLTranslationException

public SLTranslationException(String message,
                              String fileName,
                              Position pos,
                              Throwable cause)

SLTranslationException

public SLTranslationException(String message,
                              String fileName,
                              Position pos)

SLTranslationException

public SLTranslationException(String message,
                              String fileName,
                              int line,
                              int column)

SLTranslationException

public SLTranslationException(String message)

SLTranslationException

public SLTranslationException(String message,
                              Throwable cause)

Method Detail

getFileName

public String getFileName()

getPosition

public Position getPosition()

getLine

public int getLine()

getColumn

public int getColumn()