Provide LINE_INFO from ResynthesizerResultProvider.

Provide LINE_INFO from ResynthesizerResultProvider.

Also, to guarantee that LINE_INFO is computed, we need to replace
context.getLineInfo() with context.computeLineInfo() in the server.
This should be equivalently fast in both summary (from provider) and
non-summary cases (the source should have been scanned and parsed in
order to resolve references to its elements).

R=brianwilkerson@google.com
BUG=

Committed: https://github.com/dart-lang/sdk/commit/43fef756ae79b614ad6ff87995430d5059d51626

[Brian Wilkerson, 2016-08-09 14:01:52]

lgtm

[scheglov, 2016-08-09 16:12:29]

Description was changed from

==========
Provide LINE_INFO from ResynthesizerResultProvider.

Also, to guarantee that LINE_INFO is computed, we need to replace
context.getLineInfo() with context.computeLineInfo() in the server.
This should be equivalently fast in both summary (from provider) and
non-summary cases (the source should have been scanned and parsed in
order to resolve references to its elements).

R=brianwilkerson@google.com
BUG=
==========

to

==========
Provide LINE_INFO from ResynthesizerResultProvider.

Also, to guarantee that LINE_INFO is computed, we need to replace
context.getLineInfo() with context.computeLineInfo() in the server.
This should be equivalently fast in both summary (from provider) and
non-summary cases (the source should have been scanned and parsed in
order to resolve references to its elements).

R=brianwilkerson@google.com
BUG=

Committed:
https://github.com/dart-lang/sdk/commit/43fef756ae79b614ad6ff87995430d5059d51626
==========

[scheglov, 2016-08-09 16:12:30]

Committed patchset #1 (id:1) manually as
43fef756ae79b614ad6ff87995430d5059d51626 (presubmit successful).