public final class FetchAttributes
extends java.lang.Object
implements java.lang.Cloneable
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
HINT_PREFETCH
Prefetch hint that indicates a file may be downloaded when the page is
loaded.
|
static java.lang.String |
HINT_SAFE
Prefetch hint that indicates a file that should only be downloaded when
actually needed.
|
| Constructor and Description |
|---|
FetchAttributes()
Construct a new object.
|
FetchAttributes(FetchAttributes attributes)
Copy constructor.
|
| Modifier and Type | Method and Description |
|---|---|
java.net.URI |
getFetchAudio()
Retrieve the
fetchAudio attribute. |
java.lang.String |
getFetchHint()
Set the
fetchhint attribute. |
long |
getFetchTimeout()
Set the
fetchtimeout attribute. |
long |
getMaxage()
Set the
maxage attribute. |
long |
getMaxstale()
Set the
maxstale attribute. |
boolean |
isFetchintPrefetch()
Checks if the fetchint has a value of
HINT_PREFETCH |
boolean |
isFetchintSafe()
Checks if the fetchint has a value of
HINT_SAFE |
void |
setFetchAudio(java.net.URI uri)
Set the
fetchAudio attribute. |
void |
setFetchHint(java.lang.String hint)
Retrieve the
fetchhint attribute. |
void |
setFetchTimeout(long seconds)
Retrieve the
fetchtimeout attribute. |
void |
setMaxage(long seconds)
Retrieve the
maxage attribute. |
void |
setMaxstale(long seconds)
Retrieve the
maxstale attribute. |
public static final java.lang.String HINT_PREFETCH
fetchHint,
Constant Field Valuespublic static final java.lang.String HINT_SAFE
fetchHint,
Constant Field Valuespublic FetchAttributes()
public FetchAttributes(FetchAttributes attributes)
attributes - fetch attributes to copy from.public void setFetchTimeout(long seconds)
fetchtimeout attribute.seconds - Number of seconds to wait.fetchTimeoutpublic long getFetchTimeout()
fetchtimeout attribute.fetchTimeoutpublic void setFetchHint(java.lang.String hint)
fetchhint attribute.hint - Hint when the interpreter context should retrieve content
from the server.fetchHintpublic java.lang.String getFetchHint()
fetchhint attribute.fetchHintpublic boolean isFetchintPrefetch()
HINT_PREFETCHpublic boolean isFetchintSafe()
HINT_SAFEpublic void setMaxage(long seconds)
maxage attribute.seconds - Maximum age of documents in seconds.maxagepublic long getMaxage()
maxage attribute.maxagepublic void setMaxstale(long seconds)
maxstale attribute.seconds - Number of seconds to use content that has exceeded
its expiration time.maxstalepublic long getMaxstale()
maxstale attribute.maxstalepublic void setFetchAudio(java.net.URI uri)
fetchAudio attribute.uri - URI of the audio clip to play while the fetch is being done.fetchAudiopublic java.net.URI getFetchAudio()
fetchAudio attribute.