| 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 analysis_server.src.plugin.plugin_impl; | 5 library analyzer.src.plugin.plugin_impl; |
| 6 | 6 |
| 7 import 'dart:collection'; | 7 import 'dart:collection'; |
| 8 | 8 |
| 9 import 'package:analysis_server/plugin/plugin.dart'; | 9 import 'package:analyzer/plugin/plugin.dart'; |
| 10 | 10 |
| 11 /** | 11 /** |
| 12 * An object that manages the extension points for a single instance of the | 12 * An object that manages the extension points for a single instance of the |
| 13 * analysis server. | 13 * analysis server. |
| 14 */ | 14 */ |
| 15 class ExtensionManager { | 15 class ExtensionManager { |
| 16 /** | 16 /** |
| 17 * A table mapping the id's of extension points to the corresponding | 17 * A table mapping the id's of extension points to the corresponding |
| 18 * extension points. | 18 * extension points. |
| 19 */ | 19 */ |
| (...skipping 96 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 116 * Validate that the given [extension] is appropriate for this extension | 116 * Validate that the given [extension] is appropriate for this extension |
| 117 * point, and if it is then add it to the list of registered exceptions. | 117 * point, and if it is then add it to the list of registered exceptions. |
| 118 */ | 118 */ |
| 119 void add(Object extension) { | 119 void add(Object extension) { |
| 120 if (validateExtension != null) { | 120 if (validateExtension != null) { |
| 121 validateExtension(extension); | 121 validateExtension(extension); |
| 122 } | 122 } |
| 123 _extensions.add(extension); | 123 _extensions.add(extension); |
| 124 } | 124 } |
| 125 } | 125 } |
| OLD | NEW |