org.processmining.plugins.declareminer.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.declareminer.visualizing.DEdge
                  extended by org.processmining.plugins.declareminer.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
 java.awt.Color getBackground()
           
 ConstraintDefinition getConstraintDefinition()
          getConstraintDefinition
 java.awt.Color getForeground()
           
 double[] getHistogrData()
           
 java.util.Vector getLabels()
           
 java.awt.Color getLine()
           
 javax.swing.JPanel getMainPanel()
           
 java.util.Vector getMetrics()
           
 org.processmining.framework.util.ui.widgets.ProMSplitPane getMetricsPanel()
           
 ActivityDefinition getParameter()
           
 java.util.Vector getTimeDistances()
           
 java.util.Vector getWith()
           
 java.util.Vector getWithout()
           
 boolean isLabel()
           
 boolean isVisible()
           
 void setBackground(java.awt.Color background)
           
 void setColor(java.awt.Color linecolor, java.awt.Color forecolor, java.awt.Color backcolor)
           
 void setForeground(java.awt.Color foreground)
           
 void setHistogrData(double[] histogrData)
           
 void setLabel(boolean l)
           
 void setLabels(java.util.Vector labels)
           
 void setLine(java.awt.Color line)
           
 void setMainPanel(javax.swing.JPanel mainPanel)
           
 void setMetrics(java.util.Vector metrics)
           
 void setMetricsPanel(org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel)
           
 void setTimeDistances(java.util.Vector timeDistances)
           
 void setVisible(boolean visible)
           
 void setWith(java.util.Vector with)
           
 void setWithout(java.util.Vector without)
           
 void update()
           
 void updateMandatory()
          updateMandatory
 
Methods inherited from class org.processmining.plugins.declareminer.visualizing.DEdge
clearLineBegin, clearLineEnd, clearLineMiddle, clone, getLineColor, getLineStyle, getLineWidth, refresh, 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

ConstraintDefinitionEdge

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

getWithout

public java.util.Vector getWithout()

setWithout

public void setWithout(java.util.Vector without)

getWith

public java.util.Vector getWith()

setWith

public void setWith(java.util.Vector with)

isVisible

public boolean isVisible()

setVisible

public void setVisible(boolean visible)

getMainPanel

public javax.swing.JPanel getMainPanel()

setMainPanel

public void setMainPanel(javax.swing.JPanel mainPanel)

isLabel

public boolean isLabel()

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(org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel)

getMetricsPanel

public org.processmining.framework.util.ui.widgets.ProMSplitPane 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)

getHistogrData

public double[] getHistogrData()

setHistogrData

public void setHistogrData(double[] histogrData)

getLine

public java.awt.Color getLine()

setLine

public void setLine(java.awt.Color line)

getForeground

public java.awt.Color getForeground()

setForeground

public void setForeground(java.awt.Color foreground)

getBackground

public java.awt.Color getBackground()

setBackground

public void setBackground(java.awt.Color background)

getMetrics

public java.util.Vector getMetrics()

setMetrics

public void setMetrics(java.util.Vector metrics)

getTimeDistances

public java.util.Vector getTimeDistances()

setTimeDistances

public void setTimeDistances(java.util.Vector timeDistances)