Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make setlike/maplike generated properties enumerable #1166

Merged
merged 1 commit into from
Oct 3, 2022
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
40 changes: 19 additions & 21 deletions index.bs
Original file line number Diff line number Diff line change
Expand Up @@ -11530,7 +11530,6 @@ with the [{{LegacyNoInterfaceObject}}] [=extended attribute=].
Additionally, [=interface prototype objects=] get properties declaratively from:

* [[#es-stringifier]],
* [[#es-iterable]],
* [[#es-maplike]], and
* [[#es-setlike]].

Expand Down Expand Up @@ -12735,7 +12734,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">
Expand Down Expand Up @@ -12790,7 +12789,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:

Expand All @@ -12811,7 +12810,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:

Expand All @@ -12833,7 +12832,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:

Expand All @@ -12855,7 +12854,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:

Expand Down Expand Up @@ -12883,7 +12882,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:

Expand All @@ -12910,7 +12909,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:

Expand Down Expand Up @@ -12939,7 +12938,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:

Expand Down Expand Up @@ -12974,7 +12973,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:

Expand Down Expand Up @@ -13009,7 +13008,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:

Expand Down Expand Up @@ -13045,7 +13044,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">
Expand Down Expand Up @@ -13099,7 +13098,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:

Expand All @@ -13121,7 +13120,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.

Expand All @@ -13132,7 +13131,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:

Expand All @@ -13156,7 +13155,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:

Expand Down Expand Up @@ -13184,7 +13183,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:

Expand Down Expand Up @@ -13213,7 +13212,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:

Expand Down Expand Up @@ -13246,7 +13245,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:

Expand Down Expand Up @@ -13279,7 +13278,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:

Expand Down Expand Up @@ -13467,7 +13466,6 @@ which has a [{{Global}}] [=extended attribute=]
get properties declaratively from:

* [[#es-stringifier]],
* [[#es-iterable]],
* [[#es-maplike]], and
* [[#es-setlike]].

Expand Down