[Bug 4261] [FS] technical: 8.2.3.1.1 Name Tests correct?

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4261


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         OS/Version|Windows XP                  |All
           Platform|PC                          |All




------- Comment #1 from jmdyck@ibiblio.org  2007-04-28 20:19 -------
(personal response)

Part a: (rules 2,5,7)
Agreed. (This is actually a duplicate of the 'element' half of Bug 4242.)


Part b: (rule 4)
I agree: the extra premises require that the element name of the
thing-being-tested have a namespace URI that is bound to a prefix in the static
environment. Not only does this exclude the case where the element name is not
in a namespace (as the submitter points out), but it also excludes the case
where its namespace is the default element namespace (and not bound to any
prefix). As far as I can tell, both of these exclusions are incorrect.


Part c: (rule 6)
Agreed.


Part d: (rule 17)
Agreed, except that I think we need to replace it with three rules, not two:

    statEnv |- QName1 of elem/type expands to expanded-QName1
    statEnv |- QName2 of elem/type expands to expanded-QName2
    not( expanded-QName1 = expanded-QName2 )
    ---------------------------------------------------------
    statEnv |- test QName2 with element of
               element QName1 OptTypeSpecifier1 : empty

    statEnv |- QName1 of elem/type expands to expanded-QName1
    fn:local-name-from-QName(expanded-QName1) = LocalPart1
    not( LocalPart1 = LocalPart2 )
    ---------------------------------------------------------
    statEnv |- test *:LocalPart2 with element of
               element QName1 OptTypeSpecifier1 : empty

    statEnv |- QName1 of elem/type expands to expanded-QName1
    fn:namespace-uri-from-QName(expanded-QName1) = AnyURI1
    statEnv.namespace(Prefix2) = (NamespaceKind,AnyURI2)
    not( AnyURI1 = AnyURI2 )
    ---------------------------------------------------------
    statEnv |- test Prefix2:* with element of
               element QName1 OptTypeSpecifier1 : empty 

(And, of course, all three will need 'attribute' counterparts.)

Received on Saturday, 28 April 2007 20:20:02 UTC