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