org.processmining.plugins.declare.visualizing

Class TransparentCellView.DVertexHandle

java.lang.Object

org.jgraph.graph.VertexView.SizeHandle

org.processmining.plugins.declare.visualizing.TransparentCellView.DVertexHandle

All Implemented Interfaces:

java.io.Serializable, org.jgraph.graph.CellHandle

Enclosing class:

TransparentCellView

public static class TransparentCellView.DVertexHandle
extends org.jgraph.graph.VertexView.SizeHandle

See Also:

Serialized Form

Field Summary

Fields inherited from class org.jgraph.graph.VertexView.SizeHandle

cachedBounds, context, contextViews, cursors, editing, firstDrag, firstOverlayInvocation, graph, index, initialBounds, offgraphics, portViews, r, vertex

Constructor Summary

Constructors

Constructor and Description
DVertexHandle(org.jgraph.graph.VertexView edge, org.jgraph.graph.GraphContext ctx)

Method Summary

Modifier and Type	Method and Description
void	mousePressed(java.awt.event.MouseEvent e) Process mouse pressed event.

Methods inherited from class org.jgraph.graph.VertexView.SizeHandle

computeBounds, initOffscreen, invalidate, isConstrainedSizeEvent, mouseDragged, mouseMoved, mouseReleased, overlay, paint

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DVertexHandle

public DVertexHandle(org.jgraph.graph.VertexView edge,
                     org.jgraph.graph.GraphContext ctx)

Parameters:

edge - EdgeView

ctx - GraphContext

Method Detail

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Description copied from class: org.jgraph.graph.VertexView.SizeHandle

Process mouse pressed event.

Specified by:

mousePressed in interface org.jgraph.graph.CellHandle

Overrides:

mousePressed in class org.jgraph.graph.VertexView.SizeHandle

Parameters:

e - the mouse event to be processed