public abstract class Record
extends java.lang.Object
Constructor and Description |
---|
Record(RecordKind kind,
long time) |
Modifier and Type | Method and Description |
---|---|
RecordKind |
getKind() |
long |
getTime() |
static Record |
newInstruction(ConcreteCall call) |
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() |
public Record(RecordKind kind, long time)
public static void resetInstructionCount()
public RecordKind getKind()
public long getTime()
public java.lang.String toString()
toString
in class java.lang.Object
public static Record newInstruction(ConcreteCall call)
public static Record newMemoryAccess(long address, ru.ispras.fortress.data.types.bitvector.BitVector data, boolean isWrite)
public static Record newRegisterWrite(java.lang.String register, ru.ispras.fortress.data.types.bitvector.BitVector value)