// Copyright (c) 2012, 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.

main() {
  testMissingCatch();
  testMissingTry();
  testDuplicateCatchVariable();
  testIllegalFinally();
  testIllegalCatch();
  testIllegalRethrow();
}

testMissingCatch() {
  try { }  /// 01: compile-time error
}

testMissingTry() {
  on Exception catch (e) { }                   /// 02: compile-time error
  on Exception catch (e, trace) { }            /// 03: compile-time error
  finally { }                                  /// 04: compile-time error
}

testDuplicateCatchVariable() {
  try { } on Exception catch (e, e) { } /// 05: compile-time error
}

testIllegalFinally() {
  try { } finally (e) { } /// 06: compile-time error
}

testIllegalCatch() {
  try { } catch () { }              /// 07: compile-time error
  try { } on MammaMia catch (e) { } /// 08: static type warning
  try { } catch (var e) { }         /// 09: compile-time error
  try { } catch (final e) { }       /// 10: compile-time error
  try { } catch (int e) { }         /// 11: compile-time error
  try { } catch (final int e) { }   /// 12: compile-time error
  try { } catch ([e, s]) { }        /// 13: compile-time error
  try { } catch (e, [s]) { }        /// 14: compile-time error
  try { } catch (e, [s0, s1]) { }   /// 15: compile-time error
}

testIllegalRethrow() {
  try { rethrow; } catch (e) { }             /// 16: compile-time error
  try { } catch (e) { } finally { rethrow; } /// 17: compile-time error
}