pipe.gui
Class HandlerFactory
java.lang.Object
|
+--pipe.gui.HandlerFactory
- public class HandlerFactory
- extends Object
Class responsible for instantiating handlers to be attached to PetriNetObjects
gui
public CreateGui gui
contentPane
public Container contentPane
createArcHandler
public CreateArcHandler createArcHandler
HandlerFactory
public HandlerFactory(CreateGui _gui,
Container _contentPane)
getPlaceHandler
public PlaceHandler getPlaceHandler()
getTransitionHandler
public TransitionHandler getTransitionHandler()
getArcHandler
public ArcHandler getArcHandler()
getCreateArcHandler
public CreateArcHandler getCreateArcHandler()
getAnimationHandler
public AnimationHandler getAnimationHandler()