|
||||||||||
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
public class DEdge
Nested Class Summary |
---|
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 | |
---|---|
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)
|
Method Summary | |
---|---|
protected void |
clearLineBegin()
clearLineBegin |
protected void |
clearLineEnd()
clearLineEnd |
protected void |
clearLineMiddle()
clearLineMiddle |
java.lang.Object |
clone()
|
LineStyle |
getLineStyle()
|
protected float |
getLineWidth()
|
void |
refresh()
|
protected void |
resetLineBegin()
|
protected void |
resetLineDash()
|
protected void |
resetLineEnd()
|
protected void |
resetLineMiddle()
|
protected void |
resetLineNumber()
|
protected void |
resetLineStyle()
|
protected void |
setEditable(boolean editable)
setEditable |
void |
setLineColor(java.awt.Color color)
setColor |
protected void |
setLineDash(float[] dash)
|
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 DEdge()
public DEdge(java.lang.Object object)
public DEdge(java.lang.Object object, org.jgraph.graph.AttributeMap attributeMap)
public DEdge(java.lang.Object object, LineStyle anLineStyle)
public DEdge(LineStyle anLineStyle)
public DEdge(LineStyle anLineStyle, java.util.ArrayList<java.awt.Point> points)
Method Detail |
---|
protected float getLineWidth()
public LineStyle getLineStyle()
protected void resetLineStyle()
protected void resetLineBegin()
protected void resetLineEnd()
protected void resetLineMiddle()
protected void resetLineDash()
protected void setLineDash(float[] dash)
protected void resetLineNumber()
protected void setEditable(boolean editable)
editable
- booleanpublic void setLineColor(java.awt.Color color)
color
- Colorpublic java.lang.Object clone()
clone
in class org.jgraph.graph.DefaultEdge
protected void clearLineBegin()
protected void clearLineEnd()
protected void clearLineMiddle()
public void refresh()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |