public class NotDeclException extends KeYSemanticException
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) |
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)
|
getColumn, getErrorMessage, getFilename, getLine, getMessage, toString
extractInformationFromTreeNodeStream, getUnexpectedType
public NotDeclException(org.antlr.runtime.TokenStream input, java.lang.String cat, java.lang.String undeclared_symbol, java.lang.String addtl)
public NotDeclException(org.antlr.runtime.TokenStream input, java.lang.String cat, java.lang.String undeclared_symbol)