Class MmuEntry


  • public final class MmuEntry
    extends java.lang.Object
    MmuEntry represents an entry of a MmuBuffer.
    • 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()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • MmuEntry

        public MmuEntry​(java.util.Collection<ru.ispras.fortress.expression.NodeVariable> variables)
    • 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 class java.lang.Object