Fully parse SDK files when analyzing in batch mode.

pkg/analyzer/lib/src/analyzer_impl.dart

 // Copyright (c) 2013, 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_impl;
 
 import 'dart:async';
 import 'dart:collection';
 import 'dart:io';
 
@@ skipping 22 matching lines @@
  * The maximum number of sources for which AST structures should be kept in the cache.
  */
 const int _MAX_CACHE_SIZE = 512;
 
 /// Analyzes single library [File].
 class AnalyzerImpl {
   final String sourcePath;
 
   final CommandLineOptions options;
   final int startTime;
+
+  /**
+   * True if the analyzer is running in batch mode.
+   */
+  final bool isBatch;
+
   ContentCache contentCache = new ContentCache();
 
   SourceFactory sourceFactory;
   AnalysisContext context;
   Source librarySource;
   /// All [Source]s references by the analyzed library.
   final Set<Source> sources = new Set<Source>();
 
   /// All [AnalysisErrorInfo]s in the analyzed library.
   final List<AnalysisErrorInfo> errorInfos = new List<AnalysisErrorInfo>();
 
   /// [HashMap] between sources and analysis error infos.
   final HashMap<Source, AnalysisErrorInfo> sourceErrorsMap =
       new HashMap<Source, AnalysisErrorInfo>();
 
-  AnalyzerImpl(String sourcePath, this.options, this.startTime)
+  AnalyzerImpl(String sourcePath, this.options, this.startTime, this.isBatch)
       : sourcePath = _normalizeSourcePath(sourcePath) {
     if (sdk == null) {
       sdk = new DirectoryBasedDartSdk(new JavaFile(options.dartSdkPath));
     }
   }
 
   /// Returns the maximal [ErrorSeverity] of the recorded errors.
   ErrorSeverity get maxErrorSeverity {
     var status = ErrorSeverity.NONE;
     for (AnalysisErrorInfo errorInfo in errorInfos) {
@@ skipping 187 matching lines @@
     }).catchError((ex, st) {
       AnalysisEngine.instance.logger.logError("$ex\n$st");
     });
   }
 
   bool _analyzeFunctionBodiesPredicate(Source source) {
     // TODO(paulberry): This function will need to be updated when we add the
     // ability to suppress errors, warnings, and hints for files reached via
     // custom URI's using the "--url-mapping" flag.
     if (source.uri.scheme == 'dart') {
+      if (isBatch) {
+        // When running in batch mode, the SDK files are cached from one
+        // analysis run to the next.  So we need to parse function bodies even
+        // if the user hasn't asked for errors/warnings from the SDK, since
+        // they might ask for errors/warnings from the SDK in the future.
+        return true;
+      }
       return options.showSdkWarnings;
     }
     if (source.uri.scheme == 'package') {
       return options.showPackageWarnings;
     }
     return true;
   }
 
   /// The sync version of analysis.
   ErrorSeverity _analyzeSync(int printMode) {
@@ skipping 169 matching lines @@
     }
   }
 
   @override
   void logInformation2(String message, Object exception) {
     if (log) {
       stdout.writeln(message);
     }
   }
 }