org.processmining.plugins.declareminer.visualizing
Class DEdge
java.lang.Object
javax.swing.tree.DefaultMutableTreeNode
org.jgraph.graph.DefaultGraphCell
org.jgraph.graph.DefaultEdge
org.processmining.plugins.declareminer.visualizing.DEdge
- 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:
- ConstraintDefinitionEdge
public class DEdge
- extends org.jgraph.graph.DefaultEdge
- implements java.lang.Cloneable
- 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 |
Constructor Summary |
DEdge()
|
DEdge(LineStyle anLineStyle)
|
DEdge(LineStyle anLineStyle,
java.util.ArrayList<java.awt.Point> points)
|
DEdge(java.lang.Object object)
|
DEdge(java.lang.Object object,
org.jgraph.graph.AttributeMap attributeMap)
|
DEdge(java.lang.Object object,
LineStyle anLineStyle)
|
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 |
DEdge
public DEdge()
DEdge
public DEdge(java.lang.Object object)
DEdge
public DEdge(java.lang.Object object,
org.jgraph.graph.AttributeMap attributeMap)
DEdge
public DEdge(java.lang.Object object,
LineStyle anLineStyle)
DEdge
public DEdge(LineStyle anLineStyle)
DEdge
public DEdge(LineStyle anLineStyle,
java.util.ArrayList<java.awt.Point> points)
getLineWidth
protected float getLineWidth()
getLineStyle
public LineStyle getLineStyle()
resetLineStyle
protected void resetLineStyle()
resetLineBegin
protected void resetLineBegin()
resetLineEnd
protected void resetLineEnd()
setSelectable
public void setSelectable(boolean flag)
setOpaque
public void setOpaque(boolean flag)
resetLineMiddle
protected void resetLineMiddle()
resetLineDash
protected void resetLineDash()
setLineDash
protected void setLineDash(float[] dash)
resetLineNumber
protected void resetLineNumber()
setEditable
protected void setEditable(boolean editable)
- setEditable
- Parameters:
editable
- boolean
setLineColor
public void setLineColor(java.awt.Color color)
- setColor
- Parameters:
color
- Color
clone
public java.lang.Object clone()
- Overrides:
clone
in class org.jgraph.graph.DefaultEdge
- Returns:
- Object
clearLineBegin
protected void clearLineBegin()
- clearLineBegin
clearLineEnd
protected void clearLineEnd()
- clearLineEnd
clearLineMiddle
protected void clearLineMiddle()
- clearLineMiddle
refresh
public void refresh()
getLineColor
public java.awt.Color getLineColor()