org.processmining.plugins.declare.visualizing
Class ConstraintEdge

java.lang.Object
  javax.swing.tree.DefaultMutableTreeNode
      org.jgraph.graph.DefaultGraphCell
          org.jgraph.graph.DefaultEdge
              org.processmining.plugins.declare.visualizing.DEdge
                  org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge
                      org.processmining.plugins.declare.visualizing.ConstraintEdge

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode, org.jgraph.graph.Edge, org.jgraph.graph.GraphCell

public class ConstraintEdge
extends ConstraintDefinitionEdge

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge

ConstraintDefinitionEdge.UnaryRouting

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

org.jgraph.graph.DefaultEdge.DefaultRouting, org.jgraph.graph.DefaultEdge.LoopRouting

Nested classes/interfaces inherited from interface org.jgraph.graph.Edge

org.jgraph.graph.Edge.Routing

Field Summary

Fields inherited from class org.jgraph.graph.DefaultEdge

source, target

Fields inherited from class org.jgraph.graph.DefaultGraphCell

attributes

Fields inherited from class javax.swing.tree.DefaultMutableTreeNode

allowsChildren, children, EMPTY_ENUMERATION, parent, userObject

Constructor Summary

ConstraintEdge(ConstraintDefinition constraint, ActivityDefinition real, Parameter parameter)

Method Summary

protected float	getLineWidth()
java.lang.String	getToolTipString()
void	refresh()

Methods inherited from class org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge

getConstraintDefinition, getLabels, getMainPanel, getMetricsPanel, getParameter, setColor, setLabel, setLabels, setMainPanel, setMetricsPanel, update, updateMandatory

Methods inherited from class org.processmining.plugins.declare.visualizing.DEdge

clearLineBegin, clearLineEnd, clearLineMiddle, clone, getLineStyle, resetLineBegin, resetLineDash, resetLineEnd, resetLineMiddle, resetLineNumber, resetLineStyle, setEditable, setLineColor, setLineDash

Methods inherited from class org.jgraph.graph.DefaultEdge

getSource, getTarget, setSource, setTarget

Methods inherited from class org.jgraph.graph.DefaultGraphCell

addPort, addPort, addPort, changeAttributes, getAttributes, getChildren, setAttributes

Methods inherited from class javax.swing.tree.DefaultMutableTreeNode

add, breadthFirstEnumeration, children, depthFirstEnumeration, getAllowsChildren, getChildAfter, getChildAt, getChildBefore, getChildCount, getDepth, getFirstChild, getFirstLeaf, getIndex, getLastChild, getLastLeaf, getLeafCount, getLevel, getNextLeaf, getNextNode, getNextSibling, getParent, getPath, getPathToRoot, getPreviousLeaf, getPreviousNode, getPreviousSibling, getRoot, getSharedAncestor, getSiblingCount, getUserObject, getUserObjectPath, insert, isLeaf, isNodeAncestor, isNodeChild, isNodeDescendant, isNodeRelated, isNodeSibling, isRoot, pathFromAncestorEnumeration, postorderEnumeration, preorderEnumeration, remove, remove, removeAllChildren, removeFromParent, setAllowsChildren, setParent, setUserObject, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jgraph.graph.GraphCell

changeAttributes, getAttributes, setAttributes

Constructor Detail

ConstraintEdge

public ConstraintEdge(ConstraintDefinition constraint,
                      ActivityDefinition real,
                      Parameter parameter)

Method Detail

getLineWidth

protected float getLineWidth()

Overrides:

getLineWidth in class DEdge

refresh

public void refresh()

Overrides:

refresh in class DEdge

getToolTipString

public java.lang.String getToolTipString()