org.processmining.plugins.declareminer.visualizing
Class DPort

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
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
Direct Known Subclasses:
ActivityDefinitionPort

public class DPort
extends org.jgraph.graph.DefaultPort

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
DPort(DVertex aVertex)
           
DPort(DVertex aVertex, Parameter parameter)
           
 
Method Summary
protected  DVertex 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

DPort

public DPort(DVertex aVertex,
             Parameter parameter)

DPort

public DPort(DVertex aVertex)
Method Detail

getVertex

protected DVertex getVertex()