original_string: public function drop_index($xmldb_table, $xmldb_intex) {
          if (!$this->table_exists($xmldb_table)) {
              throw new ddl_table_missing_exception($xmldb_table->getName());
          }
  
          // Check index exists
          if (!$this->index_exists($xmldb_table, $xmldb_intex)) {
              throw new ddl_exception('ddlunknownerror', null,
                        'Index ' . $xmldb_table->getName() . '->' . $xmldb_intex->getName() .
                        ' does not exist. Drop skipped');
          }
  
          if (!$sqlarr = $this->generator->getDropIndexSQL($xmldb_table, $xmldb_intex)) {
              throw new ddl_exception('ddlunknownerror', null, 'drop_index sql not generated');
          }
  
          $this->execute_sql_arr($sqlarr, array($xmldb_table->getName()));
      }
code: public function drop_index($xmldb_table, $xmldb_intex) {
          if (!$this->table_exists($xmldb_table)) {
              throw new ddl_table_missing_exception($xmldb_table->getName());
          }
  
          // Check index exists
          if (!$this->index_exists($xmldb_table, $xmldb_intex)) {
              throw new ddl_exception('ddlunknownerror', null,
                        'Index ' . $xmldb_table->getName() . '->' . $xmldb_intex->getName() .
                        ' does not exist. Drop skipped');
          }
  
          if (!$sqlarr = $this->generator->getDropIndexSQL($xmldb_table, $xmldb_intex)) {
              throw new ddl_exception('ddlunknownerror', null, 'drop_index sql not generated');
          }
  
          $this->execute_sql_arr($sqlarr, array($xmldb_table->getName()));
      }
code_tokens: public function drop_index ( $ xmldb_table , $ xmldb_intex ) { if ( ! $ this -> table_exists ( $ xmldb_table ) ) { throw new ddl_table_missing_exception ( $ xmldb_table -> getName ( ) ) ; } // Check index exists if ( ! $ this -> index_exists ( $ xmldb_table , $ xmldb_intex ) ) { throw new ddl_exception ( 'ddlunknownerror' , null , 'Index ' . $ xmldb_table -> getName ( ) . '->' . $ xmldb_intex -> getName ( ) . ' does not exist. Drop skipped' ) ; } if ( ! $ sqlarr = $ this -> generator -> getDropIndexSQL ( $ xmldb_table , $ xmldb_intex ) ) { throw new ddl_exception ( 'ddlunknownerror' , null , 'drop_index sql not generated' ) ; } $ this -> execute_sql_arr ( $ sqlarr , array ( $ xmldb_table -> getName ( ) ) ) ; }
docstring: This function will drop the index in the table passed as arguments
  Before dropping the index, the function will check it exists
  
  @param xmldb_table $xmldb_table Table object (just the name is mandatory).
  @param xmldb_index $xmldb_intex Index object (full specs are required).
  @return void
docstring_tokens: This function will drop the index in the table passed as arguments Before dropping the index the function will check it exists