| Index: pkg/analyzer_plugin/lib/utilities/navigation/navigation.dart
|
| diff --git a/pkg/analyzer_plugin/lib/utilities/navigation/navigation.dart b/pkg/analyzer_plugin/lib/utilities/navigation/navigation.dart
|
| index 7205cc6654acf24e48e8aa6b588dcc8e373c76fe..462448b29ccc9723fe6ead666ed5d822cb704ccf 100644
|
| --- a/pkg/analyzer_plugin/lib/utilities/navigation/navigation.dart
|
| +++ b/pkg/analyzer_plugin/lib/utilities/navigation/navigation.dart
|
| @@ -4,6 +4,7 @@
|
|
|
| import 'package:analyzer/dart/analysis/results.dart';
|
| import 'package:analyzer/file_system/file_system.dart';
|
| +import 'package:analyzer/src/generated/source.dart';
|
| import 'package:analyzer_plugin/protocol/protocol.dart';
|
| import 'package:analyzer_plugin/protocol/protocol_common.dart'
|
| show ElementKind, Location;
|
| @@ -32,6 +33,13 @@ abstract class DartNavigationRequest implements NavigationRequest {
|
| */
|
| abstract class NavigationCollector {
|
| /**
|
| + * Record a new navigation region corresponding to the given [range] that
|
| + * should navigate to the given [targetLocation].
|
| + */
|
| + void addRange(
|
| + SourceRange range, ElementKind targetKind, Location targetLocation);
|
| +
|
| + /**
|
| * Record a new navigation region with the given [offset] and [length] that
|
| * should navigate to the given [targetLocation].
|
| */
|
|
|