Examples of diva.graph.GraphListener.edgeHeadChanged()

diva.graph.GraphListener.edgeHeadChanged()
An edge's head has been changed in a registered graph or one of its subgraphs. The added edge is the "source" of the event. The previous head is accessible via e.getOldValue().

     * listeners.
     */
    public void edgeHeadChanged(GraphEvent e) {
        for (Iterator i = listeners(); i.hasNext();) {
            GraphListener l = (GraphListener) i.next();
            l.edgeHeadChanged(e);
        }
    }


    /**
     * Dispatch the edgeTailChanged() event to the

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.