/ Ambiguous inputs / ambig7 / ambig6

CoffeeFilter Test Report

Report generated on 24 Aug 2023 at 18:32 with version 3.2.1 from a test suite dated 21 Jun 2022 (20 Jun 2023).

Description

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.

Ambiguous inputs

01 Jun 2022 (09 May 2023)

Description

Tests provided by Steven Pemberton in December 2021, with corrections of 21 December. Reorganized by Norm Tovey-Walsh, February 2022.

ambig7

Created 21 Dec 2021 by SP

Invisible XML Grammar
a: b, ()?, c.
b: "b".
c: "c".

Test case: ambig6

Repository URI: …/tests/ambiguous/test-catalog.xml

Created 21 Dec 2021 by SP

Updated 30 Dec 2021 by MSM

Supplied expected outputs

Updated 01 Jan 2022 by MSM

Correct second expected output

Description

The grammar is a: b, ()?, c. b: "b". c: "c". and the input is bc.

As with ambig2, this is or is not ambiguous depending on exactly how we define ambiguity. The parse may interpret the middle term as present or as absent, so there are two derivations, or may be depending on how we define 'derivation'. There is only one parse tree for the EBNF grammar.

So MSM has specified two alternative results which differ only in including or excluding the ambiguity flag.

What the spec should say will require careful discussion.

Description

The grammar is a: b, ()?, c. b: "b". c: "c". and the input is bc.

As with ambig2, this is or is not ambiguous depending on exactly how we define ambiguity. The parse may interpret the middle term as present or as absent, so there are two derivations, or may be depending on how we define 'derivation'. There is only one parse tree for the EBNF grammar.

So MSM has specified two alternative results which differ only in including or excluding the ambiguity flag.

What the spec should say will require careful discussion.

Input string (2 characters)
bc
Expected results (one of)
<a xmlns:ixml="http://invisiblexml.org/NS" ixml:state="ambiguous">
   <b>b</b>
   <c>c</c>
</a>

<a>
   <b>b</b>
   <c>c</c>
</a>

Test report

PASS