Method concat

src/main/java/pascal/taie/util/collection/Streams.java:46–53

Leverages Stream#concat(Stream, Stream) to create a lazily concatenated stream whose elements are all the elements of multiple given streams. The resulting stream is ordered if all input streams are ordered, and parallel if one of the input streams is parallel. @param streams the streams to

(Stream<? extends T>... streams)

     * @return the concatenated stream
     */
    @SafeVarargs
    public static <T> Stream<T> concat(Stream<? extends T>... streams) {
        Stream<T> result = Stream.of();
        for (int i = streams.length - 1; i >= 0; --i) {
            result = Stream.concat(streams[i], result);
        }
        return result;
    }

    /**
     * Converts a stream to a string.