| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | |
| 2 // for details. All rights reserved. Use of this source code is governed by a | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 /** | |
| 6 * Support for client code that extends the analysis server by adding new | |
| 7 * navigation contributors. | |
| 8 * | |
| 9 * Plugins can register navigation contributors. The registered contributors | |
| 10 * will be used to get navigation regions any time a client issues an | |
| 11 * 'analysis.getNavigation' request or the server is about to send an | |
| 12 * 'analysis.navigation' notification. | |
| 13 * | |
| 14 * If a plugin wants to add navigation regions, it should implement the class | |
| 15 * [NavigationContributor] and then register the contributor by including code | |
| 16 * like the following in the plugin's registerExtensions method: | |
| 17 * | |
| 18 * @override | |
| 19 * void registerExtensions(RegisterExtension registerExtension) { | |
| 20 * ... | |
| 21 * registerExtension( | |
| 22 * NAVIGATION_CONTRIBUTOR_EXTENSION_POINT_ID, | |
| 23 * new MyNavigationContributor()); | |
| 24 * ... | |
| 25 * } | |
| 26 */ | |
| 27 import 'package:analysis_server/plugin/analysis/navigation/navigation_core.dart'
; | |
| 28 import 'package:analysis_server/src/plugin/server_plugin.dart'; | |
| 29 import 'package:plugin/plugin.dart'; | |
| 30 | |
| 31 /** | |
| 32 * The identifier of the extension point that allows plugins to register | |
| 33 * navigation contributors. The object used as an extension must be | |
| 34 * a [NavigationContributor]. | |
| 35 */ | |
| 36 final String NAVIGATION_CONTRIBUTOR_EXTENSION_POINT_ID = Plugin.join( | |
| 37 ServerPlugin.UNIQUE_IDENTIFIER, | |
| 38 ServerPlugin.NAVIGATION_CONTRIBUTOR_EXTENSION_POINT); | |
| OLD | NEW |