// Copyright (c) 2016, 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 interface HashSet.from(Iterable elements)
 * All the [elements] should be assignable to [E]. [The elements] iterable
 * itself may have any element type, so this constructor can be used to
 * down-cast a [Set], for example as:
 * Set<SuperType> superSet = ...;
 * Set<SubType> subSet =
 *     new HashSet<SubType>.from(superSet.where((e) => e is SubType));
 * @description Checks that provided down-cast example works as expected
 * @author iarkh@unipro.ru
 */
import "../../../Utils/expect.dart";
import "dart:collection";

check(HashSet set, List list1, List list2) {
  Expect.equals(list1. length, set.length);
  list1.forEach((element) => Expect.isTrue(set.contains(element)));
  list2.forEach((element) => Expect.isFalse(set.contains(element)));
}

main() {
  List list = ["testme", 1, 2, 3, null, "", [], [1, 2, 3], {}, new Error(),
      -1, -2, "string1", "string2", "string3", 'a', 'b', 'c'];

  HashSet set = new HashSet<int>.from(list.where((e) => e is int));
  check(set, [1, 2, 3, -1, -2],
      ["testme", null, "", [], [1, 2, 3], {}, new Error(), "string1", "string2",
      "string3", 'a', 'b', 'c']);

  set = new HashSet<String>.from(list.where((e) => e is String));
  check(set, ["testme", "", "string1", "string2", "string3", 'a', 'b', 'c'],
    [1, 2, 3, null, [], [1, 2, 3], {}, new Error(), -1, -2]);

  set = new HashSet.from(list.where((e) => e is Object?));
  check(set, list, ["unexist", 0 -5]);
}