org.processmining.plugins.declareminer.visualizing
Class ConstraintView

java.lang.Object
  extended by org.jgraph.graph.AbstractCellView
      extended by org.jgraph.graph.EdgeView
          extended by org.processmining.plugins.declareminer.visualizing.DEdgeView
              extended by org.processmining.plugins.declareminer.visualizing.ConstraintView
All Implemented Interfaces:
java.io.Serializable, org.jgraph.graph.CellView

public class ConstraintView
extends DEdgeView

Title: DECLARE

Description:

Copyright: Copyright (c) 2006

Company: TU/e

Version:
1.0
Author:
Maja Pesic
See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class org.processmining.plugins.declareminer.visualizing.DEdgeView
DEdgeView.DEdgeHandle
 
Nested classes/interfaces inherited from class org.jgraph.graph.EdgeView
org.jgraph.graph.EdgeView.EdgeHandle
 
Field Summary
 
Fields inherited from class org.jgraph.graph.EdgeView
beginShape, cachedBounds, endShape, extraLabelPositions, labelPosition, labelVector, LEGACY_DISCONNECTABLE, lineShape, points, renderer, sharedPath, source, sourceParentView, target, targetParentView
 
Fields inherited from class org.jgraph.graph.AbstractCellView
allAttributes, attributes, cell, cellEditor, childViews, groupBounds, parent
 
Constructor Summary
ConstraintView(java.lang.Object object)
           
 
Method Summary
 java.awt.geom.Point2D getLabelVector()
          Hook to return the vector that is taken as the base vector to compute relative label positions.
 
Methods inherited from class org.processmining.plugins.declareminer.visualizing.DEdgeView
getHandle
 
Methods inherited from class org.jgraph.graph.EdgeView
addExtraLabel, addPoint, checkDefaultLabelPosition, convertRelativeLabelPositionToAbsolute, getAbsoluteExtraLabelPosition, getAbsoluteLabelPosition, getAbsoluteLabelPositionFromRelative, getBounds, getExtraLabelPosition, getFirstPointOfSegment, getLabelPosition, getLength, getNearestPoint, getPerimeterPoint, getPoint, getPointCount, getPointLocation, getPoints, getRenderer, getShape, getSource, getSourceParentView, getTarget, getTargetParentView, getVisibleParent, intersects, invalidate, isLoop, refresh, removeExtraLabel, removePoint, setExtraLabelPosition, setLabelPosition, setPoint, setSource, setTarget, update
 
Methods inherited from class org.jgraph.graph.AbstractCellView
changeAttributes, childUpdated, createAttributeMap, getAllAttributes, getAttributes, getBounds, getCell, getCellAttributes, getCenterPoint, getChildViews, getDescendantViews, getEditor, getParentView, getRendererComponent, includeInGroupBounds, isLeaf, mergeAttributes, 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
 

Constructor Detail

ConstraintView

public ConstraintView(java.lang.Object object)
Method Detail

getLabelVector

public java.awt.geom.Point2D getLabelVector()
Hook to return the vector that is taken as the base vector to compute relative label positions. Normally, the vector goes from the first to the last point on the edge, unless these points are equal, in which case the average distance of all points to the source point is used.

Overrides:
getLabelVector in class org.jgraph.graph.EdgeView
Returns:
Point2D