[tests] Porting instance and hierarchy change tests to the hot reload framework.

Change-Id: I7a11a43d34772f2020dda235327da71fa388f3ad
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/406062
Commit-Queue: Mark Zhou <[email protected]>
Reviewed-by: Nicholas Shahan <[email protected]>

Author: Markzipan

tests/hot_reload/change_instance_format0/main.0.dart

@@ -0,0 +1,30 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3806
+
+// Tests reload succeeds when instance format changes.
+// Change: Foo {a, b, c:42}  -> Foo {c:42}
+// Validate: c keeps the value in the retained Foo object.
+
+class Foo {
+  var a;
+  var b;
+  var c;
+}
+
+var f;
+
+Future<void> main() async {
+  f = Foo();
+  f.c = 42;
+  Expect.equals(42, f.c);
+  await hotReload();
+
+  Expect.equals(42, f.c);
+}

tests/hot_reload/change_instance_format0/main.1.dart

@@ -0,0 +1,40 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3806
+
+// Tests reload succeeds when instance format changes.
+// Change: Foo {a, b, c:42}  -> Foo {c:42}
+// Validate: c keeps the value in the retained Foo object.
+
+class Foo {
+  var c;
+}
+
+var f;
+
+Future<void> main() async {
+  f = Foo();
+  f.c = 42;
+  Expect.equals(42, f.c);
+  await hotReload();
+
+  Expect.equals(42, f.c);
+}
+
+/** DIFF **/
+/*
+ // Validate: c keeps the value in the retained Foo object.
+ 
+ class Foo {
+-  var a;
+-  var b;
+   var c;
+ }
+ 
+*/

tests/hot_reload/change_instance_format1/main.0.dart

@@ -0,0 +1,24 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3841
+
+// Tests reload succeeds when instance format changes.
+// Change: Foo {}  -> Foo {c:null}
+// Validate: c is initialized to null the retained Foo object.
+
+class Foo {}
+
+var f;
+
+Future<void> main() async {
+  f = Foo();
+  await hotReload();
+
+  Expect.isNull(f.c);
+}

tests/hot_reload/change_instance_format1/main.1.dart

@@ -0,0 +1,40 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3841
+
+// Tests reload succeeds when instance format changes.
+// Change: Foo {}  -> Foo {c:null}
+// Validate: c is initialized to null the retained Foo object.
+
+class Foo {
+  var c;
+}
+
+var f;
+
+Future<void> main() async {
+  f = Foo();
+  await hotReload();
+
+  Expect.isNull(f.c);
+}
+
+/** DIFF **/
+/*
+ // Change: Foo {}  -> Foo {c:null}
+ // Validate: c is initialized to null the retained Foo object.
+ 
+-class Foo {}
++class Foo {
++  var c;
++}
+ 
+ var f;
+ 
+*/

tests/hot_reload/change_instance_format2/main.0.dart

@@ -0,0 +1,28 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3872
+
+// Tests reload succeeds when instance format changes.
+// Change: Foo {c:42}  -> Foo {}
+// Validate: running the after script fails.
+
+class Foo {
+  var c;
+}
+
+var f;
+
+Future<void> main() async {
+  f = Foo();
+  f.c = 42;
+  Expect.equals(42, f.c);
+  await hotReload();
+
+  Expect.throws<NoSuchMethodError>(() => f.c);
+}

tests/hot_reload/change_instance_format2/main.1.dart

@@ -0,0 +1,40 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3872
+
+// Tests reload succeeds when instance format changes.
+// Change: Foo {c:42}  -> Foo {}
+// Validate: running the after script fails.
+
+class Foo {}
+
+var f;
+
+Future<void> main() async {
+  f = Foo();
+  f.c = 42;
+  Expect.equals(42, f.c);
+  await hotReload();
+
+  Expect.throws<NoSuchMethodError>(() => f.c);
+}
+
+/** DIFF **/
+/*
+ // Change: Foo {c:42}  -> Foo {}
+ // Validate: running the after script fails.
+ 
+-class Foo {
+-  var c;
+-}
++class Foo {}
+ 
+ var f;
+ 
+*/

tests/hot_reload/change_instance_format3/main.0.dart

@@ -0,0 +1,38 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3908
+
+// Tests reload succeeds when instance format changes.
+// Change: Foo {a, b, c:42, d}  -> Foo {c:42, g}
+// Validate: c keeps the value in the retained Foo object.
+
+class Foo<A, B> {
+  var a;
+  var b;
+  var c;
+  var d;
+}
+
+helper() {
+  f = Foo();
+  f.a = 1;
+  f.b = 2;
+  f.c = 3;
+  f.d = 4;
+}
+
+var f;
+
+Future<void> main() async {
+  helper();
+  Expect.equals(3, f.c);
+  await hotReload();
+
+  Expect.equals(3, f.c);
+}

tests/hot_reload/change_instance_format3/main.1.dart

@@ -0,0 +1,55 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3908
+
+// Tests reload succeeds when instance format changes.
+// Change: Foo {a, b, c:42, d}  -> Foo {c:42, g}
+// Validate: c keeps the value in the retained Foo object.
+
+class Foo<A, B> {
+  var c;
+  var g;
+}
+
+helper() {}
+
+var f;
+
+Future<void> main() async {
+  helper();
+  Expect.equals(3, f.c);
+  await hotReload();
+
+  Expect.equals(3, f.c);
+}
+
+/** DIFF **/
+/*
+ // Validate: c keeps the value in the retained Foo object.
+ 
+ class Foo<A, B> {
+-  var a;
+-  var b;
+   var c;
+-  var d;
++  var g;
+ }
+ 
+-helper() {
+-  f = Foo();
+-  f.a = 1;
+-  f.b = 2;
+-  f.c = 3;
+-  f.d = 4;
+-}
++helper() {}
+ 
+ var f;
+ 
+*/

tests/hot_reload/change_instance_format4/main.0.dart

@@ -0,0 +1,33 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3948
+
+// Tests reload succeeds when instance format changes.
+// Change: Bar {c:42}, Foo : Bar {d, e} -> Foo {c:42}
+// Validate: c keeps the value in the retained Foo object.
+
+class Bar {
+  var c;
+}
+
+class Foo extends Bar {
+  var d;
+  var e;
+}
+
+var f;
+
+Future<void> main() async {
+  f = Foo();
+  f.c = 42;
+  Expect.equals(42, f.c);
+  await hotReload();
+
+  Expect.equals(42, f.c);
+}

tests/hot_reload/change_instance_format4/main.1.dart

@@ -0,0 +1,48 @@
+// 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.
+
+import 'package:expect/expect.dart';
+import 'package:reload_test/reload_test_utils.dart';
+
+// Adapted from:
+// https://github.com/dart-lang/sdk/blob/1a486499bf73ee5b007abbe522b94869a1f36d02/runtime/vm/isolate_reload_test.cc#L3948
+
+// Tests reload succeeds when instance format changes.
+// Change: Bar {c:42}, Foo : Bar {d, e} -> Foo {c:42}
+// Validate: c keeps the value in the retained Foo object.
+
+class Foo {
+  var c;
+}
+
+var f;
+
+Future<void> main() async {
+  f = Foo();
+  f.c = 42;
+  Expect.equals(42, f.c);
+  await hotReload();
+
+  Expect.equals(42, f.c);
+}
+
+/** DIFF **/
+/*
+ // Change: Bar {c:42}, Foo : Bar {d, e} -> Foo {c:42}
+ // Validate: c keeps the value in the retained Foo object.
+ 
+-class Bar {
++class Foo {
+   var c;
+ }
+ 
+-class Foo extends Bar {
+-  var d;
+-  var e;
+-}
+-
+ var f;
+ 
+ Future<void> main() async {
+*/