org.processmining.plugins.declareminer.visualizing
Class ActivityCell

java.lang.Object
  extended by javax.swing.tree.DefaultMutableTreeNode
      extended by org.jgraph.graph.DefaultGraphCell
          extended by org.processmining.plugins.declareminer.visualizing.DVertex
              extended by org.processmining.plugins.declareminer.visualizing.ActivityDefinitonCell
                  extended by org.processmining.plugins.declareminer.visualizing.ActivityCell
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

public class ActivityCell
extends ActivityDefinitonCell

Title: DECLARE

Description:

Copyright: Copyright (c) 2006

Company: TU/e

Version:
1.0
Author:
Maja Pesic
See Also:
Serialized Form

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

ActivityCell

public ActivityCell(Activity activity,
                    int x,
                    int y)
Method Detail

getBorderWidth

protected int getBorderWidth()
Overrides:
getBorderWidth in class DVertex

enableFont

public static java.awt.Font enableFont(java.awt.Font old)
Parameters:
old - Font
Returns:
Font

disableFont

public static java.awt.Font disableFont(java.awt.Font old)
Parameters:
old - Font
Returns:
Font

setState

public void setState(boolean start,
                     boolean complete)