Index: sdk/lib/collection/splay_tree.dart |
diff --git a/sdk/lib/collection/splay_tree.dart b/sdk/lib/collection/splay_tree.dart |
index 1461cc6138c1ac77aa92c63654b6a88d1bf8add5..b959a55721e843a263c34c0816c8bc0bb55a17d7 100644 |
--- a/sdk/lib/collection/splay_tree.dart |
+++ b/sdk/lib/collection/splay_tree.dart |
@@ -313,6 +313,8 @@ class SplayTreeMap<K, V> extends _SplayTree<K> implements Map<K, V> { |
return (_root == null); |
} |
+ bool get isNotEmpty => !isEmpty; |
+ |
void forEach(void f(K key, V value)) { |
Iterator<_SplayTreeNode<K>> nodes = |
new _SplayTreeNodeIterator<K>(this); |