org.processmining.plugins.declareminer.visualizing
Class ConstraintDefinitionEdge
java.lang.Object
javax.swing.tree.DefaultMutableTreeNode
org.jgraph.graph.DefaultGraphCell
org.jgraph.graph.DefaultEdge
org.processmining.plugins.declareminer.visualizing.DEdge
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 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 |
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 |
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 |
ConstraintDefinitionEdge
public ConstraintDefinitionEdge(ConstraintDefinition constraint,
ActivityDefinition parameter,
Parameter formal)
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)