Class EntryObject


  • public final class EntryObject
    extends java.lang.Object
    EntryObject stores information about a buffer entry.
    • Constructor Detail

      • EntryObject

        public EntryObject​(ru.ispras.fortress.data.types.bitvector.BitVector id,
                           MmuEntry entry)
    • Method Detail

      • getId

        public ru.ispras.fortress.data.types.bitvector.BitVector getId()
      • getAddrObjects

        public java.util.Collection<AddressObject> getAddrObjects()
      • addAddrObject

        public void addAddrObject​(AddressObject addrObject)
      • isAuxiliary

        public boolean isAuxiliary()