Make setlike/maplike generated properties enumerable

This makes the properties generated by the maplike/setlike declarations consistent with properties generated by other IDL constructs such as operation and attribute declarations. (That includes, e.g., explicitly-specified has/get/set/delete operations!) This is also consistent with the generated properties for iterable declarations.

The @@iterator symbol property remains non-enumerable, like it is for iterable declarations, and like all other symbol-named properties are.

Closes #738.

Author: domenic

index.bs

@@ -11536,7 +11536,6 @@ with the [{{LegacyNoInterfaceObject}}] [=extended attribute=].
 Additionally, [=interface prototype objects=] get properties declaratively from:
 
 * [[#es-stringifier]],
-* [[#es-iterable]],
 * [[#es-maplike]], and
 * [[#es-setlike]].
 
@@ -12741,7 +12740,7 @@ There must exist a <code class="idl">size</code> property on
 with the following characteristics:
 
 *   The property has attributes
-    { \[[Get]]: |G|, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> },
+    { \[[Get]]: |G|, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> },
     where |G| is the interface's <dfn id="dfn-map-size-getter" export>map size getter</dfn>,
     defined below.
 *   <div algorithm="to invoke the size method of Maps">
@@ -12796,7 +12795,7 @@ There must exist an <code class="idl">entries</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     whose behavior when invoked is as follows:
 
@@ -12817,7 +12816,7 @@ There must exist a <code class="idl">keys</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     whose behavior when invoked is as follows:
 
@@ -12839,7 +12838,7 @@ There must exist a <code class="idl">values</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     whose behavior when invoked is as follows:
 
@@ -12861,7 +12860,7 @@ There must exist a <code class="idl">forEach</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     whose behavior when invoked is as follows:
 
@@ -12889,7 +12888,7 @@ There must exist a <code class="idl">get</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -12916,7 +12915,7 @@ There must exist a <code class="idl">has</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -12945,7 +12944,7 @@ then there must exist a <code class="idl">set</code> data property
 on |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -12980,7 +12979,7 @@ then there must exist a <code class="idl">delete</code> data property
 on |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -13015,7 +13014,7 @@ then there must exist a <code class="idl">clear</code> data property
 on |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -13051,7 +13050,7 @@ A <code class="idl">size</code> property must exist on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Get]]: |G|, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> },
+*   The property has attributes { \[[Get]]: |G|, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> },
     where |G| is the interface's <dfn id="dfn-set-size-getter" export>set size getter</dfn>,
     defined below.
 *   <div algorithm="to invoke the size method of Sets">
@@ -13105,7 +13104,7 @@ There must exist an <code class="idl">entries</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     whose behavior when invoked is as follows:
 
@@ -13127,7 +13126,7 @@ the String value "<code>entries</code>".
 
 A <code class="idl">keys</code> data property must exist
 on |A|'s [=interface prototype object=]
-with attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }
+with attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }
 and whose value is the [=function object=] that is the value of
 the <code class="idl">values</code> property.
 
@@ -13138,7 +13137,7 @@ There must exist a <code class="idl">values</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     whose behavior when invoked is as follows:
 
@@ -13162,7 +13161,7 @@ There must exist a <code class="idl">forEach</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     whose behavior when invoked is as follows:
 
@@ -13190,7 +13189,7 @@ There must exist a <code class="idl">has</code> data property on
 |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -13219,7 +13218,7 @@ then there must exist an <code class="idl">add</code> data property
 on |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -13252,7 +13251,7 @@ then there must exist a <code class="idl">delete</code> data property
 on |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -13285,7 +13284,7 @@ then there must exist a <code class="idl">clear</code> data property
 on |A|'s [=interface prototype object=]
 with the following characteristics:
 
-*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>false</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
+*   The property has attributes { \[[Writable]]: <emu-val>true</emu-val>, \[[Enumerable]]: <emu-val>true</emu-val>, \[[Configurable]]: <emu-val>true</emu-val> }.
 *   The value of the property is a [=built-in function object=]
     that behaves as follows when invoked:
 
@@ -13473,7 +13472,6 @@ which has a [{{Global}}] [=extended attribute=]
 get properties declaratively from:
 
 * [[#es-stringifier]],
-* [[#es-iterable]],
 * [[#es-maplike]], and
 * [[#es-setlike]].