Uses of Interface
jakarta.servlet.http.PushBuilder

Packages that use PushBuilder

Package	Description
io.undertow.servlet.spec
jakarta.servlet.http	The jakarta.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	Description
class	PushBuilderImpl

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

Modifier and Type	Method	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 jakarta.servlet.http

Methods in jakarta.servlet.http that return PushBuilder

Modifier and Type	Method	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.
default PushBuilder	HttpServletRequest.newPushBuilder()	Instantiates a new instance of PushBuilder for issuing server push responses from the current request.
PushBuilder	HttpServletRequestWrapper.newPushBuilder()	The default behavior of this method is to call newPushBuilder on the wrapped request object.
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.