public class JavaParserException
extends antlr.SemanticException
Constructor and Description |
---|
JavaParserException(java.lang.String message) |
JavaParserException(java.lang.String cat,
antlr.Token t,
java.lang.String filename) |
JavaParserException(java.lang.String cat,
antlr.Token t,
java.lang.String filename,
int lineOffset,
int colOffset) |
JavaParserException(java.lang.Throwable e,
antlr.Token t,
java.lang.String filename) |
JavaParserException(java.lang.Throwable e,
antlr.Token t,
java.lang.String filename,
int lineOffset,
int colOffset) |
Modifier and Type | Method and Description |
---|---|
int |
getColumn() |
java.lang.String |
getErrorMessage()
Deprecated.
|
java.lang.String |
getFilename() |
int |
getLine() |
java.lang.String |
getMessage()
Returns a clean error message (no line number/column information)
|
java.lang.String |
toString()
Returns a string representation of this exception.
|
public JavaParserException(java.lang.String cat, antlr.Token t, java.lang.String filename, int lineOffset, int colOffset)
public JavaParserException(java.lang.Throwable e, antlr.Token t, java.lang.String filename, int lineOffset, int colOffset)
public JavaParserException(java.lang.String cat, antlr.Token t, java.lang.String filename)
public JavaParserException(java.lang.String message)
public JavaParserException(java.lang.Throwable e, antlr.Token t, java.lang.String filename)
public java.lang.String getFilename()
getFilename
in class antlr.RecognitionException
public int getLine()
getLine
in class antlr.RecognitionException
public int getColumn()
getColumn
in class antlr.RecognitionException
@Deprecated public java.lang.String getErrorMessage()
getErrorMessage
in class antlr.RecognitionException
public java.lang.String getMessage()
getMessage
in class java.lang.Throwable
public java.lang.String toString()
toString
in class antlr.RecognitionException
Copyright © 2003-2019 The KeY-Project.