Package pascal.taie.util.collection
Class Streams
java.lang.Object
pascal.taie.util.collection.Streams
Static utility methods for
Stream
.-
Method Summary
Modifier and TypeMethodDescriptionstatic <T> Stream<T>
LeveragesStream.concat(Stream, Stream)
to create a lazily concatenated stream whose elements are all the elements of multiple given streams.static <T> String
Converts a stream to a string.
-
Method Details
-
concat
LeveragesStream.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.- Type Parameters:
T
- the type of stream elements- Parameters:
streams
- the streams to be concatenated- Returns:
- the concatenated stream
-
toString
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.
-