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

Constructors

Constructor and Description
ConstraintEdge(ConstraintDefinition constraint, ActivityDefinition real, Parameter parameter)

Method Summary

Modifier and Type	Method and Description
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()