org.processmining.plugins.declareminer.visualizing
Class TransparentCell

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.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.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
TransparentCell(Base userObject)
          Creates a custom graph cell with a given user object
 
Method Summary
 java.lang.Object addPort(java.awt.geom.Point2D offset, java.lang.Object userObject)
           
 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 SelectionChanged(org.processmining.models.jgraph.listeners.SelectionListener.SelectionChangeEvent event)
           
 void setPosition(double x, double y)
          Initializes the graph cell
 
Methods inherited from class org.processmining.plugins.declareminer.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)
Overrides:
addPort in class org.jgraph.graph.DefaultGraphCell

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)
Specified by:
mouseClicked in interface java.awt.event.MouseListener
Overrides:
mouseClicked in class DVertex

SelectionChanged

public void SelectionChanged(org.processmining.models.jgraph.listeners.SelectionListener.SelectionChangeEvent event)

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)