| de.uka.ilkd.key.parser.AmbigiousDeclException
| AmbigiousDeclException | | public class AmbigiousDeclException extends antlr.SemanticException (Code) | | |
| AmbigiousDeclException | | public AmbigiousDeclException(String cat, Token t)(Code) | | |
| AmbigiousDeclException | | public AmbigiousDeclException(String ambigious_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.
|
|
|