| // Copyright (c) 2015, 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 Furthermore, let ak be the set of asynchronous for loops and |
| /// yield-each statements enclosing sb that are enclosed in sE , 1 ≤ k ≤ m, |
| /// where ak is enclosed in ak+1 . The stream subscriptions associated with aj |
| /// are canceled, 1 ≤ j ≤ m, innermost first, so that aj is canceled before |
| /// aj+1. |
| /// |
| /// @description Test various enclosing combinations of asynchronous and |
| /// synchronous do-while loops with several break statements |
| /// |
| /// @author a.semenov@unipro.ru |
| |
| import 'dart:async'; |
| import '../../../Utils/expect.dart'; |
| |
| StreamController<String> newStreamControllerString(int id, List<int> log) { |
| StreamController<String> sc = new StreamController<String>(); |
| sc.add('a' + id.toString()); |
| sc.add('b' + id.toString()); |
| sc.onCancel = () { |
| log.add(id); |
| }; |
| return sc; |
| } |
| |
| Future test1() async { |
| List<int> log = []; |
| |
| L4: |
| await for (String s in newStreamControllerString(2, log).stream) { |
| L3: |
| do { |
| L2: |
| await for (String s in newStreamControllerString(1, log).stream) { |
| L1: |
| do { |
| L0: |
| await for (String s in newStreamControllerString(0, log).stream) { |
| break L0; |
| } |
| break L1; |
| } while (log.length < 10); |
| break L2; |
| } |
| break L3; |
| } while (log.length < 10); |
| break L4; |
| } |
| Expect.listEquals([0, 1, 2], log); |
| } |
| |
| Future test2() async { |
| List<int> log = []; |
| |
| L0: |
| do { |
| L1: |
| await for (String s in newStreamControllerString(0, log).stream) { |
| L2: |
| do { |
| L3: |
| await for (String s in newStreamControllerString(1, log).stream) { |
| L4: |
| do { |
| break L4; |
| } while (log.length < 10); |
| await for (String s in newStreamControllerString(2, log).stream) { |
| break L3; |
| } |
| } |
| do { |
| await for (String s in newStreamControllerString(3, log).stream) { |
| break L1; |
| } |
| } while (log.length < 10); |
| } while (log.length < 10); |
| } |
| break L0; |
| } while (log.length < 10); |
| Expect.listEquals([2, 1, 3, 0], log); |
| } |
| |
| Future test3() async { |
| List<int> log = []; |
| |
| L0: |
| await for (String s in newStreamControllerString(0, log).stream) { |
| L1: |
| do { |
| break L0; |
| L2: |
| await for (String s in newStreamControllerString(1, log).stream) { |
| L3: |
| do { |
| L4: |
| await for (String s in newStreamControllerString(2, log).stream) { |
| break L4; |
| } |
| do { |
| break L3; |
| } while (log.length < 10); |
| } while (log.length < 10); |
| await for (String s in newStreamControllerString(3, log).stream) { |
| do { |
| break L1; |
| } while (log.length < 10); |
| } |
| } |
| } while (log.length < 10); |
| break L0; |
| } |
| Expect.listEquals([0], log); |
| } |
| |
| |
| Future test4() async { |
| List<int> log = []; |
| int i = 0; |
| |
| do { |
| var streamController0 = newStreamControllerString(i++, log); |
| await for (String s in streamController0.stream) { |
| L1: |
| do { |
| await for (String s in newStreamControllerString(i++, log).stream) { |
| break L1; |
| } |
| } while (log.length < 10); |
| L2: |
| await for (String s in newStreamControllerString(i++, log).stream) { |
| do { |
| break L2; |
| } while (log.length < 10); |
| } |
| if (s.startsWith("b")) { |
| streamController0.close(); |
| } |
| } |
| } while (i < 9); |
| Expect.listEquals([1, 2, 3, 4, 0, 6, 7, 8, 9, 5], log); |
| } |
| main() { |
| asyncStart(); |
| Future.wait([test1(), test2(), test3(), test4()]).then((v) => asyncEnd()); |
| } |