| 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 // Test for correct is-checks on hidden native classes. | |
| 6 | |
| 7 interface I { | |
| 8 I read(); | |
| 9 write(I x); | |
| 10 } | |
| 11 | |
| 12 // Native implementation. | |
| 13 | |
| 14 class A implements I native "*A" { | |
| 15 // The native class accepts only other native instances. | |
| 16 A read() native; | |
| 17 write(A x) native; | |
| 18 } | |
| 19 | |
| 20 makeA() native; | |
| 21 | |
| 22 void setup() native """ | |
| 23 // This code is all inside 'setup' and so not accesible from the global scope. | |
| 24 function A(){} | |
| 25 A.prototype.read = function() { return this._x; }; | |
| 26 A.prototype.write = function(x) { this._x = x; }; | |
| 27 makeA = function(){return new A}; | |
| 28 """; | |
| 29 | |
| 30 // Dart implementation must coexist with native implementation. | |
| 31 | |
| 32 class B implements I { | |
| 33 B b; | |
| 34 B read() { return b; } | |
| 35 write(B x) { b = x; } | |
| 36 } | |
| 37 | |
| 38 main() { | |
| 39 setup(); | |
| 40 | |
| 41 var a1 = makeA(); | |
| 42 var a2 = makeA(); | |
| 43 var b1 = new B(); | |
| 44 var b2 = new B(); | |
| 45 var ob = new Object(); | |
| 46 | |
| 47 Expect.isFalse(ob is I); | |
| 48 Expect.isFalse(ob is A); | |
| 49 Expect.isFalse(ob is B); | |
| 50 | |
| 51 Expect.isTrue(b1 is I); | |
| 52 Expect.isTrue(b1 is B); | |
| 53 Expect.isFalse(b1 is A); | |
| 54 | |
| 55 Expect.isTrue(a1 is I); | |
| 56 Expect.isTrue(a1 is A); | |
| 57 Expect.isFalse(a1 is B); | |
| 58 | |
| 59 new TypeParameterTest<B>(b1, b2); | |
| 60 new TypeParameterTest<I>(b1, b2); | |
| 61 new TypeParameterTest<A>(a1, a2); | |
| 62 new TypeParameterTest<I>(a1, a2); | |
| 63 } | |
| 64 | |
| 65 class TypeParameterTest<T> { | |
| 66 T _x; | |
| 67 T _y; | |
| 68 | |
| 69 TypeParameterTest(x, y) { | |
| 70 // In checked mode, the 'write' and 'read' operations will check arguments | |
| 71 // and results. | |
| 72 x.write(y); | |
| 73 y.write(x); | |
| 74 Expect.isTrue(x.read() === y); | |
| 75 Expect.isTrue(y.read() === x); | |
| 76 | |
| 77 x.write(null); | |
| 78 y.write(null); | |
| 79 Expect.isTrue(x.read() === null); | |
| 80 Expect.isTrue(y.read() === null); | |
| 81 | |
| 82 // Explicit checks against | |
| 83 var ob = new Object(); | |
| 84 Expect.isTrue(ob is !T); | |
| 85 Expect.isTrue(x is T); | |
| 86 Expect.isTrue(y is T); | |
| 87 | |
| 88 // In checked mode, there is a parameterized type assertion in assignment. | |
| 89 _x = x; | |
| 90 _y = y; | |
| 91 } | |
| 92 } | |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 8985010:
Move tests using frog 'native' extension from tests/language to frog/tests (Closed)
Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart