// 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 try s1 on − catch1 ... on − catchn finally sf
/// defines an exception handler h that executes as follows:
///   The on-catch clauses are examined in order, starting with catch1, until
/// either an on-catch clause that matches the current exception is found,
/// or the list of on-catch clauses has been exhausted. If an on-catch clause
/// on−catchk is found, then pk1 is bound to the current exception, pk2, if
/// declared, is bound to the active stack trace, and then catchk is executed.
/// If no on-catch clause is found, the finally clause is executed. Then,
/// execution resumes at the end of the try statement.
///   A finally clause finally s defines an exception handler h that executes
/// as follows:
///   Let r be the current return value. Then the current return value becomes
/// undefined. Any open streams associated with any asynchronous for loops and
/// yield-each statements executing within the dynamic scope of h are canceled,
/// in the order of their nesting, innermost first.
///   Streams left open by for loops that were escaped for whatever reason would
/// be canceled at function termination, but it is best to cancel them as soon as
/// possible.
///   Then the finally clause is executed. Let m be the immediately enclosing
/// function. If r is defined then the current return value is set to r and then:
///  • if there is a dynamically enclosing error handler g defined by a finally
///    clause in m, control is transferred to g.
///  • Otherwise m terminates.
///  Otherwise, execution resumes at the end of the try statement.
/// @description Checks that if a matching catch clause is found, then the first
/// exception parameter is bound to the current exception and the second to the
/// current stack trace.
/// @author vasya
/// @note Can't really test anything on stack trace even if its toString()
/// contains certain function names due to possible minification.

import '../../../Utils/expect.dart';

void main() {
  var ex = new Exception("fail");
  try {
    throw ex;
  } on Exception catch (e, st) {
    Expect.equals(ex, e);
    Expect.isNotNull(st);
  }
}