Class Streams

java.lang.Object
pascal.taie.util.collection.Streams

public final class Streams extends Object
Static utility methods for Stream.
  • Method Details

    • concat

      @SafeVarargs public static <T> Stream<T> concat(Stream<? extends T>... streams)
      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.
      Type Parameters:
      T - the type of stream elements
      Parameters:
      streams - the streams to be concatenated
      Returns:
      the concatenated stream
    • toString

      public static <T> String toString(Stream<T> stream)
      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.