PushBuilder |
PushBuilder.addHeader(java.lang.String name,
java.lang.String value) |
Add a request header to be used for the push.
|
PushBuilder |
PushBuilder.method(java.lang.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(java.lang.String path) |
Set the URI path to be used for the push.
|
PushBuilder |
PushBuilder.queryString(java.lang.String queryString) |
Set the query string to be used for the push.
|
PushBuilder |
PushBuilder.removeHeader(java.lang.String name) |
Remove the named request header.
|
PushBuilder |
PushBuilder.sessionId(java.lang.String sessionId) |
Set the SessionID to be used for the push.
|
PushBuilder |
PushBuilder.setHeader(java.lang.String name,
java.lang.String value) |
Set a request header to be used for the push.
|