public final class EntryIdAllocator
extends java.lang.Object
EntryIdAllocator
implements an allocator of entry identifiers (indices) for
non-replaceable (non-transparent) buffers.Constructor and Description |
---|
EntryIdAllocator(GeneratorSettings settings) |
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.data.types.bitvector.BitVector |
allocate(MmuBuffer buffer,
boolean peek,
java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> exclude) |
void |
reset() |
public EntryIdAllocator(GeneratorSettings settings)
public ru.ispras.fortress.data.types.bitvector.BitVector allocate(MmuBuffer buffer, boolean peek, java.util.Set<ru.ispras.fortress.data.types.bitvector.BitVector> exclude)
public void reset()