net.frapu.code.visualization.petrinets

Class Transition

java.lang.Object

net.frapu.code.visualization.SerializableProcessObject

net.frapu.code.visualization.ProcessObject

net.frapu.code.visualization.ProcessNode

net.frapu.code.visualization.petrinets.Transition

All Implemented Interfaces:

java.lang.Cloneable, Dragable

Direct Known Subclasses:

SubNet

public class Transition
extends ProcessNode

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	PROP_COST
static java.lang.String	PROP_DURATION
static java.lang.String	PROP_PROBABILITY
static java.lang.String	PROP_RESET_WAITING_TIME

Fields inherited from class net.frapu.code.visualization.ProcessNode

PROP_ANNOTATION, PROP_BACKGROUND, PROP_HEIGHT, PROP_LABEL, PROP_MODULEID, PROP_REF, PROP_SHADOW, PROP_STEREOTYPE, PROP_TEXT, PROP_WIDTH, PROP_XPOS, PROP_YPOS, TAG_NODE, userObject

Fields inherited from class net.frapu.code.visualization.ProcessObject

contexts, FALSE, PROP_CLASS_TYPE, PROP_ID, TRUE

Constructor Summary

Constructors

Constructor and Description
Transition()
Transition(int x, int y, java.lang.String label)

Method Summary

Modifier and Type	Method and Description
protected void	drawTask(java.awt.Graphics g) Draws a Workflow net task.
protected void	drawTimer(java.awt.Graphics2D g2)
boolean	fire(java.util.Set<Token> inTokens) Fires this Transition.
java.awt.Rectangle	getBoundingBox() Returns the bounding box for this ProcessNode.
int	getInstanceCount()
protected java.awt.Shape	getOutlineShape() Returns the external shape of the given process node.
int	getProbability()
int	getRemainingTime()
protected void	initializeProperties()
boolean	isEnabled(java.util.List<Predecessor> preSet, int processInstance) Return if this Transition is enabled for a given process instance.
boolean	isEnabledHighlight()
boolean	isResetWaiting()
protected void	paintInternal(java.awt.Graphics g) Paints the flow object on the given graphics.
void	setEnabledHighlight(boolean highlightEnabledTransition)
void	setInstanceCount(int instanceCount)
void	setRemainingTime(int remainingTime)
void	setSize(int w, int h)
java.lang.String	toString()

Methods inherited from class net.frapu.code.visualization.ProcessNode

addConnectionPoint, checkDefaultConnectionPoints, clone, connectionPointContained, contains, containsDeepInside, copy, getBackground, getBackground, getBounds, getConnectionPoint, getConnectionPoint, getConnectionPoint, getDefaultConnectionPoints, getName, getParentClusters, getPos, getSelectionOffset, getSize, getStereotype, getText, getTopLeftPos, getUserObject, getVariants, getXmlTag, handleCloning, isCluster, isShadowEnabled, isVisible, newInstanceFromSerialization, paint, paintHighlight, paintSelection, removeAllConnectionPoints, setBackground, setPos, setPos, setProperty, setShadowEnabled, setSize, setStereotype, setText, setUserObject, setVisible, updateReferences

Methods inherited from class net.frapu.code.visualization.ProcessObject

addContext, addListener, equals, getAlpha, getContexts, getId, getPropertyEditor, isHighlighted, isSelected, removeContext, removeListener, setAlpha, setHighlighted, setId, setPropertyEditor, setSelected

Methods inherited from class net.frapu.code.visualization.SerializableProcessObject

getProperty, getPropertyKeys, getSerialization, removeProperty

Methods inherited from class java.lang.Object

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

Field Detail

PROP_COST

public static final java.lang.String PROP_COST

See Also:

Constant Field Values

PROP_DURATION

public static final java.lang.String PROP_DURATION

See Also:

Constant Field Values

PROP_PROBABILITY

public static final java.lang.String PROP_PROBABILITY

See Also:

Constant Field Values

PROP_RESET_WAITING_TIME

public static final java.lang.String PROP_RESET_WAITING_TIME

See Also:

Constant Field Values

Constructor Detail

Transition

public Transition()

Transition

public Transition(int x,
                  int y,
                  java.lang.String label)

Method Detail

initializeProperties

protected void initializeProperties()

setSize

public void setSize(int w,
                    int h)

Overrides:

setSize in class ProcessNode

isEnabled

public boolean isEnabled(java.util.List<Predecessor> preSet,
                         int processInstance)

Return if this Transition is enabled for a given process instance. This method might be overwritten to provide its own execution semantics.

Returns:

fire

public boolean fire(java.util.Set<Token> inTokens)

Fires this Transition. This method might be overwritten to provide its own execution semantics. It is called by the engine when the transition is executed.

Parameters:

inTokens -

preSet - The set of places before this Transition.

postSet - The set of places after this Transition.

Returns:

true if fired, false if not possible or error.

setEnabledHighlight

public void setEnabledHighlight(boolean highlightEnabledTransition)

Parameters:

highlightEnabledTransition -

isEnabledHighlight

public boolean isEnabledHighlight()

getRemainingTime

public int getRemainingTime()

setRemainingTime

public void setRemainingTime(int remainingTime)

getInstanceCount

public int getInstanceCount()

setInstanceCount

public void setInstanceCount(int instanceCount)

getProbability

public int getProbability()

isResetWaiting

public boolean isResetWaiting()

paintInternal

protected void paintInternal(java.awt.Graphics g)

Description copied from class: ProcessNode

Paints the flow object on the given graphics. Needs to be implemented by a subclass.

Specified by:

paintInternal in class ProcessNode

getOutlineShape

protected java.awt.Shape getOutlineShape()

Description copied from class: ProcessNode

Returns the external shape of the given process node. The shape is already scaled and moved to the corresponding position!

Specified by:

getOutlineShape in class ProcessNode

Returns:

getBoundingBox

public java.awt.Rectangle getBoundingBox()

Description copied from class: ProcessNode

Returns the bounding box for this ProcessNode. Default is the same as getOutlineShape. Might be overwritten by subclasses.

Overrides:

getBoundingBox in class ProcessNode

Returns:

drawTask

protected void drawTask(java.awt.Graphics g)

Draws a Workflow net task.

drawTimer

protected void drawTimer(java.awt.Graphics2D g2)

toString

public java.lang.String toString()

Overrides:

toString in class ProcessNode