Class TransitionCell

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

org.jgraph.graph.DefaultGraphCell

jsimgraph.JGraphMod.JmtCell

jsimgraph.JGraphMod.TransitionCell

All Implemented Interfaces:

Serializable, Cloneable, MutableTreeNode, TreeNode, org.jgraph.graph.GraphCell

public class TransitionCell
extends JmtCell

Transition Cell, represents the transition of SPN models.

Author:

Lulai Zhu Date: 22-06-2016 Time: 14.00.00

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static final String	HYBRID_TRANSITION_ICON
static final String	ICON
static final String	IMMEDIATE_TRANSITION_ICON
static final String	TIMED_TRANSITION_ICON

Fields inherited from class JmtCell

CACHE, CLASSSWITCH, DELAY, FORK, icon, in, JOIN, LOGGER, out, PLACE, ROUTER, SCALER, seen, SEMAPHORE, SERVER, SINK, sons, SOURCE, TERMINAL, TRANSITION, type

Fields inherited from class org.jgraph.graph.DefaultGraphCell

attributes

Fields inherited from class DefaultMutableTreeNode

allowsChildren, children, EMPTY_ENUMERATION, parent, userObject

Constructor Summary

Constructors

Constructor	Description
TransitionCell(Object userObject)	Creates a graph cell and initializes it with the specified user object.

Method Summary

Modifier and Type	Method	Description
org.jgraph.graph.Port[]	createPorts()	Creates the ports for this vertex
boolean	generateOrDestroyJobs()	Tells if this station generates or destroys jobs (useful for blocking region management)

Methods inherited from class JmtCell

getIcon, getIconDimension, getPrevParent, getRotationAngle, getSize, getStandardIconDimension, isFreeRotationAllowed, isLeftInputCell, parentChanged, resetParent, setAttributes, setFreeRotationAllowed, setIcon, setIconModifiers, setLeftInputCell, setRotationAngle, updateCellSize, updatePortPositions

Methods inherited from class org.jgraph.graph.DefaultGraphCell

addPort, addPort, addPort, changeAttributes, clone, getAttributes, getChildren, setAttributes

Methods inherited from class 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 Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

TIMED_TRANSITION_ICON

public static final String TIMED_TRANSITION_ICON

See Also:

• Constant Field Values

IMMEDIATE_TRANSITION_ICON

public static final String IMMEDIATE_TRANSITION_ICON

See Also:

• Constant Field Values

HYBRID_TRANSITION_ICON

public static final String HYBRID_TRANSITION_ICON

See Also:

• Constant Field Values

ICON

public static final String ICON

See Also:

• Constant Field Values

Constructor Details

TransitionCell

public TransitionCell(Object userObject)

Creates a graph cell and initializes it with the specified user object.

Parameters:

userObject - an Object provided by the user that constitutes the cell's data

Method Details

createPorts

public org.jgraph.graph.Port[] createPorts()

Creates the ports for this vertex

Specified by:

createPorts in class JmtCell

Returns:

array of ports

generateOrDestroyJobs

public boolean generateOrDestroyJobs()

Tells if this station generates or destroys jobs (useful for blocking region management)

Overrides:

generateOrDestroyJobs in class JmtCell

Returns:

true if this station generates or destroy jobs, false otherwise