1777 2005-07-20 02:42:28 +0000 [FS] editorial: 8.2.3.1.1 (Static semantics of) Name Tests 2007-01-16 17:45:24 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4977 0 jmdyck 2005-07-20 02:42:28 +0000 8.2.3.1.1 (Static semantics of) Name Tests -- / rule (2|3|6|7|8|10|11|12|27) various rules "test ... with ... of element *:LocalPart TypeSpecifier?" "test ... with ... of element Prefix:* TypeSpecifier?" "element Wildcard TypeSpecifier?" is not a valid Formal Type -- / rule (15|16|19|20|21|23|24|25) "test ... with ... of attribute *:LocalPart TypeReference?" "test ... with ... of attribute Prefix:* TypeReference?" "attribute Wildcard TypeReference?" is not a valid Formal Type. -- / rule 22 / premise 1 "fn:namespace-uri-from-QName(QName1)" "QName1" should be "expanded-QName1" (leftover from last year, comment #216) -- / rule 27 / premise 1 "[[ NameTest ]]_sequencetype" This is invalid: a NameTest is not a SequenceType. -- / rule 27 "ElementNameOrWildcard TypeSpecifier" This is not a valid Formal Type. 9224 1 simeon 2006-04-13 18:36:05 +0000 Fixed the corresponding problems. Note that "element * OptTypeSpecifier" is a valid formal type according to the grammar in section 2.4.4. Here are more details about how each comment has been addressed. #1 Merged the rules to deal with the "element * ..." case only now. #2 Merged the rules to deal with the "attribute * ..." case only now #3 Fixed. #4 Used a more direct construction of the element type, adding the following two preconditions: ElementNameOrWildcard1 = NameTest TypeSpecifier1 = of type xs:anyType #5 Added the proper 'element ' in front. - Jerome