Language/Statements/Break/async_loops_t09.dart

// 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());
}