public class NotDeclException extends KeYSemanticException
approximateLineInfo, c, charPositionInLine, index, input, line, node, token
Constructor and Description |
---|
NotDeclException(TokenStream input,
String cat,
String undeclared_symbol) |
NotDeclException(TokenStream input,
String cat,
String undeclared_symbol,
String addtl) |
Modifier and Type | Method and Description |
---|---|
private static String |
getMessage(String cat,
String undeclaredSymbol,
String addtl)
Returns a clean error message (no line number/column information)
|
getColumn, getErrorMessage, getFilename, getLine, getMessage, toString
extractInformationFromTreeNodeStream, getUnexpectedType
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
public NotDeclException(TokenStream input, String cat, String undeclared_symbol, String addtl)
public NotDeclException(TokenStream input, String cat, String undeclared_symbol)