org.processmining.plugins.declareminer.visualizing
Class GraphPane.MyEdgeHandle

java.lang.Object
  extended by org.jgraph.graph.EdgeView.EdgeHandle
      extended by org.processmining.plugins.declareminer.visualizing.GraphPane.MyEdgeHandle
All Implemented Interfaces:
java.io.Serializable, org.jgraph.graph.CellHandle
Enclosing class:
GraphPane

public static class GraphPane.MyEdgeHandle
extends org.jgraph.graph.EdgeView.EdgeHandle

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.jgraph.graph.EdgeView.EdgeHandle
currentIndex, currentLabel, currentPoint, edge, edgeModified, editing, extraLabelLocations, firstOverlayCall, graph, highlight, initialLabelLocation, isEdgeConnectable, label, loc, orig, r, relevantEdge, source, target
 
Constructor Summary
GraphPane.MyEdgeHandle(org.jgraph.graph.EdgeView edge, org.jgraph.graph.GraphContext ctx)
           
 
Method Summary
 boolean isAddPointEvent(java.awt.event.MouseEvent event)
           
 boolean isRemovePointEvent(java.awt.event.MouseEvent event)
           
 
Methods inherited from class org.jgraph.graph.EdgeView.EdgeHandle
createConnectionSet, createHighlight, getHighlightBounds, getRelativeLabelPosition, highlight, invalidate, isConstrainedMoveEvent, isEditing, isSourceEditing, isTargetEditing, mouseDragged, mouseMoved, mousePressed, mouseReleased, overlay, paint, paintPort, processNestedMap, reloadPoints, snap
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphPane.MyEdgeHandle

public GraphPane.MyEdgeHandle(org.jgraph.graph.EdgeView edge,
                              org.jgraph.graph.GraphContext ctx)
Parameters:
edge - EdgeView
ctx - GraphContext
Method Detail

isAddPointEvent

public boolean isAddPointEvent(java.awt.event.MouseEvent event)
Overrides:
isAddPointEvent in class org.jgraph.graph.EdgeView.EdgeHandle

isRemovePointEvent

public boolean isRemovePointEvent(java.awt.event.MouseEvent event)
Overrides:
isRemovePointEvent in class org.jgraph.graph.EdgeView.EdgeHandle