There are two PoU here, one for each recurring element. The initiator once found should discriminate the element so that the assert for X, since it will fail, should cause the X array to fail entirely, and the whole schema should fail.
I think you should get the message "the expected message" from the failure. So it seems discrimination is not taking place. ________________________________ From: Steve Lawrence <[email protected]> Sent: Wednesday, August 12, 2020, 1:00 PM To: [email protected] Subject: Points of Uncertainty and Unordered Sequences 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.
