// 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 Execution of a try statement of the form try s1 on−catch1 ...
 * on−catchn finally sf; proceeds as follows:
 *   The statement s1 is executed in the dynamic scope of the exception handler
 * defined by the try statement. Then, the finally clause is executed.
 *   Whether any of the on-catch clauses is executed depends on whether a
 * matching exception has been raised by s1 (see the specification of the throw
 * statement).
 *   If s1 has raised an exception, it will transfer control to the try statements
 * handler, which will examine the catch clauses in order for a match as
 * specified above. If no matches are found, the handler will execute the
 * finally clause.
 *   If a matching on-catch was found, it will execute first, and then the
 * finally clause will be executed.
 * @description Checks the execution order of the various parts of a try
 * statement.
 * @author kaigorodov
 */
import '../../../Utils/expect.dart';

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

void test(void f(), int expected) {
  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 {
    append(6);
  }

  Expect.equals(expected, log);
}

void main() {
  test(() {}, 126);
  test(() {throw new E0();}, 156);
  test(() {throw new E1();}, 146);
  test(() {throw new E2();}, 136);
  test(() {throw new E3();}, 146);
  test(() {throw 1;}, 156);
}