Package pipe.gui

Interface Summary
Constants  
 

Class Summary
AnimationHandler  
AnimationHistory Class to represent the history of the net animation
Animator  
AnnotationNoteHandler  
ArcHandler Class used to implement methods corresponding to mouse events on arcs.
ArcKeyboardEventHandler  
ArcPathPointHandler  
ArrowHead  
CreateGui  
CreateGui.TabData  
DeletePetriNetObjectAction  
EditAnnotationAction  
EditAnnotationBorderAction  
EditRateAction Action object that can be used to add a rate to a transition.
EditTimedAction Action object that can be used to add a rate to a transition.
EditTokenAction Action object that can be used to effect adding/removing tokens from a place
EditWeightAction  
Export Class for exporting things to other formats, as well as printing.
ExtensionFilter  
ExtFileManager  
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  
StatusBar  
ToggleArcPointAction  
TransitionHandler Class used to implement methods corresponding to mouse events on transitions.