W3C home > Mailing lists > Public > www-ql@w3.org > October to December 2003

Initial value of statEnv.elemDecl and the static semantics of constructed elements

From: Stijn Vansummeren <stijn.vansummeren@luc.ac.be>
Date: Fri, 21 Nov 2003 16:13:58 +0100
To: www-ql@w3.org
Message-Id: <200311211613.58906.stijn.vansummeren@luc.ac.be>

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:17:16 UTC