W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1542] New: [FS] editorial: 3.1.1 Static Context

From: <bugzilla@wiggum.w3.org>
Date: Sun, 10 Jul 2005 23:30:03 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DrlFL-0003Sy-0z@wiggum.w3.org>

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

           Summary: [FS] editorial: 3.1.1 Static Context
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


3.1.1 Static Context

"If analysis of an expression relies on some component of the static
context that has not been assigned a value, a static error is raised.
This constraint is formalized in [3.3 Error Handling]."
    Section 3.3 doesn't have that rule any more.

"The statEnv.xpath1.0_compatibility environment"
"The statEnv.default_elem_namespace environment"
[etc]
    Section 2.1.4 says:
    "An environment is a dictionary that maps a symbol ... to an object."
    so it's contradictory (as well as just odd) to refer to these
    non-dictionary properties as environments.

"statEnv.funcType"
"define function QName (Type1, ..., Typen) return Type"
    You need a non-terminal/pattern for this construct.
    The rules in section 4.1.5 use FunctionDecl, which is something else.
    Also, they say "declare" rather than "define", and "expanded-QName"
    rather than "QName".

inference rule
    Expr* is incorrect. Expr* does not occur anywhere.
    Note that a QueryBody is just an Expr.

    And there should presumably be a semicolon between URI and Expr.

    And the "statEnv |- Expr" syntax (without ": Type") is not used any
    more, that I can find.

    You might want to use a different example, since this one doesn't
    actually occur.
Received on Sunday, 10 July 2005 23:30:05 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC