Class Reader


  • public final class Reader
    extends java.lang.Object
    The Reader class allows reading data from the microprocessor register and memory directly or via addressing modes. This features helps integrate models created by MicroTESK plugins with the ISA model.
    • Constructor Summary

      Constructors 
      Constructor Description
      Reader()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromAddressingMode​(java.lang.String name, java.math.BigInteger... args)  
      static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromMemory​(java.lang.String name)  
      static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromMemory​(java.lang.String name, java.math.BigInteger index)  
      static void setModel​(Model model)  
      • Methods inherited from class java.lang.Object

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

      • Reader

        public Reader()
    • Method Detail

      • setModel

        public static void setModel​(Model model)
      • fromMemory

        public static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromMemory​(java.lang.String name,
                                                                                                                  java.math.BigInteger index)
      • fromMemory

        public static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromMemory​(java.lang.String name)
      • fromAddressingMode

        public static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromAddressingMode​(java.lang.String name,
                                                                                                                          java.math.BigInteger... args)