public static class HttpServletRequest.NoOpPushBuilder extends Object implements PushBuilder
Constructor and Description |
---|
NoOpPushBuilder() |
Modifier and Type | Method and Description |
---|---|
PushBuilder |
addHeader(String name,
String value)
Add a header to be used for the push.
|
PushBuilder |
conditional(boolean conditional)
Set if the request is to be conditional.
|
PushBuilder |
etag(String etag)
Set the etag to be used for conditional pushes.
|
String |
getEtag() |
String |
getHeader(String name) |
Set<String> |
getHeaderNames() |
String |
getLastModified() |
String |
getMethod() |
String |
getPath() |
String |
getQueryString() |
String |
getSessionId() |
boolean |
isConditional() |
PushBuilder |
lastModified(String lastModified)
Set the last modified date to be used for conditional pushes.
|
PushBuilder |
method(String method)
Set the method to be used for the push.
|
PushBuilder |
path(String path)
Set the URI path to be used for the push.
|
void |
push()
Push a resource given the current state of the builder,
returning immediately without blocking.
|
PushBuilder |
queryString(String queryString)
Set the query string to be used for the push.
|
PushBuilder |
removeHeader(String name)
Remove the named header.
|
PushBuilder |
sessionId(String sessionId)
Set the SessionID to be used for the push.
|
PushBuilder |
setHeader(String name,
String value)
Set a header to be used for the push.
|
public PushBuilder method(String method)
PushBuilder
Set the method to be used for the push.
Any non-empty String may be used for the method.
method
in interface PushBuilder
method
- the method to be used for the push.public PushBuilder queryString(String queryString)
PushBuilder
PushBuilder.path(String)
. Any duplicate parameters must be preserved. This
method should be used instead of a query in PushBuilder.path(String)
when multiple PushBuilder.push()
calls are to be made with the same
query string.queryString
in interface PushBuilder
queryString
- the query string to be used for the push.public PushBuilder sessionId(String sessionId)
PushBuilder
sessionId
in interface PushBuilder
sessionId
- the SessionID to be used for the push.public PushBuilder conditional(boolean conditional)
PushBuilder
PushBuilder.etag(String)
or
PushBuilder.lastModified(String)
will be set in the appropriate headers. If the request
is not conditional, then etag and lastModified values are ignored.
Defaults to true if the associated request was conditional.conditional
in interface PushBuilder
conditional
- true if the push request is conditionalpublic PushBuilder setHeader(String name, String value)
PushBuilder
Set a header to be used for the push. If the builder has an existing header with the same name, its value is overwritten.
setHeader
in interface PushBuilder
name
- The header name to setvalue
- The header value to setpublic PushBuilder addHeader(String name, String value)
PushBuilder
Add a header to be used for the push.
addHeader
in interface PushBuilder
name
- The header name to addvalue
- The header value to addpublic PushBuilder removeHeader(String name)
PushBuilder
Remove the named header. If the header does not exist, take no action.
removeHeader
in interface PushBuilder
name
- The name of the header to removepublic PushBuilder path(String path)
PushBuilder
PushBuilder.path(String)
must
be called before every call to PushBuilder.push()
. If a query
string is present in the argument path
, its contents must
be merged with the contents previously passed to PushBuilder.queryString(java.lang.String)
, preserving duplicates.path
in interface PushBuilder
path
- the URI path to be used for the push, which may include a
query string.public PushBuilder etag(String etag)
PushBuilder
PushBuilder.isConditional()
is true.
Defaults to no etag. The value is nulled after every call to
PushBuilder.push()
etag
in interface PushBuilder
etag
- the etag to be used for the push.public PushBuilder lastModified(String lastModified)
PushBuilder
PushBuilder.isConditional()
is true. Defaults to no date. The value is
nulled after every call to PushBuilder.push()
lastModified
in interface PushBuilder
lastModified
- the last modified date to be used for the push.public void push()
PushBuilder
Push a resource based on the current state of the PushBuilder.
If PushBuilder.isConditional()
is true and an etag or lastModified
value is provided, then an appropriate conditional header will be
generated. If both an etag and lastModified value are provided
only an If-None-Match header will be generated. If the builder
has a session ID, then the pushed request will include the
session ID either as a Cookie or as a URI parameter as
appropriate. The builders query string is merged with any passed
query string.
Before returning from this method, the builder has its path, etag and lastModified fields nulled. All other fields are left as is for possible reuse in another push.
push
in interface PushBuilder
public String getMethod()
getMethod
in interface PushBuilder
public String getQueryString()
getQueryString
in interface PushBuilder
public String getSessionId()
getSessionId
in interface PushBuilder
public boolean isConditional()
isConditional
in interface PushBuilder
public Set<String> getHeaderNames()
getHeaderNames
in interface PushBuilder
public String getHeader(String name)
getHeader
in interface PushBuilder
public String getPath()
getPath
in interface PushBuilder
public String getEtag()
getEtag
in interface PushBuilder
public String getLastModified()
getLastModified
in interface PushBuilder
Copyright © 1999-2015, Oracle and/or its affiliates. All Rights Reserved. Use is subject to license terms. Portions Copyright © 1999-2002 The Apache Software Foundation.