public class SortMismatchException extends SVInstantiationExceptionWithPosition
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, getLocation, getRow, inIfSequent
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
Copyright © 2003-2019 The KeY-Project.