Class PageCache


  • public class PageCache
    extends Object
    This is a simple cache where we keep Page objects only while they are being used.
    • Constructor Detail

    • Method Detail

      • get

        public Page get​(long pageID)
      • forEachUsedPage

        public void forEachUsedPage​(Consumer<Page> consumerPage)
      • size

        public int size()
      • injectPage

        public void injectPage​(Page page)
      • removePage

        public void removePage​(Page page)