Class JournalledSystem.AbstractResource

    • Field Detail

      • name

        protected final java.lang.String name
        The unique name given this resource (the file name).
      • id

        protected final long id
        The id assigned to this resource by this session. This id should not be used in any external source.
      • read_only

        protected boolean read_only
        True if this resource is read_only.
    • Constructor Detail

      • AbstractResource

        AbstractResource​(java.lang.String name,
                         long id,
                         StoreDataAccessor data)
        Constructs the resource.
    • Method Detail

      • persistClose

        abstract void persistClose()
                            throws java.io.IOException
        Throws:
        java.io.IOException
      • persistDelete

        abstract void persistDelete()
                             throws java.io.IOException
        Throws:
        java.io.IOException
      • persistSetSize

        abstract void persistSetSize​(long new_size)
                              throws java.io.IOException
        Throws:
        java.io.IOException
      • persistPageChange

        abstract void persistPageChange​(long page,
                                        int off,
                                        int len,
                                        java.io.DataInputStream din)
                                 throws java.io.IOException
        Throws:
        java.io.IOException
      • synch

        abstract void synch()
                     throws java.io.IOException
        Throws:
        java.io.IOException
      • notifyPostRecover

        abstract void notifyPostRecover()
      • getID

        public long getID()
        Returns the unique id of this page.
        Specified by:
        getID in interface JournalledResource
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object