public final class AddressTranslator
extends java.lang.Object
AddressTranslator
class performs translation of addresses from virtual
to physical and vice versa.
Translation is based on known base virtual and physical addresses. Such simplified
translation is required when we need to access memory without calling complex address
translation logic (described in MMU specifications). Situations when this is needed
include: placing a data image to memory, reading or writing data to memory via
ModelStateObserver
, etc.
Modifier and Type | Method and Description |
---|---|
static AddressTranslator |
get() |
static void |
initialize(java.math.BigInteger baseVirtualAddress,
java.math.BigInteger basePhysicalAddress) |
java.math.BigInteger |
physicalFromOrigin(java.math.BigInteger origin) |
java.math.BigInteger |
physicalToOrigin(java.math.BigInteger pa) |
java.math.BigInteger |
physicalToVirtual(java.math.BigInteger pa) |
java.lang.String |
toString() |
java.math.BigInteger |
virtualFromOrigin(java.math.BigInteger origin) |
java.math.BigInteger |
virtualToOrigin(java.math.BigInteger va) |
java.math.BigInteger |
virtualToPhysical(java.math.BigInteger va) |
ru.ispras.fortress.data.types.bitvector.BitVector |
virtualToPhysical(ru.ispras.fortress.data.types.bitvector.BitVector va,
int physicalBitSize) |
public static void initialize(java.math.BigInteger baseVirtualAddress, java.math.BigInteger basePhysicalAddress)
public static AddressTranslator get()
public java.math.BigInteger virtualToPhysical(java.math.BigInteger va)
public ru.ispras.fortress.data.types.bitvector.BitVector virtualToPhysical(ru.ispras.fortress.data.types.bitvector.BitVector va, int physicalBitSize)
public java.math.BigInteger virtualFromOrigin(java.math.BigInteger origin)
public java.math.BigInteger virtualToOrigin(java.math.BigInteger va)
public java.math.BigInteger physicalToVirtual(java.math.BigInteger pa)
public java.math.BigInteger physicalToOrigin(java.math.BigInteger pa)
public java.math.BigInteger physicalFromOrigin(java.math.BigInteger origin)
public java.lang.String toString()
toString
in class java.lang.Object