--- a/jaxp/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/validation/ValidationState.java Thu Oct 06 20:56:11 2016 +0000
+++ b/jaxp/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/validation/ValidationState.java Thu Oct 06 23:12:05 2016 +0000
@@ -52,7 +52,7 @@
private SymbolTable fSymbolTable = null;
private Locale fLocale = null;
- private ArrayList<String> fIdList;
+ private HashSet<String> fIds;
private ArrayList<String> fIdRefList;
//
@@ -97,7 +97,7 @@
String key;
for (int i = 0; i < fIdRefList.size(); i++) {
key = fIdRefList.get(i);
- if (fIdList == null || !fIdList.contains(key)) {
+ if (fIds == null || !fIds.contains(key)) {
if (missingIDs == null) {
missingIDs = new HashSet();
}
@@ -112,7 +112,7 @@
fExtraChecking = true;
fFacetChecking = true;
fNamespaces = true;
- fIdList = null;
+ fIds = null;
fIdRefList = null;
fEntityState = null;
fNamespaceContext = null;
@@ -126,7 +126,7 @@
* the two tables.
*/
public void resetIDTables() {
- fIdList = null;
+ fIds = null;
fIdRefList = null;
}
@@ -168,12 +168,11 @@
// id
public boolean isIdDeclared(String name) {
- if (fIdList == null) return false;
- return fIdList.contains(name);
+ return fIds != null && fIds.contains(name);
}
public void addId(String name) {
- if (fIdList == null) fIdList = new ArrayList();
- fIdList.add(name);
+ if (fIds == null) fIds = new HashSet<>();
+ fIds.add(name);
}
// idref