// 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 an on-catch clause on T catch (p1, p2) s of a try
/// statement t proceeds as follows: The statement s is executed in the dynamic
/// scope of the exception handler defined by the finally clause of t. Then, the
/// current exception and active stack trace both become undefined.
/// @description Checks that the statement s is executed in the dynamic scope of
/// the exception handler defined by the finally clause by checking that the two
/// arguments of a catch clause are indeed available within it along with all
/// those declared in the enclosing scopes.
/// @author kaigorodov

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

void main() {
  int executed = 0;
  var ex = new Exception("fail");
  try {
    throw ex;
  } on Exception catch (e, st) {
    executed += 1;
    Expect.identical(ex, e);
    Expect.isTrue(st != null);
  } finally {
    executed += 2;
  }
  Expect.equals(3, executed);
}