de.uka.ilkd.key.speclang.translation

Class SLWarningException

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

de.uka.ilkd.key.speclang.translation.SLWarningException

All Implemented Interfaces:

Serializable

public class SLWarningException
extends SLTranslationException

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class org.antlr.runtime.RecognitionException

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

Constructor Summary

Constructors

Constructor and Description
SLWarningException(PositionedString warning)
SLWarningException(String text, String fileName, Position pos)

Method Summary

Modifier and Type	Method and Description
PositionedString	getWarning()

Methods inherited from class de.uka.ilkd.key.speclang.translation.SLTranslationException

getColumn, getFileName, getLine, 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

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

SLWarningException

public SLWarningException(String text,
                          String fileName,
                          Position pos)

SLWarningException

public SLWarningException(PositionedString warning)

Method Detail

getWarning

public PositionedString getWarning()