net.frapu.code.visualization.petrinets

Class SubNet

java.lang.Object

net.frapu.code.visualization.SerializableProcessObject

net.frapu.code.visualization.ProcessObject

net.frapu.code.visualization.ProcessNode

net.frapu.code.visualization.petrinets.Transition

net.frapu.code.visualization.petrinets.SubNet

All Implemented Interfaces:

java.lang.Cloneable, Dragable

public class SubNet
extends Transition

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	PROP_SUBNET Property for the file name of the subnet

Fields inherited from class net.frapu.code.visualization.petrinets.Transition

PROP_COST, PROP_DURATION, PROP_PROBABILITY, 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
SubNet()
SubNet(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 subnet task.
protected java.awt.Shape	getOutlineShape() Returns the external shape of the given process node.
PetriNetModel	getSubNet() Returns the internal Petri net model for this subnet If the subnet has not yet been loaded, the file from the property PROP_SUBNET is read.
protected void	initializeProperties()
void	setSubNet(PetriNetModel m) Sets the internal Petri net model for this subnet
java.lang.String	toString()

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

drawTimer, fire, getBoundingBox, getInstanceCount, getProbability, getRemainingTime, isEnabled, isEnabledHighlight, isResetWaiting, paintInternal, setEnabledHighlight, setInstanceCount, setRemainingTime, setSize

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_SUBNET

public static final java.lang.String PROP_SUBNET

Property for the file name of the subnet

See Also:

Constant Field Values

Constructor Detail

SubNet

public SubNet()

SubNet

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

Method Detail

initializeProperties

protected void initializeProperties()

Overrides:

initializeProperties in class Transition

getSubNet

public PetriNetModel getSubNet()

Returns the internal Petri net model for this subnet
If the subnet has not yet been loaded, the file from the property PROP_SUBNET is read.

setSubNet

public void setSubNet(PetriNetModel m)

Sets the internal Petri net model for this subnet

Parameters:

m - - not used so far

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 Transition

Returns:

drawTask

protected void drawTask(java.awt.Graphics g)

Draws a subnet task.

Overrides:

drawTask in class Transition

toString

public java.lang.String toString()

Overrides:

toString in class Transition