- From: Stijn Vansummeren <stijn.vansummeren@luc.ac.be>
- Date: Fri, 21 Nov 2003 16:13:58 +0100
- To: www-ql@w3.org
The static typing rule for constructed elements uses the "... in context ... type lookup ..." judgement to retrieve the content type of an element name. When the valiInitial value of statEnv.elemDecl and the static semantics of constructed elemendation context is empty, this judgement depends on statEnv.elemDecl(ElementName) to retrieve the correct content type. My question is: what is the initial value of statEnv.elemDecl? The Formal Semantics notes that this is the initial value of the"in-scope element definitions", which can be found at http://www.w3.org/TR/xquery/#id-xq-context-components There, the "in-scope element declarations" are defined to have "none" as an initial value. Does this mean that statEnv.elemDecl(ElementName) is undefined when no schema is imported (and hence, element construction fails to type-check)? Or is it assumed that statEnv.elemDecl(ElementName) returns AnyType on every ElementName (which gives every constructed element the type AnyType)? Best regards, --Stijn Vansummeren Limburgs Universitair Centrum Universitaire Campus Gebouw D 3590 Diepenbeek Belgium
Received on Friday, 21 November 2003 10:14:37 UTC