* Used by AddressWidget to handle caching in client-specific ways.
*/
public interface ClientCacheManager {
- /** Get the data that is cached for the given key. */
- public String get(String key);
- /** Put the data for the given key into the cache. */
- public void put(String key, String data);
- /** Get the Url of the server that serves address metadata. */
- public String getAddressServerUrl();
+ /** Get the data that is cached for the given key. */
+ public String get(String key);
+ /** Put the data for the given key into the cache. */
+ public void put(String key, String data);
+ /** Get the Url of the server that serves address metadata. */
+ public String getAddressServerUrl();
}