All Downloads are FREE. Search and download functionalities are using the official Maven repository.

pascal.taie.util.collection.Streams Maven / Gradle / Ivy

The newest version!
/*
 * Tai-e: A Static Analysis Framework for Java
 *
 * Copyright (C) 2022 Tian Tan 
 * Copyright (C) 2022 Yue Li 
 *
 * This file is part of Tai-e.
 *
 * Tai-e is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License
 * as published by the Free Software Foundation, either version 3
 * of the License, or (at your option) any later version.
 *
 * Tai-e is distributed in the hope that it will be useful,but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General
 * Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with Tai-e. If not, see .
 */

package pascal.taie.util.collection;

import java.util.stream.Collectors;
import java.util.stream.Stream;

/**
 * Static utility methods for {@link Stream}.
 */
public final class Streams {

    private Streams() {
    }

    /**
     * Leverages {@link 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 be concatenated
     * @param      the type of stream elements
     * @return the concatenated stream
     */
    @SafeVarargs
    public static  Stream concat(Stream... streams) {
        Stream 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.
     * The elements in the collection are sorted by their string representation
     * (in alphabet order) in the resulting string. This is particularly useful
     * for comparing expected results with the ones given by the analysis.
     */
    public static  String toString(Stream stream) {
        return "[" + stream.map(T::toString)
                .sorted()
                .collect(Collectors.joining(", ")) + "]";
    }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy