org.processmining.plugins.declareminer.visualizing
Class ActivityDefinitonCell

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
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:
ActivityCell

public class ActivityDefinitonCell
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
  ActivityDefinitonCell(ActivityDefinition anActivityDefinition, int x, int y)
           
protected ActivityDefinitonCell(DVertex vertex)
           
 
Method Summary
 java.lang.Object addPort()
          addPort
 ActivityDefinition getActivityDefinition()
           
 java.awt.Color getBackground()
           
 double getDiameter()
           
 java.awt.Color getForeground()
           
 java.util.Vector getLabels()
           
 javax.swing.JPanel getMainPanel()
           
 org.processmining.framework.util.ui.widgets.ProMSplitPane getMetricsPanel()
           
 java.awt.geom.Point2D getOldSize()
           
 void mouseClicked(java.awt.event.MouseEvent e)
           
 void mouseEntered(java.awt.event.MouseEvent arg0)
           
 void mouseExited(java.awt.event.MouseEvent arg0)
           
 void mousePressed(java.awt.event.MouseEvent arg0)
           
 void mouseReleased(java.awt.event.MouseEvent arg0)
           
 void SelectionChanged(org.processmining.models.jgraph.listeners.SelectionListener.SelectionChangeEvent event)
           
 void setBackground(java.awt.Color color)
           
 void setForeground(java.awt.Color color)
           
 void setLabel(java.lang.String label)
           
 void setLabels(java.util.Vector labels)
           
 void setMainPanel(javax.swing.JPanel mainPanel)
           
 void setMetricsPanel(org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel)
           
 void setOldSize(java.awt.geom.Point2D oldSize)
           
 void setOpaque(boolean flag)
           
 void setSelectable(boolean flag)
           
 
Methods inherited from class org.processmining.plugins.declareminer.visualizing.DVertex
getBase, getBorderWidth, 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

ActivityDefinitonCell

public ActivityDefinitonCell(ActivityDefinition anActivityDefinition,
                             int x,
                             int y)
Parameters:
anActivityDefinition - ActivityDefinition

ActivityDefinitonCell

protected ActivityDefinitonCell(DVertex vertex)
Parameters:
anActivityDefinition - ActivityDefinition
Method Detail

getOldSize

public java.awt.geom.Point2D getOldSize()

setOldSize

public void setOldSize(java.awt.geom.Point2D oldSize)

getForeground

public java.awt.Color getForeground()

getBackground

public java.awt.Color getBackground()

getMainPanel

public javax.swing.JPanel getMainPanel()

setMainPanel

public void setMainPanel(javax.swing.JPanel mainPanel)

setBackground

public void setBackground(java.awt.Color color)

setForeground

public void setForeground(java.awt.Color color)

setLabel

public void setLabel(java.lang.String label)

setSelectable

public void setSelectable(boolean flag)

setOpaque

public void setOpaque(boolean flag)

setMetricsPanel

public void setMetricsPanel(org.processmining.framework.util.ui.widgets.ProMSplitPane metricsPanel)

setLabels

public void setLabels(java.util.Vector labels)

getLabels

public java.util.Vector getLabels()

getMetricsPanel

public org.processmining.framework.util.ui.widgets.ProMSplitPane getMetricsPanel()

getActivityDefinition

public ActivityDefinition getActivityDefinition()
Returns:
ActivityDefinition

addPort

public java.lang.Object addPort()
addPort

Overrides:
addPort in class DVertex

getDiameter

public double getDiameter()

mouseEntered

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

mouseExited

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

mousePressed

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

mouseReleased

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

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)