Class GraphEvent.Edge<V,​E>

  • Enclosing class:
    GraphEvent<V,​E>

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

      • edge

        protected E edge
    • Constructor Detail

      • Edge

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

      • getEdge

        public E getEdge()
        Returns:
        the edge associated with this event.
      • toString

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