| OLD | NEW |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 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 | 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. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 /** | 5 /** |
| 6 * Support for client code that extends the analysis server by adding new | 6 * Support for client code that extends the analysis server by adding new |
| 7 * occurrences contributors. | 7 * occurrences contributors. |
| 8 * | 8 * |
| 9 * Plugins can register occurrences contributors. The registered contributors | 9 * Plugins can register occurrences contributors. The registered contributors |
| 10 * will be used to get occurrence information any time the server is about to | 10 * will be used to get occurrence information any time the server is about to |
| 11 * send an 'analysis.occurrences' notification. | 11 * send an 'analysis.occurrences' notification. |
| 12 * | 12 * |
| 13 * If a plugin wants to add occurrence information, it should implement the | 13 * If a plugin wants to add occurrence information, it should implement the |
| 14 * class [OccurrencesContributor] and then register the contributor by including | 14 * class [OccurrencesContributor] and then register the contributor by including |
| 15 * code like the following in the plugin's registerExtensions method: | 15 * code like the following in the plugin's registerExtensions method: |
| 16 * | 16 * |
| 17 * @override | 17 * @override |
| 18 * void registerExtensions(RegisterExtension registerExtension) { | 18 * void registerExtensions(RegisterExtension registerExtension) { |
| 19 * ... | 19 * ... |
| 20 * registerExtension( | 20 * registerExtension( |
| 21 * OCCURRENCES_CONTRIBUTOR_EXTENSION_POINT_ID, | 21 * OCCURRENCES_CONTRIBUTOR_EXTENSION_POINT_ID, |
| 22 * new MyOccurrencesContributor()); | 22 * new MyOccurrencesContributor()); |
| 23 * ... | 23 * ... |
| 24 * } | 24 * } |
| 25 */ | 25 */ |
| 26 library analysis_server.plugin.analysis.occurrences.occurrences; | |
| 27 | |
| 28 import 'package:analysis_server/plugin/analysis/occurrences/occurrences_core.dar
t'; | 26 import 'package:analysis_server/plugin/analysis/occurrences/occurrences_core.dar
t'; |
| 29 import 'package:analysis_server/src/plugin/server_plugin.dart'; | 27 import 'package:analysis_server/src/plugin/server_plugin.dart'; |
| 30 import 'package:plugin/plugin.dart'; | 28 import 'package:plugin/plugin.dart'; |
| 31 | 29 |
| 32 /** | 30 /** |
| 33 * The identifier of the extension point that allows plugins to register | 31 * The identifier of the extension point that allows plugins to register |
| 34 * occurrence information. The object used as an extension must be an | 32 * occurrence information. The object used as an extension must be an |
| 35 * [OccurrencesContributor]. | 33 * [OccurrencesContributor]. |
| 36 */ | 34 */ |
| 37 final String OCCURRENCES_CONTRIBUTOR_EXTENSION_POINT_ID = Plugin.join( | 35 final String OCCURRENCES_CONTRIBUTOR_EXTENSION_POINT_ID = Plugin.join( |
| 38 ServerPlugin.UNIQUE_IDENTIFIER, | 36 ServerPlugin.UNIQUE_IDENTIFIER, |
| 39 ServerPlugin.OCCURRENCES_CONTRIBUTOR_EXTENSION_POINT); | 37 ServerPlugin.OCCURRENCES_CONTRIBUTOR_EXTENSION_POINT); |
| OLD | NEW |