Serialized Form


Package pipe.dataLayer.calculations

Class pipe.dataLayer.calculations.TreeTooBigException implements Serializable


Package pipe.gui

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.DeletePetriNetObjectAction implements Serializable

Serialized Fields

selected

PetriNetObject selected

Class pipe.gui.EditAnnotationAction implements Serializable

Serialized Fields

selected

AnnotationNote selected

Class pipe.gui.EditAnnotationBorderAction implements Serializable

Serialized Fields

selected

AnnotationNote selected

Class pipe.gui.EditRateAction implements Serializable

Serialized Fields

contentPane

java.awt.Container contentPane

selected

Transition selected

Class pipe.gui.EditTimedAction implements Serializable

Serialized Fields

selected

Transition selected

Class pipe.gui.EditTokenAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

Place selected

Class pipe.gui.EditWeightAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

myArc

Arc myArc

Class pipe.gui.GuiFrame implements Serializable

Serialized Fields

frameTitle

java.lang.String frameTitle

appModel

DataLayer appModel

appGui

GuiFrame appGui

appView

GuiView appView

mode

int mode

prev_mode

int prev_mode

newNameCounter

int newNameCounter

appTab

javax.swing.JTabbedPane appTab

statusBar

StatusBar statusBar

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

exitAction

GuiFrame.FileAction exitAction

printAction

GuiFrame.FileAction printAction

exportPNGAction

GuiFrame.FileAction exportPNGAction

exportPSAction

GuiFrame.FileAction exportPSAction

toggleGrid

GuiFrame.GridAction toggleGrid

deleteAction

GuiFrame.DeleteAction deleteAction

annotationAction

GuiFrame.TypeAction annotationAction

arcAction

GuiFrame.TypeAction arcAction

placeAction

GuiFrame.TypeAction placeAction

transAction

GuiFrame.TypeAction transAction

timedtransAction

GuiFrame.TypeAction timedtransAction

tokenAction

GuiFrame.TypeAction tokenAction

selectAction

GuiFrame.TypeAction selectAction

deleteTokenAction

GuiFrame.TypeAction deleteTokenAction

startAction

GuiFrame.AnimateAction startAction

stepforwardAction

GuiFrame.AnimateAction stepforwardAction

stepbackwardAction

GuiFrame.AnimateAction stepbackwardAction

randomAction

GuiFrame.AnimateAction randomAction

randomAnimateAction

GuiFrame.AnimateAction randomAnimateAction

Class pipe.gui.GuiView implements Serializable

Serialized Fields

netChanged

boolean netChanged

animationmode

boolean animationmode

pnObject

PetriNetObject pnObject

draggable

boolean draggable

createArc

Arc createArc

animationHandler

AnimationHandler animationHandler

shiftDown

boolean shiftDown

selection

SelectionObject selection

Class pipe.gui.HelpBox implements Serializable

Serialized Fields

dialog

javax.swing.JFrame dialog

content

javax.swing.JEditorPane content

history

java.util.LinkedList history

filename

java.lang.String filename

Class pipe.gui.LabelAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

PetriNetObject selected

Class pipe.gui.old_DeleteAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

PetriNetObject selected

selectedArc

Arc selectedArc

nameLabel

boolean nameLabel

Class pipe.gui.RotateTransitionAction implements Serializable

Serialized Fields

angle

int angle

contentPane

java.awt.Container contentPane

selected

Transition selected

Class pipe.gui.SelectionObject implements Serializable

Serialized Fields

selectionInit

java.awt.Point selectionInit

selectionRectangle

java.awt.Rectangle selectionRectangle

isSelecting

boolean isSelecting

edit_window

GuiView edit_window

enabled

boolean enabled

tempBounds

java.awt.Rectangle tempBounds

Class pipe.gui.StatusBar implements Serializable

Serialized Fields

textforDrawing

java.lang.String textforDrawing

textforPlace

java.lang.String textforPlace

textforTrans

java.lang.String textforTrans

textforTimedTrans

java.lang.String textforTimedTrans

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

label

javax.swing.JLabel label

Class pipe.gui.ToggleArcPointAction implements Serializable

Serialized Fields

selected

ArcPathPoint selected


Package pipe.dataLayer

Class pipe.dataLayer.AnnotationNote implements Serializable

Serialized Fields

note

javax.swing.JTextArea note

drawBorder

boolean drawBorder

noteRect

java.awt.geom.RectangularShape noteRect

dragPoints

AnnotationNote.ResizePoint[] dragPoints

Class pipe.dataLayer.AnnotationNote.ResizePoint implements Serializable

Serialized Fields

shape

java.awt.Rectangle shape

isPressed

boolean isPressed

myNote

AnnotationNote myNote

typeMask

int typeMask

Class pipe.dataLayer.Arc implements Serializable

Serialized Fields

weight

int weight
Current Marking


weightOffsetX

java.lang.Double weightOffsetX
Initial Marking X-axis Offset


weightOffsetY

java.lang.Double weightOffsetY
Initial Marking Y-axis Offset


arrow

ArrowHead arrow
Arc is of type Line2D.Double


weightLabel

NameLabel weightLabel

source

PlaceTransitionObject source
references to the objects this arc connects


target

PlaceTransitionObject target

deleted

boolean deleted

myPath

ArcPath myPath

Class pipe.dataLayer.ArcPathPoint implements Serializable

Serialized Fields

myArcPath

ArcPath myArcPath

point

java.awt.geom.Point2D.Float point

control1

java.awt.geom.Point2D.Float control1

control2

java.awt.geom.Point2D.Float control2

pointType

boolean pointType

Class pipe.dataLayer.NameLabel implements Serializable

Serialized Fields

positionX

int positionX

positionY

int positionY

xCoord

double xCoord

yCoord

double yCoord

arcboundsLeft

int arcboundsLeft

arcboundsTop

int arcboundsTop

id

java.lang.String id

Class pipe.dataLayer.PetriNetObject implements Serializable

Serialized Fields

id

java.lang.String id
Id


pnName

NameLabel pnName
Name Label for displaying name


objectColour

java.awt.Color objectColour

selectionBorderColour

java.awt.Color selectionBorderColour

selected

boolean selected

selectable

boolean selectable

draggable

boolean draggable

bounds

java.awt.Rectangle bounds

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

Class pipe.dataLayer.PlaceTransitionObject implements Serializable

Serialized Fields

positionX

double positionX
X-axis Position on screen


positionY

double positionY
Y-axis Position on screen


componentWidth

double componentWidth

componentHeight

double componentHeight

isDragging

boolean isDragging
Used in the mouse events to control dragging


connectTo

java.util.Collection connectTo

connectFrom

java.util.Collection connectFrom

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.GeneralPath transition
Transition is of Rectangle2D.Double


proximityTransition

java.awt.Shape proximityTransition

angle

int angle

enabled

boolean enabled

enabledBackwards

boolean enabledBackwards

highlighted

boolean highlighted

rate

double rate
The transition rate


timed

boolean timed
Is this a timed transition or not?


transform

java.awt.geom.AffineTransform transform
The transform


arcAngleList

java.util.ArrayList arcAngleList


Package pipe.gui.widgets

Class pipe.gui.widgets.ButtonBar implements Serializable

Class pipe.gui.widgets.FileBrowser implements Serializable

Serialized Fields

ext

java.lang.String ext

Class pipe.gui.widgets.GraphPanel implements Serializable

Serialized Fields

xValues

java.util.ArrayList xValues

yValues

java.util.ArrayList yValues

xMin

double xMin

xMax

double xMax

yMin

double yMin

yMax

double yMax

Class pipe.gui.widgets.GraphPanelPane implements Serializable

Serialized Fields

graph

GraphPanel graph

saveButtonClick

java.awt.event.ActionListener saveButtonClick

Class pipe.gui.widgets.PetriNetChooserPanel implements Serializable

Serialized Fields

useCurrent

javax.swing.JCheckBox useCurrent

label

javax.swing.JLabel label

textField

javax.swing.JTextField textField

browse

javax.swing.JButton browse

defaultNet

DataLayer defaultNet

useCurrentClick

java.awt.event.ActionListener useCurrentClick

browseButtonClick

java.awt.event.ActionListener browseButtonClick

Class pipe.gui.widgets.ResultsHTMLPane implements Serializable

Serialized Fields

results

javax.swing.JEditorPane results

clipboard

java.awt.datatransfer.Clipboard clipboard

CopyHandler

java.awt.event.ActionListener CopyHandler

SaveHandler

java.awt.event.ActionListener SaveHandler


Package jama

Class jama.CholeskyDecomposition implements Serializable

Serialized Fields

L

double[][] L
Array for internal storage of decomposition.

internal array storage.

n

int n
Row and column dimension (square matrix).

matrix dimension.

isspd

boolean isspd
Symmetric and positive definite flag.

is symmetric and positive definite flag.

Class jama.EigenvalueDecomposition implements Serializable

Serialized Fields

n

int n
Row and column dimension (square matrix).

matrix dimension.

issymmetric

boolean issymmetric
Symmetry flag.

internal symmetry flag.

d

double[] d
Arrays for internal storage of eigenvalues.

internal storage of eigenvalues.

e

double[] e
Arrays for internal storage of eigenvalues.

internal storage of eigenvalues.

V

double[][] V
Array for internal storage of eigenvectors.

internal storage of eigenvectors.

H

double[][] H
Array for internal storage of nonsymmetric Hessenberg form.

internal storage of nonsymmetric Hessenberg form.

ort

double[] ort
Working storage for nonsymmetric algorithm.

working storage for nonsymmetric algorithm.

Class jama.LUDecomposition implements Serializable

Serialized Fields

LU

double[][] LU
Array for internal storage of decomposition.

internal array storage.

m

int m
Row and column dimensions, and pivot sign.

column dimension.

n

int n
Row and column dimensions, and pivot sign.

column dimension.

pivsign

int pivsign
Row and column dimensions, and pivot sign.

column dimension.

piv

int[] piv
Internal storage of pivot vector.

pivot vector.

Class jama.Matrix implements Serializable

Serialized Fields

A

double[][] A
Array for internal storage of elements.

internal array storage.

m

int m
Row and column dimensions.

row dimension.

n

int n
Row and column dimensions.

row dimension.

Class jama.QRDecomposition implements Serializable

Serialized Fields

QR

double[][] QR
Array for internal storage of decomposition.

internal array storage.

m

int m
Row and column dimensions.

column dimension.

n

int n
Row and column dimensions.

column dimension.

Rdiag

double[] Rdiag
Array for internal storage of diagonal of R.

diagonal of R.

Class jama.SingularValueDecomposition implements Serializable

Serialized Fields

U

double[][] U
Arrays for internal storage of U and V.

internal storage of U.

V

double[][] V
Arrays for internal storage of U and V.

internal storage of U.

s

double[] s
Array for internal storage of singular values.

internal storage of singular values.

m

int m
Row and column dimensions.

row dimension.

n

int n
Row and column dimensions.

row dimension.