Add '--dart-sdk-summary' option to analyzer-cli and use SummaryBasedDartSdk.

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

 // Copyright (c) 2015, 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 analyzer.src.summary.summary_sdk;
 
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/src/context/cache.dart' show CacheEntry;
 import 'package:analyzer/src/context/context.dart';
 import 'package:analyzer/src/dart/element/element.dart';
 import 'package:analyzer/src/dart/element/type.dart';
 import 'package:analyzer/src/generated/constant.dart';
 import 'package:analyzer/src/generated/engine.dart';
 import 'package:analyzer/src/generated/resolver.dart';
+import 'package:analyzer/src/generated/sdk.dart';
 import 'package:analyzer/src/generated/source.dart'
-    show Source, SourceFactory, SourceKind;
+    show DartUriResolver, Source, SourceFactory, SourceKind;
 import 'package:analyzer/src/summary/idl.dart';
+import 'package:analyzer/src/summary/package_bundle_reader.dart';
 import 'package:analyzer/src/summary/resynthesize.dart';
 import 'package:analyzer/src/task/dart.dart';
 import 'package:analyzer/task/dart.dart';
 import 'package:analyzer/task/model.dart'
     show AnalysisTarget, ResultDescriptor, TargetedResult;
 
 class SdkSummaryResultProvider implements SummaryResultProvider {
   final InternalAnalysisContext context;
   final PackageBundle bundle;
   final SummaryTypeProvider typeProvider = new SummaryTypeProvider();
@@ skipping 154 matching lines @@
     return unlinkedSummaries[uri];
   }
 
   @override
   bool hasLibrarySummary(String uri) {
     return uri.startsWith('dart:');
   }
 }
 
 /**
+ * An implementation of [DartSdk] which provides analysis results for `dart:`
+ * libraries from the given summary file.  This implementation is limited and
+ * suitable only for command-line tools, but not for IDEs.

[Brian Wilkerson, 2016/05/13 18:07:59]

It would be good to expand this comment by explaining why it isn't suitable for
IDEs.

+ */
+class SummaryBasedDartSdk implements DartSdk {
+  SummaryDataStore _dataStore;
+  InSummaryPackageUriResolver _uriResolver;
+  PackageBundle _bundle;
+
+  /**
+   * The [AnalysisContext] which is used for all of the sources in this sdk.
+   */
+  InternalAnalysisContext _analysisContext;
+
+  SummaryBasedDartSdk(String summaryPath) {
+    _dataStore = new SummaryDataStore(<String>[summaryPath]);
+    _uriResolver = new InSummaryPackageUriResolver(_dataStore);
+    _bundle = _dataStore.bundles.single;
+  }
+
+  /**
+   * Return the [PackageBundle] for this SDK, not `null`.
+   */
+  PackageBundle get bundle => _bundle;
+
+  @override
+  AnalysisContext get context {
+    if (_analysisContext == null) {
+      _analysisContext = new SdkAnalysisContext(null);
+      SourceFactory factory = new SourceFactory([new DartUriResolver(this)]);
+      _analysisContext.sourceFactory = factory;
+      _analysisContext.resultProvider =
+          new SdkSummaryResultProvider(_analysisContext, _bundle);
+    }
+    return _analysisContext;
+  }
+
+  @override
+  List<SdkLibrary> get sdkLibraries {
+    throw new UnimplementedError();
+  }
+
+  @override
+  String get sdkVersion {
+    throw new UnimplementedError();
+  }
+
+  @override
+  List<String> get uris {
+    throw new UnimplementedError();
+  }
+
+  @override
+  Source fromFileUri(Uri uri) {
+    return null;
+  }
+
+  @override
+  SdkLibrary getSdkLibrary(String uri) {
+    // This is not quite correct, but currently it's used only in
+    // to report errors on importing or exporting of internal libraries.
+    return null;
+  }
+
+  @override
+  Source mapDartUri(String uriStr) {
+    Uri uri = Uri.parse(uriStr);
+    return _uriResolver.resolveAbsolute(uri);
+  }
+}
+
+/**
  * Provider for analysis results.
  */
 abstract class SummaryResultProvider extends ResultProvider {
   /**
    * The [SummaryResynthesizer] of this context, maybe `null`.
    */
   SummaryResynthesizer get resynthesizer;
 }
 
 /**
@@ skipping 224 matching lines @@
    * throw a [StateError] if there is no class with the given name.
    */
   InterfaceType _getType(LibraryElement library, String name) {
     Element element = library.getType(name);
     if (element == null) {
       throw new StateError("No definition of type $name");
     }
     return (element as ClassElement).type;
   }
 }