Package | Description |
---|---|
lavesdk.algorithm.plugin.views |
Modifier and Type | Method and Description |
---|---|
protected GraphView.VisualVertex |
GraphView.createVisualVertex(int x,
int y)
Creates a new visual vertex at the specified position.
|
GraphView.VisualVertex |
GraphView.VisualEdge.getPredecessor()
Gets the predecessor of the edge.
|
GraphView.VisualVertex |
GraphView.getSelectedVertex(int index)
Gets the selected vertex at the given index.
|
GraphView.VisualVertex |
GraphView.VisualEdge.getSuccessor()
Gets the successor of the edge.
|
GraphView.VisualVertex |
GraphView.getVertexFromPosition(int x,
int y)
Gets a vertex from the given position.
|
GraphView.VisualVertex |
GraphView.getVisualVertex(int index)
Gets the visual vertex at the given index.
|
GraphView.VisualVertex |
GraphView.getVisualVertex(Vertex v)
Gets the visual vertex of a given vertex.
|
GraphView.VisualVertex |
GraphView.getVisualVertexByCaption(java.lang.String caption)
Gets the visual vertex with the given caption.
|
GraphView.VisualVertex |
GraphView.getVisualVertexByID(int id)
Gets the visual vertex of a given vertex id.
|
Modifier and Type | Method and Description |
---|---|
protected void |
GraphView.afterVisualVertexCreated(GraphView.VisualVertex vv)
This method is invoked after a new visual vertex is created using graphical input by the user.
|
protected void |
DefaultRNView.afterVisualVertexCreated(GraphView.VisualVertex vv) |
protected boolean |
GraphView.beforeVisualEdgeCreated(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor,
boolean directed)
This method is invoked before a new visual edge is created using graphical input by the user.
|
protected boolean |
GraphView.beforeVisualEdgeCreated(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor,
boolean directed)
This method is invoked before a new visual edge is created using graphical input by the user.
|
protected boolean |
DefaultRNView.beforeVisualEdgeCreated(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor,
boolean directed) |
protected boolean |
DefaultRNView.beforeVisualEdgeCreated(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor,
boolean directed) |
protected GraphView.VisualEdge |
GraphView.createVisualEdge(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor)
Adds a new (undirected) visual edge to the graph between two specified vertices.
|
protected GraphView.VisualEdge |
GraphView.createVisualEdge(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor)
Adds a new (undirected) visual edge to the graph between two specified vertices.
|
protected GraphView.VisualEdge |
GraphView.createVisualEdge(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor,
boolean directed)
Adds a new visual edge to the graph between two specified vertices.
|
protected GraphView.VisualEdge |
GraphView.createVisualEdge(GraphView.VisualVertex predecessor,
GraphView.VisualVertex successor,
boolean directed)
Adds a new visual edge to the graph between two specified vertices.
|
boolean |
GraphView.VisualEdge.dockTo(GraphView.VisualVertex v)
Indicates if the edge docks to the given vertex that means if
v == getPredecessor() || v == getSuccessor() . |
int |
GraphView.getScaledVertexRadius(GraphView.VisualVertex v)
Gets the scaled radius of the given vertex.
|
protected void |
GraphView.removeVisualVertex(GraphView.VisualVertex v)
Removes a visual vertex of the graph and all its edges.
|
protected java.util.List<GraphView.EdgeOffset> |
GraphView.requestOffsetEdges(GraphView.VisualVertex v,
GraphView.VisualVertex u)
Requests the edges between two vertices its offset have to be updated.
|
protected java.util.List<GraphView.EdgeOffset> |
GraphView.requestOffsetEdges(GraphView.VisualVertex v,
GraphView.VisualVertex u)
Requests the edges between two vertices its offset have to be updated.
|
protected java.util.List<GraphView.EdgeOffset> |
DefaultRNView.requestOffsetEdges(GraphView.VisualVertex v,
GraphView.VisualVertex u) |
protected java.util.List<GraphView.EdgeOffset> |
DefaultRNView.requestOffsetEdges(GraphView.VisualVertex v,
GraphView.VisualVertex u) |
void |
GraphView.selectVertex(GraphView.VisualVertex v,
boolean multiSelect)
Selects a visual vertex.
|
void |
GraphViewListener.vertexAdded(GraphView.VisualVertex vertex)
A new vertex is added to the graph view.
|
void |
GraphViewListener.vertexRemoved(GraphView.VisualVertex vertex)
A vertex is removed from the graph view.
|
void |
GraphViewListener.vertexSelected(GraphView.VisualVertex vertex)
A vertex is selected in the graph view.
|
Modifier and Type | Method and Description |
---|---|
void |
GraphView.selectVertices(java.util.List<GraphView.VisualVertex> vertices)
Selects all visual vertices in the list.
|