Constructor and Description |
---|
MmuEntry(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables) |
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.data.types.bitvector.BitVector |
getAddress() |
int |
getSizeInBits() |
ru.ispras.fortress.data.types.bitvector.BitVector |
getValue(ru.ispras.fortress.expression.NodeVariable variable) |
java.util.Collection<ru.ispras.fortress.expression.NodeVariable> |
getVariables() |
boolean |
isValid() |
boolean |
isValid(ru.ispras.fortress.expression.NodeVariable variable) |
void |
setAddress(ru.ispras.fortress.data.types.bitvector.BitVector address) |
void |
setValid(boolean valid) |
void |
setValue(ru.ispras.fortress.expression.NodeVariable variable,
ru.ispras.fortress.data.types.bitvector.BitVector value) |
void |
setValue(ru.ispras.fortress.expression.NodeVariable variable,
ru.ispras.fortress.data.types.bitvector.BitVector value,
boolean valid) |
java.lang.String |
toString() |
public MmuEntry(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables)
public ru.ispras.fortress.data.types.bitvector.BitVector getAddress()
public void setAddress(ru.ispras.fortress.data.types.bitvector.BitVector address)
public java.util.Collection<ru.ispras.fortress.expression.NodeVariable> getVariables()
public int getSizeInBits()
public boolean isValid()
public boolean isValid(ru.ispras.fortress.expression.NodeVariable variable)
public ru.ispras.fortress.data.types.bitvector.BitVector getValue(ru.ispras.fortress.expression.NodeVariable variable)
public void setValue(ru.ispras.fortress.expression.NodeVariable variable, ru.ispras.fortress.data.types.bitvector.BitVector value, boolean valid)
public void setValue(ru.ispras.fortress.expression.NodeVariable variable, ru.ispras.fortress.data.types.bitvector.BitVector value)
public void setValid(boolean valid)
public java.lang.String toString()
toString
in class java.lang.Object