public final class BufferPreparator
extends java.lang.Object
BufferPreparator
describes instruction sequences to set up the state of MMU buffers.Modifier | Constructor and Description |
---|---|
protected |
BufferPreparator(java.lang.String bufferId,
int levels,
ru.ispras.microtesk.test.template.BufferPreparatorAddressEntry addressAndEntry,
java.util.List<Call> calls) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getBufferId() |
int |
getLevels() |
java.util.List<Call> |
makeInitializer(PreparatorStore preparators,
ru.ispras.fortress.data.types.bitvector.BitVector addressValue,
java.util.Map<java.lang.String,ru.ispras.fortress.data.types.bitvector.BitVector> entryFieldValues) |
protected BufferPreparator(java.lang.String bufferId, int levels, ru.ispras.microtesk.test.template.BufferPreparatorAddressEntry addressAndEntry, java.util.List<Call> calls)
public java.lang.String getBufferId()
public int getLevels()
public java.util.List<Call> makeInitializer(PreparatorStore preparators, ru.ispras.fortress.data.types.bitvector.BitVector addressValue, java.util.Map<java.lang.String,ru.ispras.fortress.data.types.bitvector.BitVector> entryFieldValues)