public static class GraphEvent.Vertex<V,E> extends GraphEvent<V,E>
GraphEvent.Edge<V,E>, GraphEvent.Type, GraphEvent.Vertex<V,E>
Modifier and Type | Field and Description |
---|---|
protected V |
vertex |
source, type
Constructor and Description |
---|
Vertex(Graph<V,E> source,
GraphEvent.Type type,
V vertex)
Creates a graph event for the specified graph, vertex, and type.
|
Modifier and Type | Method and Description |
---|---|
V |
getVertex()
Retrieves the vertex associated with this event.
|
java.lang.String |
toString() |
getSource, getType
protected V vertex
public Vertex(Graph<V,E> source, GraphEvent.Type type, V vertex)
public V getVertex()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2021, 2022 Herve Girod. All Rights Reserved. Documentation and source under the BSD 3-Clause licence