diff --git a/index.bs b/index.bs index a8d4e357..8cf15cbf 100644 --- a/index.bs +++ b/index.bs @@ -5992,21 +5992,76 @@ The following extended attributes are applicable production, [=set/append=] each of the [=extended attributes=] present in the production's ExtendedAttributeList to |extended attributes|. + +
+ 
+                interface I {
+                    attribute [XAttr] long attrib;
+                    void f1(sequence<[XAttr] long> arg);
+                    void f2(optional [XAttr] long arg);
+
+                    maplike<[XAttr2] DOMString, [XAttr3] long>;
+                };
+
+                dictionary D {
+                    required [XAttr] long member;
+                };
+
+
1. If |type| is a [=member type=] of a [=union type=] |U|, [=set/append=] each of the [=extended attributes associated with=] |U| to |extended attributes|. + +
+ 
+                interface I {
+                    attribute [XAttr] (long or Node) attrib;
+                };
+
+
1. If |type| appears as part of a Type production - within an Argument production, [=set/append=] - to |extended attributes| all of the [=extended attributes=] present in the production's + directly within an Argument production, + [=set/append=] to |extended attributes| all of the [=extended attributes=] present in the + production's ExtendedAttributeList that are [=applicable to types=]. + +
+ 
+                interface I {
+                    void f([XAttr] long attrib);
+                };
+
+ + Note that this is an example of this step only if [XAttr] is + [=applicable to types=]; otherwise [XAttr] applies to the argument, and not + the argument's type. +
1. If |type| appears as part of a Type production - within an DictionaryMember production, - [=set/append=] to |extended attributes| all of the [=extended attributes=] present in the - production's + directly within an DictionaryMember + production, [=set/append=] to |extended attributes| all of the [=extended attributes=] + present in the production's ExtendedAttributeList that are [=applicable to types=]. + +
+ 
+                dictionary D {
+                    [XAttr] long member;
+                };
+
+ + Note that this is an example of this step only if [XAttr] is + [=applicable to types=]; otherwise [XAttr] applies to the dictionary + member, and not the member's type. +
1. If |type| is a [=typedef=], [=set/append=] the [=extended attributes associated with=] the [=type being given a new name=] to |extended attributes|. + +
+ 
+                typedef [XAttr] long xlong;
+
+
1. Return |extended attributes|.