original_string: public function getXMLDBTypeName($type) {
  
          $result = "";
  
          switch (strtolower($type)) {
              case XMLDB_TYPE_INTEGER:
                  $result = 'int';
                  break;
              case XMLDB_TYPE_NUMBER:
                  $result = 'number';
                  break;
              case XMLDB_TYPE_FLOAT:
                  $result = 'float';
                  break;
              case XMLDB_TYPE_CHAR:
                  $result = 'char';
                  break;
              case XMLDB_TYPE_TEXT:
                  $result = 'text';
                  break;
              case XMLDB_TYPE_BINARY:
                  $result = 'binary';
                  break;
              case XMLDB_TYPE_DATETIME:
                  $result = 'datetime';
                  break;
          }
          // Return the normalized name
          return $result;
      }
code: public function getXMLDBTypeName($type) {
  
          $result = "";
  
          switch (strtolower($type)) {
              case XMLDB_TYPE_INTEGER:
                  $result = 'int';
                  break;
              case XMLDB_TYPE_NUMBER:
                  $result = 'number';
                  break;
              case XMLDB_TYPE_FLOAT:
                  $result = 'float';
                  break;
              case XMLDB_TYPE_CHAR:
                  $result = 'char';
                  break;
              case XMLDB_TYPE_TEXT:
                  $result = 'text';
                  break;
              case XMLDB_TYPE_BINARY:
                  $result = 'binary';
                  break;
              case XMLDB_TYPE_DATETIME:
                  $result = 'datetime';
                  break;
          }
          // Return the normalized name
          return $result;
      }
code_tokens: public function getXMLDBTypeName ( $ type ) { $ result = "" ; switch ( strtolower ( $ type ) ) { case XMLDB_TYPE_INTEGER : $ result = 'int' ; break ; case XMLDB_TYPE_NUMBER : $ result = 'number' ; break ; case XMLDB_TYPE_FLOAT : $ result = 'float' ; break ; case XMLDB_TYPE_CHAR : $ result = 'char' ; break ; case XMLDB_TYPE_TEXT : $ result = 'text' ; break ; case XMLDB_TYPE_BINARY : $ result = 'binary' ; break ; case XMLDB_TYPE_DATETIME : $ result = 'datetime' ; break ; } // Return the normalized name return $ result ; }
docstring: This function returns the correct name value for the
  XMLDB_TYPE_XXX passed as argument
  @param int $type
  @return string
docstring_tokens: This function returns the correct name value for the XMLDB_TYPE_XXX passed as argument