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 1770 - [FS] editorial: 8.1.3, 8.1.4: statEnv.attrDecl(AttributeName)
Summary: [FS] editorial: 8.1.3, 8.1.4: statEnv.attrDecl(AttributeName)
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:18 UTC by Michael Dyck
Modified: 2007-01-16 17:42 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-20 01:18:09 UTC 
8.1.3 Element and attribute name lookup (Dynamic)
8.1.4 Element and attribute type lookup (Static)

8.1.3 / Sem 2 / rule 1 / premise 1
8.1.4 / Sem 2 / rule [12] / premise 1
"statEnv.attrDecl(AttributeName)"
    attrDecl's domain is expanded QNames, but AttributeName is a QName.
    In each case, change
        statEnv.attrDecl(AttributeName)
    to
        statEnv.attrDecl(expanded-QName)
    and add
        statEnv |- AttributeName of attr expands to expanded-QName
(leftover from last year, comment #199)
Comment 1 Jerome Simeon 2006-03-30 17:05:33 UTC 
Fixed as suggested.
- Jerome