org.processmining.plugins.declare.visualizing
Class DEdgeView.DEdgeHandle

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

public static class DEdgeView.DEdgeHandle
extends org.jgraph.graph.EdgeView.EdgeHandle

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.jgraph.graph.EdgeView.EdgeHandle
currentIndex, currentLabel, currentPoint, edgeModified, editing, extraLabelLocations, firstOverlayCall, graph, highlight, initialLabelLocation, isEdgeConnectable, label, loc, orig, r, relevantEdge, source, target
 
Constructor Summary
DEdgeView.DEdgeHandle(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)
           
 void mousePressed(java.awt.event.MouseEvent e)
           
 
Methods inherited from class org.jgraph.graph.EdgeView.EdgeHandle
createConnectionSet, createHighlight, getHighlightBounds, getRelativeLabelPosition, highlight, invalidate, isConstrainedMoveEvent, isEditing, isSourceEditing, isTargetEditing, mouseDragged, mouseMoved, 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

DEdgeView.DEdgeHandle

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

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)
Specified by:
mousePressed in interface org.jgraph.graph.CellHandle
Overrides:
mousePressed in class org.jgraph.graph.EdgeView.EdgeHandle

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