Uses of Interface
jakarta.servlet.http.PushBuilder

Packages that use PushBuilder

Package	Description
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 jakarta.servlet.http

Methods in jakarta.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.