Possible bug in test not-wf-sa-083

Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Possible bug in test not-wf-sa-083

SJ Kissane
Hi

The file xmltest/xmltest.xml declares:
<TEST TYPE="not-wf" ENTITIES="none" ID="not-wf-sa-083"
    URI="not-wf/sa/083.xml" SECTIONS="4.2.2 [76]">
    Undefined NOTATION n. </TEST>

I believe this should be TYPE="invalid" not TYPE="not-wf", since
"Notation Declared" is a validity constraint not a well-formedness
constraint, and therefore documents which violate it are invalid yet
still well-formed.

Regards
Simon

Reply | Threaded
Open this post in threaded view
|

Re: Possible bug in test not-wf-sa-083

SJ Kissane
On 21 February 2014 18:51, SJ Kissane <[hidden email]> wrote:
> I believe this should be TYPE="invalid" not TYPE="not-wf", since
> "Notation Declared" is a validity constraint not a well-formedness
> constraint, and therefore documents which violate it are invalid yet
> still well-formed.
I'm wrong: while "Notation Declared" is a VC, "Parsed Entity" is a
WFC, and this XML is not well-formed since it violates that WFC.

But still, this test is rather confused. It claims to be testing for
violation of a VC in a not-wf test, but actually tests for a violation
of a different WFC instead.  Two possible fixes:

1) Amend SECTIONS to reference 4.1 [68] instead, update description accordingly

2) Change <doc>&e;</doc> to <doc></doc> to remove the WFC-violation,
and change TYPE="not-wf" to TYPE="invalid" as I originally suggested

Regards
Simon