|
||||||||||
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.processmining.plugins.declareminer.visualizing.DVertex
public abstract class DVertex
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 |
---|
protected static final int WIDTH
protected static final int HEIGHT
Constructor Detail |
---|
public 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)
public DVertex(DVertex vertex)
Method Detail |
---|
protected int getBorderWidth()
public void setEditable(boolean editable)
editable
- booleanpublic java.lang.Object addPort()
addPort
in class org.jgraph.graph.DefaultGraphCell
public void setPosition(java.awt.geom.Point2D point)
point
- Point2Dpublic void setSize(java.awt.geom.Point2D point)
point
- Point2Dpublic void setBounds(java.awt.geom.Rectangle2D bounds)
bounds
- Point2Dpublic void resize()
public java.awt.geom.Rectangle2D getBounds()
public double getWidth()
public double getHeight()
public Base getBase()
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
in interface java.awt.event.MouseListener
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |