| // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| import 'package:expect/expect.dart'; |
| import 'package:async_helper/async_helper.dart'; |
| import 'package:compiler/src/compiler.dart'; |
| import 'package:compiler/src/elements/elements.dart'; |
| import 'package:compiler/src/js_backend/js_backend.dart'; |
| import 'package:compiler/src/types/types.dart'; |
| import 'type_mask_test_helper.dart'; |
| import 'memory_compiler.dart'; |
| |
| const Map MEMORY_SOURCE_FILES = const { |
| 'main.dart': r""" |
| import 'package:expect/expect.dart'; |
| |
| int method(String arg) => arg.length; |
| |
| @AssumeDynamic() |
| int methodAssumeDynamic(String arg) => arg.length; |
| |
| @TrustTypeAnnotations() |
| int methodTrustTypeAnnotations(String arg) => arg.length; |
| |
| @NoInline() |
| int methodNoInline(String arg) => arg.length; |
| |
| @NoInline() @TrustTypeAnnotations() |
| int methodNoInlineTrustTypeAnnotations(String arg) => arg.length; |
| |
| @AssumeDynamic() @TrustTypeAnnotations() |
| int methodAssumeDynamicTrustTypeAnnotations(String arg) => arg.length; |
| |
| |
| void main(List<String> args) { |
| print(method(args[0])); |
| print(methodAssumeDynamic('foo')); |
| print(methodTrustTypeAnnotations(42)); |
| print(methodTrustTypeAnnotations("fourtyTwo")); |
| print(methodNoInline('bar')); |
| print(methodNoInlineTrustTypeAnnotations(42)); |
| print(methodNoInlineTrustTypeAnnotations("fourtyTwo")); |
| print(methodAssumeDynamicTrustTypeAnnotations(null)); |
| } |
| """ |
| }; |
| |
| main() { |
| asyncTest(() async { |
| CompilationResult result = |
| await runCompiler(memorySourceFiles: MEMORY_SOURCE_FILES); |
| Compiler compiler = result.compiler; |
| Expect.isFalse(compiler.compilationFailed, 'Unsuccessful compilation'); |
| JavaScriptBackend backend = compiler.backend; |
| Expect.isNotNull(backend.annotations.expectNoInlineClass, |
| 'NoInlineClass is unresolved.'); |
| Expect.isNotNull(backend.annotations.expectTrustTypeAnnotationsClass, |
| 'TrustTypeAnnotations is unresolved.'); |
| Expect.isNotNull(backend.annotations.expectAssumeDynamicClass, |
| 'AssumeDynamicClass is unresolved.'); |
| |
| void testTypeMatch(FunctionElement function, TypeMask expectedParameterType, |
| TypeMask expectedReturnType, TypesInferrer inferrer) { |
| for (ParameterElement parameter in function.parameters) { |
| TypeMask type = inferrer.getTypeOfElement(parameter); |
| Expect.equals( |
| expectedParameterType, simplify(type, compiler), "$parameter"); |
| } |
| if (expectedReturnType != null) { |
| TypeMask type = inferrer.getReturnTypeOfElement(function); |
| Expect.equals( |
| expectedReturnType, simplify(type, compiler), "$function"); |
| } |
| } |
| |
| void test(String name, |
| {bool expectNoInline: false, |
| bool expectTrustTypeAnnotations: false, |
| TypeMask expectedParameterType: null, |
| TypeMask expectedReturnType: null, |
| bool expectAssumeDynamic: false}) { |
| Element method = compiler.mainApp.find(name); |
| Expect.isNotNull(method); |
| Expect.equals(expectNoInline, backend.annotations.noInline(method), |
| "Unexpected annotation of @NoInline on '$method'."); |
| Expect.equals( |
| expectTrustTypeAnnotations, |
| backend.annotations.trustTypeAnnotations(method), |
| "Unexpected annotation of @TrustTypeAnnotations on '$method'."); |
| Expect.equals( |
| expectAssumeDynamic, |
| backend.annotations.assumeDynamic(method), |
| "Unexpected annotation of @AssumeDynamic on '$method'."); |
| TypesInferrer inferrer = compiler.globalInference.typesInferrerInternal; |
| if (expectTrustTypeAnnotations && expectedParameterType != null) { |
| testTypeMatch( |
| method, expectedParameterType, expectedReturnType, inferrer); |
| } else if (expectAssumeDynamic) { |
| testTypeMatch(method, compiler.closedWorld.commonMasks.dynamicType, |
| null, inferrer); |
| } |
| } |
| |
| TypeMask jsStringType = compiler.closedWorld.commonMasks.stringType; |
| TypeMask jsIntType = compiler.closedWorld.commonMasks.intType; |
| TypeMask coreStringType = new TypeMask.subtype( |
| compiler.coreClasses.stringClass, compiler.closedWorld); |
| |
| test('method'); |
| test('methodAssumeDynamic', expectAssumeDynamic: true); |
| test('methodTrustTypeAnnotations', |
| expectTrustTypeAnnotations: true, expectedParameterType: jsStringType); |
| test('methodNoInline', expectNoInline: true); |
| test('methodNoInlineTrustTypeAnnotations', |
| expectNoInline: true, |
| expectTrustTypeAnnotations: true, |
| expectedParameterType: jsStringType, |
| expectedReturnType: jsIntType); |
| test('methodAssumeDynamicTrustTypeAnnotations', |
| expectAssumeDynamic: true, |
| expectTrustTypeAnnotations: true, |
| expectedParameterType: coreStringType); |
| }); |
| } |