org.processmining.plugins.declare.visualizing

Class ActivityCell

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

org.jgraph.graph.DefaultGraphCell

org.processmining.plugins.declare.visualizing.DVertex

org.processmining.plugins.declare.visualizing.ActivityDefinitonCell

org.processmining.plugins.declare.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.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

Constructors

Constructor and Description
ActivityCell(Activity activity, int x, int y)

Method Summary

Modifier and Type	Method and Description
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.declare.visualizing.ActivityDefinitonCell

addPort, getActivityDefinition, getDiameter, getLabels, getMainPanel, getMetricsPanel, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setBackground, setForeground, setLabel, setLabels, setMainPanel, setMetricsPanel

Methods inherited from class org.processmining.plugins.declare.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)