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

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

           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