Check parameter types when evaluating constants.

pkg/analyzer/lib/options.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 options;
 
 import 'dart:io';
 
 import 'package:args/args.dart';
 
@@ skipping 14 matching lines @@
 
   /** Whether to display version information */
   final bool displayVersion;
 
   /** Whether to enable support for the proposed async feature. */
   final bool enableAsync;
 
   /** Whether to enable support for the proposed enum feature. */
   final bool enableEnum;
 
+  /**
+   * Whether to treat type mismatches found during constant evaluation as
+   * errors.
+   */
+  final bool enableTypeChecks;
+
   /** Whether to ignore unrecognized flags */
   final bool ignoreUnrecognizedFlags;
 
   /** Whether to log additional analysis messages and exceptions */
   final bool log;
 
   /** Whether to use machine format for error display */
   final bool machineFormat;
 
   /** The path to the package root */
@@ skipping 23 matching lines @@
   /**
    * Initialize options from the given parsed [args].
    */
   CommandLineOptions._fromArgs(ArgResults args, Map<String, String> definedVariables)
     : dartSdkPath = args['dart-sdk'],
       this.definedVariables = definedVariables,
       disableHints = args['no-hints'],
       displayVersion = args['version'],
       enableAsync = args['enable-async'],
       enableEnum = args['enable-enum'],
+      enableTypeChecks = args['enable_type_checks'],
       ignoreUnrecognizedFlags = args['ignore-unrecognized-flags'],
       log = args['log'],
       machineFormat = args['machine'] || args['format'] == 'machine',
       packageRootPath = args['package-root'],
       perf = args['perf'],
       shouldBatch = args['batch'],
       showPackageWarnings = args['show-package-warnings'] || args['package-warnings'],
       showSdkWarnings = args['show-sdk-warnings'] || args['warnings'],
       sourceFiles = args.rest,
       warmPerf = args['warm-perf'],
@@ skipping 66 matching lines @@
       ..addFlag('enable-async',
           help: 'Enable support for the proposed async feature',
           defaultsTo: false, negatable: false, hide: true)
       ..addFlag('enable-enum',
           help: 'Enable support for the proposed enum feature',
           defaultsTo: false, negatable: false, hide: true)
       ..addFlag('log', help: 'Log additional messages and exceptions',
           defaultsTo: false, negatable: false, hide: true)
       ..addFlag('warm-perf',
           help: 'Show both cold and warm performance statistics',
+          defaultsTo: false, negatable: false, hide: true)
+      ..addFlag('enable_type_checks',
+          help: 'Check types in constant evaluation',
           defaultsTo: false, negatable: false, hide: true);
 
     try {
       // TODO(scheglov) https://code.google.com/p/dart/issues/detail?id=11061
       args = args.map((String arg) => arg == '-batch' ? '--batch' : arg).toList();
       Map<String, String> definedVariables = <String, String>{};
       var results = parser.parse(args, definedVariables);
       // help requests
       if (results['help']) {
         _showUsage(parser);
@@ skipping 156 matching lines @@
 
   _getNextFlagIndex(args, i) {
     for ( ; i < args.length; ++i) {
       if (args[i].startsWith('--')) {
         return i;
       }
     }
     return i;
   }
 }