This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 14003 - Can "instance of" in CTA XPath refer to user-defined type?
Summary: Can "instance of" in CTA XPath refer to user-defined type?
Status: CLOSED WORKSFORME
Alias: None
Product: XML Schema Test Suite
Classification: Unclassified
Component: Saxon tests (show other bugs)
Version: 2006-11-06
Hardware: PC Windows XP
: P2 normal
Target Milestone: XSD 1.1 PR
Assignee: C. M. Sperberg-McQueen
QA Contact: XML Schema Test Suite mailing list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-09-02 04:02 UTC by Sandy Gao
Modified: 2011-10-21 16:38 UTC (History)
2 users (show)

See Also:

Attachments

Description Sandy Gao 2011-09-02 04:02:24 UTC 
"saxonData/CTA/cta9003err.xsd" is expected to be invalid, because it has:

    test="@c2:min instance of c2:smallInteger"

The spec only requires "built-in" for "cast as" and constructor functions. Is "instance of" meant to be treated in the same way?
Comment 1 Michael Kay 2011-10-07 14:26:09 UTC 
The specification states in 3.13.6.2 clause 2.2.5 "2.2.5 The in-scope schema definitions are those components that are present in every schema by definition, as defined in Built-in Attribute Declarations (
Comment 2 David Ezell 2011-10-07 15:53:42 UTC 
From the telcon:
MK: I believe this test is invalid because it refers to a type not in the static context.
MK: we were keen to avoid recursive validation
MK: the test is correct, the test is invalid because the XPath expression is invalid.