|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| 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 | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||