Class BufferPreparator


  • public final class BufferPreparator
    extends java.lang.Object
    The BufferPreparator describes instruction sequences to set up the state of MMU buffers.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected BufferPreparator​(java.lang.String bufferId, int levels, ru.ispras.microtesk.test.template.BufferPreparatorAddressEntry addressAndEntry, java.util.List<AbstractCall> calls)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getBufferId()  
      int getLevels()  
      java.util.List<AbstractCall> 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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • BufferPreparator

        protected BufferPreparator​(java.lang.String bufferId,
                                   int levels,
                                   ru.ispras.microtesk.test.template.BufferPreparatorAddressEntry addressAndEntry,
                                   java.util.List<AbstractCall> calls)
    • Method Detail

      • getBufferId

        public java.lang.String getBufferId()
      • getLevels

        public int getLevels()
      • makeInitializer

        public java.util.List<AbstractCall> 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)