Serialized Form

Class uk.ac.ic.doc.y2002.tool.application.Application implements Serializable

Serialized Fields

desktop

javax.swing.JDesktopPane desktop

subnetRef

java.lang.String subnetRef

subnetRoot

org.jdom.Element subnetRoot

newButton

uk.ac.ic.doc.y2002.tool.application.MyButton newButton

openButton

uk.ac.ic.doc.y2002.tool.application.MyButton openButton

saveButton

uk.ac.ic.doc.y2002.tool.application.MyButton saveButton

printButton

uk.ac.ic.doc.y2002.tool.application.MyButton printButton

cutButton

uk.ac.ic.doc.y2002.tool.application.MyButton cutButton

copyButton

uk.ac.ic.doc.y2002.tool.application.MyButton copyButton

pasteButton

uk.ac.ic.doc.y2002.tool.application.MyButton pasteButton

arcButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton arcButton

pointerButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton pointerButton

placeButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton placeButton

refPlaceButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton refPlaceButton

immediateButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton immediateButton

timedButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton timedButton

addtokButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton addtokButton

removetokButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton removetokButton

subnetButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton subnetButton

animateButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton animateButton

pauseButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton pauseButton

revertButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton revertButton

refButton

uk.ac.ic.doc.y2002.tool.application.MySelectButton refButton

slider

javax.swing.JSlider slider

pauseItem

uk.ac.ic.doc.y2002.tool.application.MyMenuItem pauseItem

revertItem

uk.ac.ic.doc.y2002.tool.application.MyMenuItem revertItem

toolBar

javax.swing.JToolBar toolBar

runModule

javax.swing.JMenuItem[] runModule

removeModule

javax.swing.JMenuItem[] removeModule

module

java.lang.Object[] module

loadModuleListener

MenuLoadModuleListener loadModuleListener

animateOn

boolean animateOn


Class uk.ac.ic.doc.y2002.tool.editor.ArcContextMenu implements Serializable

Serialized Fields

snap

javax.swing.JMenuItem snap

weightUp

javax.swing.JMenuItem weightUp

weightDown

javax.swing.JMenuItem weightDown


Class uk.ac.ic.doc.y2002.tool.editor.ArcLabel implements Serializable

Serialized Fields

centresize

int centresize
Size of the small box in the centre of the arc which is the active (clickable) area.

sourcelabel

NodeLabel sourcelabel
NodeLabels referencing the source and target nodes of this arc. Set in the DisplayPane, when all the labels are initially loaded.

targetlabel

NodeLabel targetlabel
NodeLabels referencing the source and target nodes of this arc. Set in the DisplayPane, when all the labels are initially loaded.

line

LineLabel line
Each ArcLabel has a LineLabel, which is a relatively simple subclass of JLabel that deals with drawing the lines.


Class uk.ac.ic.doc.y2002.tool.editor.ArcPropertiesBox implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.ArcTypedPropertiesBox implements Serializable


Class uk.ac.ic.doc.y2002.tool.application.DisplayPane implements Serializable

Serialized Fields

eframe

EditorFrame eframe

root

org.jdom.Element root

ns

org.jdom.Namespace ns

classman

ClassManager classman

preferredSize

java.awt.Dimension preferredSize

source

PNLabel source

target

PNLabel target

animator

PNAnimator animator

idTable

java.util.HashMap idTable

placeTable

java.util.HashMap placeTable

referencePlaceTable

java.util.HashMap referencePlaceTable

transitionTable

java.util.HashMap transitionTable

subnetTable

java.util.HashMap subnetTable

arcTable

java.util.HashMap arcTable

refLinkTable

java.util.HashMap refLinkTable

myClipboard

Clipboard myClipboard

mySelection

SelectionBox mySelection

idmapping

java.util.HashMap idmapping

moduleRef

java.lang.String moduleRef

refPairs

java.util.List refPairs

propertiesbox

java.lang.Class propertiesbox

contextmenu

java.lang.Class contextmenu

updated

boolean updated


Class uk.ac.ic.doc.y2002.tool.editor.DisplayPropertiesBox implements Serializable


Class uk.ac.ic.doc.y2002.tool.application.EditorFrame implements Serializable

Serialized Fields

doc

org.jdom.Document doc

root

org.jdom.Element root

ns

org.jdom.Namespace ns

file

java.io.File file

app

Application app

display

DisplayPane display

subnet

SubnetLabel subnet


Class uk.ac.ic.doc.y2002.tool.editor.ExportPlaceLabel implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.LineLabel implements Serializable

Serialized Fields

sx

int sx

sy

int sy

tx

int tx

ty

int ty

ax

int ax

ay

int ay

xmin

int xmin

xmax

int xmax

ymin

int ymin

ymax

int ymax

source

PNLabel source

target

PNLabel target

arc

PNLabel arc

rotation

double rotation

fillcolour

java.awt.Color fillcolour

normalfill

java.awt.Color normalfill

highlightfill

java.awt.Color highlightfill


Class uk.ac.ic.doc.y2002.tool.editor.NodeLabel implements Serializable

Serialized Fields

inputArcs

java.util.List inputArcs
List of ArcLabels connected as inputs to this NodeLabel

outputArcs

java.util.List outputArcs
List of ArcLabels connected as outputs from this NodeLabel

refNodeTarget

NodeLabel refNodeTarget
Pointer to NodeLabel target of which this label is source

refNodeSources

java.util.List refNodeSources
List of NodeLabels for which this label is a target


Class uk.ac.ic.doc.y2002.tool.editor.NodePropertiesBox implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.PetriContextMenu implements Serializable

Serialized Fields

propertiesItem

javax.swing.JMenuItem propertiesItem

label

PNLabel label

display

DisplayPane display

properties_class

java.lang.Class properties_class


Class uk.ac.ic.doc.y2002.tool.editor.PlaceContextMenu implements Serializable

Serialized Fields

snap

javax.swing.JMenuItem snap

tokenUp

javax.swing.JMenuItem tokenUp

tokenDown

javax.swing.JMenuItem tokenDown


Class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel implements Serializable

Serialized Fields

radius

int radius

tokenradius

int tokenradius


Class uk.ac.ic.doc.y2002.tool.editor.PlacePropertiesBox implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.PNLabel implements Serializable

Serialized Fields

element

org.jdom.Element element
Reference to the JDOM Element which represents this object. All useful information about this object should be stored in and accessible from this Element.

ns

org.jdom.Namespace ns
Namespace of the JDOM Element which represents this object.

propertiesbox

java.lang.Class propertiesbox
Class that is used to generate a properties box for this type of PNLabel.

contextmenu

java.lang.Class contextmenu
Class that is used to generate a context (right-click) menu for this type of PNLabel.

preferredSize

java.awt.Dimension preferredSize

beingMoved

boolean beingMoved

selected

boolean selected

firsttime

boolean firsttime

fillcolour

java.awt.Color fillcolour

normalfill

java.awt.Color normalfill

highlightfill

java.awt.Color highlightfill

height

int height

width

int width

lastX

int lastX

lastY

int lastY

offset

int offset

xoffset

int xoffset

yoffset

int yoffset

scaling

int scaling

textspace

int textspace

xPress

int xPress

yPress

int yPress

id

java.lang.String id
Locally-stored copy of the object's unique id.

rotation

int rotation


Class uk.ac.ic.doc.y2002.tool.editor.PNPropertiesBox implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame implements Serializable

Serialized Fields

element

org.jdom.Element element

ns

org.jdom.Namespace ns

specials

java.util.HashSet specials

hiddens

java.util.HashSet hiddens


Class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel implements Serializable

Serialized Fields

sx

int sx

sy

int sy

tx

int tx

ty

int ty

ax

int ax

ay

int ay

xmin

int xmin

xmax

int xmax

ymin

int ymin

ymax

int ymax

rotation

double rotation

source

PNLabel source

target

PNLabel target


Class uk.ac.ic.doc.y2002.tool.editor.SelectionBox implements Serializable

Serialized Fields

height

int height

width

int width

xOffset

int xOffset

yOffset

int yOffset

cutXOffset

int cutXOffset

cutYOffset

int cutYOffset

xPress

int xPress

yPress

int yPress

preferredSize

java.awt.Dimension preferredSize

containedElements

java.util.LinkedList containedElements

dottedLine

java.awt.BasicStroke dottedLine

normalLine

java.awt.BasicStroke normalLine

lineStroke

java.awt.BasicStroke lineStroke

beingMoved

boolean beingMoved


Class uk.ac.ic.doc.y2002.tool.editor.SubnetContextMenu implements Serializable

Serialized Fields

openTemplate

javax.swing.JMenuItem openTemplate

openInstance

javax.swing.JMenuItem openInstance


Class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel implements Serializable

Serialized Fields

parent

SubnetLabel parent

my_display

DisplayPane my_display

xPos

int xPos

yPos

int yPos


Class uk.ac.ic.doc.y2002.tool.application.SubnetFrame implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel implements Serializable

Serialized Fields

parent

SubnetLabel parent

my_display

DisplayPane my_display

xPos

int xPos

yPos

int yPos


Class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel implements Serializable

Serialized Fields

height

int height

width

int width

radius

int radius

moduleRoot

org.jdom.Element moduleRoot

importLabel

SubnetImportLabel importLabel

exportLabel

SubnetExportLabel exportLabel

instance

org.jdom.Document instance

instanceFrame

EditorFrame instanceFrame

enabledfill

java.awt.Color enabledfill

firefill

java.awt.Color firefill


Class uk.ac.ic.doc.y2002.tool.editor.TransitionContextMenu implements Serializable

Serialized Fields

fire

javax.swing.JMenuItem fire

rotateItem

javax.swing.JMenuItem rotateItem

highlight

javax.swing.JMenuItem highlight


Class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel implements Serializable

Serialized Fields

height

int height

width

int width

enabledfill

java.awt.Color enabledfill

firefill

java.awt.Color firefill


Class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel implements Serializable


Class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticPropertiesBox implements Serializable