Class Record


  • public abstract class Record
    extends java.lang.Object
    The Record class describes Tracer log records.
    • Constructor Detail

      • Record

        public Record​(RecordKind kind,
                      long time)
    • Method Detail

      • resetInstructionCount

        public static void resetInstructionCount()
      • getTime

        public long getTime()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • 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)