Migrate language_2/rewrite to NNBD.

Change-Id: I9a8e4fddebeb7a4e467e86256cd89204bfedf07d
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/150696
Auto-Submit: Bob Nystrom <[email protected]>
Commit-Queue: Erik Ernst <[email protected]>
Reviewed-by: Erik Ernst <[email protected]>

Author: munificent

tests/language/rewrite/assign_test.dart

@@ -0,0 +1,26 @@
+// Copyright (c) 2014, 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";
+
+bar(x, y) {}
+
+foo(b) {
+  var x, y;
+  if (b) {
+    x = 1;
+    y = 2;
+  } else {
+    x = 2;
+    y = 1;
+  }
+  bar(x, y);
+  bar(x, y);
+  return x;
+}
+
+main() {
+  Expect.equals(1, foo(true));
+  Expect.equals(2, foo(false));
+}

tests/language/rewrite/compound_assign_test.dart

@@ -0,0 +1,131 @@
+// Copyright (c) 2014, 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";
+
+var global = 0;
+
+class Foo {
+  var field = 0;
+  static var staticField = 0;
+}
+
+field_compound1(obj) {
+  return obj.field = obj.field + 5;
+}
+
+field_compound2(obj) {
+  return obj.field = obj.field + 1;
+}
+
+field_compound3(obj) {
+  return obj.field = obj.field - 1;
+}
+
+field_compound4(obj) {
+  return obj.field = obj.field * 1;
+}
+
+static_compound1() {
+  return Foo.staticField = Foo.staticField + 5;
+}
+
+static_compound2() {
+  return Foo.staticField = Foo.staticField + 1;
+}
+
+static_compound3() {
+  return Foo.staticField = Foo.staticField - 1;
+}
+
+static_compound4() {
+  return Foo.staticField = Foo.staticField * 1;
+}
+
+global_compound1() {
+  return global = global + 5;
+}
+
+global_compound2() {
+  return global = global + 1;
+}
+
+global_compound3() {
+  return global = global - 1;
+}
+
+global_compound4() {
+  return global = global * 1;
+}
+
+local_compound1(x) {
+  x = x + 5;
+  if (x > 0) {
+    return x;
+  }
+  return -x;
+}
+
+local_compound2(x) {
+  x = x + 1;
+  if (x > 0) {
+    return x;
+  }
+  return -x;
+}
+
+local_compound3(x) {
+  x = x - 1;
+  if (x > 0) {
+    return x;
+  }
+  return -x;
+}
+
+local_compound4(x) {
+  x = x * 1;
+  if (x > 0) {
+    return x;
+  }
+  return -x;
+}
+
+main() {
+  var obj = new Foo();
+  Expect.equals(5, field_compound1(obj));
+  Expect.equals(5, obj.field);
+  Expect.equals(6, field_compound2(obj));
+  Expect.equals(6, obj.field);
+  Expect.equals(5, field_compound3(obj));
+  Expect.equals(5, obj.field);
+  Expect.equals(5, field_compound4(obj));
+  Expect.equals(5, obj.field);
+
+  Expect.equals(5, static_compound1());
+  Expect.equals(5, Foo.staticField);
+  Expect.equals(6, static_compound2());
+  Expect.equals(6, Foo.staticField);
+  Expect.equals(5, static_compound3());
+  Expect.equals(5, Foo.staticField);
+  Expect.equals(5, static_compound4());
+  Expect.equals(5, Foo.staticField);
+
+  Expect.equals(5, global_compound1());
+  Expect.equals(5, global);
+  Expect.equals(6, global_compound2());
+  Expect.equals(6, global);
+  Expect.equals(5, global_compound3());
+  Expect.equals(5, global);
+  Expect.equals(5, global_compound4());
+  Expect.equals(5, global);
+
+  Expect.equals(8, local_compound1(3));
+  Expect.equals(3, local_compound1(-8));
+  Expect.equals(4, local_compound2(3));
+  Expect.equals(7, local_compound2(-8));
+  Expect.equals(2, local_compound3(3));
+  Expect.equals(9, local_compound3(-8));
+  Expect.equals(3, local_compound4(3));
+  Expect.equals(8, local_compound4(-8));
+}

tests/language/rewrite/conditional_test.dart

@@ -0,0 +1,99 @@
+// Copyright (c) 2014, 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';
+
+var global = 0;
+
+bar() {
+  global += 1;
+}
+
+baz() {
+  global += 100;
+}
+
+foo(x, y, z) {
+  if ((x ? false : true) ? y : z) {
+    bar();
+    bar();
+  } else {
+    baz();
+    baz();
+  }
+}
+
+foo2(x, y, z) {
+  return (x ? false : true) ? y : z;
+}
+
+foo3(x, y, z) {
+  if (x ? (z ? false : true) : (y ? false : true)) {
+    baz();
+    baz();
+  } else {
+    bar();
+    bar();
+  }
+}
+
+main() {
+  foo(true, true, true);
+  Expect.equals(2, global);
+
+  foo(true, true, false);
+  Expect.equals(202, global);
+
+  foo(true, false, true);
+  Expect.equals(204, global);
+
+  foo(true, false, false);
+  Expect.equals(404, global);
+
+  foo(false, true, true);
+  Expect.equals(406, global);
+
+  foo(false, true, false);
+  Expect.equals(408, global);
+
+  foo(false, false, true);
+  Expect.equals(608, global);
+
+  foo(false, false, false);
+  Expect.equals(808, global);
+
+  Expect.equals(true, foo2(true, true, true));
+  Expect.equals(false, foo2(true, true, false));
+  Expect.equals(true, foo2(true, false, true));
+  Expect.equals(false, foo2(true, false, false));
+  Expect.equals(true, foo2(false, true, true));
+  Expect.equals(true, foo2(false, true, false));
+  Expect.equals(false, foo2(false, false, true));
+  Expect.equals(false, foo2(false, false, false));
+
+  global = 0;
+  foo3(true, true, true);
+  Expect.equals(2, global);
+
+  foo3(true, true, false);
+  Expect.equals(202, global);
+
+  foo3(true, false, true);
+  Expect.equals(204, global);
+
+  foo3(true, false, false);
+  Expect.equals(404, global);
+
+  foo3(false, true, true);
+  Expect.equals(406, global);
+
+  foo3(false, true, false);
+  Expect.equals(408, global);
+
+  foo3(false, false, true);
+  Expect.equals(608, global);
+
+  foo3(false, false, false);
+  Expect.equals(808, global);
+}

tests/language/rewrite/for_update_order_test.dart

@@ -0,0 +1,33 @@
+// Copyright (c) 2014, 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";
+
+var counter = 0;
+var global = 0;
+
+test() {
+  ++counter;
+  return counter <= 2;
+}
+
+first() {
+  global = global + 1;
+}
+
+second() {
+  global = global * 2;
+}
+
+foo() {
+  while (test()) {
+    first();
+    second();
+  }
+}
+
+main() {
+  foo();
+  Expect.equals(6, global);
+}

tests/language/rewrite/if_empty_then_test.dart

@@ -0,0 +1,50 @@
+// Copyright (c) 2014, 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";
+
+var global = 0;
+
+effect() {
+  global = 1;
+}
+
+baz(b) {
+  return b;
+}
+
+foo(b) {
+  if (b) {
+    // do nothing
+  } else {
+    effect();
+  }
+  return baz(b);
+}
+
+foo2(b) {
+  if (b) {
+    // do nothing (but implicit return may get inlined up here)
+  } else {
+    effect();
+  }
+}
+
+main() {
+  global = 0;
+  Expect.equals(true, foo(true));
+  Expect.equals(0, global);
+
+  global = 0;
+  Expect.equals(false, foo(false));
+  Expect.equals(1, global);
+
+  global = 0;
+  foo2(true);
+  Expect.equals(0, global);
+
+  global = 0;
+  foo2(false);
+  Expect.equals(1, global);
+}

tests/language/rewrite/if_return_test.dart

@@ -0,0 +1,47 @@
+// Copyright (c) 2014, 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";
+
+var global = 0;
+
+bar() {
+  global = 1;
+}
+
+baz() {
+  global = 2;
+}
+
+return_const(b) {
+  if (b) {
+    bar();
+    return 1;
+  } else {
+    baz();
+    return 1;
+  }
+}
+
+return_var(b, x) {
+  if (b) {
+    bar();
+    return x;
+  } else {
+    baz();
+    return x;
+  }
+}
+
+main() {
+  return_const(true);
+  Expect.equals(1, global);
+  return_const(false);
+  Expect.equals(2, global);
+
+  Expect.equals(4, return_var(true, 4));
+  Expect.equals(1, global);
+  Expect.equals(5, return_var(false, 5));
+  Expect.equals(2, global);
+}