org.processmining.ocbc.models.visualization.declare

Class DEdgeView.DEdgeHandle

java.lang.Object

org.jgraph.graph.EdgeView.EdgeHandle

org.processmining.ocbc.models.visualization.declare.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

Constructors

Constructor and Description
DEdgeHandle(org.jgraph.graph.EdgeView edge, org.jgraph.graph.GraphContext ctx)

Method Summary

Modifier and Type	Method and Description
boolean	isAddPointEvent(java.awt.event.MouseEvent event) Returning true signifies a mouse event adds a new point to an edge.
boolean	isRemovePointEvent(java.awt.event.MouseEvent event) Returning true signifies a mouse event removes a given point.

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

DEdgeHandle

public DEdgeHandle(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)

Description copied from class: org.jgraph.graph.EdgeView.EdgeHandle

Returning true signifies a mouse event adds a new point to an edge.

Overrides:

isAddPointEvent in class org.jgraph.graph.EdgeView.EdgeHandle

isRemovePointEvent

public boolean isRemovePointEvent(java.awt.event.MouseEvent event)

Description copied from class: org.jgraph.graph.EdgeView.EdgeHandle

Returning true signifies a mouse event removes a given point.

Overrides:

isRemovePointEvent in class org.jgraph.graph.EdgeView.EdgeHandle