Test case inv-dtd03: gnu.xml.aelfred2.XmlReader Failed

Test case inv-dtd03: gnu.xml.aelfred2.XmlReader Failed

Tests the "Element Valid" VC (clause 2) by omitting a required element.

<!DOCTYPE violation [
<!ELEMENT violation (a,a,a,b)>
<!ELEMENT a EMPTY>
<!ELEMENT b EMPTY>
    <!-- tests the "element valid" constraint for content
	which doesn't match the declared content model.
	(there can be an infinite number of such tests...)
	-->
]>
<violation>
    <a/>
    <a/>
    <b/>
</violation>
Expected resultActual result for gnu.xml.aelfred2.XmlReader
<?xml version="1.0" encoding="UTF-8"?>
<ConformanceResults>
    <startDocument/>
    <startElement>
        <namespaceURI/>
        <localName>violation</localName>
        <qualifiedName>violation</qualifiedName>
        <attributes/>
    </startElement>
    <ignorable>\n</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <startElement>
        <namespaceURI/>
        <localName>a</localName>
        <qualifiedName>a</qualifiedName>
        <attributes/>
    </startElement>
    <endElement>
        <namespaceURI/>
        <localName>a</localName>
        <qualifiedName>a</qualifiedName>
    </endElement>
    <ignorable>\n</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <startElement>
        <namespaceURI/>
        <localName>a</localName>
        <qualifiedName>a</qualifiedName>
        <attributes/>
    </startElement>
    <endElement>
        <namespaceURI/>
        <localName>a</localName>
        <qualifiedName>a</qualifiedName>
    </endElement>
    <ignorable>\n</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <ignorable>\s</ignorable>
    <startElement>
        <namespaceURI/>
        <localName>b</localName>
        <qualifiedName>b</qualifiedName>
        <attributes/>
    </startElement>
    <endElement>
        <namespaceURI/>
        <localName>b</localName>
        <qualifiedName>b</qualifiedName>
    </endElement>
    <ignorable>\n</ignorable>
    <endElement>
        <namespaceURI/>
        <localName>violation</localName>
        <qualifiedName>violation</qualifiedName>
    </endElement>
    <endDocument/>
</ConformanceResults>
<?xml version="1.0" encoding="UTF-8"?>
<ConformanceResults>
    <startDocument/>
    <endDocument/>
    <bug reason="Parser should only throw SAXExceptions" type="java.lang.ArrayIndexOutOfBoundsException">0 &gt;= 0</bug>
</ConformanceResults>