com.facetmap.format.xml
Class XmlCache
java.lang.Object
com.facetmap.format.xml.XmlCache
public class XmlCache
- extends java.lang.Object
Custom cache for facetmap documents. This is intended for remote facetmap
documents that are imported by other (local) facetmap documents, but has
other uses; for example, we use it on the facetmap site when demo maps
are submitted via URL.
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
sourceURL
protected java.net.URL sourceURL
localCopy
protected java.io.File localCopy
uri
protected java.net.URI uri
transformer
protected XmlCache.Transformer transformer
domParser
protected DOMParser domParser
refreshed
protected boolean refreshed
document
protected org.w3c.dom.Document document
XmlCache
public XmlCache(java.io.File localCopy,
XmlCache.Transformer t)
XmlCache
public XmlCache(java.net.URL url,
java.io.File cacheRoot)
XmlCache
public XmlCache(java.net.URL url,
java.io.File cacheRoot,
XmlCache.Transformer t)
getLocalCopyFile
public java.io.File getLocalCopyFile(java.net.URL url,
java.io.File cacheRoot)
setTransformer
public void setTransformer(XmlCache.Transformer t)
getDocument
public org.w3c.dom.Document getDocument()
throws java.io.IOException
- Throws:
java.io.IOException
wasRefreshed
public boolean wasRefreshed()
seed
public void seed(java.io.File localCopy)
throws java.io.IOException
- Throws:
java.io.IOException
loadRemoteDocument
public void loadRemoteDocument()
throws java.io.IOException
- Throws:
java.io.IOException
refresh
protected void refresh(java.net.URLConnection conn,
java.io.File cachedFile)
throws java.io.IOException
- Throws:
java.io.IOException