Package | Description |
---|---|
org.eclipse.jetty.deploy.graph |
Jetty Deploy : Deployment Graph
|
Modifier and Type | Field and Description |
---|---|
private java.util.List<Edge> |
Path._edges |
private java.util.Set<Edge> |
Graph._edges |
Modifier and Type | Method and Description |
---|---|
Edge |
Path.firstEdge() |
Edge |
Path.getEdge(int index) |
Edge |
Path.lastEdge() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Edge> |
Graph.findEdges(Node node)
|
java.util.Set<Edge> |
Graph.findEdgesFrom(Node from)
Find all edges that are connected
getFrom() the specific node. |
java.util.Set<Edge> |
Graph.getEdges() |
Modifier and Type | Method and Description |
---|---|
void |
Path.add(Edge edge) |
void |
Graph.addEdge(Edge edge) |
void |
Graph.insertNode(Edge edge,
Node node)
Insert an arbitrary node on an existing edge.
|
void |
Graph.insertNode(Edge edge,
java.lang.String nodeName)
Convenience method for
Graph.insertNode(Edge, Node) |
void |
Graph.removeEdge(Edge edge) |
private static void |
GraphOutputDot.writeEdge(java.io.PrintWriter out,
Edge edge) |
Modifier and Type | Method and Description |
---|---|
private Path |
Graph.breadthFirst(Node from,
Node destination,
java.util.concurrent.CopyOnWriteArrayList<Path> paths,
java.util.Set<Edge> seen) |
void |
Graph.setEdges(java.util.Set<Edge> edges) |