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
Author:
Nick Burch
  • Constructor Details

    • UnknownRecordPlaceholder

      protected UnknownRecordPlaceholder(byte[] source, int start, int len)
      Create a new holder for a record we don't grok
  • Method Details