Class MemoryPreparator


  • public final class MemoryPreparator
    extends java.lang.Object
    The MemoryPreparator 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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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)