Class RecordFactory


  • public class RecordFactory
    extends java.lang.Object
    • Constructor Detail

      • RecordFactory

        public RecordFactory()
    • Method Detail

      • newMemoryAccess

        public static Record newMemoryAccess​(long address,
                                             ru.ispras.fortress.data.types.bitvector.BitVector data,
                                             boolean isWrite)
      • newRegisterWrite

        public static Record newRegisterWrite​(java.lang.String register,
                                              ru.ispras.fortress.data.types.bitvector.BitVector value)