Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

# 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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES