Uses of Package
pipe.gui

Packages that use pipe.gui

pipe.dataLayer
pipe.gui

Classes in pipe.gui used by pipe.dataLayer

Constants

Classes in pipe.gui used by pipe.gui

AnimateAction

AnimationHandler

AnimationHistory
Class to represent the history of the net animation

Animator

ArcHandler
Class used to implement methods corresponding to mouse events on arcs.

Constants

CreateArcHandler
Class used to implement methods corresponding to mouse events on places.

CreateGui

GuiFrame

GuiFrame.FileAction

GuiFrame.TypeAction

GuiView
The petrinet is drawn onto this frame.

HandlerFactory
Class responsible for instantiating handlers to be attached to PetriNetObjects

ModuleManager
The ModuleManager class contains methods to create swing components to allow the user to load modules and execute methods within them.

PetriNetObjectHandler
Class used to implement methods corresponding to mouse events on all PetriNetObjects.

PlaceHandler
Class used to implement methods corresponding to mouse events on places.

StatusBar

TransitionHandler
Class used to implement methods corresponding to mouse events on transitions.