public final class Reader
extends java.lang.Object
Reader
class allows reading data from the microprocessor
register and memory directly or via addressing modes. This features
helps integrate models created by MicroTESK plugins with the ISA
model.Constructor and Description |
---|
Reader() |
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> |
fromAddressingMode(java.lang.String name,
java.math.BigInteger... args) |
static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> |
fromMemory(java.lang.String name) |
static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> |
fromMemory(java.lang.String name,
java.math.BigInteger index) |
static void |
setModel(Model model) |
public static void setModel(Model model)
public static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromMemory(java.lang.String name, java.math.BigInteger index)
public static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromMemory(java.lang.String name)
public static ru.ispras.fortress.util.Value<ru.ispras.fortress.data.types.bitvector.BitVector> fromAddressingMode(java.lang.String name, java.math.BigInteger... args)