LongArrayBackedList (JavaSMT Solver Library)

java.lang.Object
- java.util.AbstractCollection<E>
- - java.util.AbstractList<E>
  - - org.sosy_lab.java_smt.basicimpl.LongArrayBackedList<E>

Type Parameters:

E - The element type.

All Implemented Interfaces:

Iterable<E>, Collection<E>, List<E>, RandomAccess
```
public abstract class LongArrayBackedList<E>
extends AbstractList<E>
implements RandomAccess
```
Immutable list that is backed by a long[] and can have any element type. Sub-classes need to be defined and implement methods for creating element instances from a long value. These classes should not override any other methods to guarantee immutability.

- Field Summary
  - Fields inherited from class java.util.AbstractList
    modCount
- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  protected LongArrayBackedList(long[] pArray)
  Create an instance backed by a given array.
- Method Summary
  
  All Methods Instance Methods Abstract Methods Concrete Methods
  Modifier and Type Method Description
  
  protected abstract E convert(long e)
  
  E get(int pIndex)
  
  int size()
  - Methods inherited from class java.util.AbstractList
    add, add, addAll, clear, equals, hashCode, indexOf, iterator, lastIndexOf, listIterator, listIterator, remove, removeRange, set, subList
  - Methods inherited from class java.util.AbstractCollection
    addAll, contains, containsAll, isEmpty, 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
    addAll, contains, containsAll, isEmpty, remove, removeAll, replaceAll, retainAll, sort, spliterator, toArray, toArray

- Constructor Detail
  - LongArrayBackedList
```
protected LongArrayBackedList(long[] pArray)
```
    Create an instance backed by a given array. For efficiency, the array is not copied and should thus not be changed afterwards.
- Method Detail
  - convert
```
@ForOverride
protected abstract E convert(long e)
```
  - get
```
public final E get(int pIndex)
```
    Specified by:
    
    get in interface List<E>
    
    Specified by:
    
    get in class AbstractList<E>
  - size
```
public final int size()
```
    Specified by:
    
    size in interface Collection<E>
    
    Specified by:
    
    size in interface List<E>
    
    Specified by:
    
    size in class AbstractCollection<E>