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

[Bug 30151] New: [FO31] The function fn:boolean does not have properties like determinism defined

From: <bugzilla@jessica.w3.org>
Date: Wed, 19 Jul 2017 02:24:19 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-30151-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=30151

            Bug ID: 30151
           Summary: [FO31] The function fn:boolean does not have
                    properties like determinism defined
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators 3.1
          Assignee: mike@saxonica.com
          Reporter: abel.braaksma@xs4all.nl
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

Section 7.3.1 fn:boolean misses a Properties section. As a result it is not
directly clear whether it is context-independent or not (it isn't).

I think the properties should be:

deterministic, context-independent, focus-independent

It also looks like that sometimes properties are listed for operators and
sometimes not. We do say in 1.7 Properties of functions:

"All functions defined in this specification are ·deterministic· unless
otherwise stated. Exceptions include the following: "

But we don't have a similar statement on functions (and operators) being
context-independent (unless otherwise noted) or focus-independent (unless
otherwise noted). While it may seem obvious that if it isn't listed, they are
context-independent, I don't see that stated.

There aren't many operators defined that have a Properties section, but still,
I'd guess we ought to be consistent here, or have a general statement about it
(I sought for it, but couldn't find it).

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Wednesday, 19 July 2017 02:24:27 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 19 July 2017 02:24:28 UTC