public final class BufferPreparator
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
BufferPreparator(java.lang.String bufferId,
int level,
ru.ispras.microtesk.test.template.LazyData address,
java.util.Map<java.lang.String,ru.ispras.microtesk.test.template.LazyData> entry,
ru.ispras.microtesk.test.template.LazyData entryData,
java.util.List<Call> calls) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getBufferId() |
int |
getLevel() |
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 level, ru.ispras.microtesk.test.template.LazyData address, java.util.Map<java.lang.String,ru.ispras.microtesk.test.template.LazyData> entry, ru.ispras.microtesk.test.template.LazyData entryData, java.util.List<Call> calls)
public java.lang.String getBufferId()
public int getLevel()
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)