org.processmining.processtree.visualization.jgraph

Class TreeNodeView

java.lang.Object

org.jgraph.graph.AbstractCellView

org.jgraph.graph.VertexView

org.processmining.processtree.visualization.jgraph.TreeNodeView

All Implemented Interfaces:

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

public class TreeNodeView
extends org.jgraph.graph.VertexView

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.jgraph.graph.VertexView

org.jgraph.graph.VertexView.SizeHandle

Field Summary

Fields

Modifier and Type	Field and Description
protected static TreeOperatorRenderer	renderer

Fields inherited from class org.jgraph.graph.VertexView

bounds, defaultBounds, defaultCursors, xCursors, yCursors

Fields inherited from class org.jgraph.graph.AbstractCellView

allAttributes, attributes, cell, cellEditor, childViews, groupBounds, parent

Constructor Summary

Constructors

Constructor and Description
TreeNodeView(java.lang.Object cell)

Method Summary

Modifier and Type	Method and Description
java.awt.geom.Point2D	getPerimeterPoint(org.jgraph.graph.EdgeView edge, java.awt.geom.Point2D source, java.awt.geom.Point2D p) Returns the intersection of the bounding rectangle and the straight line between the source and the specified point p.
org.jgraph.graph.CellViewRenderer	getRenderer() Returns a renderer for the class.

Methods inherited from class org.jgraph.graph.VertexView

getBounds, getCachedBounds, getCenterPoint, getHandle, getPerimeterPoint, setCachedBounds, update

Methods inherited from class org.jgraph.graph.AbstractCellView

changeAttributes, childUpdated, createAttributeMap, getAllAttributes, getAttributes, getBounds, getCell, getCellAttributes, getCenterPoint, getChildViews, getDescendantViews, getEditor, getParentView, getRendererComponent, includeInGroupBounds, intersects, isLeaf, mergeAttributes, refresh, removeFromParent, scale, setAttributes, setBounds, setCell, translate, updateGroupBounds

Methods inherited from class java.lang.Object

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

Field Detail

renderer

protected static final TreeOperatorRenderer renderer

Constructor Detail

TreeNodeView

public TreeNodeView(java.lang.Object cell)

Method Detail

getRenderer

public org.jgraph.graph.CellViewRenderer getRenderer()

Returns a renderer for the class.

Overrides:

getRenderer in class org.jgraph.graph.VertexView

Returns:

the renderer instance for this view

getPerimeterPoint

public java.awt.geom.Point2D getPerimeterPoint(org.jgraph.graph.EdgeView edge,
                                               java.awt.geom.Point2D source,
                                               java.awt.geom.Point2D p)

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

Returns the intersection of the bounding rectangle and the straight line between the source and the specified point p. The specified point is expected not to intersect the bounds. Note: You must override this method if you use a different renderer. This is because this method relies on the VertexRenderer interface, which can not be safely assumed for subclassers.

Specified by:

getPerimeterPoint in interface org.jgraph.graph.CellView

Overrides:

getPerimeterPoint in class org.jgraph.graph.VertexView