| // Copyright (c) 2024, 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:test_reflective_loader/test_reflective_loader.dart'; |
| |
| import '../../dart/resolution/node_text_expectations.dart'; |
| import '../elements_base.dart'; |
| |
| main() { |
| defineReflectiveSuite(() { |
| defineReflectiveTests(FunctionTypeAnnotationElementTest_keepLinking); |
| defineReflectiveTests(FunctionTypeAnnotationElementTest_fromBytes); |
| defineReflectiveTests(UpdateNodeTextExpectations); |
| }); |
| } |
| |
| abstract class FunctionTypeAnnotationElementTest extends ElementsBaseTest { |
| test_generic_function_type_nullability_none() async { |
| var library = await buildLibrary(''' |
| void Function() f; |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| topLevelVariables |
| static f @16 |
| reference: <testLibraryFragment>::@topLevelVariable::f |
| enclosingElement: <testLibraryFragment> |
| type: void Function() |
| accessors |
| synthetic static get f @-1 |
| reference: <testLibraryFragment>::@getter::f |
| enclosingElement: <testLibraryFragment> |
| returnType: void Function() |
| synthetic static set f= @-1 |
| reference: <testLibraryFragment>::@setter::f |
| enclosingElement: <testLibraryFragment> |
| parameters |
| requiredPositional _f @-1 |
| type: void Function() |
| returnType: void |
| '''); |
| } |
| |
| test_generic_function_type_nullability_question() async { |
| var library = await buildLibrary(''' |
| void Function()? f; |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| topLevelVariables |
| static f @17 |
| reference: <testLibraryFragment>::@topLevelVariable::f |
| enclosingElement: <testLibraryFragment> |
| type: void Function()? |
| accessors |
| synthetic static get f @-1 |
| reference: <testLibraryFragment>::@getter::f |
| enclosingElement: <testLibraryFragment> |
| returnType: void Function()? |
| synthetic static set f= @-1 |
| reference: <testLibraryFragment>::@setter::f |
| enclosingElement: <testLibraryFragment> |
| parameters |
| requiredPositional _f @-1 |
| type: void Function()? |
| returnType: void |
| '''); |
| } |
| |
| test_genericFunction_asFunctionReturnType() async { |
| var library = await buildLibrary(r''' |
| int Function(int a, String b) f() => null; |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| functions |
| f @30 |
| reference: <testLibraryFragment>::@function::f |
| enclosingElement: <testLibraryFragment> |
| returnType: int Function(int, String) |
| '''); |
| } |
| |
| test_genericFunction_asFunctionTypedParameterReturnType() async { |
| var library = await buildLibrary(r''' |
| void f(int Function(int a, String b) p(num c)) => null; |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| functions |
| f @5 |
| reference: <testLibraryFragment>::@function::f |
| enclosingElement: <testLibraryFragment> |
| parameters |
| requiredPositional p @37 |
| type: int Function(int, String) Function(num) |
| parameters |
| requiredPositional c @43 |
| type: num |
| returnType: void |
| '''); |
| } |
| |
| test_genericFunction_asGenericFunctionReturnType() async { |
| var library = await buildLibrary(r''' |
| typedef F = void Function(String a) Function(int b); |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| typeAliases |
| F @8 |
| reference: <testLibraryFragment>::@typeAlias::F |
| aliasedType: void Function(String) Function(int) |
| aliasedElement: GenericFunctionTypeElement |
| parameters |
| requiredPositional b @49 |
| type: int |
| returnType: void Function(String) |
| '''); |
| } |
| |
| test_genericFunction_asMethodReturnType() async { |
| var library = await buildLibrary(r''' |
| class C { |
| int Function(int a, String b) m() => null; |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| classes |
| class C @6 |
| reference: <testLibraryFragment>::@class::C |
| enclosingElement: <testLibraryFragment> |
| constructors |
| synthetic @-1 |
| reference: <testLibraryFragment>::@class::C::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::C |
| methods |
| m @42 |
| reference: <testLibraryFragment>::@class::C::@method::m |
| enclosingElement: <testLibraryFragment>::@class::C |
| returnType: int Function(int, String) |
| '''); |
| } |
| |
| test_genericFunction_asParameterType() async { |
| var library = await buildLibrary(r''' |
| void f(int Function(int a, String b) p) => null; |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| functions |
| f @5 |
| reference: <testLibraryFragment>::@function::f |
| enclosingElement: <testLibraryFragment> |
| parameters |
| requiredPositional p @37 |
| type: int Function(int, String) |
| returnType: void |
| '''); |
| } |
| |
| test_genericFunction_asTopLevelVariableType() async { |
| var library = await buildLibrary(r''' |
| int Function(int a, String b) v; |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| topLevelVariables |
| static v @30 |
| reference: <testLibraryFragment>::@topLevelVariable::v |
| enclosingElement: <testLibraryFragment> |
| type: int Function(int, String) |
| accessors |
| synthetic static get v @-1 |
| reference: <testLibraryFragment>::@getter::v |
| enclosingElement: <testLibraryFragment> |
| returnType: int Function(int, String) |
| synthetic static set v= @-1 |
| reference: <testLibraryFragment>::@setter::v |
| enclosingElement: <testLibraryFragment> |
| parameters |
| requiredPositional _v @-1 |
| type: int Function(int, String) |
| returnType: void |
| '''); |
| } |
| |
| test_genericFunction_asTypeArgument_ofAnnotation_class() async { |
| var library = await buildLibrary(r''' |
| class A<T> { |
| const A(); |
| } |
| |
| @A<int Function(String a)>() |
| class B {} |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| classes |
| class A @6 |
| reference: <testLibraryFragment>::@class::A |
| enclosingElement: <testLibraryFragment> |
| typeParameters |
| covariant T @8 |
| defaultType: dynamic |
| constructors |
| const @21 |
| reference: <testLibraryFragment>::@class::A::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::A |
| class B @64 |
| reference: <testLibraryFragment>::@class::B |
| enclosingElement: <testLibraryFragment> |
| metadata |
| Annotation |
| atSign: @ @29 |
| name: SimpleIdentifier |
| token: A @30 |
| staticElement: <testLibraryFragment>::@class::A |
| staticType: null |
| typeArguments: TypeArgumentList |
| leftBracket: < @31 |
| arguments |
| GenericFunctionType |
| returnType: NamedType |
| name: int @32 |
| element: dart:core::<fragment>::@class::int |
| type: int |
| functionKeyword: Function @36 |
| parameters: FormalParameterList |
| leftParenthesis: ( @44 |
| parameter: SimpleFormalParameter |
| type: NamedType |
| name: String @45 |
| element: dart:core::<fragment>::@class::String |
| type: String |
| name: a @52 |
| declaredElement: a@52 |
| type: String |
| rightParenthesis: ) @53 |
| declaredElement: GenericFunctionTypeElement |
| parameters |
| a |
| kind: required positional |
| type: String |
| returnType: int |
| type: int Function(String) |
| type: int Function(String) |
| rightBracket: > @54 |
| arguments: ArgumentList |
| leftParenthesis: ( @55 |
| rightParenthesis: ) @56 |
| element: ConstructorMember |
| base: <testLibraryFragment>::@class::A::@constructor::new |
| substitution: {T: int Function(String)} |
| constructors |
| synthetic @-1 |
| reference: <testLibraryFragment>::@class::B::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::B |
| '''); |
| } |
| |
| test_genericFunction_asTypeArgument_ofAnnotation_topLevelVariable() async { |
| var library = await buildLibrary(r''' |
| class A<T> { |
| const A(); |
| } |
| |
| @A<int Function(String a)>() |
| var v = 0; |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| classes |
| class A @6 |
| reference: <testLibraryFragment>::@class::A |
| enclosingElement: <testLibraryFragment> |
| typeParameters |
| covariant T @8 |
| defaultType: dynamic |
| constructors |
| const @21 |
| reference: <testLibraryFragment>::@class::A::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::A |
| topLevelVariables |
| static v @62 |
| reference: <testLibraryFragment>::@topLevelVariable::v |
| enclosingElement: <testLibraryFragment> |
| metadata |
| Annotation |
| atSign: @ @29 |
| name: SimpleIdentifier |
| token: A @30 |
| staticElement: <testLibraryFragment>::@class::A |
| staticType: null |
| typeArguments: TypeArgumentList |
| leftBracket: < @31 |
| arguments |
| GenericFunctionType |
| returnType: NamedType |
| name: int @32 |
| element: dart:core::<fragment>::@class::int |
| type: int |
| functionKeyword: Function @36 |
| parameters: FormalParameterList |
| leftParenthesis: ( @44 |
| parameter: SimpleFormalParameter |
| type: NamedType |
| name: String @45 |
| element: dart:core::<fragment>::@class::String |
| type: String |
| name: a @52 |
| declaredElement: a@52 |
| type: String |
| rightParenthesis: ) @53 |
| declaredElement: GenericFunctionTypeElement |
| parameters |
| a |
| kind: required positional |
| type: String |
| returnType: int |
| type: int Function(String) |
| type: int Function(String) |
| rightBracket: > @54 |
| arguments: ArgumentList |
| leftParenthesis: ( @55 |
| rightParenthesis: ) @56 |
| element: ConstructorMember |
| base: <testLibraryFragment>::@class::A::@constructor::new |
| substitution: {T: int Function(String)} |
| type: int |
| shouldUseTypeForInitializerInference: false |
| accessors |
| synthetic static get v @-1 |
| reference: <testLibraryFragment>::@getter::v |
| enclosingElement: <testLibraryFragment> |
| returnType: int |
| synthetic static set v= @-1 |
| reference: <testLibraryFragment>::@setter::v |
| enclosingElement: <testLibraryFragment> |
| parameters |
| requiredPositional _v @-1 |
| type: int |
| returnType: void |
| '''); |
| } |
| |
| test_genericFunction_asTypeArgument_parameters_optionalNamed() async { |
| var library = await buildLibrary(r''' |
| class A<T> { |
| const A(); |
| } |
| |
| const v = A<String Function({int? a})>(); |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| classes |
| class A @6 |
| reference: <testLibraryFragment>::@class::A |
| enclosingElement: <testLibraryFragment> |
| typeParameters |
| covariant T @8 |
| defaultType: dynamic |
| constructors |
| const @21 |
| reference: <testLibraryFragment>::@class::A::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::A |
| topLevelVariables |
| static const v @35 |
| reference: <testLibraryFragment>::@topLevelVariable::v |
| enclosingElement: <testLibraryFragment> |
| type: A<String Function({int? a})> |
| shouldUseTypeForInitializerInference: false |
| constantInitializer |
| InstanceCreationExpression |
| constructorName: ConstructorName |
| type: NamedType |
| name: A @39 |
| typeArguments: TypeArgumentList |
| leftBracket: < @40 |
| arguments |
| GenericFunctionType |
| returnType: NamedType |
| name: String @41 |
| element: dart:core::<fragment>::@class::String |
| type: String |
| functionKeyword: Function @48 |
| parameters: FormalParameterList |
| leftParenthesis: ( @56 |
| leftDelimiter: { @57 |
| parameter: DefaultFormalParameter |
| parameter: SimpleFormalParameter |
| type: NamedType |
| name: int @58 |
| question: ? @61 |
| element: dart:core::<fragment>::@class::int |
| type: int? |
| name: a @63 |
| declaredElement: a@63 |
| type: int? |
| declaredElement: a@63 |
| type: int? |
| rightDelimiter: } @64 |
| rightParenthesis: ) @65 |
| declaredElement: GenericFunctionTypeElement |
| parameters |
| a |
| kind: optional named |
| type: int? |
| returnType: String |
| type: String Function({int? a}) |
| type: String Function({int? a}) |
| rightBracket: > @66 |
| element: <testLibraryFragment>::@class::A |
| type: A<String Function({int? a})> |
| staticElement: ConstructorMember |
| base: <testLibraryFragment>::@class::A::@constructor::new |
| substitution: {T: String Function({int? a})} |
| argumentList: ArgumentList |
| leftParenthesis: ( @67 |
| rightParenthesis: ) @68 |
| staticType: A<String Function({int? a})> |
| accessors |
| synthetic static get v @-1 |
| reference: <testLibraryFragment>::@getter::v |
| enclosingElement: <testLibraryFragment> |
| returnType: A<String Function({int? a})> |
| '''); |
| } |
| |
| test_genericFunction_asTypeArgument_parameters_optionalPositional() async { |
| var library = await buildLibrary(r''' |
| class A<T> { |
| const A(); |
| } |
| |
| const v = A<String Function([int? a])>(); |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| classes |
| class A @6 |
| reference: <testLibraryFragment>::@class::A |
| enclosingElement: <testLibraryFragment> |
| typeParameters |
| covariant T @8 |
| defaultType: dynamic |
| constructors |
| const @21 |
| reference: <testLibraryFragment>::@class::A::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::A |
| topLevelVariables |
| static const v @35 |
| reference: <testLibraryFragment>::@topLevelVariable::v |
| enclosingElement: <testLibraryFragment> |
| type: A<String Function([int?])> |
| shouldUseTypeForInitializerInference: false |
| constantInitializer |
| InstanceCreationExpression |
| constructorName: ConstructorName |
| type: NamedType |
| name: A @39 |
| typeArguments: TypeArgumentList |
| leftBracket: < @40 |
| arguments |
| GenericFunctionType |
| returnType: NamedType |
| name: String @41 |
| element: dart:core::<fragment>::@class::String |
| type: String |
| functionKeyword: Function @48 |
| parameters: FormalParameterList |
| leftParenthesis: ( @56 |
| leftDelimiter: [ @57 |
| parameter: DefaultFormalParameter |
| parameter: SimpleFormalParameter |
| type: NamedType |
| name: int @58 |
| question: ? @61 |
| element: dart:core::<fragment>::@class::int |
| type: int? |
| name: a @63 |
| declaredElement: a@63 |
| type: int? |
| declaredElement: a@63 |
| type: int? |
| rightDelimiter: ] @64 |
| rightParenthesis: ) @65 |
| declaredElement: GenericFunctionTypeElement |
| parameters |
| a |
| kind: optional positional |
| type: int? |
| returnType: String |
| type: String Function([int?]) |
| type: String Function([int?]) |
| rightBracket: > @66 |
| element: <testLibraryFragment>::@class::A |
| type: A<String Function([int?])> |
| staticElement: ConstructorMember |
| base: <testLibraryFragment>::@class::A::@constructor::new |
| substitution: {T: String Function([int?])} |
| argumentList: ArgumentList |
| leftParenthesis: ( @67 |
| rightParenthesis: ) @68 |
| staticType: A<String Function([int?])> |
| accessors |
| synthetic static get v @-1 |
| reference: <testLibraryFragment>::@getter::v |
| enclosingElement: <testLibraryFragment> |
| returnType: A<String Function([int?])> |
| '''); |
| } |
| |
| test_genericFunction_asTypeArgument_parameters_requiredNamed() async { |
| var library = await buildLibrary(r''' |
| class A<T> { |
| const A(); |
| } |
| |
| const v = A<String Function({required int a})>(); |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| classes |
| class A @6 |
| reference: <testLibraryFragment>::@class::A |
| enclosingElement: <testLibraryFragment> |
| typeParameters |
| covariant T @8 |
| defaultType: dynamic |
| constructors |
| const @21 |
| reference: <testLibraryFragment>::@class::A::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::A |
| topLevelVariables |
| static const v @35 |
| reference: <testLibraryFragment>::@topLevelVariable::v |
| enclosingElement: <testLibraryFragment> |
| type: A<String Function({required int a})> |
| shouldUseTypeForInitializerInference: false |
| constantInitializer |
| InstanceCreationExpression |
| constructorName: ConstructorName |
| type: NamedType |
| name: A @39 |
| typeArguments: TypeArgumentList |
| leftBracket: < @40 |
| arguments |
| GenericFunctionType |
| returnType: NamedType |
| name: String @41 |
| element: dart:core::<fragment>::@class::String |
| type: String |
| functionKeyword: Function @48 |
| parameters: FormalParameterList |
| leftParenthesis: ( @56 |
| leftDelimiter: { @57 |
| parameter: DefaultFormalParameter |
| parameter: SimpleFormalParameter |
| requiredKeyword: required @58 |
| type: NamedType |
| name: int @67 |
| element: dart:core::<fragment>::@class::int |
| type: int |
| name: a @71 |
| declaredElement: a@71 |
| type: int |
| declaredElement: a@71 |
| type: int |
| rightDelimiter: } @72 |
| rightParenthesis: ) @73 |
| declaredElement: GenericFunctionTypeElement |
| parameters |
| a |
| kind: required named |
| type: int |
| returnType: String |
| type: String Function({required int a}) |
| type: String Function({required int a}) |
| rightBracket: > @74 |
| element: <testLibraryFragment>::@class::A |
| type: A<String Function({required int a})> |
| staticElement: ConstructorMember |
| base: <testLibraryFragment>::@class::A::@constructor::new |
| substitution: {T: String Function({required int a})} |
| argumentList: ArgumentList |
| leftParenthesis: ( @75 |
| rightParenthesis: ) @76 |
| staticType: A<String Function({required int a})> |
| accessors |
| synthetic static get v @-1 |
| reference: <testLibraryFragment>::@getter::v |
| enclosingElement: <testLibraryFragment> |
| returnType: A<String Function({required int a})> |
| '''); |
| } |
| |
| test_genericFunction_asTypeArgument_parameters_requiredPositional() async { |
| var library = await buildLibrary(r''' |
| class A<T> { |
| const A(); |
| } |
| |
| const v = A<String Function(int a)>(); |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| classes |
| class A @6 |
| reference: <testLibraryFragment>::@class::A |
| enclosingElement: <testLibraryFragment> |
| typeParameters |
| covariant T @8 |
| defaultType: dynamic |
| constructors |
| const @21 |
| reference: <testLibraryFragment>::@class::A::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::A |
| topLevelVariables |
| static const v @35 |
| reference: <testLibraryFragment>::@topLevelVariable::v |
| enclosingElement: <testLibraryFragment> |
| type: A<String Function(int)> |
| shouldUseTypeForInitializerInference: false |
| constantInitializer |
| InstanceCreationExpression |
| constructorName: ConstructorName |
| type: NamedType |
| name: A @39 |
| typeArguments: TypeArgumentList |
| leftBracket: < @40 |
| arguments |
| GenericFunctionType |
| returnType: NamedType |
| name: String @41 |
| element: dart:core::<fragment>::@class::String |
| type: String |
| functionKeyword: Function @48 |
| parameters: FormalParameterList |
| leftParenthesis: ( @56 |
| parameter: SimpleFormalParameter |
| type: NamedType |
| name: int @57 |
| element: dart:core::<fragment>::@class::int |
| type: int |
| name: a @61 |
| declaredElement: a@61 |
| type: int |
| rightParenthesis: ) @62 |
| declaredElement: GenericFunctionTypeElement |
| parameters |
| a |
| kind: required positional |
| type: int |
| returnType: String |
| type: String Function(int) |
| type: String Function(int) |
| rightBracket: > @63 |
| element: <testLibraryFragment>::@class::A |
| type: A<String Function(int)> |
| staticElement: ConstructorMember |
| base: <testLibraryFragment>::@class::A::@constructor::new |
| substitution: {T: String Function(int)} |
| argumentList: ArgumentList |
| leftParenthesis: ( @64 |
| rightParenthesis: ) @65 |
| staticType: A<String Function(int)> |
| accessors |
| synthetic static get v @-1 |
| reference: <testLibraryFragment>::@getter::v |
| enclosingElement: <testLibraryFragment> |
| returnType: A<String Function(int)> |
| '''); |
| } |
| |
| test_genericFunction_boundOf_typeParameter_ofMixin() async { |
| var library = await buildLibrary(r''' |
| mixin B<X extends void Function()> {} |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| mixins |
| mixin B @6 |
| reference: <testLibraryFragment>::@mixin::B |
| enclosingElement: <testLibraryFragment> |
| typeParameters |
| covariant X @8 |
| bound: void Function() |
| defaultType: void Function() |
| superclassConstraints |
| Object |
| '''); |
| } |
| |
| test_genericFunction_typeArgument_ofSuperclass_ofClassAlias() async { |
| var library = await buildLibrary(r''' |
| class A<T> {} |
| mixin M {} |
| class B = A<void Function()> with M; |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| classes |
| class A @6 |
| reference: <testLibraryFragment>::@class::A |
| enclosingElement: <testLibraryFragment> |
| typeParameters |
| covariant T @8 |
| defaultType: dynamic |
| constructors |
| synthetic @-1 |
| reference: <testLibraryFragment>::@class::A::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::A |
| class alias B @31 |
| reference: <testLibraryFragment>::@class::B |
| enclosingElement: <testLibraryFragment> |
| supertype: A<void Function()> |
| mixins |
| M |
| constructors |
| synthetic @-1 |
| reference: <testLibraryFragment>::@class::B::@constructor::new |
| enclosingElement: <testLibraryFragment>::@class::B |
| constantInitializers |
| SuperConstructorInvocation |
| superKeyword: super @0 |
| argumentList: ArgumentList |
| leftParenthesis: ( @0 |
| rightParenthesis: ) @0 |
| staticElement: <testLibraryFragment>::@class::A::@constructor::new |
| superConstructor: ConstructorMember |
| base: <testLibraryFragment>::@class::A::@constructor::new |
| substitution: {T: void Function()} |
| mixins |
| mixin M @20 |
| reference: <testLibraryFragment>::@mixin::M |
| enclosingElement: <testLibraryFragment> |
| superclassConstraints |
| Object |
| '''); |
| } |
| |
| test_genericFunction_typeParameter_asTypedefArgument() async { |
| var library = await buildLibrary(r''' |
| typedef F1 = Function<V1>(F2<V1>); |
| typedef F2<V2> = V2 Function(); |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| definingUnit: <testLibraryFragment> |
| units |
| <testLibraryFragment> |
| enclosingElement: <testLibrary> |
| typeAliases |
| F1 @8 |
| reference: <testLibraryFragment>::@typeAlias::F1 |
| aliasedType: dynamic Function<V1>(V1 Function()) |
| aliasedElement: GenericFunctionTypeElement |
| typeParameters |
| covariant V1 @22 |
| parameters |
| requiredPositional @-1 |
| type: V1 Function() |
| alias: <testLibraryFragment>::@typeAlias::F2 |
| typeArguments |
| V1 |
| returnType: dynamic |
| F2 @43 |
| reference: <testLibraryFragment>::@typeAlias::F2 |
| typeParameters |
| covariant V2 @46 |
| defaultType: dynamic |
| aliasedType: V2 Function() |
| aliasedElement: GenericFunctionTypeElement |
| returnType: V2 |
| '''); |
| } |
| } |
| |
| @reflectiveTest |
| class FunctionTypeAnnotationElementTest_fromBytes |
| extends FunctionTypeAnnotationElementTest { |
| @override |
| bool get keepLinkingLibraries => false; |
| } |
| |
| @reflectiveTest |
| class FunctionTypeAnnotationElementTest_keepLinking |
| extends FunctionTypeAnnotationElementTest { |
| @override |
| bool get keepLinkingLibraries => true; |
| } |
