Uses of Class
gov.nasa.jpf.util.ObjVector

Packages that use ObjVector

Package	Description
gov.nasa.jpf.util
gov.nasa.jpf.vm
gov.nasa.jpf.vm.serialize

Uses of ObjVector in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return ObjVector

Modifier and Type	Method and Description
ObjVector<E>	ObjVector.clone()

Methods in gov.nasa.jpf.util with parameters of type ObjVector

Modifier and Type	Method and Description
<F extends E> void	ObjVector.append(ObjVector<F> x)
static <E> void	ObjVector.copy(ObjVector<? extends E> src, int srcPos, E[] dst, int dstPos, int len)
static <E> void	ObjVector.copy(ObjVector<? extends E> src, int srcPos, ObjVector<E> dst, int dstPos, int len)
static <E> void	ObjVector.copy(ObjVector<? extends E> src, int srcPos, ObjVector<E> dst, int dstPos, int len)
void	ObjVector.Snapshot.restore(ObjVector<E> v)
protected void	ObjVector.MutatingSnapshot.restore(ObjVector<E> vec, Transformer<T,E> transformer)

Constructors in gov.nasa.jpf.util with parameters of type ObjVector

Constructor and Description
ObjVector(ObjVector<F> from)

Uses of ObjVector in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as ObjVector

Modifier and Type	Field and Description
protected ObjVector<ElementInfo>	OVStatics.elementInfos

Uses of ObjVector in gov.nasa.jpf.vm.serialize

Fields in gov.nasa.jpf.vm.serialize declared as ObjVector

Modifier and Type	Field and Description
protected ObjVector<AmmendableFilterConfiguration.FrameAmmendment>	AmmendableFilterConfiguration.frameAmmendments
protected ObjVector<AmmendableFilterConfiguration.InstanceAmmendment>	AmmendableFilterConfiguration.instanceAmmendments
protected ObjVector<AmmendableFilterConfiguration.InstanceOverride>	AmmendableFilterConfiguration.instanceOverrides
protected ObjVector<AmmendableFilterConfiguration.StaticAmmendment>	AmmendableFilterConfiguration.staticAmmendments