Method DCheckReadBufferIdx

be/src/runtime/tmp-file-mgr-internal.h:384–387

Internal DCHECK for the buffer index.

  /// Internal DCHECK for the buffer index.
  void DCheckReadBufferIdx(int buffer_idx) {
    DCHECK_LT(buffer_idx, file_group_->tmp_file_mgr()->GetNumReadBuffersPerFile());
    DCHECK_GE(buffer_idx, 0);
  }
};

/// TmpFileDummy is a derived class of TmpFile for dummy allocation, used in