Package org.vaadin.spring.servlet

Class Vaadin4SpringServlet

java.lang.Object
jakarta.servlet.GenericServlet
jakarta.servlet.http.HttpServlet
com.vaadin.server.VaadinServlet
com.vaadin.spring.server.SpringVaadinServlet
org.vaadin.spring.servlet.Vaadin4SpringServlet
All Implemented Interfaces:
com.vaadin.server.Constants, jakarta.servlet.Servlet, jakarta.servlet.ServletConfig, Serializable
public class Vaadin4SpringServlet extends SpringVaadinServlet
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.
Author:
Petter Holmström (petter@vaadin.com)
See Also:

  • Nested Class Summary

    Nested classes/interfaces inherited from class com.vaadin.server.VaadinServlet

    com.vaadin.server.VaadinServlet.RequestType

  • Field Summary

    Fields inherited from class jakarta.servlet.http.HttpServlet

    LEGACY_DO_HEAD

    Fields inherited from interface com.vaadin.server.Constants

    ATMOSPHERE_MISSING_ERROR, CANNOT_ACQUIRE_CLASSLOADER_SEVERE, DEFAULT_BUFFER_SIZE, DEFAULT_THEME_CACHETIME, DEFAULT_THEME_NAME, DEFAULT_WIDGETSET, ERROR_NO_UI_FOUND, INVALID_ATMOSPHERE_VERSION_WARNING, INVALID_SECURITY_KEY_MSG, MAX_BUFFER_SIZE, NOT_PRODUCTION_MODE_INFO, PARAMETER_VAADIN_RESOURCES, PARAMETER_WIDGETSET, PORTAL_PARAMETER_VAADIN_RESOURCE_PATH, PORTAL_PARAMETER_VAADIN_THEME, PORTAL_PARAMETER_VAADIN_WIDGETSET, PORTLET_CONTEXT, PUSH_NOT_SUPPORTED_ERROR, REQUIRED_ATMOSPHERE_RUNTIME_JAKARTA_VERSION, REQUIRED_ATMOSPHERE_RUNTIME_VERSION, SERVLET_PARAMETER_CLOSE_IDLE_SESSIONS, SERVLET_PARAMETER_DISABLE_XSRF_PROTECTION, SERVLET_PARAMETER_HEARTBEAT_INTERVAL, SERVLET_PARAMETER_LEGACY_DESIGN_PREFIX, SERVLET_PARAMETER_PRODUCTION_MODE, SERVLET_PARAMETER_PUSH_MODE, SERVLET_PARAMETER_PUSH_SUSPEND_TIMEOUT_LONGPOLLING, SERVLET_PARAMETER_RESOURCE_CACHE_TIME, SERVLET_PARAMETER_SENDURLSASPARAMETERS, SERVLET_PARAMETER_SYNC_ID_CHECK, SERVLET_PARAMETER_UI_PRIORITY, SERVLET_PARAMETER_UI_PROVIDER, THEME_DIR_PATH, URL_PARAMETER_THEME, WARNING_HEARTBEAT_INTERVAL_NOT_NUMERIC, WARNING_PUSH_MODE_NOT_RECOGNIZED, WARNING_RESOURCE_CACHING_TIME_NOT_NUMERIC, WARNING_XSRF_PROTECTION_DISABLED, WIDGETSET_DIR_PATH, WIDGETSET_MISMATCH_INFO

  • Constructor Summary

    Constructors
    Constructor
    Description
    Vaadin4SpringServlet()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected com.vaadin.server.VaadinServletService
    createServletService(com.vaadin.server.DeploymentConfiguration deploymentConfiguration)
     
    void
    init(jakarta.servlet.ServletConfig servletConfig)
     
    protected void
    servletInitialized()
     

    Methods inherited from class com.vaadin.spring.server.SpringVaadinServlet

    createVaadinRequest, getServiceUrlPath, getStaticFilePath, setServiceUrlPath

    Methods inherited from class com.vaadin.server.VaadinServlet

    allowServePrecompressedResource, createDeploymentConfiguration, createDeploymentConfiguration, createServletService, criticalNotification, destroy, findResourceURL, getApplicationUrl, getCacheTime, getCurrent, getDefaultTheme, getLastPathParameter, getRequestType, getResourcePath, getService, handleContextRootWithoutSlash, isAllowedVAADINResourceUrl, isStaticResourceRequest, safeEscapeForHtml, serveStaticResources, serveStaticResourcesInVAADIN, service, stripSpecialChars, writeStaticResourceResponse

    Methods inherited from class jakarta.servlet.http.HttpServlet

    doDelete, doGet, doHead, doOptions, doPatch, doPost, doPut, doTrace, getLastModified, isSensitiveHeader, service

    Methods inherited from class jakarta.servlet.GenericServlet

    getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, init, log, log

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • Vaadin4SpringServlet

      public Vaadin4SpringServlet()

  • Method Details

    • init

      public void init(jakarta.servlet.ServletConfig servletConfig) throws jakarta.servlet.ServletException
      Specified by:
      init in interface jakarta.servlet.Servlet
      Overrides:
      init in class com.vaadin.server.VaadinServlet
      Throws:
      jakarta.servlet.ServletException

    • createServletService

      protected com.vaadin.server.VaadinServletService createServletService(com.vaadin.server.DeploymentConfiguration deploymentConfiguration) throws com.vaadin.server.ServiceException
      Overrides:
      createServletService in class SpringVaadinServlet
      Throws:
      com.vaadin.server.ServiceException

    • servletInitialized

      protected void servletInitialized() throws jakarta.servlet.ServletException
      Overrides:
      servletInitialized in class SpringVaadinServlet
      Throws:
      jakarta.servlet.ServletException