| // 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(FormalParameterElementTest_keepLinking); |
| defineReflectiveTests(FormalParameterElementTest_fromBytes); |
| defineReflectiveTests(UpdateNodeTextExpectations); |
| }); |
| } |
| |
| abstract class FormalParameterElementTest extends ElementsBaseTest { |
| test_parameter() async { |
| var library = await buildLibrary(r''' |
| void main(int p) {} |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| functions |
| #F1 isComplete isOriginDeclaration isStatic main (nameOffset:5) (firstTokenOffset:0) (offset:5) |
| element: <testLibrary>::@function::main |
| formalParameters |
| #F2 requiredPositional isOriginDeclaration p (nameOffset:14) (firstTokenOffset:10) (offset:14) |
| element: <testLibrary>::@function::main::@formalParameter::p |
| functions |
| isOriginDeclaration isStatic main |
| reference: <testLibrary>::@function::main |
| firstFragment: #F1 |
| formalParameters |
| #E0 requiredPositional p |
| firstFragment: #F2 |
| type: int |
| returnType: void |
| '''); |
| } |
| |
| test_parameter_covariant_explicit_named() async { |
| var library = await buildLibrary(r''' |
| class A { |
| void m({covariant A a}) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class A (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::A |
| constructors |
| #F2 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::A::@constructor::new |
| typeName: A |
| methods |
| #F3 isComplete isOriginDeclaration m (nameOffset:17) (firstTokenOffset:12) (offset:17) |
| element: <testLibrary>::@class::A::@method::m |
| formalParameters |
| #F4 optionalNamed isExplicitlyCovariant isOriginDeclaration a (nameOffset:32) (firstTokenOffset:20) (offset:32) |
| element: <testLibrary>::@class::A::@method::m::@formalParameter::a |
| classes |
| isSimplyBounded class A |
| reference: <testLibrary>::@class::A |
| firstFragment: #F1 |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::A::@constructor::new |
| firstFragment: #F2 |
| methods |
| isOriginDeclaration m |
| reference: <testLibrary>::@class::A::@method::m |
| firstFragment: #F3 |
| formalParameters |
| #E0 optionalNamed isCovariant a |
| firstFragment: #F4 |
| type: A |
| returnType: void |
| '''); |
| } |
| |
| test_parameter_covariant_explicit_positional() async { |
| var library = await buildLibrary(r''' |
| class A { |
| void m([covariant A a]) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class A (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::A |
| constructors |
| #F2 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::A::@constructor::new |
| typeName: A |
| methods |
| #F3 isComplete isOriginDeclaration m (nameOffset:17) (firstTokenOffset:12) (offset:17) |
| element: <testLibrary>::@class::A::@method::m |
| formalParameters |
| #F4 optionalPositional isExplicitlyCovariant isOriginDeclaration a (nameOffset:32) (firstTokenOffset:20) (offset:32) |
| element: <testLibrary>::@class::A::@method::m::@formalParameter::a |
| classes |
| isSimplyBounded class A |
| reference: <testLibrary>::@class::A |
| firstFragment: #F1 |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::A::@constructor::new |
| firstFragment: #F2 |
| methods |
| isOriginDeclaration m |
| reference: <testLibrary>::@class::A::@method::m |
| firstFragment: #F3 |
| formalParameters |
| #E0 optionalPositional isCovariant a |
| firstFragment: #F4 |
| type: A |
| returnType: void |
| '''); |
| } |
| |
| test_parameter_covariant_explicit_required() async { |
| var library = await buildLibrary(r''' |
| class A { |
| void m(covariant A a) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class A (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::A |
| constructors |
| #F2 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::A::@constructor::new |
| typeName: A |
| methods |
| #F3 isComplete isOriginDeclaration m (nameOffset:17) (firstTokenOffset:12) (offset:17) |
| element: <testLibrary>::@class::A::@method::m |
| formalParameters |
| #F4 requiredPositional isExplicitlyCovariant isOriginDeclaration a (nameOffset:31) (firstTokenOffset:19) (offset:31) |
| element: <testLibrary>::@class::A::@method::m::@formalParameter::a |
| classes |
| isSimplyBounded class A |
| reference: <testLibrary>::@class::A |
| firstFragment: #F1 |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::A::@constructor::new |
| firstFragment: #F2 |
| methods |
| isOriginDeclaration m |
| reference: <testLibrary>::@class::A::@method::m |
| firstFragment: #F3 |
| formalParameters |
| #E0 requiredPositional isCovariant a |
| firstFragment: #F4 |
| type: A |
| returnType: void |
| '''); |
| } |
| |
| test_parameter_covariant_inherited() async { |
| var library = await buildLibrary(r''' |
| class A<T> { |
| void f(covariant T t) {} |
| } |
| |
| class B<T> extends A<T> { |
| void f(T t) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class A (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::A |
| typeParameters |
| #F2 T (nameOffset:8) (firstTokenOffset:8) (offset:8) |
| element: #E0 T |
| constructors |
| #F3 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::A::@constructor::new |
| typeName: A |
| methods |
| #F4 isComplete isOriginDeclaration f (nameOffset:20) (firstTokenOffset:15) (offset:20) |
| element: <testLibrary>::@class::A::@method::f |
| formalParameters |
| #F5 requiredPositional isExplicitlyCovariant isOriginDeclaration t (nameOffset:34) (firstTokenOffset:22) (offset:34) |
| element: <testLibrary>::@class::A::@method::f::@formalParameter::t |
| #F6 hasExtendsClause class B (nameOffset:49) (firstTokenOffset:43) (offset:49) |
| element: <testLibrary>::@class::B |
| typeParameters |
| #F7 T (nameOffset:51) (firstTokenOffset:51) (offset:51) |
| element: #E1 T |
| constructors |
| #F8 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:49) |
| element: <testLibrary>::@class::B::@constructor::new |
| typeName: B |
| methods |
| #F9 isComplete isOriginDeclaration f (nameOffset:76) (firstTokenOffset:71) (offset:76) |
| element: <testLibrary>::@class::B::@method::f |
| formalParameters |
| #F10 requiredPositional isOriginDeclaration t (nameOffset:80) (firstTokenOffset:78) (offset:80) |
| element: <testLibrary>::@class::B::@method::f::@formalParameter::t |
| classes |
| isSimplyBounded class A |
| reference: <testLibrary>::@class::A |
| firstFragment: #F1 |
| typeParameters |
| #E0 T |
| firstFragment: #F2 |
| constructors |
| hasEnclosingTypeParameterReference isOriginImplicitDefault new |
| reference: <testLibrary>::@class::A::@constructor::new |
| firstFragment: #F3 |
| methods |
| hasEnclosingTypeParameterReference isOriginDeclaration f |
| reference: <testLibrary>::@class::A::@method::f |
| firstFragment: #F4 |
| formalParameters |
| #E2 requiredPositional isCovariant t |
| firstFragment: #F5 |
| type: T |
| returnType: void |
| isSimplyBounded class B |
| reference: <testLibrary>::@class::B |
| firstFragment: #F6 |
| typeParameters |
| #E1 T |
| firstFragment: #F7 |
| supertype: A<T> |
| constructors |
| hasEnclosingTypeParameterReference isOriginImplicitDefault new |
| reference: <testLibrary>::@class::B::@constructor::new |
| firstFragment: #F8 |
| superConstructor: SubstitutedConstructorElementImpl |
| baseElement: <testLibrary>::@class::A::@constructor::new |
| substitution: {T: T} |
| methods |
| hasEnclosingTypeParameterReference isOriginDeclaration f |
| reference: <testLibrary>::@class::B::@method::f |
| firstFragment: #F9 |
| formalParameters |
| #E3 requiredPositional isCovariant t |
| firstFragment: #F10 |
| type: T |
| returnType: void |
| '''); |
| } |
| |
| test_parameter_covariant_inherited_named() async { |
| var library = await buildLibrary(r''' |
| class A { |
| void m({covariant A a}) {} |
| } |
| |
| class B extends A { |
| void m({B a}) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class A (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::A |
| constructors |
| #F2 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::A::@constructor::new |
| typeName: A |
| methods |
| #F3 isComplete isOriginDeclaration m (nameOffset:17) (firstTokenOffset:12) (offset:17) |
| element: <testLibrary>::@class::A::@method::m |
| formalParameters |
| #F4 optionalNamed isExplicitlyCovariant isOriginDeclaration a (nameOffset:32) (firstTokenOffset:20) (offset:32) |
| element: <testLibrary>::@class::A::@method::m::@formalParameter::a |
| #F5 hasExtendsClause class B (nameOffset:48) (firstTokenOffset:42) (offset:48) |
| element: <testLibrary>::@class::B |
| constructors |
| #F6 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:48) |
| element: <testLibrary>::@class::B::@constructor::new |
| typeName: B |
| methods |
| #F7 isComplete isOriginDeclaration m (nameOffset:69) (firstTokenOffset:64) (offset:69) |
| element: <testLibrary>::@class::B::@method::m |
| formalParameters |
| #F8 optionalNamed isOriginDeclaration a (nameOffset:74) (firstTokenOffset:72) (offset:74) |
| element: <testLibrary>::@class::B::@method::m::@formalParameter::a |
| classes |
| isSimplyBounded class A |
| reference: <testLibrary>::@class::A |
| firstFragment: #F1 |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::A::@constructor::new |
| firstFragment: #F2 |
| methods |
| isOriginDeclaration m |
| reference: <testLibrary>::@class::A::@method::m |
| firstFragment: #F3 |
| formalParameters |
| #E0 optionalNamed isCovariant a |
| firstFragment: #F4 |
| type: A |
| returnType: void |
| isSimplyBounded class B |
| reference: <testLibrary>::@class::B |
| firstFragment: #F5 |
| supertype: A |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::B::@constructor::new |
| firstFragment: #F6 |
| superConstructor: <testLibrary>::@class::A::@constructor::new |
| methods |
| isOriginDeclaration m |
| reference: <testLibrary>::@class::B::@method::m |
| firstFragment: #F7 |
| formalParameters |
| #E1 optionalNamed isCovariant a |
| firstFragment: #F8 |
| type: B |
| returnType: void |
| '''); |
| } |
| |
| test_parameter_parameters() async { |
| var library = await buildLibrary(r''' |
| class C { |
| f(g(x, y)) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class C (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::C |
| constructors |
| #F2 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::C::@constructor::new |
| typeName: C |
| methods |
| #F3 hasImplicitReturnType isComplete isOriginDeclaration f (nameOffset:12) (firstTokenOffset:12) (offset:12) |
| element: <testLibrary>::@class::C::@method::f |
| formalParameters |
| #F4 requiredPositional isOriginDeclaration g (nameOffset:14) (firstTokenOffset:14) (offset:14) |
| element: <testLibrary>::@class::C::@method::f::@formalParameter::g |
| classes |
| isSimplyBounded class C |
| reference: <testLibrary>::@class::C |
| firstFragment: #F1 |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::C::@constructor::new |
| firstFragment: #F2 |
| methods |
| isOriginDeclaration f |
| reference: <testLibrary>::@class::C::@method::f |
| firstFragment: #F3 |
| formalParameters |
| #E0 requiredPositional g |
| firstFragment: #F4 |
| type: dynamic Function(dynamic, dynamic) |
| returnType: dynamic |
| '''); |
| } |
| |
| test_parameter_parameters_in_generic_class() async { |
| var library = await buildLibrary(r''' |
| class C<A, B> { |
| f(A g(B x)) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class C (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::C |
| typeParameters |
| #F2 A (nameOffset:8) (firstTokenOffset:8) (offset:8) |
| element: #E0 A |
| #F3 B (nameOffset:11) (firstTokenOffset:11) (offset:11) |
| element: #E1 B |
| constructors |
| #F4 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::C::@constructor::new |
| typeName: C |
| methods |
| #F5 hasImplicitReturnType isComplete isOriginDeclaration f (nameOffset:18) (firstTokenOffset:18) (offset:18) |
| element: <testLibrary>::@class::C::@method::f |
| formalParameters |
| #F6 requiredPositional isOriginDeclaration g (nameOffset:22) (firstTokenOffset:20) (offset:22) |
| element: <testLibrary>::@class::C::@method::f::@formalParameter::g |
| classes |
| isSimplyBounded class C |
| reference: <testLibrary>::@class::C |
| firstFragment: #F1 |
| typeParameters |
| #E0 A |
| firstFragment: #F2 |
| #E1 B |
| firstFragment: #F3 |
| constructors |
| hasEnclosingTypeParameterReference isOriginImplicitDefault new |
| reference: <testLibrary>::@class::C::@constructor::new |
| firstFragment: #F4 |
| methods |
| hasEnclosingTypeParameterReference isOriginDeclaration f |
| reference: <testLibrary>::@class::C::@method::f |
| firstFragment: #F5 |
| formalParameters |
| #E2 requiredPositional g |
| firstFragment: #F6 |
| type: A Function(B) |
| returnType: dynamic |
| '''); |
| } |
| |
| test_parameter_return_type() async { |
| var library = await buildLibrary(r''' |
| class C { |
| f(int g()) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class C (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::C |
| constructors |
| #F2 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::C::@constructor::new |
| typeName: C |
| methods |
| #F3 hasImplicitReturnType isComplete isOriginDeclaration f (nameOffset:12) (firstTokenOffset:12) (offset:12) |
| element: <testLibrary>::@class::C::@method::f |
| formalParameters |
| #F4 requiredPositional isOriginDeclaration g (nameOffset:18) (firstTokenOffset:14) (offset:18) |
| element: <testLibrary>::@class::C::@method::f::@formalParameter::g |
| classes |
| isSimplyBounded class C |
| reference: <testLibrary>::@class::C |
| firstFragment: #F1 |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::C::@constructor::new |
| firstFragment: #F2 |
| methods |
| isOriginDeclaration f |
| reference: <testLibrary>::@class::C::@method::f |
| firstFragment: #F3 |
| formalParameters |
| #E0 requiredPositional g |
| firstFragment: #F4 |
| type: int Function() |
| returnType: dynamic |
| '''); |
| } |
| |
| test_parameter_return_type_void() async { |
| var library = await buildLibrary(r''' |
| class C { |
| f(void g()) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class C (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::C |
| constructors |
| #F2 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::C::@constructor::new |
| typeName: C |
| methods |
| #F3 hasImplicitReturnType isComplete isOriginDeclaration f (nameOffset:12) (firstTokenOffset:12) (offset:12) |
| element: <testLibrary>::@class::C::@method::f |
| formalParameters |
| #F4 requiredPositional isOriginDeclaration g (nameOffset:19) (firstTokenOffset:14) (offset:19) |
| element: <testLibrary>::@class::C::@method::f::@formalParameter::g |
| classes |
| isSimplyBounded class C |
| reference: <testLibrary>::@class::C |
| firstFragment: #F1 |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::C::@constructor::new |
| firstFragment: #F2 |
| methods |
| isOriginDeclaration f |
| reference: <testLibrary>::@class::C::@method::f |
| firstFragment: #F3 |
| formalParameters |
| #E0 requiredPositional g |
| firstFragment: #F4 |
| type: void Function() |
| returnType: dynamic |
| '''); |
| } |
| |
| test_parameter_typeParameters() async { |
| var library = await buildLibrary(r''' |
| void f(T a<T, U>(U u)) {} |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| functions |
| #F1 isComplete isOriginDeclaration isStatic f (nameOffset:5) (firstTokenOffset:0) (offset:5) |
| element: <testLibrary>::@function::f |
| formalParameters |
| #F2 requiredPositional isOriginDeclaration a (nameOffset:9) (firstTokenOffset:7) (offset:9) |
| element: <testLibrary>::@function::f::@formalParameter::a |
| functions |
| isOriginDeclaration isStatic f |
| reference: <testLibrary>::@function::f |
| firstFragment: #F1 |
| formalParameters |
| #E0 requiredPositional a |
| firstFragment: #F2 |
| type: T Function<T, U>(U) |
| returnType: void |
| '''); |
| } |
| |
| test_parameterTypeNotInferred_constructor() async { |
| // Strong mode doesn't do type inference on constructor parameters, so it's |
| // ok that we don't store inferred type info for them in summaries. |
| var library = await buildLibrary(r''' |
| class C { |
| C.positional([x = 1]); |
| C.named({x: 1}); |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class C (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::C |
| constructors |
| #F2 isOriginDeclaration positional (nameOffset:14) (firstTokenOffset:12) (offset:14) |
| element: <testLibrary>::@class::C::@constructor::positional |
| typeName: C |
| typeNameOffset: 12 |
| periodOffset: 13 |
| formalParameters |
| #F3 optionalPositional hasImplicitType isOriginDeclaration x (nameOffset:26) (firstTokenOffset:26) (offset:26) |
| element: <testLibrary>::@class::C::@constructor::positional::@formalParameter::x |
| initializer: expression_0 |
| IntegerLiteral |
| literal: 1 @30 |
| staticType: int |
| #F4 isOriginDeclaration named (nameOffset:39) (firstTokenOffset:37) (offset:39) |
| element: <testLibrary>::@class::C::@constructor::named |
| typeName: C |
| typeNameOffset: 37 |
| periodOffset: 38 |
| formalParameters |
| #F5 optionalNamed hasImplicitType isOriginDeclaration x (nameOffset:46) (firstTokenOffset:46) (offset:46) |
| element: <testLibrary>::@class::C::@constructor::named::@formalParameter::x |
| initializer: expression_1 |
| IntegerLiteral |
| literal: 1 @49 |
| staticType: int |
| classes |
| isSimplyBounded class C |
| reference: <testLibrary>::@class::C |
| firstFragment: #F1 |
| constructors |
| isOriginDeclaration positional |
| reference: <testLibrary>::@class::C::@constructor::positional |
| firstFragment: #F2 |
| formalParameters |
| #E0 optionalPositional hasDefaultValue hasImplicitType x |
| firstFragment: #F3 |
| type: dynamic |
| constantInitializer |
| fragment: #F3 |
| expression: expression_0 |
| isOriginDeclaration named |
| reference: <testLibrary>::@class::C::@constructor::named |
| firstFragment: #F4 |
| formalParameters |
| #E1 optionalNamed hasDefaultValue hasImplicitType x |
| firstFragment: #F5 |
| type: dynamic |
| constantInitializer |
| fragment: #F5 |
| expression: expression_1 |
| '''); |
| } |
| |
| test_parameterTypeNotInferred_initializingFormal() async { |
| // Strong mode doesn't do type inference on initializing formals, so it's |
| // ok that we don't store inferred type info for them in summaries. |
| var library = await buildLibrary(r''' |
| class C { |
| var x; |
| C.positional([this.x = 1]); |
| C.named({this.x: 1}); |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class C (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::C |
| fields |
| #F2 hasImplicitType isOriginDeclaration x (nameOffset:16) (firstTokenOffset:16) (offset:16) |
| element: <testLibrary>::@class::C::@field::x |
| inducedGetter: #F3 |
| inducedSetter: #F4 |
| constructors |
| #F5 isComplete isOriginDeclaration positional (nameOffset:23) (firstTokenOffset:21) (offset:23) |
| element: <testLibrary>::@class::C::@constructor::positional |
| typeName: C |
| typeNameOffset: 21 |
| periodOffset: 22 |
| formalParameters |
| #F6 optionalPositional hasImplicitType isFinal isOriginDeclaration this.x (nameOffset:40) (firstTokenOffset:35) (offset:40) |
| element: <testLibrary>::@class::C::@constructor::positional::@formalParameter::x |
| initializer: expression_0 |
| IntegerLiteral |
| literal: 1 @44 |
| staticType: int |
| #F7 isComplete isOriginDeclaration named (nameOffset:53) (firstTokenOffset:51) (offset:53) |
| element: <testLibrary>::@class::C::@constructor::named |
| typeName: C |
| typeNameOffset: 51 |
| periodOffset: 52 |
| formalParameters |
| #F8 optionalNamed hasImplicitType isFinal isOriginDeclaration this.x (nameOffset:65) (firstTokenOffset:60) (offset:65) |
| element: <testLibrary>::@class::C::@constructor::named::@formalParameter::x |
| initializer: expression_1 |
| IntegerLiteral |
| literal: 1 @68 |
| staticType: int |
| getters |
| #F3 isComplete isOriginVariable x (nameOffset:<null>) (firstTokenOffset:<null>) (offset:16) |
| element: <testLibrary>::@class::C::@getter::x |
| inducingVariable: #F2 |
| setters |
| #F4 isComplete isOriginVariable x (nameOffset:<null>) (firstTokenOffset:<null>) (offset:16) |
| element: <testLibrary>::@class::C::@setter::x |
| inducingVariable: #F2 |
| formalParameters |
| #F9 requiredPositional value (nameOffset:<null>) (firstTokenOffset:<null>) (offset:16) |
| element: <testLibrary>::@class::C::@setter::x::@formalParameter::value |
| classes |
| hasNonFinalField isSimplyBounded class C |
| reference: <testLibrary>::@class::C |
| firstFragment: #F1 |
| fields |
| hasImplicitType isOriginDeclaration x |
| reference: <testLibrary>::@class::C::@field::x |
| firstFragment: #F2 |
| type: dynamic |
| getter: <testLibrary>::@class::C::@getter::x |
| setter: <testLibrary>::@class::C::@setter::x |
| constructors |
| isOriginDeclaration positional |
| reference: <testLibrary>::@class::C::@constructor::positional |
| firstFragment: #F5 |
| formalParameters |
| #E0 optionalPositional hasDefaultValue hasImplicitType isFinal this.x |
| firstFragment: #F6 |
| type: dynamic |
| constantInitializer |
| fragment: #F6 |
| expression: expression_0 |
| field: <testLibrary>::@class::C::@field::x |
| isOriginDeclaration named |
| reference: <testLibrary>::@class::C::@constructor::named |
| firstFragment: #F7 |
| formalParameters |
| #E1 optionalNamed hasDefaultValue hasImplicitType isFinal this.x |
| firstFragment: #F8 |
| type: dynamic |
| constantInitializer |
| fragment: #F8 |
| expression: expression_1 |
| field: <testLibrary>::@class::C::@field::x |
| getters |
| isOriginVariable x |
| reference: <testLibrary>::@class::C::@getter::x |
| firstFragment: #F3 |
| returnType: dynamic |
| variable: <testLibrary>::@class::C::@field::x |
| setters |
| isOriginVariable x |
| reference: <testLibrary>::@class::C::@setter::x |
| firstFragment: #F4 |
| formalParameters |
| #E2 requiredPositional value |
| firstFragment: #F9 |
| type: dynamic |
| returnType: void |
| variable: <testLibrary>::@class::C::@field::x |
| '''); |
| } |
| |
| test_parameterTypeNotInferred_staticMethod() async { |
| // Strong mode doesn't do type inference on parameters of static methods, |
| // so it's ok that we don't store inferred type info for them in summaries. |
| var library = await buildLibrary(r''' |
| class C { |
| static void positional([x = 1]) {} |
| static void named({x: 1}) {} |
| } |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| classes |
| #F1 class C (nameOffset:6) (firstTokenOffset:0) (offset:6) |
| element: <testLibrary>::@class::C |
| constructors |
| #F2 isOriginImplicitDefault new (nameOffset:<null>) (firstTokenOffset:<null>) (offset:6) |
| element: <testLibrary>::@class::C::@constructor::new |
| typeName: C |
| methods |
| #F3 isComplete isOriginDeclaration isStatic positional (nameOffset:24) (firstTokenOffset:12) (offset:24) |
| element: <testLibrary>::@class::C::@method::positional |
| formalParameters |
| #F4 optionalPositional hasImplicitType isOriginDeclaration x (nameOffset:36) (firstTokenOffset:36) (offset:36) |
| element: <testLibrary>::@class::C::@method::positional::@formalParameter::x |
| initializer: expression_0 |
| IntegerLiteral |
| literal: 1 @40 |
| staticType: int |
| #F5 isComplete isOriginDeclaration isStatic named (nameOffset:61) (firstTokenOffset:49) (offset:61) |
| element: <testLibrary>::@class::C::@method::named |
| formalParameters |
| #F6 optionalNamed hasImplicitType isOriginDeclaration x (nameOffset:68) (firstTokenOffset:68) (offset:68) |
| element: <testLibrary>::@class::C::@method::named::@formalParameter::x |
| initializer: expression_1 |
| IntegerLiteral |
| literal: 1 @71 |
| staticType: int |
| classes |
| isSimplyBounded class C |
| reference: <testLibrary>::@class::C |
| firstFragment: #F1 |
| constructors |
| isOriginImplicitDefault new |
| reference: <testLibrary>::@class::C::@constructor::new |
| firstFragment: #F2 |
| methods |
| isOriginDeclaration isStatic positional |
| reference: <testLibrary>::@class::C::@method::positional |
| firstFragment: #F3 |
| formalParameters |
| #E0 optionalPositional hasDefaultValue hasImplicitType x |
| firstFragment: #F4 |
| type: dynamic |
| constantInitializer |
| fragment: #F4 |
| expression: expression_0 |
| returnType: void |
| isOriginDeclaration isStatic named |
| reference: <testLibrary>::@class::C::@method::named |
| firstFragment: #F5 |
| formalParameters |
| #E1 optionalNamed hasDefaultValue hasImplicitType x |
| firstFragment: #F6 |
| type: dynamic |
| constantInitializer |
| fragment: #F6 |
| expression: expression_1 |
| returnType: void |
| '''); |
| } |
| |
| test_parameterTypeNotInferred_topLevelFunction() async { |
| // Strong mode doesn't do type inference on parameters of top level |
| // functions, so it's ok that we don't store inferred type info for them in |
| // summaries. |
| var library = await buildLibrary(r''' |
| void positional([x = 1]) {} |
| void named({x: 1}) {} |
| '''); |
| checkElementText(library, r''' |
| library |
| reference: <testLibrary> |
| fragments |
| #F0 <testLibraryFragment> |
| element: <testLibrary> |
| functions |
| #F1 isComplete isOriginDeclaration isStatic positional (nameOffset:5) (firstTokenOffset:0) (offset:5) |
| element: <testLibrary>::@function::positional |
| formalParameters |
| #F2 optionalPositional hasImplicitType isOriginDeclaration x (nameOffset:17) (firstTokenOffset:17) (offset:17) |
| element: <testLibrary>::@function::positional::@formalParameter::x |
| initializer: expression_0 |
| IntegerLiteral |
| literal: 1 @21 |
| staticType: int |
| #F3 isComplete isOriginDeclaration isStatic named (nameOffset:33) (firstTokenOffset:28) (offset:33) |
| element: <testLibrary>::@function::named |
| formalParameters |
| #F4 optionalNamed hasImplicitType isOriginDeclaration x (nameOffset:40) (firstTokenOffset:40) (offset:40) |
| element: <testLibrary>::@function::named::@formalParameter::x |
| initializer: expression_1 |
| IntegerLiteral |
| literal: 1 @43 |
| staticType: int |
| functions |
| isOriginDeclaration isStatic positional |
| reference: <testLibrary>::@function::positional |
| firstFragment: #F1 |
| formalParameters |
| #E0 optionalPositional hasDefaultValue hasImplicitType x |
| firstFragment: #F2 |
| type: dynamic |
| constantInitializer |
| fragment: #F2 |
| expression: expression_0 |
| returnType: void |
| isOriginDeclaration isStatic named |
| reference: <testLibrary>::@function::named |
| firstFragment: #F3 |
| formalParameters |
| #E1 optionalNamed hasDefaultValue hasImplicitType x |
| firstFragment: #F4 |
| type: dynamic |
| constantInitializer |
| fragment: #F4 |
| expression: expression_1 |
| returnType: void |
| '''); |
| } |
| } |
| |
| @reflectiveTest |
| class FormalParameterElementTest_fromBytes extends FormalParameterElementTest { |
| @override |
| bool get keepLinkingLibraries => false; |
| } |
| |
| @reflectiveTest |
| class FormalParameterElementTest_keepLinking |
| extends FormalParameterElementTest { |
| @override |
| bool get keepLinkingLibraries => true; |
| } |
