public class GraalGraphError extends GraalError
GraalError.| Modifier | Constructor and Description |
|---|---|
protected |
GraalGraphError(GraalError e)
This constructor creates a
GraalGraphError from a given GraalError instance. |
|
GraalGraphError(String msg,
Object... args)
This constructor creates a
GraalGraphError with a message assembled via
String.format(String, Object...). |
|
GraalGraphError(Throwable cause)
This constructor creates a
GraalGraphError for a given causing Throwable instance. |
| Modifier and Type | Method and Description |
|---|---|
GraalGraphError |
addContext(Node newNode)
Adds a node to the context of this
GraalGraphError. |
Graph |
graph() |
Node |
node() |
static GraalGraphError |
transformAndAddContext(GraalError e,
Graph newGraph)
Transform a GraalError into a GraalGraphInternalError and add a graph to the context.
|
static GraalGraphError |
transformAndAddContext(GraalError e,
Node newNode)
Transform a GraalError into a GraalGraphInternalError and add a node to the context.
|
addContext, addContext, context, guarantee, guarantee, guarantee, guarantee, guarantee, shouldNotReachHere, shouldNotReachHere, shouldNotReachHere, shouldNotReachHere, toString, unimplemented, unimplementedaddSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTracepublic GraalGraphError(String msg, Object... args)
GraalGraphError with a message assembled via
String.format(String, Object...). It always uses the ENGLISH locale in order to
always generate the same output.msg - the message that will be associated with the error, in String.format syntaxargs - parameters to String.format - parameters that implement Iterable will be
expanded into a [x, x, ...] representation.public GraalGraphError(Throwable cause)
GraalGraphError for a given causing Throwable instance.cause - the original exception that contains additional information on this errorprotected GraalGraphError(GraalError e)
GraalGraphError from a given GraalError instance.e - the original GraalErrorpublic GraalGraphError addContext(Node newNode)
GraalGraphError. The first node added via this
method will be returned by GraalGraphError.node().newNode - the node which is in a incorrect state, if the verification error was caused
by a nodepublic static GraalGraphError transformAndAddContext(GraalError e, Graph newGraph)
e - the previous errornewGraph - the graph which is in a incorrect state, if the verification error was not
caused by a specific nodepublic static GraalGraphError transformAndAddContext(GraalError e, Node newNode)
e - the previous errornewNode - the node which is in a incorrect state, if the verification error was caused
by a nodepublic Node node()
public Graph graph()