org.w3c.www.protocol.http.cache.push
Class PushCacheManager

java.lang.Object
  |
  +--org.w3c.www.protocol.http.cache.push.PushCacheManager

public class PushCacheManager
extends java.lang.Object

Singleton class to manage push cache.

See Also:
PushCacheHandler

Field Summary
static java.lang.String HEADER_FIELD
          Additional header field and value to identify push resources
static java.lang.String HEADER_VALUE
           
 
Constructor Summary
protected PushCacheManager()
          Singleton; no public constructor
 
Method Summary
 void cleanCache()
          Remove all entries from the cache
protected  void deleteRes(CachedResource res)
          Remove resource from cache
protected  org.w3c.www.protocol.http.cache.push.PushCacheStore getStore()
          Access to filter store
static PushCacheManager instance()
          Access to manager
 boolean isPresent(java.lang.String url)
          True iff url is present in cache
 boolean isPushResource(CachedResource res)
          true iff res contains extra header identifying it as having been inserted directly into the cache from a PUSH source
protected  void registerFilter(PushCacheFilter cf)
          Called by PushCacheFilter on initialization
 void removeURL(java.lang.String url)
          Remove a reply from the cache
 void storeReply(PushReply reply)
          Store a push reply in the cache
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

HEADER_FIELD

public static final java.lang.String HEADER_FIELD
Additional header field and value to identify push resources

HEADER_VALUE

public static final java.lang.String HEADER_VALUE
Constructor Detail

PushCacheManager

protected PushCacheManager()
Singleton; no public constructor
See Also:
instance()
Method Detail

instance

public static PushCacheManager instance()
Access to manager

isPushResource

public boolean isPushResource(CachedResource res)
true iff res contains extra header identifying it as having been inserted directly into the cache from a PUSH source

storeReply

public void storeReply(PushReply reply)
Store a push reply in the cache

removeURL

public void removeURL(java.lang.String url)
Remove a reply from the cache

isPresent

public boolean isPresent(java.lang.String url)
True iff url is present in cache

deleteRes

protected void deleteRes(CachedResource res)
Remove resource from cache

cleanCache

public void cleanCache()
Remove all entries from the cache

registerFilter

protected void registerFilter(PushCacheFilter cf)
Called by PushCacheFilter on initialization

getStore

protected org.w3c.www.protocol.http.cache.push.PushCacheStore getStore()
Access to filter store