RE: [XPath] Request XPath implementations be required to do some static type checking on the schema-element function

• From: Michael Rys <mrys@microsoft.com>
• Date: Thu, 27 Mar 2008 11:07:49 -0700
• To: "Costello, Roger L." <costello@mitre.org>, "public-qt-comments@w3.org" <public-qt-comments@w3.org>
• Message-ID: <390310B3D9102C47B28642DB3CB9BE731C30F06785@NA-EXMSG-C115.redmond.corp.microsoft>

Dear Roger, such error messages are being raised by the static typing semantics and implementations are allowed to raise these errors or warnings either doing dynamic or static typing.

Best regards
Michael

-----Original Message-----
From: public-qt-comments-request@w3.org [mailto:public-qt-comments-request@w3.org] On Behalf Of Costello, Roger L.
Sent: Thursday, March 27, 2008 4:45 AM
To: public-qt-comments@w3.org
Subject: [XPath] Request XPath implementations be required to do some static type checking on the schema-element function


Hi Folks,

I would like to request a small change to the XPath 2.0 specification.

I would like to request that XPath implementations be required to
generate an error or warning message for expressions like this:

    schema-element(Book)/Foo

where Foo is not a valid child of Book, according to the in-scope
schema.

Further, implementations be required to generate an error or warning
message for expressions like this:

   schema-element(Book)/Author/FirstNam

where, according to the in-scope schema, Author is a valid child of
Book but FirstNam (note that I misspelled Name) is not.

Thank you very much for your consideration.

  -- Roger L. Costello

Received on Thursday, 27 March 2008 18:08:53 UTC