de.uka.ilkd.key.parser

Class JavaParserException

java.lang.Object

java.lang.Throwable

java.lang.Exception

antlr.ANTLRException

antlr.RecognitionException

antlr.SemanticException

de.uka.ilkd.key.parser.JavaParserException

All Implemented Interfaces:

java.io.Serializable

public class JavaParserException
extends antlr.SemanticException

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.String	cat
(package private) java.lang.String	filename
(package private) java.lang.String	jb
private static long	serialVersionUID

Fields inherited from class antlr.RecognitionException

column, fileName, line

Constructor Summary

Constructors

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)

Method Summary

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.

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

cat

java.lang.String cat

filename

java.lang.String filename

jb

java.lang.String jb

Constructor Detail

JavaParserException

public JavaParserException(java.lang.String cat,
                           antlr.Token t,
                           java.lang.String filename,
                           int lineOffset,
                           int colOffset)

JavaParserException

public JavaParserException(java.lang.Throwable e,
                           antlr.Token t,
                           java.lang.String filename,
                           int lineOffset,
                           int colOffset)

JavaParserException

public JavaParserException(java.lang.String cat,
                           antlr.Token t,
                           java.lang.String filename)

JavaParserException

public JavaParserException(java.lang.String message)

JavaParserException

public JavaParserException(java.lang.Throwable e,
                           antlr.Token t,
                           java.lang.String filename)

Method Detail

getFilename

public java.lang.String getFilename()

Overrides:

getFilename in class antlr.RecognitionException

getLine

public int getLine()

Overrides:

getLine in class antlr.RecognitionException

getColumn

public int getColumn()

Overrides:

getColumn in class antlr.RecognitionException

getErrorMessage

@Deprecated
public java.lang.String getErrorMessage()

Deprecated.

Returns a clean error message (no line number/column information)

Overrides:

getErrorMessage in class antlr.RecognitionException

getMessage

public java.lang.String getMessage()

Returns a clean error message (no line number/column information)

Overrides:

getMessage in class java.lang.Throwable

toString

public java.lang.String toString()

Returns a string representation of this exception.

Overrides:

toString in class antlr.RecognitionException