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