Searched refs:oldElement (Results 1 – 4 of 4) sorted by relevance
52 T oldElement = elements.get(i); in set() local54 super.remove(oldElement); // now update the set: remove/add in set()56 return oldElement; in set()
214 Element oldElement = null; in checkNames() local221 oldElement = oldNameToElement.get(name); in checkNames()222 boolean oldOrdered = oldElement.isOrdered(); in checkNames()223 …Set<String> attributeNames = getAttributeNames(dtdCurrent, dtdLast, name, oldElement.getAttributes… in checkNames()225 …boolean lastDeprecated = dtdLast == null ? false : oldElement.isDeprecated(); // + (currentDeprec… in checkNames()238 …Set<Element> oldChildren = oldElement == null ? Collections.emptySet() : oldElement.getChildren().… in checkNames()
96 Element oldElement = oldNameToElement.get(name); in checkNames() local97 …String attributeNames = getAttributeNames(dtdCurrent, name, oldElement.getAttributes(), element.ge… in checkNames()
1354 Element oldElement = entry.getValue(); in TestDtdCompatibility() local1357 … if (knownElementExceptions.contains(Pair.of(type.toString(), oldElement.getName()))) { in TestDtdCompatibility()1362 + ", and must contain «" + oldElement.getName() in TestDtdCompatibility()1365 for (Element oldChild : oldElement.getChildren() in TestDtdCompatibility()1384 for (Attribute oldAttribute : oldElement in TestDtdCompatibility()