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

[Bug 1583] New: [FS] technical: 4.1.5 Function Calls: refactor

From: <bugzilla@wiggum.w3.org>
Date: Thu, 14 Jul 2005 04:15:58 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Dsv8g-00035j-JK@wiggum.w3.org>


           Summary: [FS] technical: 4.1.5 Function Calls: refactor
           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

4.1.5 Function Calls

DEv / rule (1|2|3)
    These three rules are all mostly the same (though that fact is
    obscured by irrelevant differences).  Refactor!
    You could have one rule that does almost everything, but "calls out"
    to a judgment that handles the essential differences between
    locally-declared, imported, and built-in/external functions. The new
    judgment would have a form something like:
        FUNC-REMAINDER applied to Value1, ..., Valuen yields Value
    where FUNC-REMAINDER is a symbol for "the remainder of the function
    definition" that dynEnv.funcDefn maps to.

    (The built-in/external alternative of the new judgment would subsume
    DEv / rule 4.)

    This would also allow refactoring of some of the DErr rules.
Received on Thursday, 14 July 2005 04:16:00 UTC

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