gov.nasa.jpf.util

Interface ReadOnlyObjList<E>

All Superinterfaces:

java.lang.Iterable<E>

All Known Implementing Classes:

ObjArray, ObjVector

public interface ReadOnlyObjList<E>
extends java.lang.Iterable<E>

Method Summary

Modifier and Type	Method and Description
E	get(int idx)
int	length()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

get

E get(int idx)

length

int length()