javax.servlet.http.PushBuilderpublic class ApplicationPushBuilder
extends java.lang.Object
implements javax.servlet.http.PushBuilder
| Constructor | Description |
|---|---|
ApplicationPushBuilder(Request catalinaRequest,
javax.servlet.http.HttpServletRequest request) |
| Modifier and Type | Method | Description |
|---|---|---|
javax.servlet.http.PushBuilder |
addHeader(java.lang.String name,
java.lang.String value) |
Adds a HTTP header to the request.
|
java.lang.String |
getHeader(java.lang.String name) |
Obtain a value for the given HTTP header.
|
java.util.Set<java.lang.String> |
getHeaderNames() |
|
java.lang.String |
getMethod() |
Obtain the name of the HTTP method that will be used for push requests
generated by future calls to
push(). |
java.lang.String |
getPath() |
Obtain the path that will be used for the push request that will be
generated by the next call to
push(). |
java.lang.String |
getQueryString() |
Obtain the query string that will be used for push requests generated by
future calls to
push(). |
java.lang.String |
getSessionId() |
Obtain the session ID that will be used for push requests generated by
future calls to
push(). |
javax.servlet.http.PushBuilder |
method(java.lang.String method) |
Specify the HTTP method to use for the push request.
|
javax.servlet.http.PushBuilder |
path(java.lang.String path) |
Sets the URI path to be used for the push request.
|
void |
push() |
Generates the push request and sends it to the client unless pushes are
not available for some reason.
|
javax.servlet.http.PushBuilder |
queryString(java.lang.String queryString) |
Specifies the query string to use in subsequent push requests generated
by a call to
PushBuilder.push(). |
javax.servlet.http.PushBuilder |
removeHeader(java.lang.String name) |
Removes an HTTP header from the request.
|
javax.servlet.http.PushBuilder |
sessionId(java.lang.String sessionId) |
Specifies the session ID to use in subsequent push requests generated
by a call to
PushBuilder.push(). |
javax.servlet.http.PushBuilder |
setHeader(java.lang.String name,
java.lang.String value) |
Sets a HTTP header on the request.
|
public ApplicationPushBuilder(Request catalinaRequest, javax.servlet.http.HttpServletRequest request)
public javax.servlet.http.PushBuilder path(java.lang.String path)
javax.servlet.http.PushBuilderPushBuilder.push(). If the path includes a query
string, the query string will be appended to the existing query string
(if any) and no de-duplication will occur.path in interface javax.servlet.http.PushBuilderpath - Paths beginning with '/' are treated as absolute paths. All
other paths are treated as relative to the context path of
the request used to create this builder instance. The path
may include a query string.public java.lang.String getPath()
javax.servlet.http.PushBuilderpush().getPath in interface javax.servlet.http.PushBuilderpublic javax.servlet.http.PushBuilder method(java.lang.String method)
javax.servlet.http.PushBuildermethod in interface javax.servlet.http.PushBuildermethod - The method to use for the push requestpublic java.lang.String getMethod()
javax.servlet.http.PushBuilderpush().getMethod in interface javax.servlet.http.PushBuilderpublic javax.servlet.http.PushBuilder queryString(java.lang.String queryString)
javax.servlet.http.PushBuilderPushBuilder.push(). This will be appended to any query string
specified in the call to PushBuilder.path(String).queryString in interface javax.servlet.http.PushBuilderqueryString - The query string to use to generate push requestspublic java.lang.String getQueryString()
javax.servlet.http.PushBuilderpush().getQueryString in interface javax.servlet.http.PushBuilderpublic javax.servlet.http.PushBuilder sessionId(java.lang.String sessionId)
javax.servlet.http.PushBuilderPushBuilder.push(). The session ID will be presented the same
way as it is on the original request (cookie or URL parameter). The
default is determined in the following order:
nullsessionId in interface javax.servlet.http.PushBuildersessionId - The session ID to use to generate push requestspublic java.lang.String getSessionId()
javax.servlet.http.PushBuilderpush().getSessionId in interface javax.servlet.http.PushBuilderpublic javax.servlet.http.PushBuilder addHeader(java.lang.String name,
java.lang.String value)
javax.servlet.http.PushBuilderaddHeader in interface javax.servlet.http.PushBuildername - The name of the header to addvalue - The value of the header to addpublic javax.servlet.http.PushBuilder setHeader(java.lang.String name,
java.lang.String value)
javax.servlet.http.PushBuildersetHeader in interface javax.servlet.http.PushBuildername - The name of the header to setvalue - The value of the header to setpublic javax.servlet.http.PushBuilder removeHeader(java.lang.String name)
javax.servlet.http.PushBuilderremoveHeader in interface javax.servlet.http.PushBuildername - The name of the header to removepublic java.util.Set<java.lang.String> getHeaderNames()
getHeaderNames in interface javax.servlet.http.PushBuilderpush() is called.public java.lang.String getHeader(java.lang.String name)
javax.servlet.http.PushBuildergetHeader in interface javax.servlet.http.PushBuildername - The name of the header whose value is to be returnedpublic void push()
javax.servlet.http.PushBuildernull:
pathetaglastModifiedpush in interface javax.servlet.http.PushBuilderCopyright © 2000-2019 Apache Software Foundation. All Rights Reserved.