/**
  * Returns one greater than the largest possible document number.
  * This may be used to, e.g., determine how big to allocate a structure which will have
  * an element for every document number in an index.
  *
  * @return integer
  */
 public function maxDoc()
 {
     return $this->_index->maxDoc();
 }