Class Record

  • Direct Known Subclasses:
    ArkRecord

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

      • Record

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

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

      • resetInstructionCount

        public static void resetInstructionCount()
      • getTime

        public long getTime()
      • isEmpty

        public boolean isEmpty()
      • 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)
      • newEmptyRecord

        public static Record newEmptyRecord()