gov.nasa.jpf.util

Class LinkedObjectQueue<E>

java.lang.Object

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

All Implemented Interfaces:

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

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

object queue that uses cached link entries

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
LinkedObjectQueue()
LinkedObjectQueue(int maxCache)

Method Summary

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()

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

Field Detail

last

protected gov.nasa.jpf.util.LinkedObjectQueue.Entry last

first

protected gov.nasa.jpf.util.LinkedObjectQueue.Entry first

size

protected int size

maxCache

protected int maxCache

nFree

protected int nFree

free

protected gov.nasa.jpf.util.LinkedObjectQueue.Entry free

Constructor Detail

LinkedObjectQueue

public LinkedObjectQueue()

LinkedObjectQueue

public LinkedObjectQueue(int maxCache)

Method Detail

size

public int size()

Specified by:

size in interface ObjectQueue<E>

add

public boolean add(E obj)

Specified by:

add in interface ObjectQueue<E>

offer

public boolean offer(E obj)

Specified by:

offer in interface ObjectQueue<E>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface ObjectQueue<E>

peek

public E peek()

Specified by:

peek 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

iterator

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

Specified by:

iterator in interface java.lang.Iterable<E>

process

public void process(Processor<E> proc)

Specified by:

process in interface ObjectQueue<E>

clear

public void clear()

Specified by:

clear in interface ObjectQueue<E>