Update import defer tests for evaluation triggers (#4341)

Author: nicolo-ribaudo

src/import-defer/defineOwnProperty.case

@@ -0,0 +1,20 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-defineownproperty-p-desc
+desc: _ [[DefineOwnProperty]]
+info: |
+  [[DefineOwnProperty]] ( _P_, _Desc_ )
+    1. If IsSymbolLikeNamespaceKey(_P_, _O_), return ! OrdinaryDefineOwnProperty(_O_, _Desc_).
+    1. Let _current_ be ? _O_.[[GetOwnProperty]](_P_).
+    1. NOTE: If _O_.[[Deferred]] is *true*, the step above will ensure that the module is evaluated.
+    1. ...
+
+template: trigger-on-possible-export
+---*/
+
+//- body
+try {
+  Object.defineProperty(ns, key, { value: "hi" });
+} catch (_) {}

src/import-defer/delete.case

@@ -0,0 +1,19 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-delete-p
+desc: _ [[Delete]]
+info: |
+  [[Delete]] ( _P_ )
+    1. If IsSymbolLikeNamespaceKey(_P_, _O_), return ! OrdinaryDelete(_O_, _P_).
+    1. Let _exports_ be ? GetModuleExportsList(_O_).
+    1. ...
+
+template: trigger-on-possible-export
+---*/
+
+//- body
+try {
+  delete ns[key];
+} catch (_) {}

src/import-defer/get.case

@@ -0,0 +1,17 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-get-p-receiver
+desc: _ [[Get]]
+info: |
+  [[Get]] ( _P_, _Receiver_ )
+    1. If IsSymbolLikeNamespaceKey(_P_, _O_), return ! OrdinaryGet(_O_, _P_, _Receiver_).
+    1. Let _exports_ be ? GetModuleExportsList(_O_).
+    1. ...
+
+template: trigger-on-possible-export
+---*/
+
+//- body
+ns[key];

src/import-defer/getOwnProperty.case

@@ -0,0 +1,17 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-getownproperty-p
+desc: _ [[GetOwnProperty]]
+info: |
+  [[GetOwnProperty]] ( _P_ )
+    1. If IsSymbolLikeNamespaceKey(_P_, _O_), return ! OrdinaryGetOwnProperty(_O_, _P_).
+    1. Let _exports_ be ? GetModuleExportsList(_O_).
+    1. ...
+
+template: trigger-on-possible-export
+---*/
+
+//- body
+Object.getOwnPropertyDescriptor(ns, key);

src/import-defer/getPrototypeOf.case

@@ -0,0 +1,15 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-getprototypeof
+desc: _ [[GetPrototypeOf]]
+info: |
+  [[GetPrototypeOf]] ( )
+    1. Return **null**.
+
+template: ignore
+---*/
+
+//- body
+Object.getPrototypeOf(ns);

src/import-defer/hasProperty.case

@@ -0,0 +1,17 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-hasproperty-p
+desc: _ [[HasProperty]]
+info: |
+  [[HasProperty]] ( _P_, _Receiver_ )
+    1. If IsSymbolLikeNamespaceKey(_P_, _O_), return ! OrdinaryGet(_O_, _P_, _Receiver_).
+    1. Let _exports_ be ? GetModuleExportsList(_O_).
+    1. ...
+
+template: trigger-on-possible-export
+---*/
+
+//- body
+key in ns;

src/import-defer/ignore/ignore.template

@@ -0,0 +1,21 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/import/import-defer/evaluation-triggers/ignore-
+name: does not trigger execution
+esid: sec-module-namespace-exotic-objects
+
+flags: [module]
+features: [import-defer]
+---*/
+
+import "./setup_FIXTURE.js";
+
+import defer * as ns from "./dep_FIXTURE.js";
+
+assert.sameValue(globalThis.evaluations.length, 0, "import defer does not trigger evaluation");
+
+/*{ body }*/
+
+assert.sameValue(globalThis.evaluations.length, 0, "It does not trigger evaluation");

src/import-defer/isExtensible.case

@@ -0,0 +1,15 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-isextensible
+desc: _ [[IsExtensible]]
+info: |
+  [[IsExtensible]] ( )
+    1. Return **false**.
+
+template: ignore
+---*/
+
+//- body
+Object.isExtensible(ns);

src/import-defer/ownPropertyKey-names.case

@@ -0,0 +1,16 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-ownpropertykeys
+desc: _ [[OwnPropertyKeys]]
+info: |
+  [[OwnPropertyKeys]] ( )
+    1. Let _exports_ be ? GetModuleExportsList(_O_).
+    1. ...
+
+template: trigger
+---*/
+
+//- body
+Object.getOwnPropertyNames(ns);

src/import-defer/ownPropertyKeys-symbols.case

@@ -0,0 +1,16 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-ownpropertykeys
+desc: _ [[OwnPropertyKeys]]
+info: |
+  [[OwnPropertyKeys]] ( )
+    1. Let _exports_ be ? GetModuleExportsList(_O_).
+    1. ...
+
+template: trigger
+---*/
+
+//- body
+Object.getOwnPropertySymbols(ns);

src/import-defer/ownPropertyKeys.case

@@ -0,0 +1,16 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-ownpropertykeys
+desc: _ [[OwnPropertyKeys]]
+info: |
+  [[OwnPropertyKeys]] ( )
+    1. Let _exports_ be ? GetModuleExportsList(_O_).
+    1. ...
+
+template: trigger
+---*/
+
+//- body
+Reflect.ownKeys(ns);

src/import-defer/preventExtensions.case

@@ -0,0 +1,15 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-preventextensions
+desc: _ [[IsExtensible]]
+info: |
+  [[IsExtensible]] ( )
+    1. Return **false**.
+
+template: ignore
+---*/
+
+//- body
+Object.preventExtensions(ns);

src/import-defer/set-string-exported.case

@@ -0,0 +1,17 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-set-p-v-receiver
+desc: _ [[Set]] of a string which is an export name
+info: |
+  [[Set]] ( _P_, _V_, _Receiver_ )
+    1. Return **false**.
+
+template: ignore
+---*/
+
+//- body
+try {
+  ns.exported = "hi";
+} catch (_) {}

src/import-defer/set-string-not-exported.case

@@ -0,0 +1,17 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-set-p-v-receiver
+desc: _ [[Set]] of a string which is not an export name
+info: |
+  [[Set]] ( _P_, _V_, _Receiver_ )
+    1. Return **false**.
+
+template: ignore
+---*/
+
+//- body
+try {
+  ns.notExported = "hi";
+} catch (_) {}

src/import-defer/setPrototypeOf.case

@@ -0,0 +1,16 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-module-namespace-exotic-objects-setprototypeof
+desc: _ [[PreventExtensions]]
+info: |
+  [[PreventExtensions]] ( )
+    1. Return **true**.
+
+template: ignore
+---*/
+
+//- body
+Reflect.setPrototypeOf(ns, null);
+Reflect.setPrototypeOf(ns, {});

src/import-defer/trigger-on-possible-export/string-exported.template

@@ -0,0 +1,35 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/import/import-defer/evaluation-triggers/trigger-exported-string-
+name: of a string that is an exported name, triggers execution
+esid: sec-module-namespace-exotic-objects
+info: |
+  IsSymbolLikeNamespaceKey ( _P_, _O_ )
+    1. If _P_ is a Symbol, return *true*.
+    1. If _ns_.[[Deferred]] is *true* and _P_ is "then", return *true*.
+    1. Return *false*.
+
+  GetModuleExportsList ( _O_ )
+    1. If _O_.[[Deferred]] is *true*, then
+      1. Let _m_ be _O_.[[Module]].
+      1. If _m_ is a Cyclic Module Record, _m_.[[Status]] is not ~evaluated~, and ReadyForSyncExecution(_m_) is *false*, throw a *TypeError* exception.
+      1. Perform ? EvaluateSync(_m_).
+    1. Return _O_.[[Exports]].
+
+flags: [module]
+features: [import-defer]
+---*/
+
+import "./setup_FIXTURE.js";
+
+import defer * as ns from "./dep_FIXTURE.js";
+
+assert.sameValue(globalThis.evaluations.length, 0, "import defer does not trigger evaluation");
+
+var key = "exported";
+
+/*{ body }*/
+
+assert(globalThis.evaluations.length > 0, "It triggers evaluation");

src/import-defer/trigger-on-possible-export/string-not-exported.template

@@ -0,0 +1,35 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/import/import-defer/evaluation-triggers/trigger-not-exported-string-
+name: of a string that is not an exported name, triggers execution
+esid: sec-module-namespace-exotic-objects
+info: |
+  IsSymbolLikeNamespaceKey ( _P_, _O_ )
+    1. If _P_ is a Symbol, return *true*.
+    1. If _ns_.[[Deferred]] is *true* and _P_ is "then", return *true*.
+    1. Return *false*.
+
+  GetModuleExportsList ( _O_ )
+    1. If _O_.[[Deferred]] is *true*, then
+      1. Let _m_ be _O_.[[Module]].
+      1. If _m_ is a Cyclic Module Record, _m_.[[Status]] is not ~evaluated~, and ReadyForSyncExecution(_m_) is *false*, throw a *TypeError* exception.
+      1. Perform ? EvaluateSync(_m_).
+    1. Return _O_.[[Exports]].
+
+flags: [module]
+features: [import-defer]
+---*/
+
+import "./setup_FIXTURE.js";
+
+import defer * as ns from "./dep_FIXTURE.js";
+
+assert.sameValue(globalThis.evaluations.length, 0, "import defer does not trigger evaluation");
+
+var key = "notExported";
+
+/*{ body }*/
+
+assert(globalThis.evaluations.length > 0, "It triggers evaluation");

src/import-defer/trigger-on-possible-export/symbol-other.template

@@ -0,0 +1,35 @@
+// Copyright (C) 2024 Igalia, S.L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/import/import-defer/evaluation-triggers/ignore-symbol-other-
+name: of a symbol that is not a property of the namespace object, does not trigger execution
+esid: sec-module-namespace-exotic-objects
+info: |
+  IsSymbolLikeNamespaceKey ( _P_, _O_ )
+    1. If _P_ is a Symbol, return *true*.
+    1. If _ns_.[[Deferred]] is *true* and _P_ is "then", return *true*.
+    1. Return *false*.
+
+  GetModuleExportsList ( _O_ )
+    1. If _O_.[[Deferred]] is *true*, then
+      1. Let _m_ be _O_.[[Module]].
+      1. If _m_ is a Cyclic Module Record, _m_.[[Status]] is not ~evaluated~, and ReadyForSyncExecution(_m_) is *false*, throw a *TypeError* exception.
+      1. Perform ? EvaluateSync(_m_).
+    1. Return _O_.[[Exports]].
+
+flags: [module]
+features: [import-defer]
+---*/
+
+import "./setup_FIXTURE.js";
+
+import defer * as ns from "./dep_FIXTURE.js";
+
+assert.sameValue(globalThis.evaluations.length, 0, "import defer does not trigger evaluation");
+
+var key = Symbol();
+
+/*{ body }*/
+
+assert.sameValue(globalThis.evaluations.length, 0, "It does not trigger evaluation");