org.sosy_lab.java_smt.basicimpl

Class LongArrayBackedList<E>

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 and Description
protected	LongArrayBackedList(long[] pArray) Create an instance backed by a given array.

Method Summary

Modifier and Type	Method and 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.List

addAll, contains, containsAll, isEmpty, remove, removeAll, replaceAll, retainAll, sort, spliterator, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

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>