Searched refs:seenElements (Results 1 – 1 of 1) sorted by relevance
897 seen.seenElements.add(ANY); in toString()898 seen.seenElements.add(PCDATA); in toString()916 Set<Element> seenElements = new HashSet<Element>(); field in DtdData.Seen925 seenElements.remove(otherData.nameToElement.get("special")); in Seen()929 seenElements.add(current); in walk()954 if (seen.seenElements.contains(current)) { in toString()957 seen.seenElements.add(current); in toString()