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:

Serializable

public class JavaParserException
extends SemanticException

See Also:

Serialized Form

Field Summary

Fields

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

Fields inherited from class antlr.RecognitionException

column, fileName, line

Constructor Summary

Constructors

Constructor and Description
JavaParserException(String message)
JavaParserException(String cat, Token t, String filename)
JavaParserException(String cat, Token t, String filename, int lineOffset, int colOffset)
JavaParserException(Throwable e, Token t, String filename)
JavaParserException(Throwable e, Token t, String filename, int lineOffset, int colOffset)

Method Summary

Modifier and Type	Method and Description
int	getColumn()
String	getErrorMessage() Deprecated.
String	getFilename()
int	getLine()
String	getMessage() Returns a clean error message (no line number/column information)
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

String cat

filename

String filename

jb

String jb

Constructor Detail

JavaParserException

public JavaParserException(String cat,
                           Token t,
                           String filename,
                           int lineOffset,
                           int colOffset)

JavaParserException

public JavaParserException(Throwable e,
                           Token t,
                           String filename,
                           int lineOffset,
                           int colOffset)

JavaParserException

public JavaParserException(String cat,
                           Token t,
                           String filename)

JavaParserException

public JavaParserException(String message)

JavaParserException

public JavaParserException(Throwable e,
                           Token t,
                           String filename)

Method Detail

getFilename

public String getFilename()

Overrides:

getFilename in class RecognitionException

getLine

public int getLine()

Overrides:

getLine in class RecognitionException

getColumn

public int getColumn()

Overrides:

getColumn in class RecognitionException

getErrorMessage

@Deprecated
public String getErrorMessage()

Deprecated.

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

Overrides:

getErrorMessage in class RecognitionException

getMessage

public String getMessage()

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

Overrides:

getMessage in class Throwable

toString

public String toString()

Returns a string representation of this exception.

Overrides:

toString in class RecognitionException