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
Nodes 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()
Nodes 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()