Uses of Class
gov.nasa.jpf.vm.ReferenceArrayFields

Packages that use ReferenceArrayFields

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

Uses of ReferenceArrayFields in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm that return ReferenceArrayFields

Modifier and Type	Method and Description
ReferenceArrayFields	ReferenceArrayFields.clone()

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

Methods in gov.nasa.jpf.vm.serialize with parameters of type ReferenceArrayFields

Modifier and Type	Method and Description
protected void	DynamicAbstractionSerializer.processReferenceArray(ReferenceArrayFields fields)