[Bug 2113] R-124: A question about PSVI properties

http://www.w3.org/Bugs/Public/show_bug.cgi?id=2113

           Summary: R-124: A question about PSVI properties
           Product: XML Schema
           Version: 1.0
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSD Part 1: Structures
        AssignedTo: ht@w3.org
        ReportedBy: sandygao@ca.ibm.com
         QAContact: www-xml-schema-comments@w3.org


There are various statements in the spec of the form: "If some condition, x, is 
true, then, in the post-schema-validation infoset it has the properties 
a,b,c ..."

For example: 

"If an element is valid with respect to a type definition, as per Element 
Locally Valid (Type), in the post-schema-validation infoset the item has a 
property ... 

Furthermore, the item has one of the following alternative sets of properties: 

[type definition] 

... 

" 
Is it true that if condition x does *not hold*, then the processor is *not 
permitted* to include properties a,b,c in the PSVI, even if such information is 
available? I'm assuming this is what was intended, based on the clarifications 
drafted for the Query WG on the topic of PSVI. 

If this is the case, should the Structures spec clarify this? ...perhaps with 
wording similiar to: "The properties a, b, c are in the PSVI if and only 
if ..." 

As an aside, wouldn't it be useful to get at type information for an element 
that was not valid, if the processor had that information?

Received on Friday, 9 September 2005 15:15:13 UTC