public class LinkedObjectQueue<E> extends java.lang.Object implements ObjectQueue<E>
Modifier and Type | Field and Description |
---|---|
protected gov.nasa.jpf.util.LinkedObjectQueue.Entry |
first |
protected gov.nasa.jpf.util.LinkedObjectQueue.Entry |
free |
protected gov.nasa.jpf.util.LinkedObjectQueue.Entry |
last |
protected int |
maxCache |
protected int |
nFree |
protected int |
size |
Constructor and Description |
---|
LinkedObjectQueue() |
LinkedObjectQueue(int maxCache) |
Modifier and Type | Method and Description |
---|---|
boolean |
add(E obj) |
void |
clear() |
boolean |
isEmpty() |
java.util.Iterator<E> |
iterator() |
boolean |
offer(E obj) |
E |
peek() |
E |
poll() |
void |
process(Processor<E> proc) |
E |
remove() |
int |
size() |
protected gov.nasa.jpf.util.LinkedObjectQueue.Entry last
protected gov.nasa.jpf.util.LinkedObjectQueue.Entry first
protected int size
protected int maxCache
protected int nFree
protected gov.nasa.jpf.util.LinkedObjectQueue.Entry free
public LinkedObjectQueue()
public LinkedObjectQueue(int maxCache)
public int size()
size
in interface ObjectQueue<E>
public boolean add(E obj)
add
in interface ObjectQueue<E>
public boolean offer(E obj)
offer
in interface ObjectQueue<E>
public boolean isEmpty()
isEmpty
in interface ObjectQueue<E>
public E peek()
peek
in interface ObjectQueue<E>
public E poll()
poll
in interface ObjectQueue<E>
public E remove() throws java.util.NoSuchElementException
remove
in interface ObjectQueue<E>
java.util.NoSuchElementException
public java.util.Iterator<E> iterator()
iterator
in interface java.lang.Iterable<E>
public void process(Processor<E> proc)
process
in interface ObjectQueue<E>
public void clear()
clear
in interface ObjectQueue<E>