This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1780 - [FS] editorial: 8.2.3.2.2 (Dynamic semantics of) Kind Tests
Summary: [FS] editorial: 8.2.3.2.2 (Dynamic semantics of) Kind Tests
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-20 03:37 UTC by Michael Dyck
Modified: 2007-01-16 17:45 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-20 03:37:42 UTC 
8.2.3.2.2 (Dynamic semantics of) Kind Tests

(Dynamic semantics of) Processing instruction, comment, and text kind tests.

Sem 4 / rule 2
    You need to connect StringLiteral to String. Something like
        String = fs:literal-to-string( StringLiteral )
    (see Bug 1566)

Sem 4
(very last line of section)
    Presentationally, this looks like a judgment form declaration. It
    would be nice if you could at least make it *look* like an
    inference rule. E.g., have a single premise saying "otherwise".
(leftover from last year, comment #235)

    But how could the immediately preceding rule *not* apply?
Comment 1 Jerome Simeon 2006-04-10 15:00:16 UTC 
Fixed as suggested. Fixed node() to NodeTest in the last ('otherwise')
rule.

- Jerome