Package pipe.gui

Interface Summary
Constants  
Zoomable  
 

Class Summary
AnimationHandler This class handles mouse clicks by the user.
AnimationHistory Class to represent the history of the net animation
Animator This class is used to process clicks by the user to manually step through enabled transitions in the net.
AnnotationNoteHandler  
ArcHandler Class used to implement methods corresponding to mouse events on arcs.
ArcKeyboardEventHandler  
ArcPathPointHandler  
ArrowHead  
CreateGui  
DeletePetriNetObjectAction  
EditAnnotationAction  
EditAnnotationBackgroundAction Action to toggle the background of a note between white and transparent
EditAnnotationBorderAction  
EditRateAction Action object that can be used to add a rate to a transition.
EditTimedAction Action object that can be used to alternate a transition between timed and immediate.
EditTokenAction Action object that can be used to add or remove tokens from a place
EditWeightAction This class allows the user to change the weight on an arc.
Export Class for exporting things to other formats, as well as printing.
ExtensionFilter  
ExtFileManager  
GetIndexAction  
Grid  
GuiAction GuiAction class
GuiFrame  
GuiView The petrinet is drawn onto this frame.
HelpBox  
LabelAction Action object that can be used to effect labelling a component.
ModuleClassContainer ModuleClass encapsulates information about the Module class and is designed to be used as a userobject in nodes in a JTree, in this case for nodes representing module classes.
ModuleLoader  
ModuleManager The ModuleManager class contains methods to create swing components to allow the user to load modules and execute methods within them.
ModuleMethod ModuleMethod encapsulates information about a module method and is designed to be used as a userobject in nodes in a JTree.
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.
PlaceTransitionObjectHandler Class used to implement methods corresponding to mouse events on places.
RotateTransitionAction  
SelectionObject  
SplitArcAction  
SplitArcPointAction  
StatusBar  
ToggleArcPointAction  
TransitionHandler Class used to implement methods corresponding to mouse events on transitions.
ViewExpansionComponent  
ZoomController