org.processmining.plugins.declare.visualizing
Class DVertex

java.lang.Object
  extended by javax.swing.tree.DefaultMutableTreeNode
      extended by org.jgraph.graph.DefaultGraphCell
          extended by org.processmining.plugins.declare.visualizing.DVertex
All Implemented Interfaces:
java.awt.event.MouseListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode, org.jgraph.graph.GraphCell
Direct Known Subclasses:
ActivityDefinitonCell, TransparentCell

public abstract class DVertex
extends org.jgraph.graph.DefaultGraphCell
implements java.awt.event.MouseListener

See Also:
Serialized Form

Field Summary
protected static int HEIGHT
           
protected static int WIDTH
           
 
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
  DVertex(Base anObject, int x, int y, java.awt.Color bg, boolean raised, boolean editable)
           
protected DVertex(Base object, java.awt.geom.Rectangle2D bounds, java.awt.Color bg, boolean raised, boolean editable)
           
  DVertex(DVertex vertex)
           
 
Method Summary
 java.lang.Object addPort()
          addPort
 Base getBase()
           
protected  int getBorderWidth()
           
 java.awt.geom.Rectangle2D getBounds()
          getBounds
 double getHeight()
           
 double getWidth()
           
 void mouseClicked(java.awt.event.MouseEvent e)
           
 void resize()
          resize
 void setBounds(java.awt.geom.Rectangle2D bounds)
          setPosition
 void setEditable(boolean editable)
          setEditable
 void setPosition(java.awt.geom.Point2D point)
          setPosition
 void setSize(java.awt.geom.Point2D point)
          setPosition
 
Methods inherited from class org.jgraph.graph.DefaultGraphCell
addPort, addPort, changeAttributes, clone, 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 java.awt.event.MouseListener
mouseEntered, mouseExited, mousePressed, mouseReleased
 

Field Detail

WIDTH

protected static final int WIDTH
See Also:
Constant Field Values

HEIGHT

protected static final int HEIGHT
See Also:
Constant Field Values
Constructor Detail

DVertex

public DVertex(Base anObject,
               int x,
               int y,
               java.awt.Color bg,
               boolean raised,
               boolean editable)

DVertex

protected DVertex(Base object,
                  java.awt.geom.Rectangle2D bounds,
                  java.awt.Color bg,
                  boolean raised,
                  boolean editable)

DVertex

public DVertex(DVertex vertex)
Method Detail

getBorderWidth

protected int getBorderWidth()

setEditable

public void setEditable(boolean editable)
setEditable

Parameters:
editable - boolean

addPort

public java.lang.Object addPort()
addPort

Overrides:
addPort in class org.jgraph.graph.DefaultGraphCell

setPosition

public void setPosition(java.awt.geom.Point2D point)
setPosition

Parameters:
point - Point2D

setSize

public void setSize(java.awt.geom.Point2D point)
setPosition

Parameters:
point - Point2D

setBounds

public void setBounds(java.awt.geom.Rectangle2D bounds)
setPosition

Parameters:
bounds - Point2D

resize

public void resize()
resize


getBounds

public java.awt.geom.Rectangle2D getBounds()
getBounds

Returns:
Rectangle2D

getWidth

public double getWidth()

getHeight

public double getHeight()

getBase

public Base getBase()

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)
Specified by:
mouseClicked in interface java.awt.event.MouseListener