Serialized Form


Package pipe.dataLayer

Class pipe.dataLayer.AnnotationNote extends PetriNetObject 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 extends javax.swing.JComponent implements Serializable

Serialized Fields

shape

java.awt.Rectangle shape

isPressed

boolean isPressed

myNote

AnnotationNote myNote

typeMask

int typeMask

Class pipe.dataLayer.Arc extends PetriNetObject 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 extends PetriNetObject 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 extends javax.swing.JLabel 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 extends javax.swing.JComponent 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 extends PlaceTransitionObject 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 extends PetriNetObject 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 extends PlaceTransitionObject implements Serializable

Serialized Fields

token

java.awt.geom.Ellipse2D.Double token
Ellipse2D.Double token

Class pipe.dataLayer.Transition extends PlaceTransitionObject 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?


arcAngleList

java.util.ArrayList arcAngleList
The transform


Package pipe.dataLayer.calculations

Class pipe.dataLayer.calculations.TreeTooBigException extends java.lang.Exception implements Serializable


Package pipe.gui

Class pipe.gui.AnimationHistory extends javax.swing.JTextPane 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 extends javax.swing.AbstractAction implements Serializable

Serialized Fields

selected

PetriNetObject selected

Class pipe.gui.EditAnnotationAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

selected

AnnotationNote selected

Class pipe.gui.EditAnnotationBorderAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

selected

AnnotationNote selected

Class pipe.gui.EditRateAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

contentPane

java.awt.Container contentPane

selected

Transition selected

Class pipe.gui.EditTimedAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

selected

Transition selected

Class pipe.gui.EditTokenAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

Place selected

Class pipe.gui.EditWeightAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

myArc

Arc myArc

Class pipe.gui.GuiFrame extends javax.swing.JFrame 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 extends javax.swing.JLayeredPane implements Serializable

Serialized Fields

netChanged

boolean netChanged

animationmode

boolean animationmode

createArc

Arc createArc

animationHandler

AnimationHandler animationHandler

shiftDown

boolean shiftDown

selection

SelectionObject selection

Class pipe.gui.HelpBox extends GuiAction 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 extends javax.swing.AbstractAction implements Serializable

Serialized Fields

label

java.lang.String label

contentPane

java.awt.Container contentPane

selected

PetriNetObject selected

Class pipe.gui.RotateTransitionAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

angle

int angle

contentPane

java.awt.Container contentPane

selected

Transition selected

Class pipe.gui.SelectionObject extends javax.swing.JComponent 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 extends javax.swing.JPanel 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 extends javax.swing.AbstractAction implements Serializable

Serialized Fields

selected

ArcPathPoint selected


Package pipe.gui.widgets

Class pipe.gui.widgets.ButtonBar extends javax.swing.JPanel implements Serializable

Class pipe.gui.widgets.FileBrowser extends javax.swing.JFileChooser implements Serializable

Serialized Fields

ext

java.lang.String ext

Class pipe.gui.widgets.GraphPanel extends javax.swing.JPanel 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 extends javax.swing.JPanel implements Serializable

Serialized Fields

graph

GraphPanel graph

saveButtonClick

java.awt.event.ActionListener saveButtonClick

Class pipe.gui.widgets.PetriNetChooserPanel extends javax.swing.JPanel 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 extends javax.swing.JPanel 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 pipe.modules.predatorInvariantAnalysis

Class pipe.modules.predatorInvariantAnalysis.InvariantDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

panel1

javax.swing.JPanel panel1

jLabel1

javax.swing.JLabel jLabel1

jLabel2

javax.swing.JLabel jLabel2

jScrollPane1

javax.swing.JScrollPane jScrollPane1

jLabel3

javax.swing.JLabel jLabel3

jScrollPane2

javax.swing.JScrollPane jScrollPane2

pInvarTextArea

javax.swing.JTextArea pInvarTextArea

tInvarTextArea

javax.swing.JTextArea tInvarTextArea

jLabel4

javax.swing.JLabel jLabel4

pEquTextArea

javax.swing.JTextArea pEquTextArea

jScrollPane3

javax.swing.JScrollPane jScrollPane3

jLabel5

javax.swing.JLabel jLabel5

boundTextArea

javax.swing.JTextArea boundTextArea

jScrollPane4

javax.swing.JScrollPane jScrollPane4

jButton1

javax.swing.JButton jButton1

gridBagLayout1

java.awt.GridBagLayout gridBagLayout1