original_string: function getRenameIndexSQL($xmldb_table, $xmldb_index, $newname) {
      /// Get the real index name
          $dbindexname = $this->mdb->get_manager()->find_index_name($xmldb_table, $xmldb_index);
          $xmldb_index->setName($newname);
          $results = array('DROP INDEX ' . $dbindexname);
          $results = array_merge($results, $this->getCreateIndexSQL($xmldb_table, $xmldb_index));
          return $results;
      }
code: function getRenameIndexSQL($xmldb_table, $xmldb_index, $newname) {
      /// Get the real index name
          $dbindexname = $this->mdb->get_manager()->find_index_name($xmldb_table, $xmldb_index);
          $xmldb_index->setName($newname);
          $results = array('DROP INDEX ' . $dbindexname);
          $results = array_merge($results, $this->getCreateIndexSQL($xmldb_table, $xmldb_index));
          return $results;
      }
code_tokens: function getRenameIndexSQL ( $ xmldb_table , $ xmldb_index , $ newname ) { /// Get the real index name $ dbindexname = $ this -> mdb -> get_manager ( ) -> find_index_name ( $ xmldb_table , $ xmldb_index ) ; $ xmldb_index -> setName ( $ newname ) ; $ results = array ( 'DROP INDEX ' . $ dbindexname ) ; $ results = array_merge ( $ results , $ this -> getCreateIndexSQL ( $ xmldb_table , $ xmldb_index ) ) ; return $ results ; }
docstring: Given one xmldb_table and one xmldb_index, return the SQL statements needed to rename the index in the table
docstring_tokens: Given one xmldb_table and one xmldb_index return the SQL statements needed to rename the index in the table