| // Copyright (c) 2017, 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:async_helper/async_helper.dart'; |
| import 'package:compiler/src/commandline_options.dart'; |
| import 'package:compiler/src/elements/entities.dart'; |
| import 'package:compiler/src/elements/types.dart'; |
| import 'package:compiler/src/universe/call_structure.dart'; |
| import 'package:expect/expect.dart'; |
| import '../type_test_helper.dart'; |
| |
| List<FunctionTypeData> signatures = const <FunctionTypeData>[ |
| const FunctionTypeData("void", "0", "()"), |
| const FunctionTypeData("void", "1", "<T>(T t)"), |
| const FunctionTypeData("void", "2", "<T, S>(T t, S s)"), |
| const FunctionTypeData("void", "3", "<T, S>(T t, [S s])"), |
| const FunctionTypeData("void", "4", "<T, S>(T t, {S s})"), |
| const FunctionTypeData("void", "5", "<T extends num>(T t)"), |
| const FunctionTypeData("void", "6", "<T extends int>(T t)"), |
| ]; |
| |
| main() { |
| asyncTest(() async { |
| TypeEnvironment env = await TypeEnvironment.create( |
| """ |
| ${createTypedefs(signatures, prefix: 't')} |
| ${createMethods(signatures, prefix: 'm')} |
| """, |
| compileMode: CompileMode.kernel, |
| options: [Flags.strongMode]); |
| |
| for (FunctionTypeData data in signatures) { |
| FunctionType functionType = env.getElementType('t${data.name}'); |
| FunctionEntity method = env.getElement('m${data.name}'); |
| FunctionType methodType = env.getElementType('m${data.name}'); |
| ParameterStructure parameterStructure = method.parameterStructure; |
| Expect.equals(functionType, methodType, "Type mismatch on $data"); |
| Expect.equals( |
| parameterStructure.typeParameters, |
| methodType.typeVariables.length, |
| "Type parameter mismatch on $data with $parameterStructure."); |
| CallStructure callStructure = parameterStructure.callStructure; |
| Expect.isTrue(callStructure.signatureApplies(parameterStructure)); |
| CallStructure noTypeArguments = new CallStructure( |
| callStructure.argumentCount, callStructure.namedArguments, 0); |
| Expect.isTrue(noTypeArguments.signatureApplies(parameterStructure)); |
| CallStructure tooManyTypeArguments = new CallStructure( |
| callStructure.argumentCount, |
| callStructure.namedArguments, |
| callStructure.typeArgumentCount + 1); |
| Expect.isFalse(tooManyTypeArguments.signatureApplies(parameterStructure)); |
| } |
| }); |
| } |