| de.uka.ilkd.key.parser.KeYSemanticException
| KeYSemanticException | | public class KeYSemanticException extends antlr.SemanticException (Code) | | |
| KeYSemanticException | | public KeYSemanticException(String cat, Token t, String filename)(Code) | | |
| KeYSemanticException | | public KeYSemanticException(String cat, String filename, int line, int column)(Code) | | |
| KeYSemanticException | | public KeYSemanticException(String cat, int line, int column, String file)(Code) | | |
| KeYSemanticException | | public KeYSemanticException(String message)(Code) | | |
| getColumn | | public int getColumn()(Code) | | |
| getErrorMessage | | public String getErrorMessage()(Code) | | Returns a clean error message (no line number/column information)
|
| getLine | | public int getLine()(Code) | | |
| 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.
|
|
|