OLD | NEW |
| (Empty) |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 // Test that instanceof works correctly with type variables. | |
5 | |
6 // Test that partially typed generic instances are correctly constructed. | |
7 | |
8 // Test factory case. | |
9 class Foo<K, V> { | |
10 Foo() { } | |
11 | |
12 factory Foo.fac() { | |
13 return new Foo<K, V>(); | |
14 } | |
15 | |
16 FooString() { | |
17 return new Foo<K, String>.fac(); | |
18 } | |
19 } | |
20 | |
21 // Test constructor case. | |
22 class Moo<K, V> { | |
23 Moo() { } | |
24 | |
25 MooString() { | |
26 return new Moo<K, String>(); | |
27 } | |
28 } | |
29 | |
30 testAll () { | |
31 var foo_int_num = new Foo<int, num>(); | |
32 Expect.isTrue(foo_int_num is Foo<int, num>); | |
33 Expect.isTrue(foo_int_num is !Foo<int, String>); | |
34 // foo_int_num.FooString() returns a Foo<int, String> | |
35 Expect.isTrue(foo_int_num.FooString() is !Foo<int, num>); | |
36 Expect.isTrue(foo_int_num.FooString() is Foo<int, String>); | |
37 | |
38 var foo_raw = new Foo(); | |
39 Expect.isTrue(foo_raw is Foo<int, num>); | |
40 Expect.isTrue(foo_raw is Foo<int, String>); | |
41 // foo_raw.FooString() returns a Foo<Dynamic, String> | |
42 Expect.isTrue(foo_raw.FooString() is !Foo<int, num>); | |
43 Expect.isTrue(foo_raw.FooString() is Foo<int, String>); | |
44 | |
45 var moo_int_num = new Moo<int, num>(); | |
46 Expect.isTrue(moo_int_num is Moo<int, num>); | |
47 Expect.isTrue(moo_int_num is !Moo<int, String>); | |
48 // moo_int_num.MooString() returns a Moo<int, String> | |
49 Expect.isTrue(moo_int_num.MooString() is !Moo<int, num>); | |
50 Expect.isTrue(moo_int_num.MooString() is Moo<int, String>); | |
51 | |
52 var moo_raw = new Moo(); | |
53 Expect.isTrue(moo_raw is Moo<int, num>); | |
54 Expect.isTrue(moo_raw is Moo<int, String>); | |
55 // moo_raw.MooString() returns a Moo<Dynamic, String> | |
56 Expect.isTrue(moo_raw.MooString() is !Moo<int, num>); | |
57 Expect.isTrue(moo_raw.MooString() is Moo<int, String>); | |
58 } | |
59 | |
60 | |
61 main() { | |
62 // Repeat type checks so that inlined tests can be tested as well. | |
63 for (int i = 0; i < 5; i++) { | |
64 testAll(); | |
65 } | |
66 } | |
OLD | NEW |