de.uka.ilkd.key.parser

Class NotDeclException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.antlr.runtime.RecognitionException

de.uka.ilkd.key.parser.KeYSemanticException

de.uka.ilkd.key.parser.NotDeclException

All Implemented Interfaces:

java.io.Serializable

public class NotDeclException
extends KeYSemanticException

See Also:

Serialized Form

Field Summary

Fields inherited from class org.antlr.runtime.RecognitionException

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

Constructor Summary

Constructors

Constructor and Description
NotDeclException(org.antlr.runtime.TokenStream input, java.lang.String cat, java.lang.String undeclared_symbol)
NotDeclException(org.antlr.runtime.TokenStream input, java.lang.String cat, java.lang.String undeclared_symbol, java.lang.String addtl)

Method Summary

Modifier and Type	Method and Description
private static java.lang.String	getMessage(java.lang.String cat, java.lang.String undeclaredSymbol, java.lang.String addtl) Returns a clean error message (no line number/column information)

Methods inherited from class de.uka.ilkd.key.parser.KeYSemanticException

getColumn, getErrorMessage, getFilename, getLine, getMessage, toString

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

Constructor Detail

NotDeclException

public NotDeclException(org.antlr.runtime.TokenStream input,
                        java.lang.String cat,
                        java.lang.String undeclared_symbol,
                        java.lang.String addtl)

NotDeclException

public NotDeclException(org.antlr.runtime.TokenStream input,
                        java.lang.String cat,
                        java.lang.String undeclared_symbol)

Method Detail

getMessage

private static java.lang.String getMessage(java.lang.String cat,
                                           java.lang.String undeclaredSymbol,
                                           java.lang.String addtl)

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