iXML Community Group Test Suite
23 Oct 2023 (22 Nov 2023)
Top-level catalog for tests in the iXML Community Group Test Suite.
Tests have been contributed from several sources, but the core of the test collection are the tests contributed by Steven Pemberton in December 2021.
Misc tests 2
28 Jun 2022
Grammars 21-40.
Test grammars compiled manually in 2018 and 2019, re-packaged in 2022.
Added test cases where needed and moved to ixml test collection, June 2022.
sample.grammar.27
Created 08 Feb 2022 by cmsmcq
Another grammar with infinite ambiguity. This one shows that the problem of multiple non-trivial paths does not arise only horizontally with regular-right-part grammars, but can be created vertically as well; the set of derivations is the same as the set of paths through the right-hand side of S in sample.grammar.25.
Invisible XML Grammar
S: A.
{ The simple path with 'forward' arcs. }
A: B. B: C. C: D. D: E; Z. E: F; Y. F: G; B. G: W?.
{ The loopbacks. }
Z: C.
Y: B.
X: B.
W: A.
Test case: g27.c03
Repository URI: …/tests/misc/misc-021-040-catalog.xml
Input string (0 characters)
Expected results (one of)
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<F>
<X>
<B>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</B>
</X>
</F>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G>
<W>
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</W>
</G>
</F>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</A>
</S>
<S xmlns:ixml="http://invisiblexml.org/NS"
xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
ixml:state="ambiguous">
<A>
<B>
<C>
<D>
<E>
<F>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<Y>
<B>
<C>
<D>
<Z>
<C>
<D>
<E>
<F>
<G/>
</F>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</Y>
</E>
</D>
</C>
</Z>
</D>
</C>
</B>
</F>
</E>
</D>
</C>
</B>
</A>
</S>