com.sri.gradle.daikon.utils

Class ImmutableStream

java.lang.Object

com.sri.gradle.daikon.utils.ImmutableStream

public class ImmutableStream
extends java.lang.Object

Immutable collections and maps from Stream objects

Method Summary

Modifier and Type	Method and Description
static <T> java.util.stream.Stream<T>	concat(java.util.stream.Stream<? extends T> x, java.util.stream.Stream<? extends T> y) Concatenation of two sets using their Stream API.
static <T> java.util.List<T>	listCopyOf(java.util.stream.Stream<? extends T> stream) Converts stream of objects into an immutable list.
static <K,V> java.util.Map<K,V>	mapCopyOf(java.util.stream.Stream<? extends java.util.Map.Entry<? extends K,? extends V>> stream) Converts a stream of Map.Entry objects into an immutable map.
static <T> java.util.Set<T>	setCopyOf(java.util.stream.Stream<? extends T> stream) Converts stream of object into an immutable set.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

listCopyOf

public static <T> java.util.List<T> listCopyOf(java.util.stream.Stream<? extends T> stream)

Converts stream of objects into an immutable list.

Type Parameters:

T - type parameter

Parameters:

stream - stream of objects

Returns:

an immutable list.

concat

public static <T> java.util.stream.Stream<T> concat(java.util.stream.Stream<? extends T> x,
                                                    java.util.stream.Stream<? extends T> y)

Concatenation of two sets using their Stream API.

Type Parameters:

T - type of element in a set

Parameters:

x - first set

y - second set

Returns:

added values of two sets into a single stream.

setCopyOf

public static <T> java.util.Set<T> setCopyOf(java.util.stream.Stream<? extends T> stream)

Converts stream of object into an immutable set.

Type Parameters:

T - type parameter

Parameters:

stream - stream of objects

Returns:

an immutable list.

mapCopyOf

public static <K,V> java.util.Map<K,V> mapCopyOf(java.util.stream.Stream<? extends java.util.Map.Entry<? extends K,? extends V>> stream)

Converts a stream of Map.Entry objects into an immutable map.

Type Parameters:

K - the output type of the key mapping function

V - the output type of the value mapping function

Parameters:

stream - stream of Map.Entry object.s

Returns:

a new immutable map