Class MemoryPreparator
- java.lang.Object
-
- ru.ispras.microtesk.test.template.MemoryPreparator
-
public final class MemoryPreparator extends java.lang.Object
TheMemoryPreparator
describes instruction sequences to set up memory state.
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
MemoryPreparator(int dataSize, ru.ispras.microtesk.test.template.LazyData addressHolder, ru.ispras.microtesk.test.template.LazyData dataHolder, java.util.List<AbstractCall> calls)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getDataSize()
java.util.List<AbstractCall>
makeInitializer(PreparatorStore preparators, ru.ispras.fortress.data.types.bitvector.BitVector addressValue, ru.ispras.fortress.data.types.bitvector.BitVector dataValue)
-
-
-
Constructor Detail
-
MemoryPreparator
protected MemoryPreparator(int dataSize, ru.ispras.microtesk.test.template.LazyData addressHolder, ru.ispras.microtesk.test.template.LazyData dataHolder, java.util.List<AbstractCall> calls)
-
-
Method Detail
-
getDataSize
public int getDataSize()
-
makeInitializer
public java.util.List<AbstractCall> makeInitializer(PreparatorStore preparators, ru.ispras.fortress.data.types.bitvector.BitVector addressValue, ru.ispras.fortress.data.types.bitvector.BitVector dataValue)
-
-