org.processmining.plugins.declareminer.visualizing
Class ConstraintEdge

java.lang.Object
  extended by javax.swing.tree.DefaultMutableTreeNode
      extended by org.jgraph.graph.DefaultGraphCell
          extended by org.jgraph.graph.DefaultEdge
              extended by org.processmining.plugins.declareminer.visualizing.DEdge
                  extended by org.processmining.plugins.declareminer.visualizing.ConstraintDefinitionEdge
                      extended by org.processmining.plugins.declareminer.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.declareminer.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.declareminer.visualizing.ConstraintDefinitionEdge
getBackground, getConstraintDefinition, getForeground, getHistogrData, getLabels, getLine, getMainPanel, getMetrics, getMetricsPanel, getParameter, getTimeDistances, getWith, getWithout, isLabel, isVisible, setBackground, setColor, setForeground, setHistogrData, setLabel, setLabels, setLine, setMainPanel, setMetrics, setMetricsPanel, setTimeDistances, setVisible, setWith, setWithout, update, updateMandatory
 
Methods inherited from class org.processmining.plugins.declareminer.visualizing.DEdge
clearLineBegin, clearLineEnd, clearLineMiddle, clone, getLineColor, getLineStyle, resetLineBegin, resetLineDash, resetLineEnd, resetLineMiddle, resetLineNumber, resetLineStyle, setEditable, setLineColor, setLineDash, setOpaque, setSelectable
 
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()