// 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.

// Check that calling a constructor of a class that cannot be resolved causes
// a runtime error.

import "package:expect/expect.dart";
import 'dart:math';

never() {
  Random r = new Random();
  int r1 = r.nextInt(1000);
  int r2 = r.nextInt(1000);
  int r3 = r.nextInt(1000);
  return (r1 > r3) && (r2 > r3) && (r3 > r1 + r2);
}

main() {
  if (never()) {
    // These should not produce errors because the calls are never executed.
    new A();         /// 01: static type warning
    new A.foo();     /// 02: static type warning
    new lib.A();     /// 03: static type warning
  }

  new A();         /// 04: static type warning, runtime error
  new A.foo();     /// 05: static type warning, runtime error
  new lib.A();     /// 06: static type warning, runtime error

  var ex;                    /// 07: static type warning
  try {                      /// 07: continued
    new A();                 /// 07: continued
  } catch (e) {              /// 07: continued
    ex = e;                  /// 07: continued
  }                          /// 07: continued
  Expect.isTrue(ex != null); /// 07: continued
}