mirror of
https://github.com/dart-lang/sdk
synced 2024-09-05 16:41:07 +00:00
Remove the analysis server's DartFixListener.addDetail.
It is no longer used, since it was only needed by NNBD migration, which is now in a separate package unrelated to the analysis server. Change-Id: Ib9b68a65368e9e53c5be454cddfd1b4c01bcffe2 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/149864 Reviewed-by: Mike Fairhurst <mfairhurst@google.com> Commit-Queue: Paul Berry <paulberry@google.com>
This commit is contained in:
parent
af588af7de
commit
eba7e8b02f
|
@ -26,14 +26,6 @@ class DartFixListener {
|
|||
|
||||
ResourceProvider get resourceProvider => server.resourceProvider;
|
||||
|
||||
/// Add the given [detail] to the list of details to be returned to the
|
||||
/// client.
|
||||
void addDetail(String detail) {
|
||||
if (details.length < 200) {
|
||||
details.add(detail);
|
||||
}
|
||||
}
|
||||
|
||||
/// Record an edit to be sent to the client.
|
||||
///
|
||||
/// The associated suggestion should be separately added by calling
|
||||
|
|
Loading…
Reference in a new issue