| Package | Description |
|---|---|
| org.eclipse.jetty.deploy.graph |
Jetty Deploy : Deployment Graph
|
| Modifier and Type | Method | Description |
|---|---|---|
Edge |
Path.firstEdge() |
|
Edge |
Path.getEdge(int index) |
|
Edge |
Path.lastEdge() |
| Modifier and Type | Method | 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 | Description |
|---|---|---|
void |
Path.add(Edge edge) |
|
void |
Graph.addEdge(Edge edge) |
|
void |
Graph.insertNode(Edge edge,
java.lang.String nodeName) |
Convenience method for
Graph.insertNode(Edge, Node) |
void |
Graph.insertNode(Edge edge,
Node node) |
Insert an arbitrary node on an existing edge.
|
void |
Graph.removeEdge(Edge edge) |
| Modifier and Type | Method | Description |
|---|---|---|
void |
Graph.setEdges(java.util.Set<Edge> edges) |
Copyright © 1995–2018 Webtide. All rights reserved.