Migrate language_2/setter to NNBD.

Change-Id: I5c234c68d35d83b0b1f1e299303dd29cf972fdb7
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/150845
Reviewed-by: Nicholas Shahan <nshahan@google.com>
Commit-Queue: Bob Nystrom <rnystrom@google.com>
Auto-Submit: Bob Nystrom <rnystrom@google.com>

Author: munificent

tests/language/setter/checked2_test.dart

@@ -0,0 +1,21 @@
+// Copyright (c) 2013, 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.
+
+// Test that implicit setters do a type check generic types.
+import "package:expect/expect.dart";
+
+class A {
+  late C<int> c;
+}
+
+class B extends A {}
+
+class C<T> {}
+
+var array = <dynamic>[new B()];
+
+main() {
+  array[0].c = new C<int>();
+  Expect.throwsTypeError(() => array[0].c = new C<bool>());
+}

tests/language/setter/checked3_test.dart

@@ -0,0 +1,31 @@
+// Copyright (c) 2013, 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";
+
+class A<T> {
+  late T field;
+}
+
+class B<T> {
+  T field = 42 as dynamic;
+}
+
+main() {
+  var a = new A<String>();
+  dynamic s = "string";
+
+  // This assignment is OK.
+  a.field = s;
+
+  dynamic i = 42;
+  Expect.throwsTypeError(() => a.field = i);
+
+  // Throws because the field initializer fails the implicit cast.
+  Expect.throwsTypeError(() => new B<String>());
+
+  // Throws because the assigned value fails the implicit cast.
+  var b = new B<int>();
+  Expect.throwsTypeError(() => b.field = s);
+}

tests/language/setter/checked_setter_test.dart

@@ -0,0 +1,22 @@
+// Copyright (c) 2013, 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.
+
+// Test that implicit setters do a runtime type check.
+
+import "package:expect/expect.dart";
+
+class A {
+  late C c;
+}
+
+class B extends A {}
+
+class C {}
+
+var array = <dynamic>[new B()];
+
+main() {
+  array[0].c = new C();
+  Expect.throwsTypeError(() => array[0].c = new B());
+}

tests/language/setter/declaration_test.dart

@@ -0,0 +1,22 @@
+// Copyright (c) 2019, 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.
+
+/// Test that a setter has a single argument.
+
+set tooFew() {}
+//  ^^^^^^
+// [analyzer] COMPILE_TIME_ERROR.WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER
+//        ^
+// [cfe] A setter should have exactly one formal parameter.
+
+set tooMany(var value, var extra) {}
+//  ^^^^^^^
+// [analyzer] COMPILE_TIME_ERROR.WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER
+//         ^
+// [cfe] A setter should have exactly one formal parameter.
+
+main() {
+  tooFew = 1;
+  tooMany = 2;
+}

tests/language/setter/no_getter_call_runtime_test.dart

@@ -0,0 +1,29 @@
+// TODO(multitest): This was automatically migrated from a multitest and may
+// contain strange or dead code.
+
+// Copyright (c) 2012, 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 topLevelClosure;
+
+
+get topLevel => topLevelClosure;
+
+set topLevel(var value) {}
+
+initialize() {
+  print("initializing");
+  topLevelClosure = (x) => x * 2;
+}
+
+main() {
+  initialize();
+  var x = topLevelClosure(2);
+  Expect.equals(4, x);
+
+  x = topLevel(3);
+  Expect.equals(6, x);
+}

tests/language/setter/no_getter_call_test.dart

@@ -0,0 +1,29 @@
+// Copyright (c) 2012, 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 topLevelClosure;
+
+/*
+get topLevel => topLevelClosure;
+*/
+set topLevel(var value) {}
+
+initialize() {
+  print("initializing");
+  topLevelClosure = (x) => x * 2;
+}
+
+main() {
+  initialize();
+  var x = topLevelClosure(2);
+  Expect.equals(4, x);
+
+  x = topLevel(3);
+  //  ^^^^^^^^
+  // [analyzer] STATIC_TYPE_WARNING.UNDEFINED_FUNCTION
+  // [cfe] Getter not found: 'topLevel'.
+  Expect.equals(6, x);
+}

tests/language/setter/no_getter_test.dart

@@ -0,0 +1,22 @@
+// Copyright (c) 2012, 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.
+
+set topLevel(var value) {}
+
+class Example {
+  set foo(var value) {}
+}
+
+main() {
+  print(topLevel++);
+  //    ^
+  // [analyzer] unspecified
+  // [cfe] Getter not found: 'topLevel'.
+
+  Example ex = new Example();
+  print(ex.foo++);
+  //       ^^^
+  // [analyzer] STATIC_TYPE_WARNING.UNDEFINED_GETTER
+  // [cfe] The getter 'foo' isn't defined for the class 'Example'.
+}

tests/language/setter/override2_test.dart

@@ -0,0 +1,30 @@
+// Copyright (c) 2013, 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.
+
+// Test that we do not report a compile-time error when an instance setter named
+// foo= is declared in a class inheriting an instance method, field, or getter
+// named foo, or an instance setter named foo=.
+
+import "package:expect/expect.dart";
+import "package:meta/meta.dart" show virtual;
+
+class A {
+  var foo = 42; // //# 00: ok
+  get foo => 42; // //# 01: ok
+  foo() => 42; // //# 02: compile-time error
+  set foo(value) {} // //# 03: ok
+}
+
+class B extends A {
+  var foo_;
+  set foo(value) {
+    foo_ = value;
+  }
+}
+
+main() {
+  var b = new B();
+  b.foo = 42;
+  Expect.equals(42, b.foo_);
+}

tests/language/setter/override3_test.dart

@@ -0,0 +1,26 @@
+// Copyright (c) 2016, 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.
+
+// Tests that a setter in a subclass does not shadow the getter in the
+// superclass.
+import "package:expect/expect.dart";
+
+class A {
+  int _x = 42;
+  int get x => _x;
+}
+
+class B extends A {
+  void set x(int val) {
+    _x = val;
+  }
+}
+
+void main() {
+  var b = new B();
+  Expect.equals(42, b.x);
+
+  b.x = 21;
+  Expect.equals(21, b.x);
+}

tests/language/setter/override_test.dart

@@ -0,0 +1,29 @@
+// Copyright (c) 2013, 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.
+
+// Test that we do not report a compile-time error when a static setter named
+// foo= is declared in a class inheriting an instance method or getter named
+// foo, and that we do report an error if an instance setter named foo= or
+// instance field name foo is inherited.
+
+import "package:expect/expect.dart";
+
+class A {
+  var foo = 42; // //# 00: compile-time error
+  get foo => 42; // //# 01: compile-time error
+  foo() => 42; // //# 02: compile-time error
+  set foo(value) {} // //# 03: compile-time error
+}
+
+class B extends A {
+  static var foo_;
+  static set foo(value) {
+    foo_ = value;
+  }
+}
+
+main() {
+  B.foo = 42;
+  Expect.equals(42, B.foo_);
+}