Package ru.ispras.microtesk.model.tracer
Class Record
- java.lang.Object
-
- ru.ispras.microtesk.model.tracer.Record
-
public abstract class Record extends java.lang.Object
TheRecord
class describes Tracer log records.
-
-
Constructor Summary
Constructors Constructor Description Record(RecordKind kind, long time)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description RecordKind
getKind()
long
getTime()
static Record
newInstruction(ConcreteCall call, int cpu)
static Record
newMemoryAccess(long address, ru.ispras.fortress.data.types.bitvector.BitVector data, boolean isWrite)
static Record
newRegisterWrite(java.lang.String register, ru.ispras.fortress.data.types.bitvector.BitVector value)
static void
resetInstructionCount()
java.lang.String
toString()
-
-
-
Constructor Detail
-
Record
public Record(RecordKind kind, long time)
-
-
Method Detail
-
resetInstructionCount
public static void resetInstructionCount()
-
getKind
public RecordKind getKind()
-
getTime
public long getTime()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
newInstruction
public static Record newInstruction(ConcreteCall call, int cpu)
-
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)
-
-