Searched refs:pageToPathHeaders (Results 1 – 1 of 1) sorted by relevance
680 Map<PageId, SectionPage> pageToPathHeaders = sectionToPageToSectionPage local682 if (pageToPathHeaders == null) {683 …sectionToPageToSectionPage.put(result.sectionId, pageToPathHeaders = new EnumMap<PageId, SectionPa…685 SectionPage sectionPage = pageToPathHeaders.get(result.pageId);688 pageToPathHeaders.put(result.pageId, sectionPage);