| // 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. |
| |
| // @dart = 2.9 |
| |
| 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(); |
| L1: |
| while (j < 50) { |
| j += func(); |
| if (j > 30) { |
| break L1; // Break out of nested try blocks. |
| } |
| } |
| i += 200000; // Should get executed. |
| } finally { |
| i = i + 200; // Should get executed as normal control flow. |
| } |
| } finally { |
| i = i + 400; // Should get executed as normal control flow. |
| } |
| } |
| } |
| } finally { |
| i = i + 800; // Should get executed as normal control flow. |
| } |
| return i; // Value of i should be 201401. |
| } 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 ExecuteFinally6Test { |
| static testMain() { |
| Helper obj = new Helper(); |
| Expect.equals(201401, obj.f1()); |
| Expect.equals(203001, obj.i); |
| } |
| } |
| |
| main() { |
| ExecuteFinally6Test.testMain(); |
| } |