Fine. Support for constructor constantInitializers.

Change-Id: Ib166a4348365053d332287c0a0ca73197909dac4
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/422025
Commit-Queue: Konstantin Shcheglov <[email protected]>
Reviewed-by: Paul Berry <[email protected]>

Author: scheglov

pkg/analyzer/lib/src/fine/manifest_ast.dart

@@ -136,6 +136,10 @@ class ManifestNode {
     sink.writeUint30List(elementIndexList);
   }
 
+  static List<ManifestNode> readList(SummaryDataReader reader) {
+    return reader.readTypedList(() => ManifestNode.read(reader));
+  }
+
   static ManifestNode? readOptional(SummaryDataReader reader) {
     return reader.readOptionalObject(() => ManifestNode.read(reader));
   }
@@ -164,6 +168,11 @@ class _ElementCollector extends ThrowingAstVisitor<void> {
     node.visitChildren(this);
   }
 
+  @override
+  void visitAssertInitializer(AssertInitializer node) {
+    node.visitChildren(this);
+  }
+
   @override
   void visitBinaryExpression(BinaryExpression node) {
     node.visitChildren(this);
@@ -173,6 +182,11 @@ class _ElementCollector extends ThrowingAstVisitor<void> {
   @override
   void visitBooleanLiteral(BooleanLiteral node) {}
 
+  @override
+  void visitConstructorFieldInitializer(ConstructorFieldInitializer node) {
+    node.visitChildren(this);
+  }
+
   @override
   void visitConstructorName(ConstructorName node) {
     node.visitChildren(this);
@@ -264,6 +278,12 @@ class _ElementCollector extends ThrowingAstVisitor<void> {
     node.visitChildren(this);
   }
 
+  @override
+  void visitRedirectingConstructorInvocation(
+      RedirectingConstructorInvocation node) {
+    node.visitChildren(this);
+  }
+
   @override
   void visitSetOrMapLiteral(SetOrMapLiteral node) {
     node.visitChildren(this);
@@ -292,6 +312,11 @@ class _ElementCollector extends ThrowingAstVisitor<void> {
     node.visitChildren(this);
   }
 
+  @override
+  void visitSuperConstructorInvocation(SuperConstructorInvocation node) {
+    node.visitChildren(this);
+  }
+
   @override
   void visitTypeArgumentList(TypeArgumentList node) {
     node.visitChildren(this);
@@ -310,6 +335,24 @@ class _ElementCollector extends ThrowingAstVisitor<void> {
   }
 }
 
+extension ListOfManifestNodeExtension on List<ManifestNode> {
+  bool match(MatchContext context, List<AstNode> nodes) {
+    if (nodes.length != length) {
+      return false;
+    }
+    for (var i = 0; i < length; i++) {
+      if (!this[i].match(context, nodes[i])) {
+        return false;
+      }
+    }
+    return true;
+  }
+
+  void writeList(BufferedSink sink) {
+    sink.writeList(this, (x) => x.write(sink));
+  }
+}
+
 extension ManifestNodeOrNullExtension on ManifestNode? {
   bool match(MatchContext context, AstNode? node) {
     var self = this;

pkg/analyzer/lib/src/fine/manifest_item.dart

@@ -363,6 +363,7 @@ class InterfaceItemConstructorItem
   final bool isConst;
   final bool isFactory;
   final ManifestFunctionType functionType;
+  final List<ManifestNode> constantInitializers;
 
   InterfaceItemConstructorItem({
     required super.id,
@@ -371,21 +372,24 @@ class InterfaceItemConstructorItem
     required this.isConst,
     required this.isFactory,
     required this.functionType,
+    required this.constantInitializers,
   });
 
   factory InterfaceItemConstructorItem.fromElement({
     required ManifestItemId id,
     required EncodeContext context,
     required ConstructorElementImpl2 element,
   }) {
-    // TODO(scheglov): initializers
     return InterfaceItemConstructorItem(
       id: id,
       metadata: ManifestMetadata.encode(context, element.metadata2),
       isStatic: false,
       isConst: element.isConst,
       isFactory: element.isFactory,
       functionType: element.type.encode(context),
+      constantInitializers: element.constantInitializers
+          .map((initializer) => ManifestNode.encode(context, initializer))
+          .toFixedList(),
     );
   }
 
@@ -397,6 +401,7 @@ class InterfaceItemConstructorItem
       isConst: reader.readBool(),
       isFactory: reader.readBool(),
       functionType: ManifestFunctionType.read(reader),
+      constantInitializers: ManifestNode.readList(reader),
     );
   }
 
@@ -405,7 +410,8 @@ class InterfaceItemConstructorItem
     return super.match(context, element) &&
         isConst == element.isConst &&
         isFactory == element.isFactory &&
-        functionType.match(context, element.type);
+        functionType.match(context, element.type) &&
+        constantInitializers.match(context, element.constantInitializers);
   }
 
   @override
@@ -415,6 +421,7 @@ class InterfaceItemConstructorItem
     sink.writeBool(isConst);
     sink.writeBool(isFactory);
     functionType.writeNoTag(sink);
+    constantInitializers.writeList(sink);
   }
 }