Package ru.ispras.microtesk.model.tracer
Class RecordFactory
- java.lang.Object
-
- ru.ispras.microtesk.model.tracer.RecordFactory
-
public class RecordFactory extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description RecordFactory()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static RecordFormatType
getRecordType()
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
setRecordType(RecordFormatType record)
-
-
-
Method Detail
-
setRecordType
public static void setRecordType(RecordFormatType record)
-
getRecordType
public static RecordFormatType getRecordType()
-
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)
-
-