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 30142 - [xslt30] Abstract components: incorrect Note?
Summary: [xslt30] Abstract components: incorrect Note?
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XSLT 3.0 (show other bugs)
Version: Proposed Recommendation
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: Michael Kay
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-07-11 10:42 UTC by Michael Kay
Modified: 2017-10-29 23:19 UTC (History)
0 users

See Also:


Attachments

Description Michael Kay 2017-07-11 10:42:07 UTC
In ยง3.5.3.5, immediately after the definition of error XTSE3080, we have the Note:

This means that abstract components must either be overridden in a using package by a component that supplies a real implementation, or they must be accepted with visibility="hidden" (see 3.5.3.2 Accepting Components), which has the effect that any invocation of the component raises a dynamic error.

I don't believe this note is correct. 3.5.3.2 says that if an abstract component is not matched by any xsl:override or xsl:accept declaration, then the corresponding component in the using package has visibility="hidden", which is exactly as if it were explicitly accepted with hidden visibility.

(One could argue that the Note is correct if "accepted" is read as "explicitly or implicitly accepted", but that's not the natural reading.)

I think that XTSE3080 can now arise only if the top-level package explicitly declares an abstract component.
Comment 1 Michael Kay 2017-10-13 20:19:53 UTC
Erratum E4 has been drafted/
Comment 2 Michael Kay 2017-10-29 23:19:37 UTC
The proposed erratum was accepted.