archives

« Bugzilla Issues Index

#3568 — 6.1.7.3 Invariants of the Essential Internal Methods, [[GetOwnProperty]]: 3rd and 4th invariants are equivalent

• bug_id: 3568
• creation_ts: 2015-01-17 10:12:00 -0800
• short_desc: 6.1.7.3 Invariants of the Essential Internal Methods, [[GetOwnProperty]]: 3rd and 4th invariants are equivalent
• delta_ts: 2015-02-02 18:38:54 -0800
• product: Draft for 6th Edition
• component: editorial issue
• version: Rev 31: January 15, 2015 Draft
• rep_platform: All
• op_sys: All
• bug_status: RESOLVED
• resolution: FIXED
• priority: Normal
• bug_severity: minor
• everconfirmed: true
• reporter: Claude Pache
• assigned_to: Allen Wirfs-Brock

---

• commentid: 11527
• comment_count: 0
• who: Claude Pache
• bug_when: 2015-01-17 10:12:04 -0800

6.1.7.3 Invariants of the Essential Internal Methods
[[GetOwnProperty]]

The two following invariants are strictly equivalent: "If A then not B":

"If a property is described as a data property and it may return different values over time, then either or both of the Desc.[[Writable]] and Desc.[[Configurable]] attributes must be true even if no mechanism to change the value is exposed via the other internal methods."

and: "If B then not A":

"If a property P is described as a data property with Desc.[[Value]] equal to v and Desc.[[Writable]] and Desc.[[Configurable]] are both false, then the SameValue must be returned for the Desc.[[Value]] attribute of the property on all future calls to [[GetOwnProperty]] ( P )."

I suggest to keep the second one, whose formulation I find more precise.

---

• commentid: 11529
• comment_count: 1
• who: Allen Wirfs-Brock
• bug_when: 2015-01-17 11:33:09 -0800

fixed in rev32 editor's draft.

Kept the second form, and moved the first form into a note stating that it is consequence of the second form.

---

• commentid: 11971
• comment_count: 2
• who: Allen Wirfs-Brock
• bug_when: 2015-02-02 18:38:54 -0800

fixed in rev32 draft