Package org.sosy_lab.common.collect

Class MoreCollectors

java.lang.Object

org.sosy_lab.common.collect.MoreCollectors

public final class MoreCollectors
extends Object

Additional Collector implementation, similar to Collectors.

Method Summary

Modifier and Type	Method	Description
static <T> Collector<T,?,ImmutableList<T>>	toImmutableList()	Deprecated. use ImmutableList.toImmutableList()
static <T> Collector<T,?,ImmutableSet<T>>	toImmutableSet()	Deprecated. use ImmutableList.toImmutableList()
static <T> Collector<T,?,PersistentLinkedList<T>>	toPersistentLinkedList()	Deprecated. use PersistentLinkedList.toPersistentLinkedList()

Methods inherited from class java.lang.Object

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

Method Detail

toPersistentLinkedList

@Deprecated
@InlineMe(replacement="PersistentLinkedList.toPersistentLinkedList()",
          imports="org.sosy_lab.common.collect.PersistentLinkedList")
public static <T> Collector<T,?,PersistentLinkedList<T>> toPersistentLinkedList()

Deprecated.

use PersistentLinkedList.toPersistentLinkedList()

Return a Collector that produces PersistentLinkedLists.

toImmutableList

@Deprecated
@InlineMe(replacement="ImmutableList.toImmutableList()",
          imports="com.google.common.collect.ImmutableList")
public static <T> Collector<T,?,ImmutableList<T>> toImmutableList()

Deprecated.

use ImmutableList.toImmutableList()

Return a Collector that produces ImmutableLists.

Prefer to use this over Collectors.toList()! The latter does neither guarantee mutability nor immutability, so if you want immutability, use this method, and if you need mutability, use Collectors.toCollection(ArrayList::new).

toImmutableSet

@Deprecated
@InlineMe(replacement="ImmutableSet.toImmutableSet()",
          imports="com.google.common.collect.ImmutableSet")
public static <T> Collector<T,?,ImmutableSet<T>> toImmutableSet()

Deprecated.

use ImmutableList.toImmutableList()

Return a Collector that produces ImmutableSets. Just like the usual methods for ImmutableSets, this collector guarantees to keep the order.

Prefer to use this over Collectors.toSet()! The latter does neither guarantee mutability nor immutability, so if you want immutability, use this method, and if you need mutability, use Collectors.toCollection(HashSet::new).