| // Copyright (c) 2011, 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. |
| |
| import "package:expect/expect.dart"; |
| |
| void while1() { |
| bool cond = true; |
| var result = 0; |
| var x = 0; |
| while (cond) { |
| if (x == 10) cond = false; |
| result += x; |
| x = x + 1; |
| } |
| Expect.equals(55, result); |
| } |
| |
| void while2() { |
| var t = 0; |
| var i = 0; |
| while (i == 0) { |
| t = t + 10; |
| i++; |
| } |
| Expect.equals(10, t); |
| } |
| |
| void while3() { |
| var i = 0; |
| while (i == 1) { |
| Expect.fail('unreachable'); |
| } |
| } |
| |
| void while4() { |
| var cond1 = true; |
| var result = 0; |
| var i = 0; |
| while (cond1) { |
| if (i == 9) cond1 = false; |
| var cond2 = true; |
| var j = 0; |
| while (cond2) { |
| if (j == 9) cond2 = false; |
| result = result + 1; |
| j = j + 1; |
| } |
| i = i + 1; |
| } |
| Expect.equals(100, result); |
| } |
| |
| int while5_2() { |
| // The while condition dominates 3 blocks: the body, the block after the loop |
| // and the exit block. |
| while (true) { |
| if (true) { |
| return 499; |
| } |
| } |
| return 0; |
| } |
| |
| void while5() { |
| Expect.equals(499, while5_2()); |
| } |
| |
| void main() { |
| while1(); |
| while2(); |
| while3(); |
| while4(); |
| while5(); |
| } |