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