[Bug 16786] S4S does not allow openContent without group in complex type restriction

https://www.w3.org/Bugs/Public/show_bug.cgi?id=16786

--- Comment #4 from Michael Kay <mike@saxonica.com> 2012-04-20 20:30:39 UTC ---
(In reply to comment #3)
> (Note Saxon 9.4 accepts this example, but its parsing in this area uses a state
> machine that was originally constructed automatically from the S4S. Need to
> investigate how this happened).
> 

I don't know whether the archaeology is useful, but I have a copy of a compiled
version of the S4S created on 2007-03-05 in which it is clear that the
typeDefParticle in the content model at that time had a minOccurs of zero. I
don't have the corresponding source, but another compiled version from
2007-08-30 appears to make typeDefParticle mandatory. The current Saxon source
appears to be built from the earlier version: it is characterized by the fact
that the transition corresponding to openContent is to a state labelled as a
final state. I've used the same code to regenerate the FSM from the current
S4S, and as one would expect, it requires content after the openContent
element.

So I would suggest that we made a change to the S4S at some time during mid
2007 which introduced a bug.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 20 April 2012 20:30:44 UTC