Serialized Form
note
javax.swing.JTextArea note
drawBorder
boolean drawBorder
noteRect
java.awt.geom.RectangularShape noteRect
dragPoints
AnnotationNote.ResizePoint[] dragPoints
shape
java.awt.Rectangle shape
isPressed
boolean isPressed
myNote
AnnotationNote myNote
typeMask
int typeMask
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
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
positionX
int positionX
positionY
int positionY
xCoord
double xCoord
yCoord
double yCoord
arcboundsLeft
int arcboundsLeft
arcboundsTop
int arcboundsTop
id
java.lang.String id
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
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
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
token
java.awt.geom.Ellipse2D.Double token
- Ellipse2D.Double token
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 |
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
selected
PetriNetObject selected
selected
AnnotationNote selected
selected
AnnotationNote selected
contentPane
java.awt.Container contentPane
selected
Transition selected
selected
Transition selected
label
java.lang.String label
contentPane
java.awt.Container contentPane
selected
Place selected
label
java.lang.String label
contentPane
java.awt.Container contentPane
myArc
Arc myArc
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
netChanged
boolean netChanged
animationmode
boolean animationmode
createArc
Arc createArc
animationHandler
AnimationHandler animationHandler
shiftDown
boolean shiftDown
selection
SelectionObject selection
dialog
javax.swing.JFrame dialog
content
javax.swing.JEditorPane content
history
java.util.LinkedList history
filename
java.lang.String filename
label
java.lang.String label
contentPane
java.awt.Container contentPane
selected
PetriNetObject selected
angle
int angle
contentPane
java.awt.Container contentPane
selected
Transition selected
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
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
selected
ArcPathPoint selected
ext
java.lang.String ext
xValues
java.util.ArrayList xValues
yValues
java.util.ArrayList yValues
xMin
double xMin
xMax
double xMax
yMin
double yMin
yMax
double yMax
graph
GraphPanel graph
saveButtonClick
java.awt.event.ActionListener saveButtonClick
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
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 |
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