private int readFields(DataByteArrayInputStream is) { is.readFully(magic); base_revision = is.readLong(); page_size = is.readInt(); free_list_page = is.readInt(); pessimistic_recovery_page = is.readInt(); optimistic_recovery_page = is.readInt(); int length = is.getPos(); return length; }
private int readFields(DataByteArrayInputStream is) { is.readFully(magic); base_revision = is.readLong(); page_size = is.readInt(); free_list_page = is.readInt(); pessimistic_recovery_page = is.readInt(); optimistic_recovery_page = is.readInt(); int length = is.getPos(); return length; }