| Index: lib/src/options.dart
|
| diff --git a/lib/src/options.dart b/lib/src/options.dart
|
| index 499cbb643e05f88ba4a3b1caa0607112d9ae7f10..9abcca3a921d4985fcf59b53a33c06f418bd595c 100644
|
| --- a/lib/src/options.dart
|
| +++ b/lib/src/options.dart
|
| @@ -48,6 +48,9 @@ class CommandLineOptions {
|
| /// errors.
|
| final bool enableTypeChecks;
|
|
|
| + /// Whether to treat hints as fatal
|
| + final bool hintsAreFatal;
|
| +
|
| /// Whether to ignore unrecognized flags
|
| final bool ignoreUnrecognizedFlags;
|
|
|
| @@ -99,6 +102,7 @@ class CommandLineOptions {
|
| enableStrictCallChecks = args['enable-strict-call-checks'],
|
| enableSuperMixins = args['supermixin'],
|
| enableTypeChecks = args['enable_type_checks'],
|
| + hintsAreFatal = args['fatal-hints'],
|
| ignoreUnrecognizedFlags = args['ignore-unrecognized-flags'],
|
| lints = args['lints'],
|
| log = args['log'],
|
| @@ -209,6 +213,10 @@ class CommandLineOptions {
|
| help: 'Ignore unrecognized command line flags.',
|
| defaultsTo: false,
|
| negatable: false)
|
| + ..addFlag('fatal-hints',
|
| + help: 'Treat hints as fatal.',
|
| + defaultsTo: false,
|
| + negatable: false)
|
| ..addFlag('fatal-warnings',
|
| help: 'Treat non-type warnings as fatal.',
|
| defaultsTo: false,
|
|
|