pipe.gui
Class HandlerFactory

java.lang.Object
  |
  +--pipe.gui.HandlerFactory

public class HandlerFactory

extends java.lang.Object

Class responsible for instantiating handlers to be attached to PetriNetObjects

Field Summary

java.awt.Container	contentPane
CreateArcHandler	createArcHandler
CreateGui	gui

Constructor Summary

HandlerFactory(CreateGui _gui, java.awt.Container _contentPane)

Method Summary

AnimationHandler	getAnimationHandler()
ArcHandler	getArcHandler()
CreateArcHandler	getCreateArcHandler()
PlaceHandler	getPlaceHandler()
TransitionHandler	getTransitionHandler()

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

gui

public CreateGui gui

contentPane

public java.awt.Container contentPane

createArcHandler

public CreateArcHandler createArcHandler

Constructor Detail

HandlerFactory

public HandlerFactory(CreateGui _gui,
                      java.awt.Container _contentPane)

Method Detail

getPlaceHandler

public PlaceHandler getPlaceHandler()

getTransitionHandler

public TransitionHandler getTransitionHandler()

getArcHandler

public ArcHandler getArcHandler()

getCreateArcHandler

public CreateArcHandler getCreateArcHandler()

getAnimationHandler

public AnimationHandler getAnimationHandler()