Uses of Interface
jakarta.servlet.http.PushBuilder

Packages that use PushBuilder

Package	Description
jakarta.servlet.http

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