blob: c36ba0fe29130366d68a40e262347fa2fc0d91a8 [file] [log] [blame]
// 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.
// Dart test program for testing execution of finally blocks on
// control flow breaks because of 'return', 'continue' etc.
import "package:expect/expect.dart";
class Helper {
Helper() : i = 0 {}
int f1() {
try {
try {
int j;
j = func();
L1:
while (i <= 0) {
if (i == 0) {
try {
i = 1;
func();
try {
int j;
j = func();
while (j < 50) {
j += func();
if (j > 30) {
continue L1; // Break out of nested try blocks.
}
}
i = 200000; // Should not get executed.
} finally {
i = i + 200; // Should get executed when we break out.
}
} finally {
i = i + 400; // Should get executed when we break out.
}
}
}
} finally {
i = i + 800; // Should get executed as normal control flow.
}
return i; // Value of i should be 1401.
} finally {
i = i + 1600; // Should get executed as part of return above.
}
i = i + 2000000; // Should not get executed.
return 1;
}
static int func() {
int i = 0;
while (i < 10) {
i++;
}
return i;
}
int i;
}
class ExecuteFinally3Test {
static testMain() {
Helper obj = new Helper();
Expect.equals(1401, obj.f1());
Expect.equals(3001, obj.i);
}
}
main() {
ExecuteFinally3Test.testMain();
}