|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavax.swing.tree.DefaultMutableTreeNode
org.jgraph.graph.DefaultGraphCell
org.jgraph.graph.DefaultEdge
org.processmining.plugins.declare.visualizing.DEdge
org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge
public class ConstraintDefinitionEdge
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
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 |
---|
public ConstraintDefinitionEdge(ConstraintDefinition constraint, ActivityDefinition parameter, Parameter formal)
Method Detail |
---|
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)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |