# HG changeset patch
# User joehw
# Date 1448929074 28800
# Node ID f346a0b2b7f97a8691b9c5ef3a6306dee51d22a2
# Parent  dc36fdbdf7d1e9cf87e39c181168b06a5a0d006d
8142463: Xml schema validation failing after Xerces update; maxOccurs ignored
Reviewed-by: lancea

diff -r dc36fdbdf7d1 -r f346a0b2b7f9 jaxp/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/xs/models/XSDFACM.java
--- a/jaxp/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/xs/models/XSDFACM.java	Sun Nov 29 11:00:03 2015 -0800
+++ b/jaxp/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/xs/models/XSDFACM.java	Mon Nov 30 16:17:54 2015 -0800
@@ -136,6 +136,7 @@
      * positions in the second dimension of the transition table.
      */
     private int fTransTable[][] = null;
+
     /**
      * Array containing occurence information for looping states
      * which use counters to check minOccurs/maxOccurs.
@@ -211,6 +212,7 @@
 
         // Store away our index and pools in members
         fLeafCount = leafCount;
+        fIsCompactedForUPA = syntaxTree.isCompactedForUPA();
 
         //
         //  Create some string pool indexes that represent the names of some
diff -r dc36fdbdf7d1 -r f346a0b2b7f9 jaxp/test/javax/xml/jaxp/unittest/validation/tck/ParticleTest.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/jaxp/test/javax/xml/jaxp/unittest/validation/tck/ParticleTest.java	Mon Nov 30 16:17:54 2015 -0800
@@ -0,0 +1,59 @@
+/*
+ * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * This code is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License version 2 only, as
+ * published by the Free Software Foundation.
+ *
+ * This code is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+ * version 2 for more details (a copy is included in the LICENSE file that
+ * accompanied this code).
+ *
+ * You should have received a copy of the GNU General Public License version
+ * 2 along with this work; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
+ * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
+ * or visit www.oracle.com if you need additional information or have any
+ * questions.
+ */
+package validation.tck;
+
+import java.io.IOException;
+import javax.xml.XMLConstants;
+import javax.xml.transform.stream.StreamSource;
+import javax.xml.validation.Schema;
+import javax.xml.validation.SchemaFactory;
+import javax.xml.validation.Validator;
+import org.testng.annotations.Test;
+import org.xml.sax.SAXException;
+
+
+/*
+ * @bug 8142463
+ * @summary Tests that verify bug fixes for Particles (http://www.w3.org/TR/xmlschema11-1/#cParticles)
+
+ * @author Joe Wang (huizhe.wang@oracle.com)
+ */
+public class ParticleTest {
+    static final String SCHEMA_LANGUAGE = "http://java.sun.com/xml/jaxp/properties/schemaLanguage";
+    static final String SCHEMA_SOURCE = "http://java.sun.com/xml/jaxp/properties/schemaSource";
+
+    /*
+       @bug 8142463
+       This test verifies the fix for a missing flag that indicates the DFA
+       is compacted for UPA. Without the fix, the 2nd foo:foo element was
+       rejected.
+    */
+    @Test
+    public void test() throws SAXException, IOException {
+        SchemaFactory schemaFactory = SchemaFactory.newInstance(XMLConstants.W3C_XML_SCHEMA_NS_URI);
+        Schema schema = schemaFactory.newSchema(new StreamSource(ParticleTest.class.getResourceAsStream("upa01.xsd")));
+        Validator validator = schema.newValidator();
+
+        validator.validate(new StreamSource(ParticleTest.class.getResourceAsStream("upa01.xml")));
+    }
+}
diff -r dc36fdbdf7d1 -r f346a0b2b7f9 jaxp/test/javax/xml/jaxp/unittest/validation/tck/upa01.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/jaxp/test/javax/xml/jaxp/unittest/validation/tck/upa01.xml	Mon Nov 30 16:17:54 2015 -0800
@@ -0,0 +1,6 @@
+<foo:root xmlns:foo="foo">
+    <foo:foo>true</foo:foo>
+    <foo>123</foo >
+    <foo:foo>true</foo:foo>
+    <foo>123</foo >
+</foo:root>
\ No newline at end of file
diff -r dc36fdbdf7d1 -r f346a0b2b7f9 jaxp/test/javax/xml/jaxp/unittest/validation/tck/upa01.xsd
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/jaxp/test/javax/xml/jaxp/unittest/validation/tck/upa01.xsd	Mon Nov 30 16:17:54 2015 -0800
@@ -0,0 +1,19 @@
+<?xml version="1.0"?>
+<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
+            elementFormDefault="qualified"
+            targetNamespace="foo"
+            xmlns="foo"
+        >
+    <xsd:element name="e1" type="xsd:boolean" />
+    <xsd:element name="foo" substitutionGroup="e1" type="xsd:boolean" />
+
+    <xsd:element name="root" type="B" />
+
+    <xsd:complexType name="B">
+        <xsd:choice maxOccurs="1000">
+            <xsd:element ref="e1" />
+            <xsd:element name="foo" type="xsd:int" form="unqualified"/>
+        </xsd:choice>
+    </xsd:complexType>
+
+</xsd:schema>