org.processmining.plugins.declare.visualizing
Class DEdge

java.lang.Object
  extended by javax.swing.tree.DefaultMutableTreeNode
      extended by org.jgraph.graph.DefaultGraphCell
          extended by org.jgraph.graph.DefaultEdge
              extended by 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()