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 index | 6 * Support for client code that extends the analysis server by adding new index |
7 * contributors. | 7 * contributors. |
8 */ | 8 */ |
9 library analysis_server.plugin.index; | 9 library analysis_server.plugin.index; |
10 | 10 |
11 import 'package:analysis_server/analysis/index/index_core.dart'; | 11 import 'package:analysis_server/analysis/index/index_core.dart'; |
12 import 'package:analysis_server/src/plugin/server_plugin.dart'; | 12 import 'package:analysis_server/src/plugin/server_plugin.dart'; |
13 import 'package:plugin/plugin.dart'; | 13 import 'package:plugin/plugin.dart'; |
14 | 14 |
15 /** | 15 /** |
16 * The identifier of the extension point that allows plugins to register new | 16 * The identifier of the extension point that allows plugins to register index |
17 * index contributors with the server. The object used as an extension must be | 17 * contributors. The object used as an extension must be an [IndexContributor]. |
18 * an [IndexContributor]. | |
19 */ | 18 */ |
20 final String INDEX_CONTRIBUTOR_EXTENSION_POINT_ID = Plugin.join( | 19 final String INDEX_CONTRIBUTOR_EXTENSION_POINT_ID = Plugin.join( |
21 ServerPlugin.UNIQUE_IDENTIFIER, | 20 ServerPlugin.UNIQUE_IDENTIFIER, |
22 ServerPlugin.INDEX_CONTRIBUTOR_EXTENSION_POINT); | 21 ServerPlugin.INDEX_CONTRIBUTOR_EXTENSION_POINT); |
OLD | NEW |