gov.nasa.jpf.util

Class ArrayObjectQueue<E>

java.lang.Object

gov.nasa.jpf.util.ArrayObjectQueue<E>

All Implemented Interfaces:

ObjectQueue<E>, java.lang.Iterable<E>

public class ArrayObjectQueue<E>
extends java.lang.Object
implements ObjectQueue<E>

dynamically growing, cyclic array buffer queue for object references

Constructor Summary

Constructors

Constructor and Description
ArrayObjectQueue()
ArrayObjectQueue(int initialCapacity)

Method Summary

Modifier and Type	Method and Description
boolean	add(E e)
void	clear()
int	getCurrentCapacity()
protected void	grow()
boolean	isEmpty()
java.util.Iterator<E>	iterator()
boolean	offer(E e)
E	peek()
E	poll()
void	process(Processor<E> processor) call Processor.process(e) on each queued object This method does not return before the queue is empty, which makes it suitable for graph traversal.
E	remove()
int	size()
java.util.Iterator<E>	storageIterator()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ArrayObjectQueue

public ArrayObjectQueue()

ArrayObjectQueue

public ArrayObjectQueue(int initialCapacity)

Method Detail

grow

protected void grow()

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface ObjectQueue<E>

getCurrentCapacity

public int getCurrentCapacity()

size

public int size()

Specified by:

size in interface ObjectQueue<E>

offer

public boolean offer(E e)

Specified by:

offer in interface ObjectQueue<E>

add

public boolean add(E e)

Specified by:

add in interface ObjectQueue<E>

poll

public E poll()

Specified by:

poll in interface ObjectQueue<E>

remove

public E remove()
         throws java.util.NoSuchElementException

Specified by:

remove in interface ObjectQueue<E>

Throws:

java.util.NoSuchElementException

peek

public E peek()

Specified by:

peek in interface ObjectQueue<E>

iterator

public java.util.Iterator<E> iterator()

Specified by:

iterator in interface java.lang.Iterable<E>

storageIterator

public java.util.Iterator<E> storageIterator()

clear

public void clear()

Specified by:

clear in interface ObjectQueue<E>

process

public void process(Processor<E> processor)

call Processor.process(e) on each queued object This method does not return before the queue is empty, which makes it suitable for graph traversal. It also avoids iterator objects, allows adding new objects while processing the queue, and enables to keep processing state in the processor

Specified by:

process in interface ObjectQueue<E>