Index: utils/pub/source_registry.dart |
diff --git a/utils/pub/source_registry.dart b/utils/pub/source_registry.dart |
index 917e9a302c8196f7e84158865c3a0403a1247f02..6bbcec234bccbc719dc61e40cde4fe3acdd94ec4 100644 |
--- a/utils/pub/source_registry.dart |
+++ b/utils/pub/source_registry.dart |
@@ -6,27 +6,19 @@ library source_registry; |
import 'source.dart'; |
-/** |
- * A class that keeps track of [Source]s used for installing packages. |
- */ |
+/// A class that keeps track of [Source]s used for installing packages. |
class SourceRegistry { |
final Map<String, Source> _map; |
Source _default; |
- /** |
- * Creates a new registry with no packages registered. |
- */ |
+ /// Creates a new registry with no packages registered. |
SourceRegistry() : _map = <String, Source>{}; |
- /** |
- * Returns the default source, which is used when no source is specified. |
- */ |
+ /// Returns the default source, which is used when no source is specified. |
Source get defaultSource => _default; |
- /** |
- * Sets the default source. This takes a string, which must be the name of a |
- * registered source. |
- */ |
+ /// Sets the default source. This takes a string, which must be the name of a |
+ /// registered source. |
void setDefault(String name) { |
if (!_map.containsKey(name)) { |
// TODO(nweiz): Real error-handling system |
@@ -36,10 +28,8 @@ class SourceRegistry { |
_default = _map[name]; |
} |
- /** |
- * Registers a new source. This source may not have the same name as a source |
- * that's already been registered. |
- */ |
+ /// Registers a new source. This source may not have the same name as a source |
+ /// that's already been registered. |
void register(Source source) { |
if (_map.containsKey(source.name)) { |
// TODO(nweiz): Real error-handling system |
@@ -49,15 +39,11 @@ class SourceRegistry { |
_map[source.name] = source; |
} |
- /** |
- * Returns `true` if there is a source named [name]. |
- */ |
+ /// Returns `true` if there is a source named [name]. |
bool contains(String name) => _map.containsKey(name); |
- /** |
- * Returns the source named [name]. Throws an error if no such source has been |
- * registered. If [name] is null, returns the default source. |
- */ |
+ /// Returns the source named [name]. Throws an error if no such source has |
+ /// been registered. If [name] is null, returns the default source. |
Source operator[](String name) { |
if (name == null) { |
if (defaultSource != null) return defaultSource; |