public class SVInstantiationParserException extends SVInstantiationExceptionWithPosition
Constructor and Description |
---|
SVInstantiationParserException(java.lang.String instantiation,
int row,
int column,
java.lang.String detail,
boolean inIfSequent) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getMessage() |
SVInstantiationParserException |
initCause(java.lang.Throwable cause) |
java.lang.String |
toString()
Returns a string representation of this exception.
|
getColumn, getLocation, getRow, inIfSequent
public SVInstantiationParserException(java.lang.String instantiation, int row, int column, java.lang.String detail, boolean inIfSequent)
public java.lang.String getMessage()
getMessage
in class SVInstantiationExceptionWithPosition
public java.lang.String toString()
toString
in class SVInstantiationExceptionWithPosition
public SVInstantiationParserException initCause(java.lang.Throwable cause)
initCause
in class java.lang.Throwable
Copyright © 2003-2019 The KeY-Project.