Class UnknownRecordPlaceholder

All Implemented Interfaces:
GenericRecord

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 Details

    • getRecordType

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

      public RecordTypes getRecordTypeEnum()
      Return the value as enum we were given at creation
    • writeOut

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

      public Map<String,Supplier<?>> getGenericProperties()