Class ArkRecord


  • public abstract class ArkRecord
    extends Record
    The ArkRecord class describes Ark(Panda) Tracer log records.
    • Field Detail

      • tid

        protected int tid
    • Constructor Detail

      • ArkRecord

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

      • resetInstructionCount

        public static void resetInstructionCount()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class Record
      • newInstruction

        public static Record newInstruction​(ConcreteCall call,
                                            int tid)
        Returns an object ArkRecord for the log tracer the Ark(Panda) instruction.
        Parameters:
        call - Program instructions.
        tid - Thread identification in which the instruction was executed.
        Returns:
        New instance of the ArkRecord for instruction.
      • newRegisterWrite

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