| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2011, 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 | |
| 5 // A native method prevents other members from having that name, including | |
| 6 // fields. However, native fields keep their name. The implication: a getter | |
| 7 // for the field must be based on the field's name, not the field's jsname. | |
| 8 | |
| 9 interface I { | |
| 10 int key; | |
| 11 } | |
| 12 | |
| 13 class A implements I native "*A" { | |
| 14 int key; // jsname is 'key' | |
| 15 int getKey() => key; | |
| 16 } | |
| 17 | |
| 18 class B implements I { | |
| 19 int key; // jsname is not 'key' | |
| 20 B([this.key = 222]); | |
| 21 int getKey() => key; | |
| 22 } | |
| 23 | |
| 24 class X native "*X" { | |
| 25 int native_key_method() native 'key'; | |
| 26 // This should cause B.key to be renamed, but not A.key. | |
| 27 int key() native 'key'; | |
| 28 } | |
| 29 | |
| 30 A makeA() native; | |
| 31 X makeX() native; | |
| 32 | |
| 33 | |
| 34 void setup() native """ | |
| 35 // This code is all inside 'setup' and so not accesible from the global scope. | |
| 36 function A(){ this.key = 111; } | |
| 37 A.prototype.getKey = function(){return this.key;}; | |
| 38 | |
| 39 function X(){} | |
| 40 X.prototype.key = function(){return 666;}; | |
| 41 | |
| 42 makeA = function(){return new A}; | |
| 43 makeX = function(){return new X}; | |
| 44 """; | |
| 45 | |
| 46 testDynamic() { | |
| 47 var things = [makeA(), new B(), makeX()]; | |
| 48 var a = things[0]; | |
| 49 var b = things[1]; | |
| 50 var x = things[2]; | |
| 51 | |
| 52 Expect.equals(111, a.key); | |
| 53 Expect.equals(222, b.key); | |
| 54 Expect.equals(111, a.getKey()); | |
| 55 Expect.equals(222, b.getKey()); | |
| 56 | |
| 57 Expect.equals(666, x.native_key_method()); | |
| 58 Expect.equals(666, x.key()); | |
| 59 var fn = x.key; | |
| 60 Expect.equals(666, fn()); | |
| 61 } | |
| 62 | |
| 63 testPartial() { | |
| 64 var things = [makeA(), new B(), makeX()]; | |
| 65 I a = things[0]; | |
| 66 I b = things[1]; | |
| 67 | |
| 68 // All subtypes of I have a field 'key'. The compiler might be tempted to | |
| 69 // generate a direct property access, but that will fail since one of the | |
| 70 // fields is renamed. A getter call is required here. | |
| 71 Expect.equals(111, a.key); | |
| 72 Expect.equals(222, b.key); | |
| 73 } | |
| 74 | |
| 75 testTyped() { | |
| 76 A a = makeA(); | |
| 77 B b = new B(); | |
| 78 X x = makeX(); | |
| 79 | |
| 80 Expect.equals(666, x.native_key_method()); | |
| 81 Expect.equals(111, a.key); | |
| 82 Expect.equals(222, b.key); | |
| 83 Expect.equals(111, a.getKey()); | |
| 84 Expect.equals(222, b.getKey()); | |
| 85 } | |
| 86 | |
| 87 main() { | |
| 88 setup(); | |
| 89 | |
| 90 testTyped(); | |
| 91 testPartial(); | |
| 92 testDynamic(); | |
| 93 } | |
| OLD | NEW |