// 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 if e evaluates to an object o that is not an instance of Future,
/// then let f be the result of calling Future.value() with o as its argument;
/// otherwise let f be the result of evaluating e.
///    Next, execution of the function m immediately enclosing a is suspended
/// until after f completes. The stream associated with the innermost enclosing
/// asynchronous for loop, if any, is paused. At some time after f is completed,
/// control returns to the current invocation. The stream associated with the
/// innermost enclosing asynchronous for loop, if any, is resumed. If f has
/// completed with an exception x, a raises x. If f completes with a value v,
/// a evaluates to v.
///
/// @description Check that if e evaluates to an instance of Future f and f
/// completes with a value v, then await expression value equals to v.
///
/// @author a.semenov@unipro.ru


import 'dart:async';
import '../../../Utils/expect.dart';

const String HELLO = 'hello';

Future<int>f1() {
  return new Future<int>(() => int.parse('100' + '500'));
}

Future<String> f2() {
  return new Future<String>(() => HELLO);
}

Future<String> f3() {
  return new Future<String>(() => (100000 + 500).toString());
}

test() async {
  Expect.identical(HELLO, await new Future.value(HELLO));
  Expect.equals(100500, await new Future.sync(() => 100000 + 500));

  Expect.equals(100500, await f1());
  Expect.identical(HELLO, await f2());
  Expect.equals('100500', await f3());
}

main() {
  asyncStart();
  test().then( (value) => asyncEnd() );
}