gov.nasa.jpf.util

Interface ObjectQueue<E>

All Superinterfaces:

Iterable<E>

All Known Implementing Classes:

ArrayObjectQueue, LinkedObjectQueue

public interface ObjectQueue<E>
extends Iterable<E>

generic interface for object queues

Method Summary

Methods

Modifier and Type	Method and Description
boolean	add(E e)
void	clear()
boolean	isEmpty()
boolean	offer(E e)
E	peek()
E	poll()
void	process(Processor<E> processor)
E	remove()
int	size()

Methods inherited from interface java.lang.Iterable

iterator

Method Detail

isEmpty

boolean isEmpty()

clear

void clear()

size

int size()

offer

boolean offer(E e)

add

boolean add(E e)

peek

E peek()

poll

E poll()

remove

E remove()
         throws NoSuchElementException

Throws:

NoSuchElementException

process

void process(Processor<E> processor)