ImmutableSLList.NIL (KeY API Documentation)

java.lang.Object
- org.key_project.util.collection.ImmutableSLList<S>
- - org.key_project.util.collection.ImmutableSLList.NIL<S>

All Implemented Interfaces:

Serializable, 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

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 Iterator<S> iterator

(package private) static ImmutableList<?> NIL

private static long serialVersionUID
serial id

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

Constructor Summary

Constructors
Modifier Constructor and Description

private NIL()

Constructors
Modifier	Constructor and Description
`private`	`NIL()`

Method Summary

All Methods Instance Methods Concrete Methods
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(Object o)`
`int`	`hashCode()`
`S`	`head()`
`boolean`	`isEmpty()`
`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)
`private 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()`
`String`	`toString()`

Methods inherited from class org.key_project.util.collection.ImmutableSLList
append, nil, prepend, prepend, prepend, reverse, take, toArray, toArray

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

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 Iterator<S> iterator
```
- Constructor Detail
  - NIL
```
private NIL()
```
- Method Detail
  - readResolve
```
private Object readResolve()
                    throws ObjectStreamException
```
    the NIL list is a singleton. Deserialization builds a new NIL object that has to be replaced by the singleton.
    
    Throws:
    
    ObjectStreamException
  - size
```
public int size()
```
    Returns:
    
    int representing number of elements in list
  - equals
```
public boolean equals(Object o)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class 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
  - 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
  - isEmpty
```
public boolean isEmpty()
```
    Returns:
    
    true iff the list is empty
  - iterator
```
public 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 String toString()
```
    Overrides:
    
    toString in class Object

Class ImmutableSLList.NIL<S>

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

NIL

serialVersionUID

iterator

Constructor Detail

NIL

Method Detail

readResolve

size

equals

hashCode

prepend

prepend

append

append

append

contains

isEmpty

iterator

head

tail

removeAll

removeFirst

toString