Serialized Form
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
snap
javax.swing.JMenuItem snap
weightUp
javax.swing.JMenuItem weightUp
weightDown
javax.swing.JMenuItem weightDown
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.
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
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
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
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
propertiesItem
javax.swing.JMenuItem propertiesItem
label
PNLabel label
display
DisplayPane display
properties_class
java.lang.Class properties_class
snap
javax.swing.JMenuItem snap
tokenUp
javax.swing.JMenuItem tokenUp
tokenDown
javax.swing.JMenuItem tokenDown
radius
int radius
tokenradius
int tokenradius
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
element
org.jdom.Element element
ns
org.jdom.Namespace ns
specials
java.util.HashSet specials
hiddens
java.util.HashSet hiddens
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
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
openTemplate
javax.swing.JMenuItem openTemplate
openInstance
javax.swing.JMenuItem openInstance
parent
SubnetLabel parent
my_display
DisplayPane my_display
xPos
int xPos
yPos
int yPos
parent
SubnetLabel parent
my_display
DisplayPane my_display
xPos
int xPos
yPos
int yPos
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
fire
javax.swing.JMenuItem fire
rotateItem
javax.swing.JMenuItem rotateItem
highlight
javax.swing.JMenuItem highlight
height
int height
width
int width
enabledfill
java.awt.Color enabledfill
firefill
java.awt.Color firefill