public class CheckException
extends java.lang.Exception
Constructor and Description |
---|
CheckException(java.lang.String message,
Node node) |
CheckException(java.lang.String message,
Node[] nodes) |
CheckException(java.lang.String message,
Node aStringExpr,
java.lang.Exception e) |
Modifier and Type | Method and Description |
---|---|
Node |
getFirstNode() |
Node[] |
getNodes()
Returns all
Node s that are relevant for this exception. |
public CheckException(java.lang.String message, Node[] nodes)
public CheckException(java.lang.String message, Node node)
public CheckException(java.lang.String message, Node aStringExpr, java.lang.Exception e)
public Node[] getNodes()
Node
s that are relevant for this exception. This can
be a list of all nodes which caused this same CheckException
. In
other cases this can be the list of all nodes which caused this exception
together, e.g. all clauses if multiple are present and only one is
allowed.Node
objects.public Node getFirstNode()