|
||||||||||
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
org.processmining.plugins.declareminer.visualizing.ActivityDefinitonCell
org.processmining.plugins.declareminer.visualizing.ActivityCell
public class ActivityCell
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Field Summary |
---|
Fields inherited from class org.processmining.plugins.declareminer.visualizing.DVertex |
---|
HEIGHT, 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 | |
---|---|
ActivityCell(Activity activity,
int x,
int y)
|
Method Summary | |
---|---|
static java.awt.Font |
disableFont(java.awt.Font old)
|
static java.awt.Font |
enableFont(java.awt.Font old)
|
protected int |
getBorderWidth()
|
void |
setState(boolean start,
boolean complete)
|
Methods inherited from class org.processmining.plugins.declareminer.visualizing.ActivityDefinitonCell |
---|
addPort, getActivityDefinition, getBackground, getDiameter, getForeground, getLabels, getMainPanel, getMetricsPanel, getOldSize, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, SelectionChanged, setBackground, setForeground, setLabel, setLabels, setMainPanel, setMetricsPanel, setOldSize, setOpaque, setSelectable |
Methods inherited from class org.processmining.plugins.declareminer.visualizing.DVertex |
---|
getBase, getBounds, getHeight, getWidth, resize, setBounds, setEditable, setPosition, setSize |
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 |
Constructor Detail |
---|
public ActivityCell(Activity activity, int x, int y)
Method Detail |
---|
protected int getBorderWidth()
getBorderWidth
in class DVertex
public static java.awt.Font enableFont(java.awt.Font old)
old
- Font
public static java.awt.Font disableFont(java.awt.Font old)
old
- Font
public void setState(boolean start, boolean complete)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |