19858 2012-11-05 13:37:43 +0000 [QT3TS] require-all-optional-features-1-ns1 and others 2013-04-09 16:21:59 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3 & XPath 3 Test Suite Working drafts PC Windows NT CLOSED FIXED P2 normal --- 21130 1 tim g oneil public-qt-comments oldest_to_newest 77873 0 tim 2012-11-05 13:37:43 +0000 These tests don't make a great deal of sense for processors which can enable or disable a feature. e.g. <test-case name="require-all-optional-features-1-ns1"> <description>An error must be thrown if the feature is not supported.</description> <created by="Ghislain Fourny" on="2012-10-15"/> <modified by="O'Neil Delpratt, Saxonica" on="2012-10-23" change="assert-eq changed to assert-empty" /> <modified by="Ghislain Fourny" on="2012-11-01" change="Duplicating tests depending on feature support." /> <environment ref="dummy-schema"/> <dependency type="spec" value="XQ30+"/> <dependency type="feature" value="schemaAware" satisfied="false"/> <test> import schema namespace s = "http://www.w3.org/XQueryTest/RequireProhibitFeature"; declare option require-feature "all-optional-features"; () </test> <result> <!-- The test must be reported to fail if a different error is returned --> <error code="XQST0120"/> </result> The test driver sees <dependency type="feature" value="schemaAware" satisfied="false"/> and prepares a processor with this feature disabled. Upon execution of the query, we then see declare option require-feature "all-optional-features"; and enable it as requested. This also affects the following tests. require-all-optional-features-1-ns3 require-all-optional-features-1-ns require-all-optional-features-2-ns2 require-all-optional-features-3-ns3 require-all-optional-features-5-ns require-higher-order-function-1-ns require-higher-order-function-10-ns require-higher-order-function-2-n require-higher-order-function-3-ns require-higher-order-function-4-ns require-higher-order-function-5-ns require-higher-order-function-6-ns require-higher-order-function-7-ns require-higher-order-function-8-ns require-higher-order-function-9-ns require-static-typing-1-ns 77938 1 tim 2012-11-06 11:12:35 +0000 Here's a complete list of tests suffering this problem. prohibit-all-optional-features-2-ns prohibit-all-optional-features-3-ns require-all-optional-features-1-ns1 require-all-optional-features-1-ns2 require-all-optional-features-1-ns3 require-all-optional-features-1-ns4 require-all-optional-features-2-ns1 require-all-optional-features-2-ns2 require-all-optional-features-2-ns3 require-all-optional-features-3-ns1 require-all-optional-features-3-ns2 require-all-optional-features-3-ns3 require-all-optional-features-5-ns require-all-optional-features-7-ns require-higher-order-function-1-ns require-higher-order-function-2-ns require-higher-order-function-3-ns require-higher-order-function-4-ns require-higher-order-function-5-ns require-module-1-ns require-module-2-ns require-schema-aware-1-ns require-schema-aware-2-ns require-schema-aware-4-ns require-static-typing-1-ns separate-modules-3-ns separate-modules-4-ns separate-modules-8-ns separate-modules-9-ns 82686 2 oneil 2013-02-07 08:14:15 +0000 This needs WG consensus to agree on how this mechanism should work. 83730 3 g 2013-02-26 16:09:32 +0000 Hi Tim, When I wrote the tests, the semantics I had in mind is that if an engine is capable of activating/supporting a feature, the tests with a dependency set to false on these features should not be executed at all because they do not apply. The goal of these tests is to make sure that an engine that does not support these features returns the appropriate error messages. Does it make sense? 83758 4 tim 2013-02-26 21:10:22 +0000 Further investigation shows that the specification makes provision for a processor to disable a feature which it supports in response to a prohibit-feature declaration, but there is no corresponding provision for a processor to enable a feature in response to a require-feature declaration which it supports but which is not enabled by default. I will raise this as a separate bug. 84768 5 tim 2013-03-21 10:53:31 +0000 Test separate-modules-4-ns remains in error. The test requires module import, but not higher order functions. The main module imports a module. module:one() returns a function item. The main module attempts to invoke the function item. But it the main module, the higher order functions feature remains prohibited. Therefore XQST0129 should be expected. 85792 6 tim 2013-04-09 16:21:43 +0000 I think these have all now been fixed.