#3180. Add more tests for JS interop. Part 3. (#3278)

Add more tests for JS interop. Part 3.

Author: sgrekhov

LibTest/js_interop/interop_A01_t13.dart

@@ -0,0 +1,57 @@
+// Copyright (c) 2025, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion Within an interop type, you can declare several different types
+/// of external interop members:
+/// - Constructors. When called, constructors with only positional parameters
+///   create a new JS object whose constructor is defined by the name of the
+///   extension type using `new`.
+///
+/// @description Check that parameters with private names and wildcard can be
+/// used in an external constructor of a JS interop type.
+/// @author [email protected]
+
+import 'dart:js_interop';
+import '../../Utils/expect.dart';
+import 'js_utils.dart';
+
+extension type ET._(JSObject _) implements JSObject {
+  external ET(int _, String? _name);
+
+  external int get id;
+  external String? get name;
+}
+
+@JS("ET")
+extension type ET2._(JSObject _) implements JSObject {
+  external factory ET2(int _id, String? _);
+
+  external int get id;
+  external String? get name;
+}
+
+main() {
+  eval(r'''
+    class ET {
+      constructor(id, name) {
+        this._id = id;
+        this._name = name;
+      }
+      get id() {
+        return this._id;
+      }
+      get name() {
+        return this._name;
+      }
+    }
+    globalThis.ET = ET;
+  ''');
+  ET et1 = ET(1, "one");
+  Expect.equals(1, et1.id);
+  Expect.equals("one", et1.name);
+
+  ET2 et2 = ET2(2, "two");
+  Expect.equals(2, et2.id);
+  Expect.equals("two", et2.name);
+}

LibTest/js_interop/interop_A01_t14.dart

@@ -0,0 +1,57 @@
+// Copyright (c) 2025, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion Within an interop type, you can declare several different types
+/// of external interop members:
+/// - Constructors. When called, constructors with only positional parameters
+///   create a new JS object whose constructor is defined by the name of the
+///   extension type using `new`.
+///
+/// @description Check that a constructor of a JS interop type with a private
+/// name can be used in JS interop.
+/// @author [email protected]
+
+import 'dart:js_interop';
+import '../../Utils/expect.dart';
+import 'js_utils.dart';
+
+extension type ET._(JSObject _) implements JSObject {
+  external ET._create(int id, String? name);
+
+  external int get id;
+  external String? get name;
+}
+
+@JS("ET")
+extension type ET2._(JSObject _) implements JSObject {
+  external factory ET2._create(int id, String? name);
+
+  external int get id;
+  external String? get name;
+}
+
+main() {
+  eval(r'''
+    class ET {
+      constructor(id, name) {
+        this._id = id;
+        this._name = name;
+      }
+      get id() {
+        return this._id;
+      }
+      get name() {
+        return this._name;
+      }
+    }
+    globalThis.ET = ET;
+  ''');
+  ET et1 = ET._create(1, "one");
+  Expect.equals(1, et1.id);
+  Expect.equals("one", et1.name);
+
+  ET2 et2 = ET2._create(2, "two");
+  Expect.equals(2, et2.id);
+  Expect.equals("two", et2.name);
+}

LibTest/js_interop/interop_A02_t05.dart

@@ -0,0 +1,69 @@
+// Copyright (c) 2025, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion Within an interop type, you can declare several different types
+/// of external interop members:
+/// ...
+/// - Object literal constructors. It's sometimes useful to create a JS object
+///   literal that simply contains a number of properties and their values. In
+///   order to do this, declare a constructor with only named parameters, where
+///   the names of the parameters match the property names.
+///
+/// @description Check that default values of a constructor of a JS interop type
+/// with named parameters are ignored.
+/// @author [email protected]
+/// @issue 61289
+
+import 'dart:js_interop';
+import 'dart:js_interop_unsafe';
+import '../../Utils/expect.dart';
+import 'js_utils.dart';
+
+extension type ET1._(JSObject _) implements JSObject {
+  external ET1({int id = 0, String name = "default"});
+
+  external int? get id;
+  external String? get name;
+}
+
+extension type ET2._(JSObject _) implements JSObject {
+  external factory ET2({int id = 0, String name = "default"});
+
+  external int? get id;
+  external String? get name;
+}
+
+main() {
+  globalContext["et1"] = ET1();
+  eval(r'''
+    globalThis.v1 = globalThis.et1.id;
+    globalThis.v2 = globalThis.et1.name;
+  ''');
+  Expect.isNull(globalContext["v1"]);
+  Expect.isNull(globalContext["v2"]);
+
+  globalContext["et2"] = ET1(id: 2);
+  eval(r'''
+    globalThis.v3 = globalThis.et2.id;
+    globalThis.v4 = globalThis.et2.name;
+  ''');
+  Expect.equals(2, (globalContext["v3"] as JSNumber).toDartInt);
+  Expect.isNull(globalContext["v4"]);
+
+  globalContext["et3"] = ET2();
+  eval(r'''
+    globalThis.v5 = globalThis.et3.id;
+    globalThis.v6 = globalThis.et3.name;
+  ''');
+  Expect.isNull(globalContext["v5"]);
+  Expect.isNull(globalContext["v6"]);
+
+  globalContext["et4"] = ET2(id: 4);
+  eval(r'''
+    globalThis.v7 = globalThis.et4.id;
+    globalThis.v8 = globalThis.et4.name;
+  ''');
+  Expect.equals(4, (globalContext["v7"] as JSNumber).toDartInt);
+  Expect.isNull(globalContext["v8"]);
+}

LibTest/js_interop/interop_A02_t06.dart

@@ -0,0 +1,53 @@
+// Copyright (c) 2025, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion Within an interop type, you can declare several different types
+/// of external interop members:
+/// ...
+/// - Object literal constructors. It's sometimes useful to create a JS object
+///   literal that simply contains a number of properties and their values. In
+///   order to do this, declare a constructor with only named parameters, where
+///   the names of the parameters match the property names.
+///
+/// @description Check that a constructor of a JS interop type with named
+/// parameters creates a new JS object with all properties defined by the
+/// constructor. Test constructors with private names.
+/// @author [email protected]
+
+import 'dart:js_interop';
+import 'dart:js_interop_unsafe';
+import '../../Utils/expect.dart';
+import 'js_utils.dart';
+
+extension type ET1._(JSObject _) implements JSObject {
+  external ET1._create({int id, String? name});
+
+  external int get id;
+  external String? get name;
+}
+
+extension type ET2._(JSObject _) implements JSObject {
+  external factory ET2._create({int id, String? name});
+
+  external int get id;
+  external String? get name;
+}
+
+main() {
+  globalContext["et1"] = ET1._create(id: 1, name: "one");
+  eval(r'''
+    globalThis.v1 = globalThis.et1.id;
+    globalThis.v2 = globalThis.et1.name;
+  ''');
+  Expect.equals(1, (globalContext["v1"] as JSNumber).toDartInt);
+  Expect.equals("one", (globalContext["v2"] as JSString).toDart);
+
+  globalContext["et2"] = ET2._create(id: 2, name: "two");
+  eval(r'''
+    globalThis.v3 = globalThis.et2.id;
+    globalThis.v4 = globalThis.et2.name;
+  ''');
+  Expect.equals(2, (globalContext["v3"] as JSNumber).toDartInt);
+  Expect.equals("two", (globalContext["v4"] as JSString).toDart);
+}

LibTest/js_interop/interop_A03_t03.dart

@@ -0,0 +1,60 @@
+// Copyright (c) 2025, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion Within an interop type, you can declare several different types
+/// of external interop members:
+/// ...
+/// - static members. Like constructors, static members use the name of the
+///   extension type to generate the JS code.
+///
+/// @description Check that static members use the name of the extension type to
+/// generate the JS code. Test private names of the static members.
+/// @author [email protected]
+
+import 'dart:js_interop';
+import '../../Utils/expect.dart';
+import 'js_utils.dart';
+
+extension type ET._(JSObject _) implements JSObject {
+  external static int _variable;
+  external static int get _getter;
+  external static String _method(String _);
+  external static void set _setter(int value);
+}
+
+@JS("ET")
+extension type ET2._(JSObject _) implements JSObject {
+  external static int _variable;
+  external static int get _getter;
+  external static String _method(String _);
+  external static void set _setter(int value);
+}
+
+main() {
+  eval(r'''
+    class ET {
+      static _variable = 42;
+      static get _getter() {
+        return ET._variable;
+      }
+      static _method(v) {
+        return v;
+      }
+      static set _setter(value) {
+        ET._variable = value;
+      }
+    }
+    globalThis.ET = ET;
+  ''');
+
+  Expect.equals(42, ET._variable);
+  Expect.equals("x", ET._method("x"));
+  ET._setter = -1;
+  Expect.equals(-1, ET._getter);
+
+  Expect.equals(-1, ET2._variable);
+  Expect.equals("y", ET2._method("y"));
+  ET2._setter = 42;
+  Expect.equals(42, ET2._getter);
+}

LibTest/js_interop/interop_A04_t02.dart

@@ -0,0 +1,68 @@
+// Copyright (c) 2025, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion Within an interop type, you can declare several different types
+/// of external interop members:
+/// ...
+/// - Instance members. Like with other Dart types, instance members require an
+///   instance to be used. These members get, set, or invoke properties on the
+///   instance.
+///
+/// @description Check that instance members with private names are allowed in
+/// JS interop.
+/// @author [email protected]
+
+import 'dart:js_interop';
+import '../../Utils/expect.dart';
+import 'js_utils.dart';
+
+extension type ET._(JSObject _) implements JSObject {
+  external ET();
+  external int _variable;
+  external int get _getter;
+  external String _method(String _);
+  external void set _setter(int value);
+}
+
+@JS("ET")
+extension type ET2._(JSObject _) implements JSObject {
+  external ET2();
+  external int _variable;
+  external int get _getter;
+  external String _method(String _);
+  external void set _setter(int value);
+}
+
+main() {
+  eval(r'''
+    class ET {
+      constructor() {
+        this._variable = 0;
+      }
+      get _getter() {
+        return this._variable;
+      }
+      _method(v) {
+        return v;
+      }
+      set _setter(value) {
+        this._variable = value;
+      }
+    }
+    globalThis.ET = ET;
+  ''');
+  ET et = ET();
+  Expect.equals(0, et._variable);
+  Expect.equals(0, et._getter);
+  et._setter = 42;
+  Expect.equals(42, et._getter);
+  Expect.equals("x", et._method("x"));
+
+  ET2 et2 = ET2();
+  Expect.equals(0, et2._variable);
+  Expect.equals(0, et2._getter);
+  et2._setter = 42;
+  Expect.equals(42, et2._getter);
+  Expect.equals("y", et2._method("y"));
+}