Serialized Form
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
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
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
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
zoomControl
ZoomController zoomControl
- The ZoomController of the GuiView this component is part of.
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<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.
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
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 |
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
selected
PetriNetObject selected
selected
AnnotationNote selected
note
AnnotationNote note
selected
AnnotationNote selected
serialVersionUID: 2000L
contentPane
java.awt.Container contentPane
selected
Transition selected
serialVersionUID: 2001L
selected
Transition selected
serialVersionUID: 2002L
contentPane
java.awt.Container contentPane
selected
Place selected
serialVersionUID: 2003L
contentPane
java.awt.Container contentPane
myArc
Arc myArc
selected
ArcPathPoint selected
mp
java.awt.geom.Point2D.Float mp
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
netChanged
boolean netChanged
animationmode
boolean animationmode
createArc
Arc createArc
animationHandler
AnimationHandler animationHandler
shiftDown
boolean shiftDown
selection
SelectionObject selection
zoomControl
ZoomController zoomControl
dialog
javax.swing.JFrame dialog
content
javax.swing.JEditorPane content
history
java.util.LinkedList<E> 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
selected
Arc selected
mouseposition
java.awt.geom.Point2D.Float mouseposition
selected
ArcPathPoint selected
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
originalX
int originalX
originalY
int originalY
ext
java.lang.String ext
gp
att.grappa.GrappaPanel gp
graph
att.grappa.Graph graph
panel
javax.swing.JPanel panel
xValues
java.util.ArrayList<E> xValues
yValues
java.util.ArrayList<E> 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
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