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 "native_testing.dart"; | 5 import "dart:_js_helper"; |
| 6 import "package:expect/expect.dart"; |
6 | 7 |
7 @Native("A") | 8 @Native("A") |
8 class A { | 9 class A { |
9 var foo; | 10 var foo; |
10 } | 11 } |
11 | 12 |
12 class B { | 13 class B { |
13 var foo; | 14 var foo; |
14 } | 15 } |
15 | 16 |
16 nativeId(x) native ; | 17 nativeId(x) native ; |
17 | 18 |
18 void setup() native """ | 19 void setup() native """ |
19 nativeId = function(x) { return x; } | 20 nativeId = function(x) { return x; } |
20 """; | 21 """; |
21 | 22 |
22 main() { | 23 main() { |
23 setup(); | 24 setup(); |
24 var b = new B(); | 25 var b = new B(); |
25 b.foo = (x) => x + 1; | 26 b.foo = (x) => x + 1; |
26 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. |
27 // 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 |
28 // an interceptor. Tests that the interceptor works for retrieving the field | 29 // an interceptor. Tests that the interceptor doesn't screw with retrieving |
29 // and invoking the closure. | 30 // the field and invoking the closure. |
30 // Use a type-check to guarantee that b is a "B". | 31 // Use a type-check to guarantee that b is a "B". |
31 if (b is B) { | 32 if (b is B) { |
32 Expect.equals(499, b.foo(498)); | 33 Expect.equals(499, b.foo(498)); |
33 } | 34 } |
34 } | 35 } |
OLD | NEW |