gov.nasa.jpf.util

Interface ObjectQueue<E>

All Superinterfaces:

java.lang.Iterable<E>

All Known Implementing Classes:

ArrayByteQueue, ArrayObjectQueue, LinkedObjectQueue

public interface ObjectQueue<E>
extends java.lang.Iterable<E>

generic interface for object queues

Method Summary

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

forEach, iterator, spliterator

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 java.util.NoSuchElementException

Throws:

java.util.NoSuchElementException

process

void process(Processor<E> processor)