Method toMappedSet

src/main/java/pascal/taie/util/collection/Views.java:145–149

Given a mapper function, creates an immutable view set for given collection. WARNING: the uniqueness of elements in the resulting set view is guaranteed by given collection c and function mapper, not by the resulting set view itself. @param c the backing collection @param

(
            Collection<T> c, Function<T, R> mapper, Predicate<Object> contains)

     * @return an immutable view set.
     */
    public static <T, R> Set<R> toMappedSet(
            Collection<T> c, Function<T, R> mapper, Predicate<Object> contains) {
        return Collections.unmodifiableSet(
                new MappedSetView<>(c, mapper, contains));
    }

    /**
     * Given a mapper function, creates an immutable view set for