de.uka.ilkd.key.parser

Class KeYSemanticException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.antlr.runtime.RecognitionException

de.uka.ilkd.key.parser.KeYSemanticException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

NotDeclException

public class KeYSemanticException
extends org.antlr.runtime.RecognitionException

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	cat
private java.lang.String	filename
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
KeYSemanticException(java.lang.String message)
KeYSemanticException(org.antlr.runtime.TokenStream input, java.lang.String sourceName, java.lang.Exception cause)
KeYSemanticException(org.antlr.runtime.TokenStream input, java.lang.String sourceName, java.lang.String message)

Method Summary

Modifier and Type	Method and Description
int	getColumn()
java.lang.String	getErrorMessage() Deprecated.
java.lang.String	getFilename()
int	getLine()
java.lang.String	getMessage() Returns a clean error message (no line number/column information)
java.lang.String	toString() Returns a string representation of this exception.

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

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

cat

private final java.lang.String cat

filename

private final java.lang.String filename

Constructor Detail

KeYSemanticException

public KeYSemanticException(java.lang.String message)

KeYSemanticException

public KeYSemanticException(org.antlr.runtime.TokenStream input,
                            java.lang.String sourceName,
                            java.lang.String message)

KeYSemanticException

public KeYSemanticException(org.antlr.runtime.TokenStream input,
                            java.lang.String sourceName,
                            java.lang.Exception cause)

Method Detail

getFilename

public java.lang.String getFilename()

getLine

public int getLine()

getColumn

public int getColumn()

getErrorMessage

@Deprecated
public java.lang.String getErrorMessage()

Deprecated.

Returns a clean error message (no line number/column information)

getMessage

public java.lang.String getMessage()

Returns a clean error message (no line number/column information)

Overrides:

getMessage in class java.lang.Throwable

toString

public java.lang.String toString()

Returns a string representation of this exception.

Overrides:

toString in class java.lang.Throwable