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

13 Jun 2022

Grammars 1-20.

Tests compiled manually in 2018 and 2019, re-packaged in 2022.

Moved to ixml test collection, June 2022.

sample.grammar.12

Created 08 Feb 2022 by cmsmcq

Stripped down version of sample.grammar.11. Lots of ambiguity, but should be slightly less explosive.

L(G) is {'a', 'aa', 'aaa', ...}.

Invisible XML Grammar

S: A+.  A: (A, A)+; "a"+.

Test case: g12.c04

Repository URI: …/tests/misc/misc-001-020-catalog.xml

Input string (4 characters)

aaaa

Expected results (one of)

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>aaaa</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>aaa</A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>aa</A>
   <A>a</A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>aa</A>
   <A>aa</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>aaa</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>a</A>
   <A>a</A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>aaa</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>a</A>
   </A>
   <A>
      <A>a</A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>a</A>
   <A>a</A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>a</A>
   </A>
   <A>a</A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>aa</A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>aa</A>
      <A>a</A>
   </A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
      <A>a</A>
   </A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>aa</A>
   </A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
   </A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>
      <A>a</A>
      <A>a</A>
   </A>
   <A>a</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>aa</A>
   <A>aa</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>a</A>
   <A>aa</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>a</A>
   </A>
   <A>aa</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>aaa</A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>
      <A>aa</A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>
      <A>a</A>
      <A>aa</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>
      <A>a</A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>aaa</A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>a</A>
      <A>a</A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>
         <A>aa</A>
         <A>a</A>
      </A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>
         <A>
            <A>a</A>
            <A>a</A>
         </A>
         <A>a</A>
      </A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>
         <A>a</A>
         <A>aa</A>
      </A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>
         <A>a</A>
         <A>
            <A>a</A>
            <A>a</A>
         </A>
      </A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>aa</A>
      <A>aa</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
      <A>aa</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>aaa</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>
         <A>aa</A>
         <A>a</A>
      </A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>
         <A>
            <A>a</A>
            <A>a</A>
         </A>
         <A>a</A>
      </A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>
         <A>a</A>
         <A>aa</A>
      </A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>
         <A>a</A>
         <A>
            <A>a</A>
            <A>a</A>
         </A>
      </A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>aa</A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
      <A>
         <A>a</A>
         <A>a</A>
      </A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>aa</A>
   <A>
      <A>a</A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>a</A>
   <A>a</A>
   <A>
      <A>a</A>
      <A>a</A>
   </A>
</S>

<S xmlns:ixml="http://invisiblexml.org/NS"
    xmlns:tc="https://github.com/invisibleXML/ixml/test-catalog"
    ixml:state="ambiguous">
   <A>
      <A>a</A>
      <A>a</A>
   </A>
   <A>
      <A>a</A>
      <A>a</A>
   </A>
</S>