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 1771 - [FS] editorial: 8.1.5, 8.1.6, E.1.5.2: "Type1 = AttributeAll1, ElementContent1"
Summary: [FS] editorial: 8.1.5, 8.1.6, E.1.5.2: "Type1 = AttributeAll1, ElementContent1"
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 01:31 UTC by Michael Dyck
Modified: 2007-01-16 17:44 UTC (History)
0 users

See Also:


Attachments

Description Michael Dyck 2005-07-20 01:31:12 UTC
8.1.5 Extension
8.1.6 Mixed content
E.1.5.2 Nil-annotate

8.1.5 / Sem / rule 1
8.1.6 / Sem / rule 1
E.1.5.2 / Sem / rule 3
"Type1 = AttributeAll1 , ElementContent1"
    What does this mean?
    'AttributeAll' and 'ElementContent' aren't non-terminal names.
    'ElementContent' is used in 4.7.1 to mean "element content unit",
    which is something appearing in a direct element constructor, which is
    presumably not relevant here.
(leftover from last year, comment #203)
Comment 1 Jerome Simeon 2006-04-16 18:00:24 UTC
I believe the corresponding definitions were removed by mistake. They capture restrictions on types that apply to the description of an element (attribute declarations followed by a content model). I added them back in Section 2.4.3 Content models which seems a good place. Also renamed them to 'AttributeModel' and 'ElementModel' to avoid confusion with auxiliary grammars and judgment used in the sections on constructors.

- Jerome