Fix for 'hasNoSupertype' for Object when summarize AST.

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/token.dart';
 import 'package:analyzer/dart/ast/visitor.dart';
 import 'package:analyzer/src/generated/utilities_dart.dart';
@@ skipping 237 matching lines @@
   /**
    * Names referenced by this compilation unit.  Structured as a map from
    * prefix index to (map from name to reference table index), where "prefix
    * index" means the index into [UnlinkedUnit.references] of the prefix (or
    * `null` if there is no prefix), and "reference table index" means the index
    * into [UnlinkedUnit.references] for the name itself.
    */
   final Map<int, Map<String, int>> nameToReference = <int, Map<String, int>>{};
 
   /**
+   * True if the 'dart:core' library is been summarizing.

[Paul Berry, 2016/03/28 15:38:33]

s/is been summarizing/is being summarized/

+   */
+  bool isCoreLibrary = false;
+
+  /**
    * If the library has a library directive, the library name derived from it.
    * Otherwise `null`.
    */
   String libraryName;
 
   /**
    * If the library has a library directive, the offset of the library name.
    * Otherwise `null`.
    */
   int libraryNameOffset;
@@ skipping 100 matching lines @@
     _TypeParameterScope typeParameterScope = new _TypeParameterScope();
     scopes.add(typeParameterScope);
     UnlinkedClassBuilder b = new UnlinkedClassBuilder();
     b.name = name;
     b.nameOffset = nameOffset;
     b.isMixinApplication = isMixinApplication;
     b.typeParameters =
         serializeTypeParameters(typeParameters, typeParameterScope);
     if (superclass != null) {
       b.supertype = serializeTypeName(superclass);
+    } else {
+      b.hasNoSupertype = isCoreLibrary && name == 'Object';
     }
     if (withClause != null) {
       b.mixins = withClause.mixinTypes.map(serializeTypeName).toList();
     }
     if (implementsClause != null) {
       b.interfaces =
           implementsClause.interfaces.map(serializeTypeName).toList();
     }
     if (members != null) {
       scopes.add(buildClassMemberScope(name, members));
@@ skipping 681 matching lines @@
         isOnSwitchStatement:
             parent is LabeledStatement && parent.statement is SwitchStatement));
   }
 
   @override
   void visitLibraryDirective(LibraryDirective node) {
     libraryName =
         node.name.components.map((SimpleIdentifier id) => id.name).join('.');
     libraryNameOffset = node.name.offset;
     libraryNameLength = node.name.length;
+    isCoreLibrary = libraryName == 'dart.core';
     libraryDocumentationComment =
         serializeDocumentation(node.documentationComment);
     libraryAnnotations = serializeAnnotations(node.metadata);
   }
 
   @override
   void visitMethodDeclaration(MethodDeclaration node) {
     executables.add(serializeExecutable(
         node,
         node.name.name,
@@ skipping 13 matching lines @@
 
   @override
   void visitPartDirective(PartDirective node) {
     parts.add(new UnlinkedPartBuilder(
         uriOffset: node.uri.offset,
         uriEnd: node.uri.end,
         annotations: serializeAnnotations(node.metadata)));
   }
 
   @override
-  void visitPartOfDirective(PartOfDirective node) {}
+  void visitPartOfDirective(PartOfDirective node) {
+    isCoreLibrary = node.libraryName.name == 'dart.core';
+  }
 
   @override
   UnlinkedParamBuilder visitSimpleFormalParameter(SimpleFormalParameter node) {
     UnlinkedParamBuilder b = serializeParameter(node);
     b.type = serializeTypeName(node.type);
     return b;
   }
 
   @override
   void visitTopLevelVariableDeclaration(TopLevelVariableDeclaration node) {
@@ skipping 31 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;
 }