de.uka.ilkd.key.proof

Class SVInstantiationExceptionWithPosition

java.lang.Object

java.lang.Throwable

java.lang.Exception

de.uka.ilkd.key.proof.SVInstantiationException

de.uka.ilkd.key.proof.SVInstantiationExceptionWithPosition

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

MissingInstantiationException, MissingSortException, SortMismatchException, SVInstantiationParserException, SVRigidnessException

public abstract class SVInstantiationExceptionWithPosition
extends SVInstantiationException

Represents an exception with position information. The row position is absolut this means, if in a table it is the row of the table, but the column position is relative to the text and does not describe the column of the table. (has to be changed)

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private int	column
private boolean	inIfSequent
private int	row
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
SVInstantiationExceptionWithPosition(String description, int row, int column, boolean inIfSequent)

Method Summary

Modifier and Type	Method and Description
int	getColumn()
String	getMessage()
int	getRow()
boolean	inIfSequent()
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

row

private int row

column

private int column

inIfSequent

private boolean inIfSequent

Constructor Detail

SVInstantiationExceptionWithPosition

public SVInstantiationExceptionWithPosition(String description,
                                            int row,
                                            int column,
                                            boolean inIfSequent)

Method Detail

inIfSequent

public boolean inIfSequent()

getRow

public int getRow()

getColumn

public int getColumn()

getMessage

public String getMessage()

Overrides:

getMessage in class SVInstantiationException

toString

public String toString()

Returns a string representation of this exception.

Overrides:

toString in class SVInstantiationException