pascal.taie.util.collection.Streams Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of tai-e Show documentation
Show all versions of tai-e Show documentation
An easy-to-learn/use static analysis framework for Java
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 extends T>... 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