void putCache(File file, Type t) { CachedScript c = new CachedScript(); c.modified = file.modified(); c.size = file.size(); c.typeName = t.qname(); lock (m_cache) { m_cache[cacheKey(file)] = c; } }
////////////////////////////////////////////////////////////////////////// // CachedScript ////////////////////////////////////////////////////////////////////////// CachedScript getCache(File file) { lock (m_cache) { // check cache string key = cacheKey(file); CachedScript c = (CachedScript)m_cache[key]; if (c == null) return null; // check that timestamp and size still the same if (OpUtil.compareEQ(c.modified, file.modified()) && OpUtil.compareEQ(c.size, file.size())) return c; // nuke from cache m_cache.Remove(key); return null; } }