blob: 086e8e62d6b07900844422c57385ba54a94a8fff [file] [log] [blame]
// 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.
// @dart = 2.9
import "dart:async";
import "package:expect/expect.dart";
import "package:async_helper/async_helper.dart";
@pragma('dart2js:noInline')
@pragma('dart2js:assumeDynamic')
confuse(x) {
return x;
}
test1() async {
Expect.isFalse(await confuse(false) && await confuse(false));
Expect.isFalse(await confuse(false) && await confuse(true));
Expect.isFalse(await confuse(true) && await confuse(false));
Expect.isTrue(await confuse(true) && await confuse(true));
Expect.isFalse(await confuse(false) || await confuse(false));
Expect.isTrue(await confuse(false) || await confuse(true));
Expect.isTrue(await confuse(true) || await confuse(false));
Expect.isTrue(await confuse(true) || await confuse(true));
}
String trace;
traceA(x) {
trace += "a";
return x;
}
traceB(x) {
trace += "b";
return x;
}
testEvaluation(Future<void> fn()) async {
trace = "";
await fn();
}
test2() async {
await testEvaluation(() async {
Expect.isFalse(
await confuse(traceA(false)) && await confuse(traceB(false)));
Expect.equals("a", trace);
});
await testEvaluation(() async {
Expect.isFalse(await confuse(traceA(false)) && await confuse(traceB(true)));
Expect.equals("a", trace);
});
await testEvaluation(() async {
Expect.isFalse(await confuse(traceA(true)) && await confuse(traceB(false)));
Expect.equals("ab", trace);
});
await testEvaluation(() async {
Expect.isTrue(await confuse(traceA(true)) && await confuse(traceB(true)));
Expect.equals("ab", trace);
});
await testEvaluation(() async {
Expect.isFalse(
await confuse(traceA(false)) || await confuse(traceB(false)));
Expect.equals("ab", trace);
});
await testEvaluation(() async {
Expect.isTrue(await confuse(traceA(false)) || await confuse(traceB(true)));
Expect.equals("ab", trace);
});
await testEvaluation(() async {
Expect.isTrue(await confuse(traceA(true)) || await confuse(traceB(false)));
Expect.equals("a", trace);
});
await testEvaluation(() async {
Expect.isTrue(await confuse(traceA(true)) || await confuse(traceB(true)));
Expect.equals("a", trace);
});
}
test() async {
await test1();
await test2();
}
main() {
asyncStart();
test().then((_) => asyncEnd());
}