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 library plugin.manager; | 5 library plugin.manager; |
6 | 6 |
7 import 'package:plugin/src/plugin_impl.dart'; | 7 import 'package:plugin/src/plugin_impl.dart'; |
8 import 'package:plugin/plugin.dart'; | 8 import 'package:plugin/plugin.dart'; |
9 | 9 |
10 /** | 10 /** |
11 * An object that manages the extension points for the host application. | 11 * An object that manages the extension points for the host application. |
12 */ | 12 */ |
13 abstract class ExtensionManager { | 13 abstract class ExtensionManager { |
14 /** | 14 /** |
15 * Initialize a newly created manager. | 15 * Initialize a newly created manager. |
16 */ | 16 */ |
17 factory ExtensionManager() = ExtensionManagerImpl; | 17 factory ExtensionManager() = ExtensionManagerImpl; |
18 | 18 |
19 /** | 19 /** |
20 * Process each of the given [plugins] by allowing them to register extension | 20 * Process each of the given [plugins] by allowing them to register extension |
21 * points and extensions. | 21 * points and extensions. |
22 * | 22 * |
23 * An [ExtensionError] will be thrown if any of the plugins throws such an | 23 * An [ExtensionError] will be thrown if any of the plugins throws such an |
24 * exception while registering with this manager. | 24 * exception while registering with this manager. |
25 */ | 25 */ |
26 void processPlugins(List<Plugin> plugins); | 26 void processPlugins(List<Plugin> plugins); |
27 } | 27 } |
OLD | NEW |