org.key_project.util.collection

Class ImmutableSLList.NIL<S>

java.lang.Object

org.key_project.util.collection.ImmutableSLList<S>

org.key_project.util.collection.ImmutableSLList.NIL<S>

All Implemented Interfaces:

java.io.Serializable, java.lang.Iterable<S>, ImmutableList<S>

Enclosing class:

ImmutableSLList<T>

private static class ImmutableSLList.NIL<S>
extends ImmutableSLList<S>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	ImmutableSLList.NIL.SLNilListIterator iterates through the a none destructive NIL list

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Iterator<S>	iterator
(package private) static ImmutableList<?>	NIL
private static long	serialVersionUID serial id

Constructor Summary

Constructors

Modifier	Constructor and Description
private	NIL()

Method Summary

Modifier and Type	Method and Description
ImmutableList<S>	append(ImmutableList<S> list) appends a whole list (non-destructive)
ImmutableList<S>	append(S... array) appends element at end (non-destructive) (O(n))
ImmutableList<S>	append(S element) appends element to the list (non-destructive)
boolean	contains(S obj)
boolean	equals(java.lang.Object o)
boolean	exists(java.util.function.Predicate<S> predicate) return true if predicate is fullfilled for at least one element
int	hashCode()
S	head()
boolean	isEmpty()
java.util.Iterator<S>	iterator()
ImmutableList<S>	prepend(ImmutableList<S> list) prepends a whole list (non-destructive)
ImmutableList<S>	prepend(S element) prepends element to the list (non-destructive)
ImmutableList<S>	prependReverse(ImmutableList<S> list) prepends an immutable list in reverse order, i.e., [4,5,6].prepend([1,2,3]) will be [3,2,1,4,5,6] (more efficient than ImmutableList.prepend(ImmutableList))
private java.lang.Object	readResolve() the NIL list is a singleton.
ImmutableList<S>	removeAll(S obj) removes all occurrences of obj
ImmutableList<S>	removeFirst(S obj) removes first occurrence of obj
int	size()
ImmutableList<S>	tail()
java.lang.String	toString()

Methods inherited from class org.key_project.util.collection.ImmutableSLList

append, nil, prepend, prepend, prependReverse, reverse, take, toArray, toArray

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.key_project.util.collection.ImmutableList

stream

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

NIL

static final ImmutableList<?> NIL

serialVersionUID

private static final long serialVersionUID

serial id

See Also:

Constant Field Values

iterator

private final transient java.util.Iterator<S> iterator

Constructor Detail

NIL

private NIL()

Method Detail

readResolve

private java.lang.Object readResolve()
                              throws java.io.ObjectStreamException

the NIL list is a singleton. Deserialization builds a new NIL object that has to be replaced by the singleton.

Throws:

java.io.ObjectStreamException

size

public int size()

Returns:

int representing number of elements in list

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

prepend

public ImmutableList<S> prepend(S element)

Description copied from interface: ImmutableList

prepends element to the list (non-destructive)

Parameters:

element - the head of the created list

Returns:

IList with the new element as head and this list as tail

prepend

public ImmutableList<S> prepend(ImmutableList<S> list)

Description copied from interface: ImmutableList

prepends a whole list (non-destructive)

Parameters:

list - the list to be prepended

Returns:

IList list++this

prependReverse

public ImmutableList<S> prependReverse(ImmutableList<S> list)

Description copied from interface: ImmutableList

prepends an immutable list in reverse order, i.e., [4,5,6].prepend([1,2,3]) will be [3,2,1,4,5,6] (more efficient than ImmutableList.prepend(ImmutableList))

Returns:

reverse(collection)++this

append

public ImmutableList<S> append(S element)

Description copied from interface: ImmutableList

appends element to the list (non-destructive)

Parameters:

element - to be added at the end

Returns:

IList with the new element at the end

append

public ImmutableList<S> append(ImmutableList<S> list)

Description copied from interface: ImmutableList

appends a whole list (non-destructive)

Parameters:

list - the list to be appended

Returns:

IList this++list

append

public ImmutableList<S> append(S... array)

Description copied from interface: ImmutableList

appends element at end (non-destructive) (O(n))

Parameters:

array - the array to be appended

Returns:

IList the new list

contains

public boolean contains(S obj)

Returns:

boolean is true iff. obj is in List

exists

public boolean exists(java.util.function.Predicate<S> predicate)

return true if predicate is fullfilled for at least one element

Parameters:

predicate - the predicate

Returns:

true if predicate is fullfilled for at least one element

isEmpty

public boolean isEmpty()

Returns:

true iff the list is empty

iterator

public java.util.Iterator<S> iterator()

Returns:

Iterator of this list

head

public S head()

Returns:

the first element in list

tail

public ImmutableList<S> tail()

Returns:

IList tail of list

removeAll

public ImmutableList<S> removeAll(S obj)

Description copied from interface: ImmutableList

removes all occurrences of obj

Returns:

new list

removeFirst

public ImmutableList<S> removeFirst(S obj)

Description copied from interface: ImmutableList

removes first occurrence of obj

Returns:

new list

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object