Serialize constant initializers.

pkg/analyzer/lib/src/summary/summarize_ast.dart

 // Copyright (c) 2016, 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.
 
 library serialization.summarize_ast;
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/visitor.dart';
 import 'package:analyzer/src/generated/scanner.dart';
 import 'package:analyzer/src/generated/utilities_dart.dart';
 import 'package:analyzer/src/summary/format.dart';
 import 'package:analyzer/src/summary/public_namespace_computer.dart';
+import 'package:analyzer/src/summary/summarize_const_expr.dart';
 
 /**
  * Serialize all the declarations in [compilationUnit] to an unlinked summary.
  */
 UnlinkedUnitBuilder serializeAstUnlinked(CompilationUnit compilationUnit) {
   return new _SummarizeAstVisitor().serializeCompilationUnit(compilationUnit);
 }
 
 /**
+ * Instances of this class keep track of intermediate state during
+ * serialization of a single constant [Expression].
+ */
+class _ConstExprSerializer extends AbstractConstExprSerializer {
+  UnlinkedTypeRefBuilder serializeIdentifier(Identifier identifier) {
+    throw new UnimplementedError('serializeIdentifier');
+  }
+
+  @override
+  UnlinkedTypeRefBuilder serializeType(TypeName typeName) {
+    throw new UnimplementedError('serializeType');
+  }
+}
+
+/**
  * An [_OtherScopedEntity] is a [_ScopedEntity] that does not refer to a type
  * parameter.  Since we don't need to track any special information about these
  * types of scoped entities, it is a singleton class.
  */
 class _OtherScopedEntity extends _ScopedEntity {
   static final _OtherScopedEntity _instance = new _OtherScopedEntity._();
 
   factory _OtherScopedEntity() => _instance;
 
   _OtherScopedEntity._();
@@ skipping 302 matching lines @@
     b.imports = unlinkedImports;
     b.parts = parts;
     b.references = unlinkedReferences;
     b.typedefs = typedefs;
     b.variables = variables;
     b.publicNamespace = computePublicNamespace(compilationUnit);
     return b;
   }
 
   /**
+   * Serialize the given [expression], creating an [UnlinkedConstBuilder].
+   */
+  UnlinkedConstBuilder serializeConstExpr(Expression expression) {
+    _ConstExprSerializer serializer = new _ConstExprSerializer();
+    serializer.serialize(expression);
+    return serializer.toBuilder();
+  }
+
+  /**
    * Serialize a [Comment] node into an [UnlinkedDocumentationComment] object.
    */
   UnlinkedDocumentationCommentBuilder serializeDocumentation(
       Comment documentationComment) {
     if (documentationComment == null) {
       return null;
     }
     String text = documentationComment.tokens
         .map((Token t) => t.toString())
         .join()
@@ skipping 194 matching lines @@
     for (VariableDeclaration variable in variables.variables) {
       UnlinkedVariableBuilder b = new UnlinkedVariableBuilder();
       b.isFinal = variables.isFinal;
       b.isConst = variables.isConst;
       b.isStatic = isStatic;
       b.name = variable.name.name;
       b.nameOffset = variable.name.offset;
       b.type = serializeTypeName(variables.type);
       b.hasImplicitType = variables.type == null;
       b.documentationComment = serializeDocumentation(documentationComment);
+      if (variable.isConst) {
+        Expression initializer = variable.initializer;
+        if (initializer != null) {
+          b.constExpr = serializeConstExpr(initializer);
+        }
+      }
       this.variables.add(b);
     }
   }
 
   @override
   void visitClassDeclaration(ClassDeclaration node) {
     currentClassDeclaration = node;
     TypeName superclass =
         node.extendsClause == null ? null : node.extendsClause.superclass;
     serializeClass(
@@ skipping 237 matching lines @@
 /**
  * A [_TypeParameterScope] is a [_Scope] which defines [_ScopedTypeParameter]s.
  */
 class _TypeParameterScope extends _Scope {
   /**
    * Get the number of [_ScopedTypeParameter]s defined in this
    * [_TypeParameterScope].
    */
   int get length => _definedNames.length;
 }