| Index: pkg/analyzer_plugin/lib/src/utilities/navigation/navigation.dart
|
| diff --git a/pkg/analyzer_plugin/lib/src/utilities/navigation/navigation.dart b/pkg/analyzer_plugin/lib/src/utilities/navigation/navigation.dart
|
| index e513c86670a689b8a61d7850a0926f6921dcc9af..1062970658771d723440c02a518b667314184c12 100644
|
| --- a/pkg/analyzer_plugin/lib/src/utilities/navigation/navigation.dart
|
| +++ b/pkg/analyzer_plugin/lib/src/utilities/navigation/navigation.dart
|
| @@ -59,6 +59,12 @@ class NavigationCollectorImpl implements NavigationCollector {
|
| final Map<String, int> fileMap = <String, int>{};
|
|
|
| @override
|
| + void addRange(
|
| + SourceRange range, ElementKind targetKind, Location targetLocation) {
|
| + addRegion(range.offset, range.length, targetKind, targetLocation);
|
| + }
|
| +
|
| + @override
|
| void addRegion(
|
| int offset, int length, ElementKind targetKind, Location targetLocation) {
|
| SourceRange range = new SourceRange(offset, length);
|
|
|