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


Field Summary
 Container contentPane
           
 CreateArcHandler createArcHandler
           
 CreateGui gui
           
 
Constructor Summary
HandlerFactory(CreateGui _gui, Container _contentPane)
           
 
Method Summary
 AnimationHandler getAnimationHandler()
           
 ArcHandler getArcHandler()
           
 CreateArcHandler getCreateArcHandler()
           
 PlaceHandler getPlaceHandler()
           
 TransitionHandler getTransitionHandler()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

gui

public CreateGui gui

contentPane

public Container contentPane

createArcHandler

public CreateArcHandler createArcHandler
Constructor Detail

HandlerFactory

public HandlerFactory(CreateGui _gui,
                      Container _contentPane)
Method Detail

getPlaceHandler

public PlaceHandler getPlaceHandler()

getTransitionHandler

public TransitionHandler getTransitionHandler()

getArcHandler

public ArcHandler getArcHandler()

getCreateArcHandler

public CreateArcHandler getCreateArcHandler()

getAnimationHandler

public AnimationHandler getAnimationHandler()