// 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.
// This test ensures that the finally block executes correctly when
// there are throw, break and return statements in the finally block.

import "package:expect/expect.dart";

class Hello {
 static var sum;

 static foo() {
   sum = 0;
   try {
     sum += 1;
     return 'hi';
   } finally {
     sum += 1;
     throw 'ball';
     sum += 1;
   }
 }

 static foo1() {
   bool loop = true;
   sum = 0;
   L:
   while (loop) {
     try {
       sum += 1;
       return 'hi';
     } finally {
       sum += 1;
       break L;
       sum += 1;
     }
   }
 }

 static foo2() {
   bool loop = true;
   sum = 0;
   try {
     sum += 1;
     return 'hi';
   } finally {
     sum += 1;
     return 10;
     sum += 1;
   }
 }

 static foo3() {
   sum = 0;
   try {
     sum += 1;
     return 'hi';
   } finally {
     sum += 1;
     return 10;
     sum += 1;
   }
 }

 static void main() {
   foo1();
   Expect.equals(2, sum);
   foo2();
   Expect.equals(2, sum);
   foo3();
   Expect.equals(2, sum);
   try {
     foo();
   } catch (e) {
   }
   Expect.equals(2, sum);
 }

}

main() {
  Hello.main();
}