I'm working on fixing how points of uncertainty are handled so they
have the correct behavior and to allow memory cleanup (DAFFODIL-2371).
I'm making good progress, I think I need to write some additional
tests, but so far only one test is failing, related to unordered
sequences with initiated content. The schema we have looks like this:

  <xs:annotation>
    <xs:appinfo source="http://www.ogf.org/dfdl/";>
      <dfdl:format ref="ex:GeneralFormat"
        lengthUnits="characters"
        lengthKind="delimited"
        occursCountKind="parsed" />
    </xs:appinfo>
  </xs:annotation>

  <xs:element name="R" dfdl:terminator="END">
    <xs:complexType>
      <xs:sequence dfdl:separator="|" dfdl:separatorPosition="infix"
        dfdl:sequenceKind="unordered" dfdl:initiatedContent="yes">
        <xs:element name="X" type="xs:string" maxOccurs="unbounded"
          dfdl:initiator="X:">
          <xs:annotation>
            <xs:appinfo source="http://www.ogf.org/dfdl/";>
              <dfdl:assert message="the expected message">
                { . eq 'expected' }
              </dfdl:assert>
            </xs:appinfo>
          </xs:annotation>
        </xs:element>
        <xs:element name="Y" type="xs:string" maxOccurs="unbounded"
          dfdl:initiator="Y:"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>

So we have an unordered sequence with initiated content. The test data
looks like this:

  X:not expected|Y:something else

I'm having trouble interpreting if the test is failing because there's
a bug in my changes, or if maybe this test isn't quite right, and my
changes to points of uncertainty are revealing that. I'm honestly
having trouble thinking through what the correct behavior of this test
is.

So, my question is where are the points of uncertainty, and how does
the initiated content resolve those PoUs, and what is the expected
result?

The test expects a parse error with the assertion error of "the
expected message", but I currently get a missing END terminator error.

Reply via email to