gov.nasa.jpf.util

Class SparseClusterArray.Chunk

java.lang.Object

gov.nasa.jpf.util.SparseClusterArray.Chunk

All Implemented Interfaces:

java.lang.Cloneable

Enclosing class:

SparseClusterArray<E>

protected static class SparseClusterArray.Chunk
extends java.lang.Object
implements java.lang.Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
int	base
long[]	bitmap
java.lang.Object[]	elements
SparseClusterArray.Chunk	next
int	top

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Chunk()
protected	Chunk(int base)

Method Summary

Modifier and Type	Method and Description
<E> SparseClusterArray.Chunk	deepCopy(Cloner<E> cloner)
boolean	isEmpty()
protected int	nextClearBit(int iStart)
protected int	nextSetBit(int iStart)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

base

public int base

top

public int top

next

public SparseClusterArray.Chunk next

elements

public java.lang.Object[] elements

bitmap

public long[] bitmap

Constructor Detail

Chunk

protected Chunk()

Chunk

protected Chunk(int base)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

deepCopy

public <E> SparseClusterArray.Chunk deepCopy(Cloner<E> cloner)
                                      throws java.lang.CloneNotSupportedException

Throws:

java.lang.CloneNotSupportedException

nextSetBit

protected int nextSetBit(int iStart)

nextClearBit

protected int nextClearBit(int iStart)

isEmpty

public boolean isEmpty()