OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 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. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
| 5 import "dart:_js_helper"; |
5 import "package:expect/expect.dart"; | 6 import "package:expect/expect.dart"; |
6 | 7 |
7 class A native "A" { | 8 @Native("A") |
| 9 class A { |
8 var foo; | 10 var foo; |
9 } | 11 } |
10 | 12 |
11 class B { | 13 class B { |
12 var foo; | 14 var foo; |
13 } | 15 } |
14 | 16 |
15 nativeId(x) native; | 17 nativeId(x) native; |
16 | 18 |
17 void setup() native """ | 19 void setup() native """ |
18 nativeId = function(x) { return x; } | 20 nativeId = function(x) { return x; } |
19 """; | 21 """; |
20 | 22 |
21 main() { | 23 main() { |
22 setup(); | 24 setup(); |
23 var b = new B(); | 25 var b = new B(); |
24 b.foo = (x) => x + 1; | 26 b.foo = (x) => x + 1; |
25 b = nativeId(b); // Inferrer doesn't know if A has been instantiated. | 27 b = nativeId(b); // Inferrer doesn't know if A has been instantiated. |
26 // At this point b could be A or B. The call to "foo" thus needs to go through | 28 // At this point b could be A or B. The call to "foo" thus needs to go through |
27 // an interceptor. Tests that the interceptor doesn't screw with retrieving | 29 // an interceptor. Tests that the interceptor doesn't screw with retrieving |
28 // the field and invoking the closure. | 30 // the field and invoking the closure. |
29 // Use a type-check to guarantee that b is a "B". | 31 // Use a type-check to guarantee that b is a "B". |
30 if (b is B) { | 32 if (b is B) { |
31 Expect.equals(499, b.foo(498)); | 33 Expect.equals(499, b.foo(498)); |
32 } | 34 } |
33 } | 35 } |
OLD | NEW |