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 20060 - [XT3TS] as-2904
Summary: [XT3TS] as-2904
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XSLT 3.0 Test Suite (show other bugs)
Version: Working drafts
Hardware: PC Windows 3.1
: P2 normal
Target Milestone: ---
Assignee: Abel Braaksma
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-11-23 13:24 UTC by Tim Mills
Modified: 2013-12-09 12:25 UTC (History)
1 user (show)

See Also:


Attachments

Description Tim Mills 2012-11-23 13:24:45 UTC
This test performs validation without importing any schemas.  I suspect that otherwise the in-scope schema definitions is implementation defined.

In our old test suite, we had a hack to import any schemas referenced in the catalog into the static context before compiling.  It would be nice not to have this hack in the new test suite.

Without the import, static type analysis can prove that the validation will fail.
Comment 1 Tim Mills 2012-11-23 13:52:53 UTC
as-2906 has a similar problem.
Comment 2 Michael Kay 2012-12-11 22:52:28 UTC
I think you probably have an argument here. The spec says:

The components in the schema constructed from the synthetic schema document (see 3.16 Importing Schema Components) will always be available for validating constructed nodes; if additional schema components are needed, they may be located in other ways, for example implicitly from knowledge of the namespace in which the elements and attributes appear, or using the xsi:schemaLocation attribute of elements within the tree being validated.

In other words, if we want to ensure interoperable behaviour, we need to have an xsl:import-schema declaration for the schema components needed for validation.

It seems to me rather restrictive for a product to allow validation only against a schema that is known statically, but it seems clear from the spec that a conformant product is allowed to impose this restriction.

So I have changed the tests accordingly.
Comment 3 Tim Mills 2013-12-09 12:25:17 UTC
Thanks.