gov.nasa.jpf.util

Interface ReadOnlyObjList<E>

All Superinterfaces:

Iterable<E>

All Known Implementing Classes:

ObjArray, ObjVector

public interface ReadOnlyObjList<E>
extends Iterable<E>

Method Summary

Methods

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

Methods inherited from interface java.lang.Iterable

iterator

Method Detail

get

E get(int idx)

length

int length()