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

[Bug 1742] New: [FS] technical: 5.15 Function Declaration: adding FunctionDecl to statEnv

From: <bugzilla@wiggum.w3.org>
Date: Mon, 18 Jul 2005 23:48:38 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DufLi-0001Ax-3J@wiggum.w3.org>

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

           Summary: [FS] technical: 5.15 Function Declaration: adding
                    FunctionDecl to statEnv
           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


5.15 Function Declaration

SCP / rule 1 / premise 2
"statEnv1 = statEnv + funcType(expanded-QName => FunctionDecl)"
    statEnv.funcType maps an expanded-QName to a *set* of function
    *signatures*, not a single FunctionDecl. So you'll need premises like:

        statEnv |- [[ SequenceType1 ]]_sequencetype = Type1
        ...
        statEnv |- [[ SequenceTypen ]]_sequencetype = Typen
        statEnv |- [[ SequenceTyper ]]_sequencetype = Typer
        Sig = define function QName( Type1, ..., Typen ) return Typer
        statEnv.funcType(expanded-QName) = {Sig1, ..., Sigk}
        statEnv1 = statEnv + funcType(expanded-QName => {Sig1, ..., Sigk, Sig})

    (Note that you can drop the set-related stuff if you change funcType
    to map to a single signature. See Bug 1580.)
Received on Monday, 18 July 2005 23:48:40 UTC

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