public class SortMismatchException extends SVInstantiationExceptionWithPosition
Modifier and Type | Field and Description |
---|---|
private Sort |
givenSort |
private static long |
serialVersionUID |
private java.lang.String |
toInstantiate |
Constructor and Description |
---|
SortMismatchException(java.lang.String toInstantiate,
Sort givenSort,
int row,
int column) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getMessage() |
java.lang.String |
toString()
Returns a string representation of this exception.
|
getColumn, getRow, inIfSequent
private static final long serialVersionUID
private java.lang.String toInstantiate
private Sort givenSort
public SortMismatchException(java.lang.String toInstantiate, Sort givenSort, int row, int column)
public java.lang.String getMessage()
getMessage
in class SVInstantiationExceptionWithPosition
public java.lang.String toString()
toString
in class SVInstantiationExceptionWithPosition