original_string: public function delete_index($areaid = false) {
          if (!empty($areaid)) {
              $this->engine->delete($areaid);
              $this->reset_config($areaid);
          } else {
              $this->engine->delete();
              $this->reset_config();
          }
      }
code: public function delete_index($areaid = false) {
          if (!empty($areaid)) {
              $this->engine->delete($areaid);
              $this->reset_config($areaid);
          } else {
              $this->engine->delete();
              $this->reset_config();
          }
      }
code_tokens: public function delete_index ( $ areaid = false ) { if ( ! empty ( $ areaid ) ) { $ this -> engine -> delete ( $ areaid ) ; $ this -> reset_config ( $ areaid ) ; } else { $ this -> engine -> delete ( ) ; $ this -> reset_config ( ) ; } }
docstring: Deletes an area's documents or all areas documents.
  
  @param string $areaid The area id or false for all
  @return void
docstring_tokens: Deletes an area s documents or all areas documents .