Class MmuEntry
- java.lang.Object
-
- ru.ispras.microtesk.mmu.model.spec.MmuEntry
-
-
Constructor Summary
Constructors Constructor Description MmuEntry(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Method Detail
-
getAddress
public ru.ispras.fortress.data.types.bitvector.BitVector getAddress()
-
setAddress
public void setAddress(ru.ispras.fortress.data.types.bitvector.BitVector address)
-
getVariables
public java.util.Collection<ru.ispras.fortress.expression.NodeVariable> getVariables()
-
getSizeInBits
public int getSizeInBits()
-
isValid
public boolean isValid()
-
isValid
public boolean isValid(ru.ispras.fortress.expression.NodeVariable variable)
-
getValue
public ru.ispras.fortress.data.types.bitvector.BitVector getValue(ru.ispras.fortress.expression.NodeVariable variable)
-
setValue
public void setValue(ru.ispras.fortress.expression.NodeVariable variable, ru.ispras.fortress.data.types.bitvector.BitVector value, boolean valid)
-
setValue
public void setValue(ru.ispras.fortress.expression.NodeVariable variable, ru.ispras.fortress.data.types.bitvector.BitVector value)
-
setValid
public void setValid(boolean valid)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-