org.processmining.plugins.declareminer.visualizing
Class ActivityCell

java.lang.Object
  javax.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

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)