org.processmining.plugins.declare.visualizing

Class TransparentCell

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

org.jgraph.graph.DefaultGraphCell

org.processmining.plugins.declare.visualizing.DVertex

org.processmining.plugins.declare.visualizing.TransparentCell

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

Direct Known Subclasses:

ConstraintConnector

public class TransparentCell
extends DVertex

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
TransparentCell(Base userObject) Creates a custom graph cell with a given user object

Method Summary

Modifier and Type	Method and Description
java.lang.Object	addPort(java.awt.geom.Point2D offset, java.lang.Object userObject) Utility method to create a port for this cell.
void	mouseClicked(java.awt.event.MouseEvent e)
void	mouseEntered(java.awt.event.MouseEvent e)
void	mouseExited(java.awt.event.MouseEvent e)
void	mousePressed(java.awt.event.MouseEvent e)
void	mouseReleased(java.awt.event.MouseEvent e)
void	setPosition(double x, double y) Initializes the graph cell

Methods inherited from class org.processmining.plugins.declare.visualizing.DVertex

addPort, getBase, getBorderWidth, getBounds, getHeight, getWidth, resize, setBounds, setEditable, setPosition, setSize

Methods inherited from class org.jgraph.graph.DefaultGraphCell

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

TransparentCell

public TransparentCell(Base userObject)

Creates a custom graph cell with a given user object

Parameters:

userObject -

Method Detail

setPosition

public void setPosition(double x,
                        double y)

Initializes the graph cell

addPort

public java.lang.Object addPort(java.awt.geom.Point2D offset,
                                java.lang.Object userObject)

Description copied from class: org.jgraph.graph.DefaultGraphCell

Utility method to create a port for this cell. The method adds a port at a fixed relative offset within the cell. If the offset is null then a floating port is added.

Overrides:

addPort in class org.jgraph.graph.DefaultGraphCell

Parameters:

offset - the offset of the port within the cell

userObject - the user object of the port cell

Returns:

the port created

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)

Specified by:

mouseClicked in interface java.awt.event.MouseListener

Overrides:

mouseClicked in class DVertex

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent e)

mouseExited

public void mouseExited(java.awt.event.MouseEvent e)

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)