[FS/DM] parent value of element?

• From: Per Bothner <per@bothner.com>
• Date: Sun, 29 Feb 2004 16:32:15 -0800
• To: public-qt-comments@w3.org
• Cc: mff@research.att.com
• Message-ID: <4042848F.5020704@bothner.com>

In 2.2.1 Formal Values an Element value is defined thus:

[16 (Formal)] ElementValue ::= "element" ElementName "nilled"?
    TypeAnnotation "{" Value "}" "{" NamespaceAnnotations "}"

Should the "parent" be a component of the formal value:

[16 (Formal)] ElementValue ::= "element" ElementName "nilled"?
    TypeAnnotation "{" Value "}"
    "{" NamespaceAnnotations "parent" "{" NodeValue? "}" "}"

Then the definition of the axis judgement in 7.2.2.2 could be:
dynEnv |- axis parent ::  of ElementName ( Value } { parent Value1 }
   => Value1
avoiding the need for the dm:parent "function".

Also child "copying" in constructors is clearer:

<E>{<B/>}</E> => value1
where:
value1 = element E { element B { } { parent value1 } }

This doesn't model node identity, but it may be a helpful
formalization of the parent/child relationship.

I don't know of such "recursive" value would be a formal problem.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/

Received on Sunday, 29 February 2004 19:32:21 UTC