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

java.lang.Object
  org.jgraph.graph.EdgeView.EdgeHandle
      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