org.sosy_lab.java_smt.basicimpl

Class ObjectArrayBackedList<InnerT,OuterT>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<OuterT>

org.sosy_lab.java_smt.basicimpl.ObjectArrayBackedList<InnerT,OuterT>

Type Parameters:

InnerT - The element type of the backing array.

OuterT - The element type of the list.

All Implemented Interfaces:

Iterable<OuterT>, Collection<OuterT>, List<OuterT>

public abstract class ObjectArrayBackedList<InnerT,OuterT>
extends AbstractList<OuterT>

Immutable list that is backed by a InnerT[] 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	ObjectArrayBackedList(InnerT[] pArray) Create an instance backed by a given array.

Method Summary

Modifier and Type	Method and Description
protected abstract OuterT	convert(InnerT e)
OuterT	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

ObjectArrayBackedList

protected ObjectArrayBackedList(InnerT[] 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

protected abstract OuterT convert(InnerT e)

get

public final OuterT get(int pIndex)

Specified by:

get in interface List<OuterT>

Specified by:

get in class AbstractList<OuterT>

size

public final int size()

Specified by:

size in interface Collection<OuterT>

Specified by:

size in interface List<OuterT>

Specified by:

size in class AbstractCollection<OuterT>