|
||||||||||
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.declare.visualizing.DVertex
org.processmining.plugins.declare.visualizing.ActivityDefinitonCell
public class ActivityDefinitonCell
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Field Summary |
---|
Fields inherited from class org.processmining.plugins.declare.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 | |
---|---|
|
ActivityDefinitonCell(ActivityDefinition anActivityDefinition,
int x,
int y)
|
protected |
ActivityDefinitonCell(DVertex vertex)
|
Method Summary | |
---|---|
java.lang.Object |
addPort()
addPort |
ActivityDefinition |
getActivityDefinition()
|
double |
getDiameter()
|
java.util.Vector |
getLabels()
|
javax.swing.JPanel |
getMainPanel()
|
javax.swing.JPanel |
getMetricsPanel()
|
void |
mouseClicked(java.awt.event.MouseEvent e)
|
void |
mouseEntered(java.awt.event.MouseEvent arg0)
|
void |
mouseExited(java.awt.event.MouseEvent arg0)
|
void |
mousePressed(java.awt.event.MouseEvent arg0)
|
void |
mouseReleased(java.awt.event.MouseEvent arg0)
|
void |
setBackground(java.awt.Color color)
|
void |
setForeground(java.awt.Color color)
|
void |
setLabel(java.lang.String label)
|
void |
setLabels(java.util.Vector labels)
|
void |
setMainPanel(javax.swing.JPanel mainPanel)
|
void |
setMetricsPanel(javax.swing.JPanel metricsPanel)
|
Methods inherited from class org.processmining.plugins.declare.visualizing.DVertex |
---|
getBase, getBorderWidth, 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 ActivityDefinitonCell(ActivityDefinition anActivityDefinition, int x, int y)
anActivityDefinition
- ActivityDefinitionprotected ActivityDefinitonCell(DVertex vertex)
anActivityDefinition
- ActivityDefinitionMethod Detail |
---|
public javax.swing.JPanel getMainPanel()
public void setMainPanel(javax.swing.JPanel mainPanel)
public void setBackground(java.awt.Color color)
public void setForeground(java.awt.Color color)
public void setLabel(java.lang.String label)
public void setMetricsPanel(javax.swing.JPanel metricsPanel)
public void setLabels(java.util.Vector labels)
public java.util.Vector getLabels()
public javax.swing.JPanel getMetricsPanel()
public ActivityDefinition getActivityDefinition()
public java.lang.Object addPort()
addPort
in class DVertex
public double getDiameter()
public void mouseEntered(java.awt.event.MouseEvent arg0)
public void mouseExited(java.awt.event.MouseEvent arg0)
public void mousePressed(java.awt.event.MouseEvent arg0)
public void mouseReleased(java.awt.event.MouseEvent arg0)
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
in interface java.awt.event.MouseListener
mouseClicked
in class DVertex
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |