| Package | Description |
|---|---|
| com.vaadin.server | |
| com.vaadin.server.communication |
| Modifier and Type | Method and Description |
|---|---|
protected VaadinServletService |
VaadinServlet.createServletService(DeploymentConfiguration deploymentConfiguration) |
VaadinServletService |
VaadinServletResponse.getService() |
VaadinServletService |
VaadinServletRequest.getService() |
protected VaadinServletService |
VaadinServlet.getService()
Gets a the vaadin service for this servlet.
|
| Constructor and Description |
|---|
VaadinServletRequest(javax.servlet.http.HttpServletRequest request,
VaadinServletService vaadinService)
Wraps a http servlet request and associates with a vaadin service
|
VaadinServletResponse(javax.servlet.http.HttpServletResponse response,
VaadinServletService vaadinService)
Wraps a http servlet response and an associated vaadin service
|
| Modifier and Type | Method and Description |
|---|---|
protected PushHandler |
PushRequestHandler.createPushHandler(VaadinServletService service)
Creates a push handler for this request handler.
|
| Constructor and Description |
|---|
PushHandler(VaadinServletService service) |
PushRequestHandler(VaadinServletService service) |
Copyright © 2022 Vaadin Ltd. All rights reserved.