[Bug 22760] New: EBNF Production of override of ItemType and MapType

https://www.w3.org/Bugs/Public/show_bug.cgi?id=22760

            Bug ID: 22760
           Summary: EBNF Production of override of ItemType and MapType
    Classification: Unclassified
           Product: XPath / XQuery / XSLT
           Version: Member-only Editors Drafts
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0
          Assignee: mike@saxonica.com
          Reporter: abel.braaksma@xs4all.nl
        QA Contact: public-qt-comments@w3.org

Currently, the following is written in the working draft:

[101] ItemType ::= ... | MapType
[102] MapType  ::= 'map' '(' ( '*' | (AtomicOrUnionType ',' SequenceType) ')'

[69] ItemType ::= ...
[109] MapType ::= ...

(rationale: [69] is the current number for ItemType, [109] is the first
available free number).

In addition (1), I think it is better to repeat the current definition for
ItemType to avoid potential confusion:

[69] ItemType ::= KindTest 
                  | ("item" "(" ")") 
                  | FunctionTest 
                  | AtomicOrUnionType 
                  | ParenthesizedItemType
                  | MapType

In addition (2), perhaps it is better to split MapType into GenericMapType and
TypedMapType, which I think aligns better with current practice for EBNF, and
it works for better reference and easier parsing of the EBNF:

[109] MapType        ::= 'map' '(' (GenericMapDecl | TypedMapDecl) ')'
[110] GenericMapDecl ::= '*'
[111] TypedMapDecl   ::= AtomicOrUnionType ',' SequenceType

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Monday, 22 July 2013 22:28:26 UTC