Lines Matching refs:cache
70 private OWLCache cache;
95 cache = new OWLCacheImpl();
107 return cache;
120 if(cache.isForced()) {
121 in = cache.getCachedFile(uri.toString());
127 cache.updateCachedFile (uri);
136 cache.updateCachedFile (uri);
144 in = cache.getCachedFile(uri.toString());
276 public void setCache(OWLCache cache) {
277 this.cache = cache;