Enable most of the constant AST serialization for AST-based summaries.

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 {
+  final _SummarizeAstVisitor visitor;
+
+  _ConstExprSerializer(this.visitor);
+
   UnlinkedTypeRefBuilder serializeIdentifier(Identifier identifier) {
-    throw new UnimplementedError('serializeIdentifier');
+    UnlinkedTypeRefBuilder b = new UnlinkedTypeRefBuilder();
+    if (identifier is SimpleIdentifier) {
+      b.reference = visitor.serializeReference(null, identifier.name);
+    } else if (identifier is PrefixedIdentifier) {
+      int prefix = visitor.serializeReference(null, identifier.prefix.name);
+      b.reference =
+          visitor.serializeReference(prefix, identifier.identifier.name);
+    } else {
+      throw new StateError(
+          'Unexpected identifier type: ${identifier.runtimeType}');
+    }
+    return b;
   }
 
   @override
-  UnlinkedTypeRefBuilder serializeType(TypeName typeName) {
-    throw new UnimplementedError('serializeType');
+  UnlinkedTypeRefBuilder serializeType(TypeName node) {
+    return visitor.serializeTypeName(node);
   }
 }
 
 /**
  * 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._();
@@ skipping 150 matching lines @@
   int libraryNameOffset;
 
   /**
    * If the library has a library directive, the length of the library name, as
    * it appears in the source file.  Otherwise `null`.
    */
   int libraryNameLength;
 
   /**
    * If the library has a library directive, the documentation comment for it
-   * (if any).  Othrwise `null`.
+   * (if any).  Otherwise `null`.
    */
   UnlinkedDocumentationCommentBuilder libraryDocumentationComment;
 
   /**
    * Build a [_Scope] object containing the names defined within the body of a
    * class declaration.
    */
   _Scope buildClassMemberScope(NodeList<ClassMember> members) {
     _Scope scope = new _Scope();
     for (ClassMember member in members) {
@@ skipping 138 matching lines @@
     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();
+    _ConstExprSerializer serializer = new _ConstExprSerializer(this);
     serializer.serialize(expression);
     return serializer.toBuilder();
   }
 
   /**
    * Serialize a [Comment] node into an [UnlinkedDocumentationComment] object.
    */
   UnlinkedDocumentationCommentBuilder serializeDocumentation(
       Comment documentationComment) {
     if (documentationComment == null) {
@@ skipping 160 matching lines @@
         b.reference =
             serializeReference(prefixIndex, identifier.identifier.name);
       } else {
         throw new StateError(
             'Unexpected identifier type: ${identifier.runtimeType}');
       }
       if (node.typeArguments != null) {
         // Trailing type arguments of type 'dynamic' should be omitted.
         NodeList<TypeName> args = node.typeArguments.arguments;
         int numArgsToSerialize = args.length;
-        while (numArgsToSerialize > 0 && isDynamic(args[numArgsToSerialize - 1])) {
+        while (
+            numArgsToSerialize > 0 && isDynamic(args[numArgsToSerialize - 1])) {
           --numArgsToSerialize;
         }
         if (numArgsToSerialize > 0) {
-          List<UnlinkedTypeRefBuilder> serializedArguments = <UnlinkedTypeRefBuilder>[];
+          List<UnlinkedTypeRefBuilder> serializedArguments =
+              <UnlinkedTypeRefBuilder>[];
           for (int i = 0; i < numArgsToSerialize; i++) {
             serializedArguments.add(serializeTypeName(args[i]));
           }
           b.typeArguments = serializedArguments;
         }
       }
     }
     return b;
   }
 
@@ skipping 287 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;
 }