Package ru.ispras.microtesk.model.tracer
Class ArkRecord
- java.lang.Object
-
- ru.ispras.microtesk.model.tracer.Record
-
- ru.ispras.microtesk.model.tracer.ArkRecord
-
-
Field Summary
Fields Modifier and Type Field Description protected int
tid
-
Constructor Summary
Constructors Constructor Description ArkRecord(RecordKind kind, long time)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static Record
newInstruction(ConcreteCall call, int tid)
Returns an objectArkRecord
for the log tracer the Ark(Panda) instruction.static Record
newRegisterWrite(java.lang.String register, ru.ispras.fortress.data.types.bitvector.BitVector value)
static void
resetInstructionCount()
java.lang.String
toString()
-
Methods inherited from class ru.ispras.microtesk.model.tracer.Record
getKind, getTime, isEmpty, newEmptyRecord, newMemoryAccess
-
-
-
-
Constructor Detail
-
ArkRecord
public ArkRecord(RecordKind kind, long time)
-
-
Method Detail
-
resetInstructionCount
public static void resetInstructionCount()
-
newInstruction
public static Record newInstruction(ConcreteCall call, int tid)
Returns an objectArkRecord
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)
-
-