Searched refs:PageIdNames (Results 1 – 1 of 1) sorted by relevance
105 private static EnumNames<PageId> PageIdNames = new EnumNames<PageId>(); field in PathHeader246 PageIdNames.add(this, alternateNames);257 return PageIdNames.forString(name);269 return PageIdNames.toString(this);