Add support for external summaries bundle in AnalysisDriver.

pkg/analyzer/lib/src/dart/analysis/file_state.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.
 
 import 'dart:async';
 import 'dart:convert';
 import 'dart:typed_data';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/token.dart';
@@ skipping 11 matching lines @@
 import 'package:analyzer/src/fasta/mock_element.dart' as fasta;
 import 'package:analyzer/src/generated/engine.dart';
 import 'package:analyzer/src/generated/parser.dart';
 import 'package:analyzer/src/generated/source.dart';
 import 'package:analyzer/src/generated/utilities_dart.dart';
 import 'package:analyzer/src/source/source_resource.dart';
 import 'package:analyzer/src/summary/api_signature.dart';
 import 'package:analyzer/src/summary/format.dart';
 import 'package:analyzer/src/summary/idl.dart';
 import 'package:analyzer/src/summary/name_filter.dart';
+import 'package:analyzer/src/summary/package_bundle_reader.dart';
 import 'package:analyzer/src/summary/summarize_ast.dart';
 import 'package:convert/convert.dart';
 import 'package:crypto/crypto.dart';
 import 'package:front_end/src/fasta/builder/builder.dart' as fasta;
 import 'package:front_end/src/fasta/parser/parser.dart' as fasta;
 import 'package:front_end/src/fasta/scanner.dart' as fasta;
 import 'package:meta/meta.dart';
 
 /**
  * [FileContentOverlay] is used to temporary override content of files.
@@ skipping 43 matching lines @@
   final String path;
 
   /**
    * The absolute URI of the file.
    */
   final Uri uri;
 
   /**
    * The [Source] of the file with the [uri].
    */
-  Source source;
+  final Source source;
+
+  /**
+   * Return `true` is this file is a stub created for a file in the provided

[Brian Wilkerson, 2017/04/21 16:19:39]

"is" --> "if"

+   * external summary store. The values of the most properties are not the same

[Brian Wilkerson, 2017/04/21 16:19:39]

"the most" --> "most"

+   * as they would be if the file were actually read from the file system.
+   * The value of the property [uri] is correct.
+   */
+  final bool isInExternalSummaries;
 
   bool _exists;
   List<int> _contentBytes;
   String _content;
   String _contentHash;
   LineInfo _lineInfo;
   Set<String> _definedTopLevelNames;
   Set<String> _definedClassMemberNames;
   Set<String> _referencedNames;
   UnlinkedUnit _unlinked;
@@ skipping 10 matching lines @@
 
   Map<String, TopLevelDeclaration> _topLevelDeclarations;
   Map<String, TopLevelDeclaration> _exportedTopLevelDeclarations;
 
   /**
    * The flag that shows whether the file has an error or warning that
    * might be fixed by a change to another file.
    */
   bool hasErrorOrWarning = false;
 
-  FileState._(this._fsState, this.path, this.uri, this.source);
+  FileState._(this._fsState, this.path, this.uri, this.source)
+      : isInExternalSummaries = false;
+
+  FileState._external(this._fsState, this.uri)
+      : isInExternalSummaries = true,
+        path = null,
+        source = null {
+    _apiSignature = new Uint8List(16);
+  }
 
   /**
    * The unlinked API signature of the file.
    */
   List<int> get apiSignature => _apiSignature;
 
   /**
    * The content of the file.
    */
   String get content => _content;
@@ skipping 463 matching lines @@
 class FileSystemState {
   final PerformanceLog _logger;
   final ResourceProvider _resourceProvider;
   final ByteStore _byteStore;
   final FileContentOverlay _contentOverlay;
   final SourceFactory _sourceFactory;
   final AnalysisOptions _analysisOptions;
   final Uint32List _salt;
 
   /**
+   * The optional store with externally provided unlinked and corresponding
+   * linked summaries. These summaries are always added to the store for any
+   * file analysis.
+   *
+   * While walking the file graph, when we reach a file that exists in the
+   * external store, we add a stub [FileState], but don't attempt to read its
+   * content, or its unlinked unit, or imported libraries, etc.
+   */
+  final SummaryDataStore externalSummaries;
+
+  /**
    * Mapping from a URI to the corresponding [FileState].
    */
   final Map<Uri, FileState> _uriToFile = {};
 
   /**
    * All known file paths.
    */
   final Set<String> knownFilePaths = new Set<String>();
 
   /**
@@ skipping 47 matching lines @@
 
   FileSystemStateTestView _testView;
 
   FileSystemState(
       this._logger,
       this._byteStore,
       this._contentOverlay,
       this._resourceProvider,
       this._sourceFactory,
       this._analysisOptions,
-      this._salt) {
+      this._salt,
+      {this.externalSummaries}) {
     _testView = new FileSystemStateTestView(this);
   }
 
   /**
    * Return the known files.
    */
   List<FileState> get knownFiles =>
       _pathToFiles.values.map((files) => files.first).toList();
 
   /**
@@ skipping 49 matching lines @@
   }
 
   /**
    * Return the [FileState] for the given absolute [uri]. May return `null` if
    * the [uri] is invalid, e.g. a `package:` URI without a package name. The
    * returned file has the last known state since if was last refreshed.
    */
   FileState getFileForUri(Uri uri) {
     FileState file = _uriToFile[uri];
     if (file == null) {
+      // If the external store has this URI, create a stub file for it.
+      // We are given all required unlinked and linked summaries for it.
+      if (externalSummaries != null) {
+        String uriStr = uri.toString();
+        if (externalSummaries.hasUnlinkedUnit(uriStr)) {
+          file = new FileState._external(this, uri);
+          _uriToFile[uri] = file;
+          return file;
+        }
+      }
+
       Source uriSource = _sourceFactory.resolveUri(null, uri.toString());
 
       // If the URI cannot be resolved, for example because the factory
       // does not understand the scheme, return the unresolved file instance.
       if (uriSource == null) {
         _uriToFile[uri] = unresolvedFile;
         return unresolvedFile;
       }
 
       String path = uriSource.fullName;
@@ skipping 129 matching lines @@
   _FastaElementProxy operator [](fasta.Builder builder) =>
       _elements.putIfAbsent(builder, () => new _FastaElementProxy());
 
   @override
   noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
 }
 
 class _FastaInterfaceTypeProxy implements fasta.KernelInterfaceType {
   noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
 }