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 |
---|---|
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
|
clearLineBegin, clearLineEnd, clearLineMiddle, clone, getLineStyle, getLineWidth, refresh, resetLineBegin, resetLineDash, resetLineEnd, resetLineMiddle, resetLineNumber, resetLineStyle, setEditable, setLineColor, setLineDash
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 javax.swing.JPanel getMainPanel()
public void setMainPanel(javax.swing.JPanel mainPanel)
public void setLabel(boolean l)
public void updateMandatory()
public void update()
public ConstraintDefinition getConstraintDefinition()
public void setMetricsPanel(javax.swing.JPanel metricsPanel)
public javax.swing.JPanel 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)