net.frapu.code.visualization.petrinets

Class ResourcePlace

java.lang.Object

net.frapu.code.visualization.SerializableProcessObject

net.frapu.code.visualization.ProcessObject

net.frapu.code.visualization.ProcessNode

net.frapu.code.visualization.petrinets.Place

net.frapu.code.visualization.petrinets.ResourcePlace

All Implemented Interfaces:

java.lang.Cloneable, Dragable

public class ResourcePlace
extends Place

Represents a place of a Petri net that matches all process instances.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	PROP_TOKEN_COUNT The number of tokens in this resource place

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
ResourcePlace()
ResourcePlace(int x, int y, java.lang.String label)

Method Summary

Modifier and Type	Method and Description
void	addToken(Token t)
protected void	clearCaches()
void	decreaseTokenCount() Never goes beyond zero.
protected java.awt.Shape	getOutlineShape() Returns the external shape of the given process node.
Token	getToken(int processInstance) Returns a random Token of a certain process instance
int	getTokenCount() Returns the number of all Tokens in this place.
void	increaseTokenCount()
protected void	paintInternal(java.awt.Graphics g) Paints the flow object on the given graphics.
void	removeAllTokens()
Token	removeToken(int processInstance)
void	removeToken(Token t)
void	setProperty(java.lang.String key, java.lang.String value) Sets a property.
void	setSize(int diameter, int ignored)
java.lang.String	toString()

Methods inherited from class net.frapu.code.visualization.petrinets.Place

getBoundingBox, getTokens, getTokens, getWarningLevel, setWarningLevel

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, 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_TOKEN_COUNT

public static final java.lang.String PROP_TOKEN_COUNT

The number of tokens in this resource place

See Also:

Constant Field Values

Constructor Detail

ResourcePlace

public ResourcePlace()

ResourcePlace

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

Method Detail

clearCaches

protected void clearCaches()

setSize

public void setSize(int diameter,
                    int ignored)

Overrides:

setSize in class Place

getTokenCount

public int getTokenCount()

Returns the number of all Tokens in this place.

Overrides:

getTokenCount in class Place

Returns:

decreaseTokenCount

public void decreaseTokenCount()

Never goes beyond zero.

increaseTokenCount

public void increaseTokenCount()

addToken

public void addToken(Token t)

Overrides:

addToken in class Place

removeToken

public void removeToken(Token t)

Overrides:

removeToken in class Place

removeAllTokens

public void removeAllTokens()

Overrides:

removeAllTokens in class Place

getToken

public Token getToken(int processInstance)

Description copied from class: Place

Returns a random Token of a certain process instance

Overrides:

getToken in class Place

Returns:

removeToken

public Token removeToken(int processInstance)

Overrides:

removeToken in class Place

setProperty

public void setProperty(java.lang.String key,
                        java.lang.String value)

Description copied from class: ProcessObject

Sets a property.

Overrides:

setProperty in class ProcessNode

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.

Overrides:

paintInternal in class Place

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!

Overrides:

getOutlineShape in class Place

Returns:

toString

public java.lang.String toString()

Overrides:

toString in class Place