Uses of Interface
gov.nasa.jpf.util.ObjectQueue

Packages that use ObjectQueue

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

Uses of ObjectQueue in gov.nasa.jpf.util

Classes in gov.nasa.jpf.util that implement ObjectQueue

Modifier and Type	Class and Description
class	ArrayObjectQueue<E> dynamically growing, cyclic array buffer queue for object references
class	LinkedObjectQueue<E> object queue that uses cached link entries

Uses of ObjectQueue in gov.nasa.jpf.vm

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

Modifier and Type	Field and Description
protected ObjectQueue<ElementInfo>	GenericHeap.markQueue

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

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

Modifier and Type	Field and Description
protected ObjectQueue<ElementInfo>	FilteringSerializer.refQueue