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	Description
PushBuilder	PushBuilder.addHeader(java.lang.String name, java.lang.String value)	Adds an HTTP header to the request.
PushBuilder	PushBuilder.method(java.lang.String method)	Specify the HTTP method to use for the push request.
default PushBuilder	HttpServletRequest.newPushBuilder()	Obtain a builder for generating push requests.
PushBuilder	HttpServletRequestWrapper.newPushBuilder()	Obtain a builder for generating push requests.
PushBuilder	PushBuilder.path(java.lang.String path)	Sets the URI path to be used for the push request.
PushBuilder	PushBuilder.queryString(java.lang.String queryString)	Specifies the query string to use in subsequent push requests generated by a call to push().
PushBuilder	PushBuilder.removeHeader(java.lang.String name)	Removes an HTTP header from the request.
PushBuilder	PushBuilder.sessionId(java.lang.String sessionId)	Specifies the session ID to use in subsequent push requests generated by a call to push().
PushBuilder	PushBuilder.setHeader(java.lang.String name, java.lang.String value)	Sets an HTTP header on the request.