Method map

src/main/java/pascal/taie/util/collection/Lists.java:45–48

Applies a mapper function on a given collection and returns the results as a list. The resulting list is unmodifiable.

(Collection<? extends T> c,
                                     Function<T, R> mapper)

     * the results as a list. The resulting list is unmodifiable.
     */
    public static <T, R> List<R> map(Collection<? extends T> c,
                                     Function<T, R> mapper) {
        return c.isEmpty() ? List.of() : c.stream().map(mapper).toList();
    }

    /**
     * Tests the elements in a given collection and returns a list of elements