Uses of Interface
javax.servlet.http.PushBuilder

Packages that use PushBuilder

Package	Description
io.undertow.servlet.spec
javax.servlet.http	The javax.servlet.http package contains a number of classes and interfaces that describe and define the contracts between a servlet class running under the HTTP protocol and the runtime environment provided for an instance of such a class by a conforming servlet container.

Uses of PushBuilder in io.undertow.servlet.spec

Classes in io.undertow.servlet.spec that implement PushBuilder

Modifier and Type	Class and Description
class	PushBuilderImpl

Methods in io.undertow.servlet.spec that return PushBuilder

Modifier and Type	Method and Description
PushBuilder	PushBuilderImpl.addHeader(String name, String value)
PushBuilder	PushBuilderImpl.method(String method)
PushBuilder	HttpServletRequestImpl.newPushBuilder()
PushBuilder	PushBuilderImpl.path(String path)
PushBuilder	PushBuilderImpl.queryString(String queryString)
PushBuilder	PushBuilderImpl.removeHeader(String name)
PushBuilder	PushBuilderImpl.sessionId(String sessionId)
PushBuilder	PushBuilderImpl.setHeader(String name, String value)

Uses of PushBuilder in javax.servlet.http

Methods in javax.servlet.http that return PushBuilder

Modifier and Type	Method and Description
PushBuilder	PushBuilder.addHeader(String name, String value) Add a request header to be used for the push.
PushBuilder	PushBuilder.method(String method) Set the method to be used for the push.
PushBuilder	HttpServletRequestWrapper.newPushBuilder() The default behavior of this method is to call newPushBuilder on the wrapped request object.
default PushBuilder	HttpServletRequest.newPushBuilder() Instantiates a new instance of PushBuilder for issuing server push responses from the current request.
PushBuilder	PushBuilder.path(String path) Set the URI path to be used for the push.
PushBuilder	PushBuilder.queryString(String queryString) Set the query string to be used for the push.
PushBuilder	PushBuilder.removeHeader(String name) Remove the named request header.
PushBuilder	PushBuilder.sessionId(String sessionId) Set the SessionID to be used for the push.
PushBuilder	PushBuilder.setHeader(String name, String value) Set a request header to be used for the push.