java.lang.Object
- java.util.AbstractCollection<E>
- - java.util.AbstractList<E>
  - - java.util.AbstractSequentialList<T>
    - - org.sosy_lab.common.collect.PersistentLinkedList<T>

All Implemented Interfaces:

Iterable<T>, Collection<T>, List<T>, PersistentList<T>
```
@Immutable(containerOf="T")
public final class PersistentLinkedList<T>
extends AbstractSequentialList<T>
implements PersistentList<T>
```
A single-linked-list implementation of PersistentList. Null values are not supported (similarly to ImmutableList).
Adding to the front of the list needs only O(1) time and memory.
This implementation supports almost all operations, except for the ListIterator.hasPrevious() and ListIterator.previous() methods of its list iterator. This means you cannot traverse this list in reverse order.
All instances of this class are fully-thread safe. However, note that each modifying operation allocates a new instance whose reference needs to be published safely in order to be usable by other threads. Two concurrent accesses to a modifying operation on the same instance will create two new maps, each reflecting exactly the operation executed by the current thread, and not reflecting the operation executed by the other thread.

Field Summary
- Fields inherited from class java.util.AbstractList
  modCount

Method Summary

All Methods Static Methods Instance Methods Concrete Methods Deprecated Methods
Modifier and Type	Method	Description
`static <T> Collector<T,?,PersistentLinkedList<T>>`	`collector()`	Deprecated. renamed to `toPersistentLinkedList()` to conform with Guava's naming
`static <T> PersistentLinkedList<T>`	`copyOf(List<T> values)`	Returns A new list with the values from the Iterable.
`static <T> PersistentLinkedList<T>`	`copyOf(T... values)`	Returns a list containing the specified values.
`PersistentLinkedList<T>`	`empty()`	Replacement for {`PersistentList.clear()` that returns an empty instance.
`T`	`head()`	Returns the value at the start of the list.
`boolean`	`isEmpty()`
`Iterator<T>`	`iterator()`
`ListIterator<T>`	`listIterator(int index)`
`static <T> PersistentLinkedList<T>`	`of()`	Returns the empty list.
`static <T> PersistentLinkedList<T>`	`of(T value)`	Returns a list containing the specified value.
`static <T> PersistentLinkedList<T>`	`of(T v1, T v2)`	Returns a list containing the specified values.
`static <T> PersistentLinkedList<T>`	`of(T v1, T... values)`	Returns a list containing the specified values.
`static <T> PersistentLinkedList<T>`	`of(T v1, T v2, T v3)`	Returns a list containing the specified values.
`void`	`replaceAll(UnaryOperator<T> pOperator)`	Deprecated.
`PersistentLinkedList<T>`	`reversed()`	Returns a new list with the elements in the reverse order.
`int`	`size()`	Returns the number of elements in the list.
`void`	`sort(Comparator<? super T> pC)`	Deprecated.
`PersistentLinkedList<T>`	`tail()`	Returns the remainder of the list without the first element.
`static <T> Collector<T,?,PersistentLinkedList<T>>`	`toPersistentLinkedList()`	Return a `Collector` that creates PersistentLinkedLists and can be used in `Stream.collect(Collector)`.
`PersistentLinkedList<T>`	`with(T value)`	Returns a new list with value as the head and the old list as the tail.
`PersistentLinkedList<T>`	`withAll(List<T> values)`	Returns a new list with values as the head and the old list as the tail.
`PersistentLinkedList<T>`	`without(@Nullable T value)`	Returns a new list omitting the specified value.

Methods inherited from class java.util.AbstractSequentialList
add, addAll, get, remove, set

Methods inherited from class java.util.AbstractList
add, clear, equals, hashCode, indexOf, lastIndexOf, listIterator, removeRange, subList

Methods inherited from class java.util.AbstractCollection
addAll, contains, containsAll, remove, removeAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

Methods inherited from interface java.util.List
contains, containsAll, equals, get, hashCode, indexOf, lastIndexOf, listIterator, spliterator, subList, toArray, toArray

Methods inherited from interface org.sosy_lab.common.collect.PersistentList
add, add, addAll, addAll, clear, remove, remove, removeAll, retainAll, set

- Method Detail
  - of
```
public static <T> PersistentLinkedList<T> of()
```
    Returns the empty list.
    
    Returns:
    
    The empty list
  - of
```
public static <T> PersistentLinkedList<T> of(T value)
```
    Returns a list containing the specified value.
    
    Returns:
    
    A list containing the specified value
  - of
```
public static <T> PersistentLinkedList<T> of(T v1,
                                             T v2)
```
    Returns a list containing the specified values.
    
    Returns:
    
    A list containing the specified values
  - of
```
public static <T> PersistentLinkedList<T> of(T v1,
                                             T v2,
                                             T v3)
```
    Returns a list containing the specified values.
    
    Returns:
    
    A list containing the specified values
  - of
```
public static <T> PersistentLinkedList<T> of(T v1,
                                             T... values)
```
    Returns a list containing the specified values.
    
    Returns:
    
    A list containing the specified values
  - copyOf
```
public static <T> PersistentLinkedList<T> copyOf(T... values)
```
    Returns a list containing the specified values.
    
    Returns:
    
    A list containing the specified values
  - copyOf
```
public static <T> PersistentLinkedList<T> copyOf(List<T> values)
```
    Returns A new list with the values from the Iterable.
    
    Returns:
    
    A new list with the values from the Iterable
  - head
```
public T head()
```
    Returns the value at the start of the list.
    
    Returns:
    
    The value at the start of the list
  - tail
```
public PersistentLinkedList<T> tail()
```
    Returns the remainder of the list without the first element.
    
    Returns:
    
    The remainder of the list without the first element
  - with
```
public PersistentLinkedList<T> with(T value)
```
    Returns a new list with value as the head and the old list as the tail.
    
    Specified by:
    
    with in interface PersistentList<T>
    
    Returns:
    
    A new list with value as the head and the old list as the tail
  - withAll
```
public PersistentLinkedList<T> withAll(List<T> values)
```
    Returns a new list with values as the head and the old list as the tail.
    
    Specified by:
    
    withAll in interface PersistentList<T>
    
    Returns:
    
    A new list with value sas the head and the old list as the tail
  - without
```
public PersistentLinkedList<T> without(@Nullable T value)
```
    Returns a new list omitting the specified value. Note: O(N)
    
    Specified by:
    
    without in interface PersistentList<T>
    
    Returns:
    
    A new list omitting the specified value
  - empty
```
public PersistentLinkedList<T> empty()
```
    Description copied from interface: PersistentList
    
    Replacement for {PersistentList.clear() that returns an empty instance.
    
    Specified by:
    
    empty in interface PersistentList<T>
  - size
```
public int size()
```
    Returns the number of elements in the list. Note: O(N)
    
    Specified by:
    
    size in interface Collection<T>
    
    Specified by:
    
    size in interface List<T>
    
    Specified by:
    
    size in class AbstractCollection<T>
    
    Returns:
    
    The number of elements in the list
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Collection<T>
    
    Specified by:
    
    isEmpty in interface List<T>
    
    Overrides:
    
    isEmpty in class AbstractCollection<T>
  - reversed
```
public PersistentLinkedList<T> reversed()
```
    Returns a new list with the elements in the reverse order. This operation runs in O(n).
    
    Specified by:
    
    reversed in interface PersistentList<T>
    
    Returns:
    
    A new list with the elements in the reverse order
  - iterator
```
public Iterator<T> iterator()
```
    Specified by:
    
    iterator in interface Collection<T>
    
    Specified by:
    
    iterator in interface Iterable<T>
    
    Specified by:
    
    iterator in interface List<T>
    
    Overrides:
    
    iterator in class AbstractSequentialList<T>
  - listIterator
```
public ListIterator<T> listIterator(int index)
```
    Specified by:
    
    listIterator in interface List<T>
    
    Specified by:
    
    listIterator in class AbstractSequentialList<T>
  - toPersistentLinkedList
```
public static <T> Collector<T,?,PersistentLinkedList<T>> toPersistentLinkedList()
```
    Return a Collector that creates PersistentLinkedLists and can be used in Stream.collect(Collector). The returned collector does not support parallel streams.
  - collector
```
@Deprecated
@InlineMe(replacement="PersistentLinkedList.toPersistentLinkedList()",
          imports="org.sosy_lab.common.collect.PersistentLinkedList")
public static <T> Collector<T,?,PersistentLinkedList<T>> collector()
```
    Deprecated.
    renamed to toPersistentLinkedList() to conform with Guava's naming
    
    Return a Collector that creates PersistentLinkedLists and can be used in Stream.collect(Collector). The returned collector does not support parallel streams.
  - replaceAll
```
@Deprecated
public void replaceAll(UnaryOperator<T> pOperator)
```
    Deprecated.
    
    Specified by:
    
    replaceAll in interface List<T>
    
    Specified by:
    
    replaceAll in interface PersistentList<T>
  - sort
```
@Deprecated
public void sort(Comparator<? super T> pC)
```
    Deprecated.
    
    Specified by:
    
    sort in interface List<T>
    
    Specified by:
    
    sort in interface PersistentList<T>

Class PersistentLinkedList<T>

Field Summary

Fields inherited from class java.util.AbstractList

Method Summary

Methods inherited from class java.util.AbstractSequentialList

Methods inherited from class java.util.AbstractList

Methods inherited from class java.util.AbstractCollection

Methods inherited from class java.lang.Object

Methods inherited from interface java.util.Collection

Methods inherited from interface java.lang.Iterable

Methods inherited from interface java.util.List

Methods inherited from interface org.sosy_lab.common.collect.PersistentList

Method Detail

of

of

of

of

of

copyOf

copyOf

head

tail

with

withAll

without

empty

size

isEmpty

reversed

iterator

listIterator

toPersistentLinkedList

collector

replaceAll

sort