csheets.ext.assertion

Class AssertionException

java.lang.Object

java.lang.Throwable

java.lang.Exception

csheets.ext.assertion.AssertionException

All Implemented Interfaces:

Serializable

public class AssertionException
extends Exception

Representing a parse error of an assertion. Thrown by Assertion().

Author:

Fredrik Johansson, Peter Palotas

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
AssertionException(antlr.CharStreamException cse)
AssertionException(int line, int column, String errorMsg)
AssertionException(antlr.MismatchedCharException ex)
AssertionException(antlr.MismatchedTokenException ex)
AssertionException(antlr.NoViableAltException ex)
AssertionException(antlr.NoViableAltForCharException ex)
AssertionException(antlr.RecognitionException re)
AssertionException(String errorMsg)
AssertionException(antlr.TokenStreamException tse)

Method Summary

Methods

Modifier and Type	Method and Description
int	getColumn() Returns the column of the assertion on which this error occured if hasLocationInfo() returns true.
int	getLine() Returns the line of the assertion on which this error occured if hasLocationInfo() returns true.
String	getMessage() Returns the message of this error.
boolean	hasLocationInfo() Returns true if this exception contains information about where in the assertion string the error occured, meaning getLine() and getColumn() will return correct values.
String	toString() Returns a message describing this error.

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

static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

AssertionException

public AssertionException(int line,
                  int column,
                  String errorMsg)

AssertionException

public AssertionException(String errorMsg)

AssertionException

public AssertionException(antlr.RecognitionException re)

AssertionException

public AssertionException(antlr.TokenStreamException tse)

AssertionException

public AssertionException(antlr.CharStreamException cse)

AssertionException

public AssertionException(antlr.MismatchedCharException ex)

AssertionException

public AssertionException(antlr.MismatchedTokenException ex)

AssertionException

public AssertionException(antlr.NoViableAltException ex)

AssertionException

public AssertionException(antlr.NoViableAltForCharException ex)

Method Detail

hasLocationInfo

public boolean hasLocationInfo()

Returns true if this exception contains information about where in the assertion string the error occured, meaning getLine() and getColumn() will return correct values. Returns false otherwise.

getLine

public int getLine()

Returns the line of the assertion on which this error occured if hasLocationInfo() returns true. Otherwise -1 will be returned.

getColumn

public int getColumn()

Returns the column of the assertion on which this error occured if hasLocationInfo() returns true. Otherwise -1 will be returned.

getMessage

public String getMessage()

Returns the message of this error.

Overrides:

getMessage in class Throwable

toString

public String toString()

Returns a message describing this error.

Overrides:

toString in class Throwable