org.processmining.plugins.declareminer.visualizing
Class ActivityDefinitionPort

java.lang.Object
  extended by javax.swing.tree.DefaultMutableTreeNode
      extended by org.jgraph.graph.DefaultGraphCell
          extended by org.jgraph.graph.DefaultPort
              extended by org.processmining.plugins.declareminer.visualizing.DPort
                  extended by org.processmining.plugins.declareminer.visualizing.ActivityDefinitionPort
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode, org.jgraph.graph.GraphCell, org.jgraph.graph.Port

public class ActivityDefinitionPort
extends DPort

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.jgraph.graph.DefaultPort
anchor, edges
 
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
ActivityDefinitionPort(DVertex aVertex)
           
ActivityDefinitionPort(DVertex aVertex, Parameter parameter)
           
 
Method Summary
 ActivityDefinitonCell ActivityDefinitionView()
          converts the owner vertex into the ActivityDefinitionView type
 
Methods inherited from class org.processmining.plugins.declareminer.visualizing.DPort
getVertex
 
Methods inherited from class org.jgraph.graph.DefaultPort
addEdge, clone, edges, getAnchor, getEdges, removeEdge, setAnchor, setEdges
 
Methods inherited from class org.jgraph.graph.DefaultGraphCell
addPort, addPort, addPort, changeAttributes, 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
 
Methods inherited from interface org.jgraph.graph.GraphCell
changeAttributes, getAttributes, setAttributes
 

Constructor Detail

ActivityDefinitionPort

public ActivityDefinitionPort(DVertex aVertex,
                              Parameter parameter)

ActivityDefinitionPort

public ActivityDefinitionPort(DVertex aVertex)
Method Detail

ActivityDefinitionView

public ActivityDefinitonCell ActivityDefinitionView()
converts the owner vertex into the ActivityDefinitionView type

Returns:
ActivityDefinitionView