|
||||||||||
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
org.processmining.plugins.declare.visualizing.ConstraintEdge
public class ConstraintEdge
Nested Class Summary |
---|
Nested classes/interfaces inherited from class org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge |
---|
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 | |
---|---|
ConstraintEdge(ConstraintDefinition constraint,
ActivityDefinition real,
Parameter parameter)
|
Method Summary | |
---|---|
protected float |
getLineWidth()
|
java.lang.String |
getToolTipString()
|
void |
refresh()
|
Methods inherited from class org.processmining.plugins.declare.visualizing.ConstraintDefinitionEdge |
---|
getConstraintDefinition, getLabels, getMainPanel, getMetricsPanel, getParameter, setColor, setLabel, setLabels, setMainPanel, setMetricsPanel, update, updateMandatory |
Methods inherited from class org.processmining.plugins.declare.visualizing.DEdge |
---|
clearLineBegin, clearLineEnd, clearLineMiddle, clone, getLineStyle, 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 ConstraintEdge(ConstraintDefinition constraint, ActivityDefinition real, Parameter parameter)
Method Detail |
---|
protected float getLineWidth()
getLineWidth
in class DEdge
public void refresh()
refresh
in class DEdge
public java.lang.String getToolTipString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |