gov.nasa.jpf.util

Class ArrayByteQueue

java.lang.Object

gov.nasa.jpf.util.ArrayByteQueue

All Implemented Interfaces:

ObjectQueue<java.lang.Byte>, java.lang.Cloneable, java.lang.Iterable<java.lang.Byte>

public class ArrayByteQueue
extends java.lang.Object
implements ObjectQueue<java.lang.Byte>, java.lang.Cloneable

It is a dynamically growing, cyclic array buffer queue for bytes. It has the similar implementation as ArrayObjectQueue. Suitable buffer for storing data transmitted and received as a continuous stream of bytes, e.g. buffers for socket based communications

Constructor Summary

Constructors

Constructor and Description
ArrayByteQueue()
ArrayByteQueue(int initialCapacity)

Method Summary

Modifier and Type	Method and Description
boolean	add(java.lang.Byte e)
void	clear()
java.lang.Object	clone()
int	getCurrentCapacity()
protected void	grow()
boolean	isEmpty()
java.util.Iterator<java.lang.Byte>	iterator()
boolean	offer(java.lang.Byte e)
java.lang.Byte	peek()
java.lang.Byte	poll()
void	process(Processor<java.lang.Byte> 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.
java.lang.Byte	remove()
int	size()
java.util.Iterator<java.lang.Byte>	storageIterator()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ArrayByteQueue

public ArrayByteQueue()

ArrayByteQueue

public ArrayByteQueue(int initialCapacity)

Method Detail

grow

protected void grow()

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface ObjectQueue<java.lang.Byte>

getCurrentCapacity

public int getCurrentCapacity()

size

public int size()

Specified by:

size in interface ObjectQueue<java.lang.Byte>

offer

public boolean offer(java.lang.Byte e)

Specified by:

offer in interface ObjectQueue<java.lang.Byte>

add

public boolean add(java.lang.Byte e)

Specified by:

add in interface ObjectQueue<java.lang.Byte>

poll

public java.lang.Byte poll()

Specified by:

poll in interface ObjectQueue<java.lang.Byte>

remove

public java.lang.Byte remove()
                      throws java.util.NoSuchElementException

Specified by:

remove in interface ObjectQueue<java.lang.Byte>

Throws:

java.util.NoSuchElementException

peek

public java.lang.Byte peek()

Specified by:

peek in interface ObjectQueue<java.lang.Byte>

iterator

public java.util.Iterator<java.lang.Byte> iterator()

Specified by:

iterator in interface java.lang.Iterable<java.lang.Byte>

storageIterator

public java.util.Iterator<java.lang.Byte> storageIterator()

clear

public void clear()

Specified by:

clear in interface ObjectQueue<java.lang.Byte>

process

public void process(Processor<java.lang.Byte> 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<java.lang.Byte>

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object