org.processmining.plugins.declare.visualizing
Class ConstraintDefinitionEdge

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.declare.visualizing.DEdge
                  extended by org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge
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
Direct Known Subclasses:
ConstraintEdge

public class ConstraintDefinitionEdge
extends DEdge

Title: DECLARE

Description:

Copyright: Copyright (c) 2006

Company: TU/e

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

Nested Class Summary
static class 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
ConstraintDefinitionEdge(ConstraintDefinition constraint, ActivityDefinition parameter, Parameter formal)
           
 
Method Summary
 ConstraintDefinition getConstraintDefinition()
          getConstraintDefinition
 java.util.Vector getLabels()
           
 javax.swing.JPanel getMainPanel()
           
 javax.swing.JPanel getMetricsPanel()
           
 ActivityDefinition getParameter()
           
 void setColor(java.awt.Color linecolor, java.awt.Color forecolor, java.awt.Color backcolor)
           
 void setLabel(boolean l)
           
 void setLabels(java.util.Vector labels)
           
 void setMainPanel(javax.swing.JPanel mainPanel)
           
 void setMetricsPanel(javax.swing.JPanel metricsPanel)
           
 void update()
           
 void updateMandatory()
          updateMandatory
 
Methods inherited from class org.processmining.plugins.declare.visualizing.DEdge
clearLineBegin, clearLineEnd, clearLineMiddle, clone, getLineStyle, getLineWidth, refresh, 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

ConstraintDefinitionEdge

public ConstraintDefinitionEdge(ConstraintDefinition constraint,
                                ActivityDefinition parameter,
                                Parameter formal)
Method Detail

getMainPanel

public javax.swing.JPanel getMainPanel()

setMainPanel

public void setMainPanel(javax.swing.JPanel mainPanel)

setLabel

public void setLabel(boolean l)

updateMandatory

public void updateMandatory()
updateMandatory


update

public void update()

getConstraintDefinition

public ConstraintDefinition getConstraintDefinition()
getConstraintDefinition

Returns:
ConstraintDefinition

setMetricsPanel

public void setMetricsPanel(javax.swing.JPanel metricsPanel)

getMetricsPanel

public javax.swing.JPanel getMetricsPanel()

setLabels

public void setLabels(java.util.Vector labels)

getLabels

public java.util.Vector getLabels()

getParameter

public ActivityDefinition getParameter()

setColor

public void setColor(java.awt.Color linecolor,
                     java.awt.Color forecolor,
                     java.awt.Color backcolor)