Package | Description |
---|---|
org.eclipse.jetty.deploy.graph |
Jetty Deploy : Deployment Graph
|
Modifier and Type | Method and Description |
---|---|
Edge |
Path.firstEdge() |
Edge |
Path.getEdge(int index) |
Edge |
Path.lastEdge() |
Modifier and Type | Method and Description |
---|---|
Set<Edge> |
Graph.findEdges(Node node)
|
Set<Edge> |
Graph.findEdgesFrom(Node from)
Find all edges that are connected
getFrom() the specific node. |
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,
String nodeName)
Convenience method for
Graph.insertNode(Edge, Node) |
void |
Graph.removeEdge(Edge edge) |
Modifier and Type | Method and Description |
---|---|
void |
Graph.setEdges(Set<Edge> edges) |
Copyright © 1995-2015 Webtide. All Rights Reserved.