public class MissingInstantiationException extends SVInstantiationExceptionWithPosition
Constructor and Description |
---|
MissingInstantiationException(java.lang.String toInstantiate,
int row,
int column,
boolean inIfSequent) |
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 MissingInstantiationException(java.lang.String toInstantiate, int row, int column, boolean inIfSequent)
public java.lang.String getMessage()
getMessage
in class SVInstantiationExceptionWithPosition
public java.lang.String toString()
toString
in class SVInstantiationExceptionWithPosition
Copyright © 2003-2019 The KeY-Project.