Serialized Form

Package pipe.dataLayer

Class pipe.dataLayer.Arc implements Serializable

Serialized Fields

startPositionX

java.lang.Double startPositionX

Start X-axis Position

startPositionY

java.lang.Double startPositionY

Start Y-axis Position

endPositionX

java.lang.Double endPositionX

End X-axis Position

endPositionY

java.lang.Double endPositionY

End Y-axis Position

weighting

java.lang.Integer weighting

Current Marking

weightingOffsetX

java.lang.Double weightingOffsetX

Initial Marking X-axis Offset

weightingOffsetY

java.lang.Double weightingOffsetY

Initial Marking Y-axis Offset

inscription

java.lang.String inscription

Inscription

inscriptionOffsetX

java.lang.Double inscriptionOffsetX

Inscription X-axis Offset

inscriptionOffsetY

java.lang.Double inscriptionOffsetY

Inscription Y-axis Offset

arc

java.awt.geom.Line2D.Double arc

Arc is of type Line2D.Double

realarc

java.awt.geom.Line2D.Double realarc

arrow

ArrowLabel arrow

quad

int quad

Member to indicate which direction this arc was drawn in

startXOffset

double startXOffset

startYOffset

double startYOffset

endXOffset

double endXOffset

endYOffset

double endYOffset

midX

java.lang.Double midX

coordinates for the arrow

midY

java.lang.Double midY

_width

int _width

for the bounds of the component

_height

int _height

source

PlaceTransitionObject source

references to the objects this arc connects

target

PlaceTransitionObject target

Class pipe.dataLayer.ArrowLabel implements Serializable

Serialized Fields

width

int width

height

int height

x

int x

y

int y

rotate

double rotate

line1

java.awt.geom.Line2D.Double line1

line2

java.awt.geom.Line2D.Double line2

arcx

int arcx

arcy

int arcy

midx

double midx

midy

double midy

parent

Arc parent

we maintain a reference to the parent in order that we use the arrow to talk to the arc

weightLabel

NameLabel weightLabel

Label which displays the weighting of the arc it's attached to.

Class pipe.dataLayer.NameLabel implements Serializable

Serialized Fields

text

java.lang.String text

boundsLeft

int boundsLeft

boundsTop

int boundsTop

arcboundsLeft

int arcboundsLeft

arcboundsTop

int arcboundsTop

width

int width

height

int height

arcWidth

int arcWidth

arcHeight

int arcHeight

Class pipe.dataLayer.PetriNetObject implements Serializable

Serialized Fields

id

java.lang.String id

Id

color

java.awt.Color color

Color of PetriNetObject

pnname

NameLabel pnname

Name Label for displaying name

movable

boolean movable

when a pnobject has an arc attached to it we don't allow it to move

Class pipe.dataLayer.Place implements Serializable

Serialized Fields

initialMarking

java.lang.Integer initialMarking

Initial Marking

currentMarking

java.lang.Integer currentMarking

Current Marking

markingOffsetX

java.lang.Double markingOffsetX

Initial Marking X-axis Offset

markingOffsetY

java.lang.Double markingOffsetY

Initial Marking Y-axis Offset

place

java.awt.geom.Ellipse2D.Double place

Ellipse2D.Double place

Class pipe.dataLayer.PlaceTransitionObject implements Serializable

Serialized Fields

positionX

java.lang.Double positionX

X-axis Position

positionY

java.lang.Double positionY

Y-axis Position

name

java.lang.String name

Name

nameOffsetX

java.lang.Double nameOffsetX

Name X-axis Offset

nameOffsetY

java.lang.Double nameOffsetY

Name Y-axis Offset

width

double width

Width of object

height

double height

Height of object

boundsTopoffset

int boundsTopoffset

TopOffSet used for setBounds()

boundsLeftoffset

int boundsLeftoffset

LeftOffSet used for setBounds()

isDragging

boolean isDragging

Used in the mouse events to control dragging

Class pipe.dataLayer.Token implements Serializable

Serialized Fields

token

java.awt.geom.Ellipse2D.Double token

Ellipse2D.Double token

Class pipe.dataLayer.Transition implements Serializable

Serialized Fields

transition

java.awt.geom.Rectangle2D.Double transition

Transition is of Rectangle2D.Double

enabled

boolean enabled

enabledBackwards

boolean enabledBackwards

highlighted

boolean highlighted

rate

int rate

The transition rate

transform

java.awt.geom.AffineTransform transform

The transform

Package pipe.gui

Class pipe.gui.AnimateAction implements Serializable

Serialized Fields

typeID

int typeID

imageFileName

java.lang.String imageFileName

selectedFileName

java.lang.String selectedFileName

theApp

CreateGui theApp

animBox

AnimationHistory animBox

Class pipe.gui.AnimationHistory implements Serializable

Serialized Fields

fSeq

java.util.Vector fSeq

Holds all the transitions in the sequence

initText

java.lang.String initText

doc

javax.swing.text.Document doc

emph

javax.swing.text.Style emph

bold

javax.swing.text.Style bold

regular

javax.swing.text.Style regular

currentItem

int currentItem

Class pipe.gui.DeleteAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

PetriNetObject selected

selectedArc

Arc selectedArc

theApp

CreateGui theApp

nameLabel

boolean nameLabel

Class pipe.gui.EditRateAction implements Serializable

Serialized Fields

contentPane

java.awt.Container contentPane

selected

Transition selected

theApp

CreateGui theApp

Class pipe.gui.EditTokenAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

Place selected

Class pipe.gui.EditWeightingAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

Arc selected

Class pipe.gui.GuiFrame implements Serializable

Serialized Fields

frameTitle

java.lang.String frameTitle

filename

java.lang.String filename

modelFilename

java.lang.String modelFilename

modelFile

java.io.File modelFile

files

javax.swing.JFileChooser files

appModel

DataLayer appModel

appGui

GuiFrame appGui

appView

GuiView appView

lastTab

int lastTab

appTab

javax.swing.JTabbedPane appTab

statusBar

StatusBar statusBar

theApp

CreateGui theApp

menuBar

javax.swing.JMenuBar menuBar

createAction

GuiFrame.FileAction createAction

openAction

GuiFrame.FileAction openAction

closeAction

GuiFrame.FileAction closeAction

saveAction

GuiFrame.FileAction saveAction

saveAsAction

GuiFrame.FileAction saveAsAction

printAction

GuiFrame.FileAction printAction

exitAction

GuiFrame.FileAction exitAction

arcAction

GuiFrame.TypeAction arcAction

placeAction

GuiFrame.TypeAction placeAction

transAction

GuiFrame.TypeAction transAction

tokenAction

GuiFrame.TypeAction tokenAction

deleteAction

GuiFrame.TypeAction deleteAction

moveAction

GuiFrame.TypeAction moveAction

deleteTokenAction

GuiFrame.TypeAction deleteTokenAction

startAction

AnimateAction startAction

stopAction

AnimateAction stopAction

fireAction

AnimateAction fireAction

stepforwardAction

AnimateAction stepforwardAction

stepbackwardAction

AnimateAction stepbackwardAction

randomAction

AnimateAction randomAction

contentsItem

javax.swing.JMenuItem contentsItem

aboutItem

javax.swing.JMenuItem aboutItem

toolBar

javax.swing.JToolBar toolBar

pnobjectColor

java.awt.Color pnobjectColor

pnobjectType

int pnobjectType

Class pipe.gui.GuiFrame.AboutDialog implements Serializable

Serialized Fields

this$0

GuiFrame this$0

Class pipe.gui.GuiFrame.FileAction implements Serializable

Serialized Fields

this$0

GuiFrame this$0

Class pipe.gui.GuiFrame.TypeAction implements Serializable

Serialized Fields

this$0

GuiFrame this$0

typeID

int typeID

imageFileName

java.lang.String imageFileName

selectedFileName

java.lang.String selectedFileName

Class pipe.gui.GuiView implements Serializable

Serialized Fields

netChanged

boolean netChanged

handlerFactory

HandlerFactory handlerFactory

animationmode

boolean animationmode

contentPane

java.awt.Container contentPane

start

java.awt.Point start

last

java.awt.Point last

tempPnobject

PetriNetObject tempPnobject

button1Down

boolean button1Down

g2D

java.awt.Graphics2D g2D

draggable

boolean draggable

theApp

CreateGui theApp

Class pipe.gui.LabelAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

PetriNetObject selected

Class pipe.gui.ModuleManager.RemoveModuleAction implements Serializable

Serialized Fields

this$0

ModuleManager this$0

removeNode

javax.swing.tree.DefaultMutableTreeNode removeNode

Class pipe.gui.StatusBar implements Serializable

Serialized Fields

paneFont

java.awt.Font paneFont

textforDrawing

java.lang.String textforDrawing

textforPlace

java.lang.String textforPlace

textforTrans

java.lang.String textforTrans

textforAddtoken

java.lang.String textforAddtoken

textforDeltoken

java.lang.String textforDeltoken

textforAnimation

java.lang.String textforAnimation

textforArc

java.lang.String textforArc

textforMove

java.lang.String textforMove

textforDelete

java.lang.String textforDelete

typeID

int typeID

Package pipe.modules.comparison

Class pipe.modules.comparison.Comparison.PrintableHTMLEditor implements Serializable

Serialized Fields

this$0

Comparison this$0

Package pipe.modules.invariantAnalysis

Class pipe.modules.invariantAnalysis.IAResult implements Serializable

Serialized Fields

t1

javax.swing.JTextArea t1

buttonPanel

javax.swing.JPanel buttonPanel

buttons

javax.swing.JButton[] buttons

c

java.awt.Container c

chooser

javax.swing.JFileChooser chooser

filename

java.lang.String filename

filetype

java.lang.String filetype

thisfile

java.io.File thisfile

doc

javax.swing.text.Document doc

docread

javax.swing.text.Document docread

edkit

javax.swing.text.StyledEditorKit edkit

output

java.io.ObjectOutputStream output

input

java.io.ObjectInputStream input

DocumentIsUnedited

boolean DocumentIsUnedited

DocumentIsSaved

boolean DocumentIsSaved

Package pipe.modules.matrixes

Class pipe.modules.matrixes.Matrixes.PrintableHTMLEditor implements Serializable

Serialized Fields

this$0

Matrixes this$0

Package pipe.modules.simulation

Class pipe.modules.simulation.Simulation.PrintableHTMLEditor implements Serializable

Serialized Fields

this$0

Simulation this$0