@@ -569,7 +569,7 @@ class ClassElementImpl extends InterfaceElementImpl implements ClassElement {
569569 );
570570 }
571571
572- constructorFragment.parameters =
572+ constructorFragment.formalParameters =
573573 formalParameterFragments.toFixedList ();
574574
575575 var isNamed = superConstructor.name != 'new' ;
@@ -1040,8 +1040,8 @@ class ConstructorFragmentImpl extends ExecutableFragmentImpl
10401040 return false ;
10411041 }
10421042 // no required parameters
1043- for (var parameter in parameters ) {
1044- if (parameter .isRequired) {
1043+ for (var formalParameters in formalParameters ) {
1044+ if (formalParameters .isRequired) {
10451045 return false ;
10461046 }
10471047 }
@@ -2369,14 +2369,14 @@ abstract class ExecutableFragmentImpl extends FragmentImpl
23692369 implements ExecutableFragment {
23702370 /// A list containing all of the parameters defined by this executable
23712371 /// element.
2372- List <FormalParameterFragmentImpl > _parameters = const [];
2372+ List <FormalParameterFragmentImpl > _formalParameters = const [];
23732373
23742374 /// Initialize a newly created executable element to have the given [name] and
23752375 /// [offset] .
23762376 ExecutableFragmentImpl ({required super .firstTokenOffset});
23772377
23782378 @override
2379- List <Fragment > get children => [...typeParameters, ...parameters ];
2379+ List <Fragment > get children => [...typeParameters, ...formalParameters ];
23802380
23812381 @Deprecated ('Use children instead' )
23822382 @override
@@ -2394,7 +2394,17 @@ abstract class ExecutableFragmentImpl extends FragmentImpl
23942394 }
23952395
23962396 @override
2397- List <FormalParameterFragmentImpl > get formalParameters => parameters;
2397+ List <FormalParameterFragmentImpl > get formalParameters {
2398+ _ensureReadResolution ();
2399+ return _formalParameters;
2400+ }
2401+
2402+ set formalParameters (List <FormalParameterFragmentImpl > formalParameters) {
2403+ for (var formalParameter in formalParameters) {
2404+ formalParameter.enclosingFragment = this ;
2405+ }
2406+ _formalParameters = formalParameters;
2407+ }
23982408
23992409 /// Whether the type of this fragment references a type parameter of the
24002410 /// enclosing element. This includes not only explicitly specified type
@@ -2496,21 +2506,6 @@ abstract class ExecutableFragmentImpl extends FragmentImpl
24962506
24972507 @override
24982508 int get offset => nameOffset ?? firstTokenOffset! ;
2499-
2500- /// The formal parameters defined by this executable fragment.
2501- List <FormalParameterFragmentImpl > get parameters {
2502- _ensureReadResolution ();
2503- return _parameters;
2504- }
2505-
2506- /// Set the parameters defined by this executable element to the given
2507- /// [parameters] .
2508- set parameters (List <FormalParameterFragmentImpl > parameters) {
2509- for (var parameter in parameters) {
2510- parameter.enclosingFragment = this ;
2511- }
2512- _parameters = parameters;
2513- }
25142509}
25152510
25162511class ExtensionElementImpl extends InstanceElementImpl
@@ -3146,7 +3141,7 @@ class FormalParameterElementImpl extends PromotableElementImpl
31463141 @override
31473142 // TODO(augmentations): Implement the merge of formal parameters.
31483143 List <FormalParameterElementImpl > get formalParameters =>
3149- wrappedElement.parameters .map ((fragment) => fragment.element).toList ();
3144+ wrappedElement.formalParameters .map ((fragment) => fragment.element).toList ();
31503145
31513146 @override
31523147 List <FormalParameterFragmentImpl > get fragments {
@@ -3356,7 +3351,7 @@ class FormalParameterFragmentImpl extends VariableFragmentImpl
33563351 /// A list containing all of the parameters defined by this parameter element.
33573352 /// There will only be parameters if this parameter is a function typed
33583353 /// parameter.
3359- List <FormalParameterFragmentImpl > _parameters = const [];
3354+ List <FormalParameterFragmentImpl > _formalParameters = const [];
33603355
33613356 /// A list containing all of the type parameters defined for this parameter
33623357 /// element. There will only be parameters if this parameter is a function
@@ -3428,6 +3423,23 @@ class FormalParameterFragmentImpl extends VariableFragmentImpl
34283423
34293424 set element (FormalParameterElementImpl element) => _element = element;
34303425
3426+ /// The parameters defined by this parameter.
3427+ ///
3428+ /// A parameter will only define other parameters if it is a function typed
3429+ /// parameter.
3430+ List <FormalParameterFragmentImpl > get formalParameters {
3431+ return _formalParameters;
3432+ }
3433+
3434+ /// Set the parameters defined by this executable element to the given
3435+ /// [value] .
3436+ set formalParameters (List <FormalParameterFragmentImpl > value) {
3437+ for (var formalParameter in value) {
3438+ formalParameter.enclosingFragment = this ;
3439+ }
3440+ _formalParameters = value;
3441+ }
3442+
34313443 /// Return true if this parameter is explicitly marked as being covariant.
34323444 bool get isExplicitlyCovariant {
34333445 return hasModifier (Modifier .COVARIANT );
@@ -3511,23 +3523,6 @@ class FormalParameterFragmentImpl extends VariableFragmentImpl
35113523 // TODO(augmentations): Support chaining between the fragments.
35123524 FormalParameterFragmentImpl ? get nextFragment => null ;
35133525
3514- /// The parameters defined by this parameter.
3515- ///
3516- /// A parameter will only define other parameters if it is a function typed
3517- /// parameter.
3518- List <FormalParameterFragmentImpl > get parameters {
3519- return _parameters;
3520- }
3521-
3522- /// Set the parameters defined by this executable element to the given
3523- /// [parameters] .
3524- set parameters (List <FormalParameterFragmentImpl > parameters) {
3525- for (var parameter in parameters) {
3526- parameter.enclosingFragment = this ;
3527- }
3528- _parameters = parameters;
3529- }
3530-
35313526 @override
35323527 // TODO(augmentations): Support chaining between the fragments.
35333528 FormalParameterFragmentImpl ? get previousFragment => null ;
@@ -3796,7 +3791,7 @@ abstract class FunctionTypedElementImpl extends ElementImpl
37963791/// Clients may not extend, implement or mix-in this class.
37973792abstract class FunctionTypedFragmentImpl implements FragmentImpl {
37983793 /// The parameters defined by this executable element.
3799- List <FormalParameterFragmentImpl > get parameters ;
3794+ List <FormalParameterFragmentImpl > get formalParameters ;
38003795
38013796 /// The type parameters declared by this element directly.
38023797 ///
@@ -3913,7 +3908,7 @@ class GenericFunctionTypeFragmentImpl extends FragmentImpl
39133908 TypeImpl ? _returnType;
39143909
39153910 /// The elements representing the parameters of the function.
3916- List <FormalParameterFragmentImpl > _parameters = const [];
3911+ List <FormalParameterFragmentImpl > _formalParameters = const [];
39173912
39183913 /// Is `true` if the type has the question mark, so is nullable.
39193914 bool isNullable = false ;
@@ -3929,7 +3924,7 @@ class GenericFunctionTypeFragmentImpl extends FragmentImpl
39293924 GenericFunctionTypeFragmentImpl ({required super .firstTokenOffset});
39303925
39313926 @override
3932- List <Fragment > get children => [...typeParameters, ...parameters ];
3927+ List <Fragment > get children => [...typeParameters, ...formalParameters ];
39333928
39343929 @Deprecated ('Use children instead' )
39353930 @override
@@ -3939,7 +3934,18 @@ class GenericFunctionTypeFragmentImpl extends FragmentImpl
39393934 GenericFunctionTypeElementImpl get element => _element2;
39403935
39413936 @override
3942- List <FormalParameterFragmentImpl > get formalParameters => parameters;
3937+ List <FormalParameterFragmentImpl > get formalParameters {
3938+ return _formalParameters;
3939+ }
3940+
3941+ /// Set the parameters defined by this function type element to the given
3942+ /// [formalParameters] .
3943+ set formalParameters (List <FormalParameterFragmentImpl > formalParameters) {
3944+ for (var formalParameter in formalParameters) {
3945+ formalParameter.enclosingFragment = this ;
3946+ }
3947+ _formalParameters = formalParameters;
3948+ }
39433949
39443950 @override
39453951 String ? get name => null ;
@@ -3957,20 +3963,6 @@ class GenericFunctionTypeFragmentImpl extends FragmentImpl
39573963 @override
39583964 int get offset => firstTokenOffset! ;
39593965
3960- @override
3961- List <FormalParameterFragmentImpl > get parameters {
3962- return _parameters;
3963- }
3964-
3965- /// Set the parameters defined by this function type element to the given
3966- /// [parameters] .
3967- set parameters (List <FormalParameterFragmentImpl > parameters) {
3968- for (var parameter in parameters) {
3969- parameter.enclosingFragment = this ;
3970- }
3971- _parameters = parameters;
3972- }
3973-
39743966 @override
39753967 GenericFunctionTypeFragmentImpl ? get previousFragment => null ;
39763968
@@ -3992,7 +3984,7 @@ class GenericFunctionTypeFragmentImpl extends FragmentImpl
39923984
39933985 return _type = FunctionTypeImpl (
39943986 typeParameters: typeParameters.map ((f) => f.asElement2).toList (),
3995- parameters: parameters .map ((f) => f.asElement2).toList (),
3987+ parameters: formalParameters .map ((f) => f.asElement2).toList (),
39963988 returnType: returnType,
39973989 nullabilitySuffix:
39983990 isNullable ? NullabilitySuffix .question : NullabilitySuffix .none,
@@ -9186,7 +9178,7 @@ class SuperFormalParameterFragmentImpl extends FormalParameterFragmentImpl
91869178
91879179 /// Return the index of this super-formal parameter among other super-formals.
91889180 int indexIn (ConstructorFragmentImpl enclosingElement) {
9189- return enclosingElement.parameters
9181+ return enclosingElement.formalParameters
91909182 .whereType <SuperFormalParameterFragmentImpl >()
91919183 .toList ()
91929184 .indexOf (this );
@@ -10114,10 +10106,10 @@ class TypeParameterFragmentImpl extends FragmentImpl
1011410106 }
1011510107 }
1011610108
10117- for (var parameter in type.formalParameters) {
10109+ for (var formalParameter in type.formalParameters) {
1011810110 result = result.meet (
1011910111 shared.Variance .contravariant.combine (
10120- computeVarianceInType (parameter .type),
10112+ computeVarianceInType (formalParameter .type),
1012110113 ),
1012210114 );
1012310115 }
0 commit comments