Class UnknownRecordPlaceholder


  • public final class UnknownRecordPlaceholder
    extends RecordAtom
    If we come across a record we don't know about, we create one of these. It allows us to keep track of what it contains, so we can write it back out to disk unchanged
    • Method Detail

      • getRecordType

        public long getRecordType()
        Return the value we were given at creation
        Specified by:
        getRecordType in class Record
      • writeOut

        public void writeOut​(java.io.OutputStream out)
                      throws java.io.IOException
        Write the contents of the record back, so it can be written to disk
        Specified by:
        writeOut in class Record
        Throws:
        java.io.IOException