Implement --dump-info for batch mode.

Implement --dump-info for batch mode.

BUG=
R=jmesserly@google.com, vsm@google.com

Committed: https://github.com/dart-lang/dev_compiler/commit/10d7d0e795f35780273f8e932686c145b253384e

[devoncarew, 2015-10-12 23:22:19]

devoncarew@google.com changed reviewers:
+ jmesserly@google.com, vsm@google.com

[Jennifer Messerly, 2015-10-13 00:14:21]

lgtm.

As an aside, I've always disliked the name of this option. Both "dump" and
"info" are fairly meaningless.

Perhaps we could call it: "summarize-compile-messages" or something along those
lines?

https://codereview.chromium.org/1402713002/diff/1/lib/src/compiler.dart
File lib/src/compiler.dart (right):

https://codereview.chromium.org/1402713002/diff/1/lib/src/compiler.dart#newco...
lib/src/compiler.dart:73: if (options.dumpInfo && reporter is SummaryReporter) {
is this code from somewhere else? Would it make sense to share?

[Jennifer Messerly, 2015-10-13 15:26:43]

Oh, FWIW ... I've come close to removing this option on a few occasions. I'd be
curious what you were going to use it for?

I think ultimately, we'd like to cut the number of options as well as get DDC
out of the business of being a different analyzer_cli frontend. So the
SummaryReporter code would need to move to a new home.

[vsm, 2015-10-13 16:03:51]

lgtm

[devoncarew, 2015-10-13 16:35:05]

On 2015/10/13 15:26:43, John Messerly wrote:
> Oh, FWIW ... I've come close to removing this option on a few occasions. I'd
be
> curious what you were going to use it for?

Ah, I wanted to see what it would emit, and noticed it only worked with
--server. So I wired it up :)
 
> I think ultimately, we'd like to cut the number of options

Happy to drop this PR - it's not something I'm depending on. Totally agree about
slimming down the CLI options! Let me know what you'd like -

> as well as get DDC
> out of the business of being a different analyzer_cli frontend. So the
> SummaryReporter code would need to move to a new home.

[devoncarew, 2015-10-13 17:31:13]

Committed patchset #1 (id:1) manually as
10d7d0e795f35780273f8e932686c145b253384e (presubmit successful).