Class JournalledSystem.NonLoggingResource

    • Constructor Detail

      • NonLoggingResource

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

      • open

        public void open​(boolean read_only)
                  throws java.io.IOException
        Opens the resource.
        Throws:
        java.io.IOException
      • read

        public void read​(long page_number,
                         byte[] buf,
                         int off)
                  throws java.io.IOException
        Reads a page from the resource.
        Throws:
        java.io.IOException
      • write

        public void write​(long page_number,
                          byte[] buf,
                          int off,
                          int len)
                   throws java.io.IOException
        Writes a page of some previously specified size.
        Throws:
        java.io.IOException
      • setSize

        public void setSize​(long size)
                     throws java.io.IOException
        Sets the size of the resource.
        Throws:
        java.io.IOException
      • getSize

        public long getSize()
                     throws java.io.IOException
        Returns the size of this resource.
        Throws:
        java.io.IOException
      • close

        public void close()
                   throws java.io.IOException
        Closes the resource.
        Throws:
        java.io.IOException
      • delete

        public void delete()
                    throws java.io.IOException
        Deletes the resource.
        Throws:
        java.io.IOException
      • exists

        public boolean exists()
        Returns true if the resource currently exists.