| de.uka.ilkd.key.parser.NotDeclException
| NotDeclException | | public class NotDeclException extends antlr.SemanticException (Code) | | |
| Constructor Summary | |
| public | NotDeclException(String cat, Token t, String filename)
| | public | NotDeclException(String cat, String undeclared_symbol, String filename, int line, int column, String addtl)
| | public | NotDeclException(String cat, String undeclared_symbol, String filename, int line, int column)
|
| NotDeclException | | public NotDeclException(String cat, String undeclared_symbol, String filename, int line, int column)(Code) | | |
| getErrorMessage | | public String getErrorMessage()(Code) | | Returns a clean error message (no line number/column information)
|
| getMessage | | public String getMessage()(Code) | | Returns a clean error message (no line number/column information)
|
| toString | | public String toString()(Code) | | Returns a string representation of this exception.
|
|
|