public class GraphElementException extends GraphException
Constructor and Description |
---|
GraphElementException(Element element,
Graph graph,
java.lang.String message)
Constructor with arguments of element, graph, and a message.
|
GraphElementException(java.lang.String message)
Constructor for a given message.
|
Modifier and Type | Method and Description |
---|---|
static void |
checkEdge(Edge edge,
Graph graph)
Verify that an edge is in the container graph.
|
static void |
checkNode(Node node,
Graph graph)
Verify that a node is in the container graph.
|
_elementDump, elementDump, graphDump, weightDump
public GraphElementException(java.lang.String message)
message
- The message.