Issue #462: NNBD tripple-shift tests for weak mode added.
diff --git a/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A01_t03.dart b/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A01_t03.dart
new file mode 100644
index 0000000..676127a
--- /dev/null
+++ b/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A01_t03.dart
@@ -0,0 +1,25 @@
+/*
+ * Copyright (c) 2021, 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 It's not an error to read definitely assigned local variable in
+ * the form var x;
+ *
+ * @description Checks that it's not an error to read definitely assigned local
+ * variable in the form var x;. Test indirect read via triple shift compound
+ * assignment
+ *
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=triple-shift
+// Requirements=nnbd-weak
+import '../../../../Utils/expect.dart';
+
+main() {
+ var x;
+ x = 42;
+ x >>>= 2;
+ Expect.equals(42 >>> 2, x);
+}
diff --git a/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A02_t03.dart b/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A02_t03.dart
new file mode 100644
index 0000000..3ebd846
--- /dev/null
+++ b/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A02_t03.dart
@@ -0,0 +1,35 @@
+/*
+ * Copyright (c) 2021, 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 It's not an error to read potentially assigned local variable in
+ * the form var x;
+ *
+ * @description Checks that it's not an error to read potentially assigned local
+ * variable in the form var x;. Test indirect read via triple shift compound
+ * assignment
+ *
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=triple-shift
+// Requirements=nnbd-weak
+import '../../../../Utils/expect.dart';
+
+main() {
+ bool b = true;
+ var x;
+ if (b) {
+ x = 42;
+ }
+ x >>>= 2;
+ Expect.equals(42 >>> 2, x);
+
+ var y;
+ b = false;
+ if (b) {
+ y = 42;
+ }
+ Expect.throws(() {x >>>= 2;});
+}
diff --git a/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A03_t03.dart b/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A03_t03.dart
new file mode 100644
index 0000000..5345fe2
--- /dev/null
+++ b/LanguageFeatures/nnbd/weak/tripple-shift/local_variable_read_A03_t03.dart
@@ -0,0 +1,26 @@
+/*
+ * Copyright (c) 2021, 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 It's not a compile error to read definitely unassigned local
+ * variable in the form var x;
+ *
+ * @description Checks that it's not a compile error to read definitely
+ * unassigned local variable in the form var x;. Test indirect read via triple
+ * shift compound assignment
+ *
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=triple-shift
+// Requirements=nnbd-weak
+import '../../../../Utils/expect.dart';
+
+main() {
+ var x;
+ try {
+ x >>>= 2;
+ Expect.fail("Exception expected");
+ } catch (_) {}
+}
diff --git a/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A09_t12.dart b/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A09_t12.dart
new file mode 100644
index 0000000..c7a0eff
--- /dev/null
+++ b/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A09_t12.dart
@@ -0,0 +1,44 @@
+/*
+ * Copyright (c) 2021, 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 The assignment e1?.f = e2 translates to:
+ * SHORT[EXP(e1), fn[x] => x.f = EXP(e2)]
+ *
+ * The other assignment operators are handled equivalently.
+ *
+ * @description Check that assignments like e1?.f >>>= e2 translates to:
+ * SHORT[EXP(e1), fn[x] => x.f >>>= EXP(e2)]
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=triple-shift
+// Requirements=nnbd-weak
+import "../../../../Utils/expect.dart";
+
+class C {
+ int test = 13;
+ init() {
+ test = 13;
+ }
+}
+
+void testShort(C? x, int e2) {
+ x?.init();
+ var actual1 = x?.test >>>= e2;
+ x?.init();
+ var n0 = x;
+ var expected1 = n0 == null ? null : n0.test >>>= e2;
+ Expect.equals(expected1, actual1);
+}
+
+main() {
+ C? c1 = null;
+ testShort(c1, 4);
+ c1 = new C();
+ testShort(c1, 4);
+
+ C c2 = new C();
+ testShort(c2, 4);
+}
diff --git a/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A11_t12.dart b/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A11_t12.dart
new file mode 100644
index 0000000..77a1083
--- /dev/null
+++ b/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A11_t12.dart
@@ -0,0 +1,32 @@
+/*
+ * Copyright (c) 2021, 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 If e1 translates to F then e1.f = e2 translates to:
+ * PASSTHRU[F, fn[x] => x.f = EXP(e2)]
+ *
+ * The other assignment operators are handled equivalently.
+ *
+ * @description Check that assignments like e1.f >>>= e2 translates to:
+ * PASSTHRU[F, fn[x] => x.f >>>= EXP(e2)]
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=triple-shift
+// Requirements=nnbd-weak
+import "../../../../Utils/expect.dart";
+
+class C {
+ int test = 12;
+}
+
+main() {
+ C? c1 = new C();
+ if (c1 != null) {
+ Expect.equals(12 >>> 8, c1.test >>>= 8);
+ }
+
+ C c2 = new C();
+ Expect.equals(12 >>> 8, c2.test >>>= 8);
+}
diff --git a/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A13_t12.dart b/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A13_t12.dart
new file mode 100644
index 0000000..6d10e86
--- /dev/null
+++ b/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A13_t12.dart
@@ -0,0 +1,46 @@
+/*
+ * Copyright (c) 2021, 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 If e1 translates to F then e1?[e2] = e3 translates to:
+ * SHORT[EXP(e1), fn[x] => x[EXP(e2)] = EXP(e3)]
+ *
+ * The other assignment operators are handled equivalently.
+ *
+ * @description Check that assignments like e1?[e2] >>>= e3 translates to:
+ * SHORT[EXP(e1), fn[x] => x[EXP(e2)] >>>= EXP(e3)]
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=triple-shift
+// Requirements=nnbd-weak
+import "../../../../Utils/expect.dart";
+
+class C {
+ List<int> _list = [3, 1, 4];
+ int operator[](int index) => _list[index];
+ void operator[]=(int index, dynamic value) => _list[index] = value;
+
+ void init() {
+ _list = [3, 1, 4];
+ }
+}
+
+void testShort(C? x, int index, dynamic value) {
+ var actual = x?[index] >>>= value;
+ var n0 = x;
+ x?.init();
+ var expected = n0 == null ? null : n0[index] >>>= value;
+ Expect.equals(expected, actual);
+}
+
+main() {
+ C? c1 = null;
+ testShort(c1, 0, 7);
+ c1 = new C();
+ testShort(c1, 0, 7);
+
+ C c2 = new C();
+ testShort(c2, 0, 7);
+}
diff --git a/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A15_t12.dart b/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A15_t12.dart
new file mode 100644
index 0000000..7ea030d
--- /dev/null
+++ b/LanguageFeatures/nnbd/weak/tripple-shift/null_aware_operator_A15_t12.dart
@@ -0,0 +1,34 @@
+/*
+ * Copyright (c) 2021, 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 If e1 translates to F then e1[e2] = e3 translates to:
+ * PASSTHRU[F, fn[x] => x[EXP(e2)] = EXP(e3)]
+ *
+ * The other assignment operators are handled equivalently.
+ *
+ * @description Check that if e1 translates to F then e1[e2] >>>= e3 translates
+ * to: PASSTHRU[F, fn[x] => x[EXP(e2)] >>>= EXP(e3)]
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=triple-shift
+// Requirements=nnbd-weak
+import "../../../../Utils/expect.dart";
+
+class C {
+ List<int> _list = [3, 1, 4, 1, 5, 9];
+ int operator[](int index) => _list[index];
+ void operator[]=(int index, dynamic value) => _list[index] = value;
+}
+
+main() {
+ C? c1 = new C();
+ if (c1 != null) {
+ Expect.equals(9 >>> 4, c1[5] >>>= 4);
+ }
+
+ C c2 = new C();
+ Expect.equals(5 >>> 4, c2[4] >>>= 4);
+}
\ No newline at end of file
