Overview | Package | Class | 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

### fillNote

    boolean fillNote

### noteRect

    java.awt.geom.RectangularShape noteRect

### dragPoints

    AnnotationNote.ResizePoint[] dragPoints

### originalX

    int originalX

### originalY

    int originalY

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

### DELTA

    int DELTA

### myArcPath

    ArcPath myArcPath

### point

    java.awt.geom.Point2D.Float point

### realPoint

    java.awt.geom.Point2D.Float realPoint

### 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

### zoomControl

    ZoomController zoomControl

  The ZoomController of the GuiView this component is part of.

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<E> connectTo

### connectFrom

    java.util.Collection<E> connectFrom

### locationX

    double locationX

  The "real" x coordinate of this place or transition in the net. i.e. the x position at 100% zoom.

### locationY

    double locationY

  The "real" y coordinate of this place or transition in the net. i.e. the y position at 100% zoom.

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

### delay

    double delay

  The delay before this transition fires.

### delayValid

    boolean delayValid

  A boolean to track whether the delay is valid or not.

### rate

    double rate

  The transition rate

### timed

    boolean timed

  Is this a timed transition or not?

### arcAngleList

    java.util.ArrayList<E> arcAngleList

Package pipe.dataLayer.calculations

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

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

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<E> 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.EditAnnotationBackgroundAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

### note

    AnnotationNote note

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

serialVersionUID: 2000L

Serialized Fields

### contentPane

    java.awt.Container contentPane

### selected

    Transition selected

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

serialVersionUID: 2001L

Serialized Fields

### selected

    Transition selected

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

serialVersionUID: 2002L

Serialized Fields

### contentPane

    java.awt.Container contentPane

### selected

    Place selected

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

serialVersionUID: 2003L

Serialized Fields

### contentPane

    java.awt.Container contentPane

### myArc

    Arc myArc

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

Serialized Fields

### selected

    ArcPathPoint selected

### mp

    java.awt.geom.Point2D.Float mp

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

Class pipe.gui.GuiFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

### zoomExamples

    java.lang.String[] zoomExamples

### 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

### actions

    java.util.Map<K,V> actions

### zoomComboBox

    javax.swing.JComboBox zoomComboBox

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

### zoomControl

    ZoomController zoomControl

Class pipe.gui.HelpBox extends GuiAction implements Serializable

Serialized Fields

### dialog

    javax.swing.JFrame dialog

### content

    javax.swing.JEditorPane content

### history

    java.util.LinkedList<E> 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.SplitArcAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

### selected

    Arc selected

### mouseposition

    java.awt.geom.Point2D.Float mouseposition

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

Serialized Fields

### selected

    ArcPathPoint selected

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

Class pipe.gui.ViewExpansionComponent extends PetriNetObject implements Serializable

Serialized Fields

### originalX

    int originalX

### originalY

    int originalY

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.GraphFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

### gp

    att.grappa.GrappaPanel gp

### graph

    att.grappa.Graph graph

### panel

    javax.swing.JPanel panel

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

Serialized Fields

### xValues

    java.util.ArrayList<E> xValues

### yValues

    java.util.ArrayList<E> 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

### defaultPath

    java.io.File defaultPath

### tempDefaultPath

    boolean tempDefaultPath

### clipboard

    java.awt.datatransfer.Clipboard clipboard

### CopyHandler

    java.awt.event.ActionListener CopyHandler

### SaveHandler

    java.awt.event.ActionListener SaveHandler

Package pipe.io

Class pipe.io.AbortDotFileGenerationException extends java.lang.Exception implements Serializable

Class pipe.io.ImmediateAbortException extends java.lang.Exception implements Serializable

Class pipe.io.IncorrectFileFormatException extends java.io.IOException implements Serializable

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