Allow the SDK to be set via a summary file

lib/src/analyzer/context.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.
 
 import 'package:args/args.dart' show ArgParser, ArgResults;
 import 'package:analyzer/src/generated/engine.dart'
     show AnalysisContext, AnalysisEngine, AnalysisOptionsImpl;
 import 'package:analyzer/src/generated/java_io.dart' show JavaFile;
 import 'package:analyzer/src/generated/sdk_io.dart' show DirectoryBasedDartSdk;
 import 'package:analyzer/src/generated/source_io.dart'
     show
         CustomUriResolver,
         DartUriResolver,
         FileUriResolver,
         PackageUriResolver,
         SourceFactory,
         UriResolver;
 import 'package:analyzer/src/summary/package_bundle_reader.dart'
     show
         InSummaryPackageUriResolver,
         InputPackagesResultProvider,
         SummaryDataStore;
+import 'package:analyzer/src/summary/summary_sdk.dart' show SummaryBasedDartSdk;
 import 'package:cli_util/cli_util.dart' show getSdkDir;
 import 'package:path/path.dart' as path;
 
 import 'dart_sdk.dart' show MockDartSdk, mockSdkSources;
 import 'multi_package_resolver.dart' show MultiPackageResolver;
 
 /// Options used to set up Source URI resolution in the analysis context.
 class AnalyzerOptions {
   /// Custom URI mappings, such as "dart:foo" -> "path/to/foo.dart"
   final Map<String, String> customUrlMappings;
 
   /// Package root when resolving 'package:' urls the standard way.
   final String packageRoot;
 
   /// List of summary file paths.
   final List<String> summaryPaths;
 
   /// List of paths used for the multi-package resolver.
   final List<String> packagePaths;
 
   /// Whether to use a mock-sdk during compilation.
   final bool useMockSdk;
 
   /// Path to the dart-sdk. Null if `useMockSdk` is true or if the path couldn't
   /// be determined
   final String dartSdkPath;
 
+  /// Path to the dart-sdk summary.  If this is set, it will be used in favor
+  /// of the unsummarized one.
+  final String dartSdkSummaryPath;
+
   AnalyzerOptions(
       {this.summaryPaths: const [],
       this.useMockSdk: false,
       String dartSdkPath,
+      this.dartSdkSummaryPath,
       this.customUrlMappings: const {},
       this.packageRoot: 'packages/',
       this.packagePaths: const []})
       : dartSdkPath = dartSdkPath ?? getSdkDir().path;
 
   AnalyzerOptions.fromArguments(ArgResults args)
       : summaryPaths = args['summary'],
         useMockSdk = false,
         dartSdkPath = args['dart-sdk'] ?? getSdkDir().path,
+        dartSdkSummaryPath = args['dart-sdk-summary'],
         customUrlMappings = _parseUrlMappings(args['url-mapping']),
         packageRoot = args['package-root'],
         packagePaths = args['package-paths']?.split(',') ?? [];
 
   /// Whether to resolve 'package:' uris using the multi-package resolver.
   bool get useMultiPackage => packagePaths.isNotEmpty;
 
   static ArgParser addArguments(ArgParser parser) {
     return parser
       ..addOption('summary',
           abbr: 's', help: 'summary file(s) to include', allowMultiple: true)
       ..addOption('dart-sdk', help: 'Dart SDK Path', defaultsTo: null)
+      ..addOption('dart-sdk-summary',
+          help: 'Dart SDK Summary Path', defaultsTo: null)
       ..addOption('package-root',
           abbr: 'p',
           help: 'Package root to resolve "package:" imports',
           defaultsTo: 'packages/')
       ..addOption('url-mapping',
           help: '--url-mapping=libraryUri,/path/to/library.dart uses \n'
               'library.dart as the source for an import of of "libraryUri".',
           allowMultiple: true,
           splitCommas: false)
       ..addOption('package-paths',
@@ skipping 13 matching lines @@
 }
 
 /// Creates an [AnalysisContext] with dev_compiler type rules and inference,
 /// using [createSourceFactory] to set up its [SourceFactory].
 AnalysisContext createAnalysisContextWithSources(AnalyzerOptions options,
     {DartUriResolver sdkResolver, List<UriResolver> fileResolvers}) {
   AnalysisEngine.instance.processRequiredPlugins();
 
   sdkResolver ??= options.useMockSdk
       ? createMockSdkResolver(mockSdkSources)
-      : createSdkPathResolver(options.dartSdkPath);
+      : createSdkPathResolver(options.dartSdkSummaryPath, options.dartSdkPath);
 
   // Read the summaries.
   SummaryDataStore summaryData;
   if (options.summaryPaths.isNotEmpty) {
     summaryData = new SummaryDataStore(options.summaryPaths);
   }
 
   var srcFactory = _createSourceFactory(options,
       sdkResolver: sdkResolver,
       fileResolvers: fileResolvers,
@@ skipping 47 matching lines @@
     options.useMultiPackage
         ? new MultiPackageResolver(options.packagePaths)
         : new PackageUriResolver([new JavaFile(options.packageRoot)])
   ];
 }
 
 /// Creates a [DartUriResolver] that uses a mock 'dart:' library contents.
 DartUriResolver createMockSdkResolver(Map<String, String> mockSources) =>
     new MockDartSdk(mockSources, reportMissing: true).resolver;
 
-/// Creates a [DartUriResolver] that uses the SDK at the given [sdkPath].
-DartUriResolver createSdkPathResolver(String sdkPath) {
+DirectoryBasedDartSdk _createDirectoryBasedDartSdk(String sdkPath) {
   var sdk = new DirectoryBasedDartSdk(
       new JavaFile(sdkPath), /*useDart2jsPaths:*/ true);
   sdk.useSummary = true;
   sdk.analysisOptions = new AnalysisOptionsImpl()..strongMode = true;
+  return sdk;
+}
+
+/// Creates a [DartUriResolver] that uses the SDK at the given [sdkPath].
+DartUriResolver createSdkPathResolver(String sdkSummaryPath, String sdkPath) {
+  var sdk = (sdkSummaryPath != null)
+      ? new SummaryBasedDartSdk(sdkSummaryPath, true)
+      : _createDirectoryBasedDartSdk(sdkPath);
   return new DartUriResolver(sdk);
 }