Searched refs:coverageCache (Results 1 – 2 of 2) sorted by relevance
64 private Cache<XPathWithLocation, Level> coverageCache = field in CoverageInfo86 coverageCache.get( in getCoverageLevel()
2783 result = coverageCache.get(xpath, loc);2792 coverageCache.put(xpath, loc, result);3578 private CoverageCache coverageCache = new CoverageCache();