org.processmining.plugins.declare.visualizing

Class DPort

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

org.jgraph.graph.DefaultGraphCell

org.jgraph.graph.DefaultPort

org.processmining.plugins.declare.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

Constructors

Constructor and Description
DPort(DVertex aVertex)
DPort(DVertex aVertex, Parameter parameter)

Method Summary

Modifier and Type	Method and Description
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()