| Index: sdk/lib/collection/splay_tree.dart
|
| diff --git a/sdk/lib/collection/splay_tree.dart b/sdk/lib/collection/splay_tree.dart
|
| index 8e2f5930eff58f4928cc88bcafc1996a6ecf6151..3b9adecaba5014f64a835d1ad25bc47e8bc45688 100644
|
| --- a/sdk/lib/collection/splay_tree.dart
|
| +++ b/sdk/lib/collection/splay_tree.dart
|
| @@ -785,7 +785,7 @@ class SplayTreeSet<E> extends _SplayTree<E> with IterableMixin<E>
|
| }
|
|
|
| Set<E> intersection(Set<E> other) {
|
| - Set<E> result = new SplayTreeSet<E>(_compare, _validKey);
|
| + Set<E> result = new SplayTreeSet<E>(_comparator, _validKey);
|
| for (E element in this) {
|
| if (other.contains(element)) result.add(element);
|
| }
|
| @@ -793,7 +793,7 @@ class SplayTreeSet<E> extends _SplayTree<E> with IterableMixin<E>
|
| }
|
|
|
| Set<E> difference(Set<E> other) {
|
| - Set<E> result = new SplayTreeSet<E>(_compare, _validKey);
|
| + Set<E> result = new SplayTreeSet<E>(_comparator, _validKey);
|
| for (E element in this) {
|
| if (!other.contains(element)) result.add(element);
|
| }
|
| @@ -805,7 +805,7 @@ class SplayTreeSet<E> extends _SplayTree<E> with IterableMixin<E>
|
| }
|
|
|
| SplayTreeSet<E> _clone() {
|
| - var set = new SplayTreeSet<E>(_compare, _validKey);
|
| + var set = new SplayTreeSet<E>(_comparator, _validKey);
|
| set._count = _count;
|
| set._root = _cloneNode(_root);
|
| return set;
|
| @@ -825,4 +825,6 @@ class SplayTreeSet<E> extends _SplayTree<E> with IterableMixin<E>
|
| }
|
|
|
| void clear() { _clear(); }
|
| +
|
| + Set<E> toSet() => _clone();
|
| }
|
|
|