|
Class Summary |
| 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. |
| CreateArcHandler |
Class used to implement methods corresponding to mouse events on places. |
| CreateGui |
|
| DeleteAction |
Action object that can be used to effect deleting a component. |
| EditRateAction |
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 |
| EditWeightingAction |
|
| ExtensionFilter |
|
| GuiFrame |
|
| GuiView |
The petrinet is drawn onto this frame. |
| HandlerFactory |
Class responsible for instantiating handlers to be attached to PetriNetObjects |
| LabelAction |
Action object that can be used to effect labelling a component. |
| ModeAdaptor |
|
| ModuleClass |
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. |
| ModuleFilter |
Filter to select all files in a directory with a 'class' extension. |
| 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. |
| StatusBar |
|
| TransitionHandler |
Class used to implement methods corresponding to mouse events on transitions. |