Elements. Add Element2.fragments

Change-Id: I85fb19c87b833abca99cb86c4e285d9120f96ac2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/403948
Commit-Queue: Konstantin Shcheglov <[email protected]>
Reviewed-by: Brian Wilkerson <[email protected]>

Author: scheglov

pkg/analysis_server/lib/src/domains/analysis/implemented_dart.dart

@@ -5,7 +5,6 @@
 import 'package:analysis_server/src/protocol_server.dart' as protocol;
 import 'package:analysis_server/src/services/search/search_engine.dart';
 import 'package:analyzer/dart/element/element2.dart';
-import 'package:analyzer/src/utilities/extensions/element.dart';
 
 class ImplementedComputer {
   final SearchEngine searchEngine;

pkg/analysis_server/lib/src/lsp/handlers/handler_references.dart

@@ -15,7 +15,6 @@ import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element2.dart';
 import 'package:analyzer/src/dart/ast/utilities.dart';
 import 'package:analyzer/src/util/performance/operation_performance.dart';
-import 'package:analyzer/src/utilities/extensions/element.dart';
 
 typedef StaticOptions = Either2<bool, ReferenceOptions>;
 

pkg/analyzer/lib/dart/element/element2.dart

@@ -111,6 +111,9 @@ abstract class Annotatable {
 abstract class BindPatternVariableElement2 implements PatternVariableElement2 {
   @override
   BindPatternVariableFragment get firstFragment;
+
+  @override
+  List<BindPatternVariableFragment> get fragments;
 }
 
 /// The portion of a [BindPatternVariableElement2] contributed by a single
@@ -138,6 +141,9 @@ abstract class ClassElement2 implements InterfaceElement2 {
   @override
   ClassFragment get firstFragment;
 
+  @override
+  List<ClassFragment> get fragments;
+
   /// Whether the class or its superclass declares a non-final instance field.
   bool get hasNonFinalField;
 
@@ -267,6 +273,9 @@ abstract class ConstructorElement2
   @override
   ConstructorFragment get firstFragment;
 
+  @override
+  List<ConstructorFragment> get fragments;
+
   /// Whether the constructor is a const constructor.
   bool get isConst;
 
@@ -406,6 +415,9 @@ abstract class Element2 {
   /// invocations of [Fragment.nextFragment].
   Fragment get firstFragment;
 
+  /// The fragments this element consists of.
+  List<Fragment> get fragments;
+
   /// The unique integer identifier of this element.
   int get id;
 
@@ -608,6 +620,9 @@ abstract class EnumElement2 implements InterfaceElement2 {
 
   @override
   EnumFragment get firstFragment;
+
+  @override
+  List<EnumFragment> get fragments;
 }
 
 /// The portion of an [EnumElement2] contributed by a single declaration.
@@ -638,6 +653,9 @@ abstract class ExecutableElement2 implements FunctionTypedElement2 {
   @override
   ExecutableFragment get firstFragment;
 
+  @override
+  List<ExecutableFragment> get fragments;
+
   /// Whether the executable element did not have an explicit return type
   /// specified for it in the original source.
   bool get hasImplicitReturnType;
@@ -712,6 +730,9 @@ abstract class ExtensionElement2 implements InstanceElement2 {
 
   @override
   ExtensionFragment get firstFragment;
+
+  @override
+  List<ExtensionFragment> get fragments;
 }
 
 /// The portion of an [ExtensionElement2] contributed by a single
@@ -736,6 +757,9 @@ abstract class ExtensionTypeElement2 implements InterfaceElement2 {
   @override
   ExtensionTypeFragment get firstFragment;
 
+  @override
+  List<ExtensionTypeFragment> get fragments;
+
   /// The primary constructor of this extension.
   ConstructorElement2 get primaryConstructor2;
 
@@ -781,6 +805,9 @@ abstract class FieldElement2 implements PropertyInducingElement2 {
   @override
   FieldFragment get firstFragment;
 
+  @override
+  List<FieldFragment> get fragments;
+
   /// Whether the field is abstract.
   ///
   /// Executable fields are abstract if they are declared with the `abstract`
@@ -811,6 +838,9 @@ abstract class FieldFormalParameterElement2 implements FormalParameterElement {
 
   @override
   FieldFormalParameterFragment get firstFragment;
+
+  @override
+  List<FieldFormalParameterFragment> get fragments;
 }
 
 /// The portion of a [FieldFormalParameterElement2] contributed by a single
@@ -868,6 +898,9 @@ abstract class FormalParameterElement
   /// formal parameter.
   List<FormalParameterElement> get formalParameters;
 
+  @override
+  List<FormalParameterFragment> get fragments;
+
   /// Whether the parameter has a default value.
   bool get hasDefaultValue;
 
@@ -1051,6 +1084,9 @@ abstract class FunctionTypedElement2 implements TypeParameterizedElement2 {
   /// The formal parameters defined by this element.
   List<FormalParameterElement> get formalParameters;
 
+  @override
+  List<FunctionTypedFragment> get fragments;
+
   /// The return type defined by this element.
   DartType get returnType;
 
@@ -1081,6 +1117,9 @@ abstract class FunctionTypedFragment implements TypeParameterizedFragment {
 abstract class GenericFunctionTypeElement2 implements FunctionTypedElement2 {
   @override
   GenericFunctionTypeFragment get firstFragment;
+
+  @override
+  List<GenericFunctionTypeFragment> get fragments;
 }
 
 /// The portion of a [GenericFunctionTypeElement2] coming from a single
@@ -1117,6 +1156,9 @@ abstract class GetterElement implements PropertyAccessorElement2 {
 
   @override
   GetterFragment get firstFragment;
+
+  @override
+  List<GetterFragment> get fragments;
 }
 
 /// The portion of a [GetterElement] contributed by a single declaration.
@@ -1183,6 +1225,9 @@ abstract class InstanceElement2
   @override
   InstanceFragment get firstFragment;
 
+  @override
+  List<InstanceFragment> get fragments;
+
   /// The getters declared in this element.
   List<GetterElement> get getters2;
 
@@ -1297,6 +1342,9 @@ abstract class InterfaceElement2 implements InstanceElement2 {
   @override
   InterfaceFragment get firstFragment;
 
+  @override
+  List<InterfaceFragment> get fragments;
+
   /// The interfaces that are implemented by this class.
   ///
   /// <b>Note:</b> Because the element model represents the state of the code,
@@ -1437,6 +1485,9 @@ abstract class JoinPatternVariableElement2 implements PatternVariableElement2 {
   @override
   JoinPatternVariableFragment get firstFragment;
 
+  @override
+  List<JoinPatternVariableFragment> get fragments;
+
   /// Whether the [variables2] are consistent.
   ///
   /// The variables are consistent if they are present in all branches, and have
@@ -1482,6 +1533,9 @@ abstract class LabelElement2 implements Element2 {
   @override
   LabelFragment get firstFragment;
 
+  @override
+  List<LabelFragment> get fragments;
+
   @override
   LibraryElement2 get library2;
 }
@@ -1562,6 +1616,7 @@ abstract class LibraryElement2
   ///
   /// This includes the defining fragment, and fragments included using the
   /// `part` directive.
+  @override
   List<LibraryFragment> get fragments;
 
   /// The getters defined in this library.
@@ -1826,6 +1881,9 @@ abstract class LocalFunctionElement
     implements ExecutableElement2, LocalElement2 {
   @override
   LocalFunctionFragment get firstFragment;
+
+  @override
+  List<LocalFunctionFragment> get fragments;
 }
 
 /// The portion of a [LocalFunctionElement] contributed by a single
@@ -1864,6 +1922,9 @@ abstract class LocalVariableElement2
   @override
   LocalVariableFragment get firstFragment;
 
+  @override
+  List<LocalVariableFragment> get fragments;
+
   /// Whether the variable has an initializer at declaration.
   bool get hasInitializer;
 }
@@ -2012,6 +2073,9 @@ abstract class MethodElement2
   @override
   MethodFragment get firstFragment;
 
+  @override
+  List<MethodFragment> get fragments;
+
   /// Whether the method defines an operator.
   ///
   /// The test might be based on the name of the executable element, in which
@@ -2043,6 +2107,9 @@ abstract class MixinElement2 implements InterfaceElement2 {
   @override
   MixinFragment get firstFragment;
 
+  @override
+  List<MixinFragment> get fragments;
+
   /// Whether the mixin is a base mixin.
   ///
   /// A mixin is a base mixin if it has an explicit `base` modifier.
@@ -2105,6 +2172,9 @@ abstract class MultiplyDefinedElement2 implements Element2 {
 
   @override
   MultiplyDefinedFragment get firstFragment;
+
+  @override
+  List<MultiplyDefinedFragment> get fragments;
 }
 
 /// The fragment for a [MultiplyDefinedElement2].
@@ -2139,6 +2209,9 @@ abstract class PatternVariableElement2 implements LocalVariableElement2 {
   @override
   PatternVariableFragment get firstFragment;
 
+  @override
+  List<PatternVariableFragment> get fragments;
+
   /// The variable in which this variable joins with other pattern variables
   /// with the same name, in a logical-or pattern, or shared case scope.
   JoinPatternVariableElement2? get join2;
@@ -2175,6 +2248,9 @@ abstract class PrefixElement2 implements Element2 {
   @override
   PrefixFragment get firstFragment;
 
+  @override
+  List<PrefixFragment> get fragments;
+
   /// The imports that share this prefix.
   List<LibraryImport> get imports;
 
@@ -2216,6 +2292,9 @@ abstract class PrefixFragment implements Fragment {
 abstract class PromotableElement2 implements VariableElement2 {
   @override
   PromotableFragment get firstFragment;
+
+  @override
+  List<PromotableFragment> get fragments;
 }
 
 /// The portion of a [PromotableElement2] contributed by a single declaration.
@@ -2246,6 +2325,9 @@ abstract class PropertyAccessorElement2 implements ExecutableElement2 {
   @override
   PropertyAccessorFragment get firstFragment;
 
+  @override
+  List<PropertyAccessorFragment> get fragments;
+
   /// The field or top-level variable associated with this getter.
   ///
   /// If this getter was explicitly defined (is not synthetic) then the variable
@@ -2295,6 +2377,9 @@ abstract class PropertyInducingElement2
   @override
   PropertyInducingFragment get firstFragment;
 
+  @override
+  List<PropertyInducingFragment> get fragments;
+
   /// The getter associated with this variable.
   ///
   /// If this variable was explicitly defined (is not synthetic) then the
@@ -2389,6 +2474,9 @@ abstract class SetterElement implements PropertyAccessorElement2 {
 
   @override
   SetterFragment get firstFragment;
+
+  @override
+  List<SetterFragment> get fragments;
 }
 
 /// The portion of a [SetterElement] contributed by a single declaration.
@@ -2426,6 +2514,9 @@ abstract class SuperFormalParameterElement2 implements FormalParameterElement {
   @override
   SuperFormalParameterFragment get firstFragment;
 
+  @override
+  List<SuperFormalParameterFragment> get fragments;
+
   /// The associated super-constructor parameter, from the super-constructor
   /// that is referenced by the implicit or explicit super-constructor
   /// invocation.
@@ -2461,6 +2552,9 @@ abstract class TopLevelFunctionElement
   @override
   TopLevelFunctionFragment get firstFragment;
 
+  @override
+  List<TopLevelFunctionFragment> get fragments;
+
   /// Whether the function represents `identical` from the `dart:core` library.
   bool get isDartCoreIdentical;
 
@@ -2504,6 +2598,9 @@ abstract class TopLevelVariableElement2 implements PropertyInducingElement2 {
   @override
   TopLevelVariableFragment get firstFragment;
 
+  @override
+  List<TopLevelVariableFragment> get fragments;
+
   /// Whether the field was explicitly marked as being external.
   bool get isExternal;
 }
@@ -2550,6 +2647,9 @@ abstract class TypeAliasElement2
   @override
   TypeAliasFragment get firstFragment;
 
+  @override
+  List<TypeAliasFragment> get fragments;
+
   /// Returns the type resulting from instantiating this typedef with the given
   /// [typeArguments] and [nullabilitySuffix].
   ///
@@ -2593,6 +2693,9 @@ abstract class TypeDefiningElement2 implements Element2, Annotatable {
 
   @override
   TypeDefiningFragment get firstFragment;
+
+  @override
+  List<TypeDefiningFragment> get fragments;
 }
 
 /// The portion of a [TypeDefiningElement2] contributed by a single declaration.
@@ -2626,6 +2729,9 @@ abstract class TypeParameterElement2 implements TypeDefiningElement2 {
   @override
   TypeParameterFragment get firstFragment;
 
+  @override
+  List<TypeParameterFragment> get fragments;
+
   /// Returns the [TypeParameterType] with the given [nullabilitySuffix] for
   /// this type parameter.
   TypeParameterType instantiate({
@@ -2655,6 +2761,9 @@ abstract class TypeParameterizedElement2 implements Element2, Annotatable {
   @override
   TypeParameterizedFragment get firstFragment;
 
+  @override
+  List<TypeParameterizedFragment> get fragments;
+
   /// If the element defines a type, indicates whether the type may safely
   /// appear without explicit type arguments as the bounds of a type parameter
   /// declaration.
@@ -2702,6 +2811,9 @@ abstract class VariableElement2 implements Element2 {
   @override
   VariableFragment get firstFragment;
 
+  @override
+  List<VariableFragment> get fragments;
+
   /// Whether the variable element did not have an explicit type specified
   /// for it.
   bool get hasImplicitType;