org.processmining.plugins.declare.visualizing
Class DEdge

java.lang.Object
  javax.swing.tree.DefaultMutableTreeNode
      org.jgraph.graph.DefaultGraphCell
          org.jgraph.graph.DefaultEdge
              org.processmining.plugins.declare.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 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

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)

Method Detail

getLineWidth

protected float getLineWidth()

getLineStyle

public LineStyle getLineStyle()

resetLineStyle

protected void resetLineStyle()

resetLineBegin

protected void resetLineBegin()

resetLineEnd

protected void resetLineEnd()

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()