OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 'package:expect/expect.dart'; | 5 import 'package:expect/expect.dart'; |
6 import "package:async_helper/async_helper.dart"; | 6 import "package:async_helper/async_helper.dart"; |
7 import '../../../sdk/lib/_internal/compiler/implementation/types/types.dart' | 7 import '../../../sdk/lib/_internal/compiler/implementation/types/types.dart' |
8 show TypeMask; | 8 show TypeMask; |
9 | 9 |
10 import 'compiler_helper.dart'; | 10 import 'compiler_helper.dart'; |
(...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
170 asyncTest(() => compiler.runCompiler(uri).then((_) { | 170 asyncTest(() => compiler.runCompiler(uri).then((_) { |
171 var typesTask = compiler.typesTask; | 171 var typesTask = compiler.typesTask; |
172 var typesInferrer = typesTask.typesInferrer; | 172 var typesInferrer = typesTask.typesInferrer; |
173 | 173 |
174 checkReturn(String name, type) { | 174 checkReturn(String name, type) { |
175 var element = findElement(compiler, name); | 175 var element = findElement(compiler, name); |
176 Expect.equals(type, | 176 Expect.equals(type, |
177 typesInferrer.getReturnTypeOfElement(element).simplify(compiler)); | 177 typesInferrer.getReturnTypeOfElement(element).simplify(compiler)); |
178 } | 178 } |
179 | 179 |
180 checkReturn('returnInt1', typesTask.intType); | 180 checkReturn('returnInt1', typesTask.uint31Type); |
181 checkReturn('returnInt2', typesTask.intType); | 181 checkReturn('returnInt2', typesTask.uint31Type); |
182 checkReturn('returnInt3', typesTask.intType); | 182 checkReturn('returnInt3', typesTask.uint31Type); |
183 checkReturn('returnInt4', typesTask.intType); | 183 checkReturn('returnInt4', typesTask.uint31Type); |
184 checkReturn('returnInt5', typesTask.intType); | 184 checkReturn('returnInt5', typesTask.uint31Type); |
185 checkReturn('returnInt6', | 185 checkReturn('returnInt6', |
186 new TypeMask.nonNullSubtype(compiler.intClass)); | 186 new TypeMask.nonNullSubtype(compiler.intClass)); |
187 | 187 |
188 var subclassOfInterceptor = | 188 var subclassOfInterceptor = |
189 findTypeMask(compiler, 'Interceptor', 'nonNullSubclass'); | 189 findTypeMask(compiler, 'Interceptor', 'nonNullSubclass'); |
190 | 190 |
191 checkReturn('returnDyn1', subclassOfInterceptor); | 191 checkReturn('returnDyn1', subclassOfInterceptor); |
192 checkReturn('returnDyn2', subclassOfInterceptor); | 192 checkReturn('returnDyn2', subclassOfInterceptor); |
193 checkReturn('returnDyn3', subclassOfInterceptor); | 193 checkReturn('returnDyn3', subclassOfInterceptor); |
194 checkReturn('returnDyn4', subclassOfInterceptor); | 194 checkReturn('returnDyn4', subclassOfInterceptor); |
195 checkReturn('returnDyn5', subclassOfInterceptor); | 195 checkReturn('returnDyn5', subclassOfInterceptor); |
196 checkReturn('returnDyn6', typesTask.dynamicType); | 196 checkReturn('returnDyn6', typesTask.dynamicType); |
197 })); | 197 })); |
198 } | 198 } |
OLD | NEW |