public class ConstraintDefinitionEdge extends DEdge
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Modifier and Type | Class and Description |
---|---|
static class |
ConstraintDefinitionEdge.UnaryRouting |
Constructor and Description |
---|
ConstraintDefinitionEdge(ConstraintDefinition constraint,
ActivityDefinition parameter,
Parameter formal) |
Modifier and Type | Method and Description |
---|---|
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
|
clearLineBegin, clearLineEnd, clearLineMiddle, clone, getLineColor, getLineStyle, getLineWidth, refresh, resetLineBegin, resetLineDash, resetLineEnd, resetLineMiddle, resetLineNumber, resetLineStyle, setEditable, setLineColor, setLineDash, setOpaque, setSelectable
getSource, getTarget, setSource, setTarget
addPort, addPort, addPort, changeAttributes, getAttributes, getChildren, setAttributes
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
public ConstraintDefinitionEdge(ConstraintDefinition constraint, ActivityDefinition parameter, Parameter formal)
public java.util.Vector getWithout()
public void setWithout(java.util.Vector without)
public java.util.Vector getWith()
public void setWith(java.util.Vector with)
public boolean isVisible()
public void setVisible(boolean visible)
public javax.swing.JPanel getMainPanel()
public void setMainPanel(javax.swing.JPanel mainPanel)
public boolean isLabel()
public void setLabel(boolean l)
public void updateMandatory()
public void update()
public ConstraintDefinition getConstraintDefinition()
public void setMetricsPanel(org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel)
public org.processmining.framework.util.ui.widgets.ProMSplitPane getMetricsPanel()
public void setLabels(java.util.Vector labels)
public java.util.Vector getLabels()
public ActivityDefinition getParameter()
public void setColor(java.awt.Color linecolor, java.awt.Color forecolor, java.awt.Color backcolor)
public double[] getHistogrData()
public void setHistogrData(double[] histogrData)
public java.awt.Color getLine()
public void setLine(java.awt.Color line)
public java.awt.Color getForeground()
public void setForeground(java.awt.Color foreground)
public java.awt.Color getBackground()
public void setBackground(java.awt.Color background)
public java.util.Vector getMetrics()
public void setMetrics(java.util.Vector metrics)
public java.util.Vector getTimeDistances()
public void setTimeDistances(java.util.Vector timeDistances)