/*
 * Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 * for details. All rights reserved. Use of this source code is governed by a
 * BSD-style license that can be found in the LICENSE file.
 */
/**
 * @assertion bool every(bool f(T element))
 * Returns true if every element of the collection satisfies the predicate [f].
 * Returns false otherwise.
 * @description Checks that this method works as specified with a collection of
 * integers and a simple predicate (numerical comparison).
 * @author pagolubev
 */
library every_A01_t01;
import "set.lib.dart";
import "../../../Utils/expect.dart";

test(Set create([Set content])) {
  bool foo(var x) { return x > 0; }

  Set s = create();
  Expect.isTrue(s.every(foo));

  s.addAll([1, 17, 5, 3, 11]);
  Expect.isTrue(s.every(foo));
  Expect.isTrue(s.containsAll([1, 17, 5, 3, 11]));
  Expect.isTrue(s.length == 5);

  s.add(-1);
  Expect.isTrue(!s.every(foo));
  Expect.isTrue(s.containsAll([1, 17, 5, 3, 11, -1]));
  Expect.isTrue(s.length == 6);

  s.remove(-1);
  Expect.isTrue(s.every(foo));
}

main() {
  test(create);
}