Package ru.ispras.microtesk.model.tracer
Class Record
- java.lang.Object
-
- ru.ispras.microtesk.model.tracer.Record
-
-
Constructor Summary
Constructors Constructor Description Record(RecordKind kind, long time)
Record(RecordKind kind, long time, boolean empty)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description RecordKind
getKind()
long
getTime()
boolean
isEmpty()
static Record
newEmptyRecord()
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)
-
Record
public Record(RecordKind kind, long time, boolean empty)
-
-
Method Detail
-
resetInstructionCount
public static void resetInstructionCount()
-
getKind
public RecordKind getKind()
-
getTime
public long getTime()
-
isEmpty
public boolean isEmpty()
-
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)
-
newEmptyRecord
public static Record newEmptyRecord()
-
-