PushBuilder |
PushBuilder.addHeader(String name,
String value) |
Add a header to be used for the push.
|
PushBuilder |
PushBuilderImpl.addHeader(String name,
String value) |
|
PushBuilder |
PushBuilder.conditional(boolean conditional) |
Set if the request is to be conditional.
|
PushBuilder |
PushBuilderImpl.conditional(boolean conditional) |
|
PushBuilder |
PushBuilder.etag(String etag) |
Set the etag to be used for conditional pushes.
|
PushBuilder |
PushBuilderImpl.etag(String etag) |
|
PushBuilder |
Request.getPushBuilder() |
Get a PushBuilder associated with this request initialized as follows:
The method is initialized to "GET"
The headers from this request are copied to the Builder, except for:
Conditional headers (eg.
|
PushBuilder |
PushBuilder.lastModified(String lastModified) |
Set the last modified date to be used for conditional pushes.
|
PushBuilder |
PushBuilderImpl.lastModified(String lastModified) |
|
PushBuilder |
PushBuilder.method(String method) |
Set the method to be used for the push.
|
PushBuilder |
PushBuilderImpl.method(String method) |
|
PushBuilder |
PushBuilder.path(String path) |
Set the URI path to be used for the push.
|
PushBuilder |
PushBuilderImpl.path(String path) |
|
PushBuilder |
PushBuilder.queryString(String queryString) |
Set the query string to be used for the push.
|
PushBuilder |
PushBuilderImpl.queryString(String queryString) |
|
PushBuilder |
PushBuilder.removeHeader(String name) |
Remove the named header.
|
PushBuilder |
PushBuilderImpl.removeHeader(String name) |
|
PushBuilder |
PushBuilder.sessionId(String sessionId) |
Set the SessionID to be used for the push.
|
PushBuilder |
PushBuilderImpl.sessionId(String sessionId) |
|
PushBuilder |
PushBuilder.setHeader(String name,
String value) |
Set a header to be used for the push.
|
PushBuilder |
PushBuilderImpl.setHeader(String name,
String value) |
|