Package org.vaadin.spring.servlet

Interface Summary

Interface	Description
CustomInitParameterProvider	A custom init parameter provider is used by Vaadin4SpringServlet to provide custom servlet init parameter values without having to redeclare the servlet registration or override the servlet itself.

Class Summary

Class	Description
SingletonCustomInitParameterProvider	Implementation of CustomInitParameterProvider that provides a single init parameter.
Vaadin4SpringServlet	An extended version of SpringVaadinServlet that provides the following additional features: Support for specifying a custom SystemMessagesProvider by making it available as a Spring managed bean Support for adding SessionInitListeners by making them available as Spring managed beans Support for adding SessionDestroyListeners by making them available as Spring managed beans Support for adding ServiceDestroyListeners by making them available as Spring managed beans Support for VaadinRequestStartListeners and VaadinRequestEndListeners Support for providing custom init parameters by Spring managed CustomInitParameterProviders.
Vaadin4SpringServletService	Extended version of SpringVaadinServletService that adds support for VaadinRequestStartListeners and VaadinRequestEndListeners.