Class GraphEvent.Vertex<V,​E>

  • Enclosing class:
    GraphEvent<V,​E>

    public static class GraphEvent.Vertex<V,​E>
    extends GraphEvent<V,​E>
    An event type pertaining to graph vertices.
    • Field Detail

      • vertex

        protected V vertex
    • Constructor Detail

      • Vertex

        public Vertex​(Graph<V,​E> source,
                      GraphEvent.Type type,
                      V vertex)
        Creates a graph event for the specified graph, vertex, and type.
        Parameters:
        source - the graph whose event this is
        type - the type of event this is
        vertex - the vertex involved in this event
    • Method Detail

      • getVertex

        public V getVertex()
        Returns:
        the vertex associated with this event
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object