/*
 * 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.
 */
/**
 * @assertion A try statement of the form
 *   try s1 on−catch1 ... on−catchn;
 * is equivalent to the statement
 *   try s1 on−catch1 ... on−catchn finally {};
 * @description checks that both forms are equivalent as far as execution of
 * the on-catch clauses is concerned.
 * @author kaigorodov
 * @reviewer rodionov
 */
import "../../Utils/expect.dart";

class E0 implements Exception {}
class E1 implements Exception {}
class E2 extends E1 {}
class E3 extends E1 {}

int test1(void f()) {
  int log = 0;
  void append(int digit) {log = log * 10 + digit;}

  try {
    append(1);
    f();
    append(2);
  } on E2 catch(e) {
    append(3);
  } on E1 catch(e) {
    append(4);
  } catch(e) {
    append(5);
  }

  return log;
}

int test2(void f()) {
  int log = 0;
  void append(int digit) {log = log * 10 + digit;}

  try {
    append(1);
    f();
    append(2);
  } on E2 catch(e) {
    append(3);
  } on E1 catch(e) {
    append(4);
  } catch(e) {
    append(5);
  }
  finally {}

  return log;
}

void test(void f()) {
  Expect.equals(test1(f), test2(f));
}

void main() {
  test((){});
  test((){throw new E0();});
  test((){throw new E1();});
  test((){throw new E2();});
  test((){throw new E3();});
  test((){throw 1;});
}