item.cc 140 KB
Newer Older
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1
/* Copyright (C) 2000 MySQL AB & MySQL Finland AB & TCX DataKonsult AB
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
2

bk@work.mysql.com's avatar
bk@work.mysql.com committed
3 4 5 6
   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2 of the License, or
   (at your option) any later version.
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
7

bk@work.mysql.com's avatar
bk@work.mysql.com committed
8 9 10 11
   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
12

bk@work.mysql.com's avatar
bk@work.mysql.com committed
13 14 15 16 17
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA */


18
#ifdef USE_PRAGMA_IMPLEMENTATION
bk@work.mysql.com's avatar
bk@work.mysql.com committed
19 20 21 22 23
#pragma implementation				// gcc: Class implementation
#endif
#include "mysql_priv.h"
#include <m_ctype.h>
#include "my_dir.h"
24
#include "sp_rcontext.h"
25 26
#include "sp_head.h"
#include "sql_trigger.h"
27
#include "sql_select.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
28

29 30
static void mark_as_dependent(THD *thd,
			      SELECT_LEX *last, SELECT_LEX *current,
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
31 32
			      Item_ident *item);

33 34
const String my_null_string("NULL", 4, default_charset_info);

35 36 37 38 39 40 41 42 43 44
/****************************************************************************/

/* Hybrid_type_traits {_real} */

void Hybrid_type_traits::fix_length_and_dec(Item *item, Item *arg) const
{
  item->decimals= NOT_FIXED_DEC;
  item->max_length= item->float_length(arg->decimals);
}

45
static const Hybrid_type_traits real_traits_instance;
46 47 48

const Hybrid_type_traits *Hybrid_type_traits::instance()
{
49
  return &real_traits_instance;
50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68
}


my_decimal *
Hybrid_type_traits::val_decimal(Hybrid_type *val, my_decimal *to) const
{
  double2my_decimal(E_DEC_FATAL_ERROR, val->real, val->dec_buf);
  return val->dec_buf;
}


String *
Hybrid_type_traits::val_str(Hybrid_type *val, String *to, uint8 decimals) const
{
  to->set(val->real, decimals, &my_charset_bin);
  return to;
}

/* Hybrid_type_traits_decimal */
69
static const Hybrid_type_traits_decimal decimal_traits_instance;
70 71 72

const Hybrid_type_traits_decimal *Hybrid_type_traits_decimal::instance()
{
73
  return &decimal_traits_instance;
74 75 76 77 78 79 80 81
}


void
Hybrid_type_traits_decimal::fix_length_and_dec(Item *item, Item *arg) const
{
  item->decimals= arg->decimals;
  item->max_length= min(arg->max_length + DECIMAL_LONGLONG_DIGITS,
82
                        DECIMAL_MAX_STR_LENGTH);
83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144
}


void Hybrid_type_traits_decimal::set_zero(Hybrid_type *val) const
{
  my_decimal_set_zero(&val->dec_buf[0]);
  val->used_dec_buf_no= 0;
}


void Hybrid_type_traits_decimal::add(Hybrid_type *val, Field *f) const
{
  my_decimal_add(E_DEC_FATAL_ERROR,
                 &val->dec_buf[val->used_dec_buf_no ^ 1],
                 &val->dec_buf[val->used_dec_buf_no],
                 f->val_decimal(&val->dec_buf[2]));
  val->used_dec_buf_no^= 1;
}


void Hybrid_type_traits_decimal::div(Hybrid_type *val, ulonglong u) const
{
  int2my_decimal(E_DEC_FATAL_ERROR, u, TRUE, &val->dec_buf[2]);
  /* XXX: what is '4' for scale? */
  my_decimal_div(E_DEC_FATAL_ERROR,
                 &val->dec_buf[val->used_dec_buf_no ^ 1],
                 &val->dec_buf[val->used_dec_buf_no],
                 &val->dec_buf[2], 4);
  val->used_dec_buf_no^= 1;
}


longlong
Hybrid_type_traits_decimal::val_int(Hybrid_type *val, bool unsigned_flag) const
{
  longlong result;
  my_decimal2int(E_DEC_FATAL_ERROR, &val->dec_buf[val->used_dec_buf_no],
                 unsigned_flag, &result);
  return result;
}


double
Hybrid_type_traits_decimal::val_real(Hybrid_type *val) const
{
  my_decimal2double(E_DEC_FATAL_ERROR, &val->dec_buf[val->used_dec_buf_no],
                    &val->real);
  return val->real;
}


String *
Hybrid_type_traits_decimal::val_str(Hybrid_type *val, String *to,
                                    uint8 decimals) const
{
  my_decimal_round(E_DEC_FATAL_ERROR, &val->dec_buf[val->used_dec_buf_no],
                   decimals, FALSE, &val->dec_buf[2]);
  my_decimal2string(E_DEC_FATAL_ERROR, &val->dec_buf[2], 0, 0, 0, to);
  return to;
}

/* Hybrid_type_traits_integer */
145
static const Hybrid_type_traits_integer integer_traits_instance;
146 147 148

const Hybrid_type_traits_integer *Hybrid_type_traits_integer::instance()
{
149
  return &integer_traits_instance;
150 151 152 153 154 155 156 157 158 159
}

void
Hybrid_type_traits_integer::fix_length_and_dec(Item *item, Item *arg) const
{
  item->decimals= 0;
  item->max_length= 21;
  item->unsigned_flag= 0;
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
160 161 162 163 164 165 166 167 168 169 170
/*****************************************************************************
** Item functions
*****************************************************************************/

/* Init all special items */

void item_init(void)
{
  item_user_lock_init();
}

171 172 173 174

/*
TODO: make this functions class dependent
*/
175

176 177
bool Item::val_bool()
{
178
  switch(result_type()) {
179
  case INT_RESULT:
180
    return val_int() != 0;
181 182 183 184 185 186 187 188 189 190 191 192 193 194
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value;
    my_decimal *val= val_decimal(&decimal_value);
    if (val)
      return !my_decimal_is_zero(val);
    return 0;
  }
  case REAL_RESULT:
  case STRING_RESULT:
    return val_real() != 0.0;
  case ROW_RESULT:
  default:
    DBUG_ASSERT(0);
195
    return 0;                                   // Wrong (but safe)
196 197 198 199
  }
}


200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261
String *Item::val_string_from_real(String *str)
{
  double nr= val_real();
  if (null_value)
    return 0;					/* purecov: inspected */
  str->set(nr,decimals, &my_charset_bin);
  return str;
}


String *Item::val_string_from_int(String *str)
{
  longlong nr= val_int();
  if (null_value)
    return 0;
  if (unsigned_flag)
    str->set((ulonglong) nr, &my_charset_bin);
  else
    str->set(nr, &my_charset_bin);
  return str;
}


String *Item::val_string_from_decimal(String *str)
{
  my_decimal dec_buf, *dec= val_decimal(&dec_buf);
  if (null_value)
    return 0;
  my_decimal_round(E_DEC_FATAL_ERROR, dec, decimals, FALSE, &dec_buf);
  my_decimal2string(E_DEC_FATAL_ERROR, &dec_buf, 0, 0, 0, str);
  return str;
}


my_decimal *Item::val_decimal_from_real(my_decimal *decimal_value)
{
  double nr= val_real();
  if (null_value)
    return 0;
  double2my_decimal(E_DEC_FATAL_ERROR, nr, decimal_value);
  return (decimal_value);
}


my_decimal *Item::val_decimal_from_int(my_decimal *decimal_value)
{
  longlong nr= val_int();
  if (null_value)
    return 0;
  int2my_decimal(E_DEC_FATAL_ERROR, nr, unsigned_flag, decimal_value);
  return decimal_value;
}


my_decimal *Item::val_decimal_from_string(my_decimal *decimal_value)
{
  String *res;
  char *end_ptr;
  if (!(res= val_str(&str_value)))
    return 0;                                   // NULL or EOM

  end_ptr= (char*) res->ptr()+ res->length();
262 263 264 265 266 267 268 269 270
  if (str2my_decimal(E_DEC_FATAL_ERROR & ~E_DEC_BAD_NUM,
                     res->ptr(), res->length(), res->charset(),
                     decimal_value) & E_DEC_BAD_NUM)
  {
    push_warning_printf(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN,
                        ER_TRUNCATED_WRONG_VALUE,
                        ER(ER_TRUNCATED_WRONG_VALUE), "DECIMAL",
                        str_value.c_ptr());
  }
271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298
  return decimal_value;
}


double Item::val_real_from_decimal()
{
  /* Note that fix_fields may not be called for Item_avg_field items */
  double result;
  my_decimal value_buff, *dec_val= val_decimal(&value_buff);
  if (null_value)
    return 0.0;
  my_decimal2double(E_DEC_FATAL_ERROR, dec_val, &result);
  return result;
}


longlong Item::val_int_from_decimal()
{
  /* Note that fix_fields may not be called for Item_avg_field items */
  longlong result;
  my_decimal value, *dec_val= val_decimal(&value);
  if (null_value)
    return 0;
  my_decimal2int(E_DEC_FATAL_ERROR, dec_val, unsigned_flag, &result);
  return result;
}


299 300 301 302 303 304
void *Item::operator new(size_t size, Item *reuse, uint *rsize)
{
  if (reuse && size <= reuse->rsize)
  {
    if (rsize)
      (*rsize)= reuse->rsize;
305 306
    reuse->cleanup();
    TRASH((void *)reuse, size);
307 308 309
    return (void *)reuse;
  }
  if (rsize)
310
    (*rsize)= (uint) size;
311 312 313 314
  return (void *)sql_alloc((uint)size);
}


315
Item::Item():
316
  rsize(0), name(0), orig_name(0), name_length(0), fixed(0),
317
  is_autogenerated_name(TRUE),
bar@mysql.com's avatar
bar@mysql.com committed
318
  collation(&my_charset_bin, DERIVATION_COERCIBLE)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
319
{
320
  marker= 0;
321
  maybe_null=null_value=with_sum_func=unsigned_flag=0;
322
  decimals= 0; max_length= 0;
323 324 325

  /* Put item in free list so that we can free all items at end */
  THD *thd= current_thd;
326 327
  next= thd->free_list;
  thd->free_list= this;
328
  /*
329
    Item constructor can be called during execution other then SQL_COM
330
    command => we should check thd->lex->current_select on zero (thd->lex
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
331
    can be uninitialised)
332
  */
pem@mysql.telia.com's avatar
pem@mysql.telia.com committed
333
  if (thd->lex->current_select)
334
  {
335
    enum_parsing_place place= 
pem@mysql.com's avatar
pem@mysql.com committed
336
      thd->lex->current_select->parsing_place;
337 338
    if (place == SELECT_LIST ||
	place == IN_HAVING)
pem@mysql.com's avatar
pem@mysql.com committed
339
      thd->lex->current_select->select_n_having_items++;
340
  }
341 342
}

343
/*
344
  Constructor used by Item_field, Item_*_ref & aggregate (sum) functions.
345 346 347
  Used for duplicating lists in processing queries with temporary
  tables
*/
348
Item::Item(THD *thd, Item *item):
349
  rsize(0),
350 351
  str_value(item->str_value),
  name(item->name),
352
  orig_name(item->orig_name),
353 354 355 356 357 358 359 360 361
  max_length(item->max_length),
  marker(item->marker),
  decimals(item->decimals),
  maybe_null(item->maybe_null),
  null_value(item->null_value),
  unsigned_flag(item->unsigned_flag),
  with_sum_func(item->with_sum_func),
  fixed(item->fixed),
  collation(item->collation)
362
{
363 364
  next= thd->free_list;				// Put in free list
  thd->free_list= this;
365 366
}

367

368 369 370 371 372 373 374 375 376 377 378
uint Item::decimal_precision() const
{
  Item_result restype= result_type();

  if ((restype == DECIMAL_RESULT) || (restype == INT_RESULT))
    return min(my_decimal_length_to_precision(max_length, decimals, unsigned_flag),
               DECIMAL_MAX_PRECISION);
  return min(max_length, DECIMAL_MAX_PRECISION);
}


379 380 381 382 383
void Item::print_item_w_name(String *str)
{
  print(str);
  if (name)
  {
384 385
    THD *thd= current_thd;
    str->append(" AS ", 4);
386
    append_identifier(thd, str, name, (uint) strlen(name));
387 388 389 390
  }
}


391 392 393
void Item::cleanup()
{
  DBUG_ENTER("Item::cleanup");
394
  DBUG_PRINT("info", ("Item: 0x%lx, Type: %d, name %s, original name %s",
395 396
		      this, (int)type(), name ? name : "(null)",
                      orig_name ? orig_name : "null"));
397
  fixed=0;
398
  marker= 0;
399 400
  if (orig_name)
    name= orig_name;
401 402 403
  DBUG_VOID_RETURN;
}

404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420

/*
  cleanup() item if it is 'fixed'

  SYNOPSIS
    cleanup_processor()
    arg - a dummy parameter, is not used here
*/

bool Item::cleanup_processor(byte *arg)
{
  if (fixed)
    cleanup();
  return FALSE;
}


421 422 423 424 425 426 427 428 429 430 431
/*
  rename item (used for views, cleanup() return original name)

  SYNOPSIS
    Item::rename()
    new_name	new name of item;
*/

void Item::rename(char *new_name)
{
  /*
432
    we can compare pointers to names here, because if name was not changed,
433 434 435 436 437 438 439 440
    pointer will be same
  */
  if (!orig_name && new_name != name)
    orig_name= name;
  name= new_name;
}


monty@mysql.com's avatar
monty@mysql.com committed
441 442
Item_ident::Item_ident(const char *db_name_par,const char *table_name_par,
		       const char *field_name_par)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
443
  :orig_db_name(db_name_par), orig_table_name(table_name_par), 
444 445 446 447
   orig_field_name(field_name_par),
   db_name(db_name_par), table_name(table_name_par),
   field_name(field_name_par),
   alias_name_used(FALSE), cached_field_index(NO_CACHED_FIELD_INDEX),
448
   cached_table(0), depended_from(0)
monty@mysql.com's avatar
monty@mysql.com committed
449 450 451 452
{
  name = (char*) field_name_par;
}

453

monty@mishka.local's avatar
monty@mishka.local committed
454
/* Constructor used by Item_field & Item_*_ref (see Item comment) */
455

456 457
Item_ident::Item_ident(THD *thd, Item_ident *item)
  :Item(thd, item),
458 459 460
   orig_db_name(item->orig_db_name),
   orig_table_name(item->orig_table_name), 
   orig_field_name(item->orig_field_name),
461 462 463
   db_name(item->db_name),
   table_name(item->table_name),
   field_name(item->field_name),
464
   alias_name_used(item->alias_name_used),
465
   cached_field_index(item->cached_field_index),
466
   cached_table(item->cached_table),
467
   depended_from(item->depended_from)
468
{}
469

470 471
void Item_ident::cleanup()
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
472
  DBUG_ENTER("Item_ident::cleanup");
monty@mysql.com's avatar
monty@mysql.com committed
473
#ifdef CANT_BE_USED_AS_MEMORY_IS_FREED
474 475 476 477 478 479
		       db_name ? db_name : "(null)",
                       orig_db_name ? orig_db_name : "(null)",
		       table_name ? table_name : "(null)",
                       orig_table_name ? orig_table_name : "(null)",
		       field_name ? field_name : "(null)",
                       orig_field_name ? orig_field_name : "(null)"));
monty@mysql.com's avatar
monty@mysql.com committed
480
#endif
481
  Item::cleanup();
482 483 484
  db_name= orig_db_name; 
  table_name= orig_table_name;
  field_name= orig_field_name;
485
  depended_from= 0;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
486
  DBUG_VOID_RETURN;
487 488
}

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
489 490 491 492 493
bool Item_ident::remove_dependence_processor(byte * arg)
{
  DBUG_ENTER("Item_ident::remove_dependence_processor");
  if (depended_from == (st_select_lex *) arg)
    depended_from= 0;
494
  DBUG_RETURN(0);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
495 496 497
}


498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515
/*
  Store the pointer to this item field into a list if not already there.

  SYNOPSIS
    Item_field::collect_item_field_processor()
    arg  pointer to a List<Item_field>

  DESCRIPTION
    The method is used by Item::walk to collect all unique Item_field objects
    from a tree of Items into a set of items represented as a list.

  IMPLEMENTATION
    Item_cond::walk() and Item_func::walk() stop the evaluation of the
    processor function for its arguments once the processor returns
    true.Therefore in order to force this method being called for all item
    arguments in a condition the method must return false.

  RETURN
516 517
    false to force the evaluation of collect_item_field_processor
          for the subsequent items.
518 519 520 521 522 523 524 525 526 527 528 529
*/

bool Item_field::collect_item_field_processor(byte *arg)
{
  DBUG_ENTER("Item_field::collect_item_field_processor");
  DBUG_PRINT("info", ("%s", field->field_name ? field->field_name : "noname"));
  List<Item_field> *item_list= (List<Item_field>*) arg;
  List_iterator<Item_field> item_list_it(*item_list);
  Item_field *curr_item;
  while ((curr_item= item_list_it++))
  {
    if (curr_item->eq(this, 1))
530
      DBUG_RETURN(FALSE); /* Already in the set. */
531 532
  }
  item_list->push_back(this);
533
  DBUG_RETURN(FALSE);
534 535 536
}


537 538 539 540
bool Item::check_cols(uint c)
{
  if (c != 1)
  {
541
    my_error(ER_OPERAND_COLUMNS, MYF(0), c);
542 543 544 545 546
    return 1;
  }
  return 0;
}

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
547 548

void Item::set_name(const char *str, uint length, CHARSET_INFO *cs)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
549 550 551
{
  if (!length)
  {
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
552 553
    /* Empty string, used by AS or internal function like last_insert_id() */
    name= (char*) str;
554
    name_length= 0;
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
555 556
    return;
  }
557 558
  if (cs->ctype)
  {
monty@mysql.com's avatar
monty@mysql.com committed
559 560 561 562
    /*
      This will probably need a better implementation in the future:
      a function in CHARSET_INFO structure.
    */
563 564 565 566 567
    while (length && !my_isgraph(cs,*str))
    {						// Fix problem with yacc
      length--;
      str++;
    }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
568
  }
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
569 570 571
  if (!my_charset_same(cs, system_charset_info))
  {
    uint32 res_length;
572
    name= sql_strmake_with_convert(str, name_length= length, cs,
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
573 574 575 576
				   MAX_ALIAS_NAME, system_charset_info,
				   &res_length);
  }
  else
577
    name= sql_strmake(str, (name_length= min(length,MAX_ALIAS_NAME)));
bk@work.mysql.com's avatar
bk@work.mysql.com committed
578 579
}

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
580

581
/*
582 583 584
  This function is called when:
  - Comparing items in the WHERE clause (when doing where optimization)
  - When trying to find an ORDER BY/GROUP BY item in the SELECT part
585 586 587
*/

bool Item::eq(const Item *item, bool binary_cmp) const
bk@work.mysql.com's avatar
bk@work.mysql.com committed
588
{
589 590 591 592 593
  /*
    Note, that this is never TRUE if item is a Item_param:
    for all basic constants we have special checks, and Item_param's
    type() can be only among basic constant types.
  */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
594
  return type() == item->type() && name && item->name &&
595
    !my_strcasecmp(system_charset_info,name,item->name);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
596 597
}

monty@mysql.com's avatar
monty@mysql.com committed
598

599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629
Item *Item::safe_charset_converter(CHARSET_INFO *tocs)
{
  /*
    Don't allow automatic conversion to non-Unicode charsets,
    as it potentially loses data.
  */
  if (!(tocs->state & MY_CS_UNICODE))
    return NULL; // safe conversion is not possible
  return new Item_func_conv_charset(this, tocs);
}


Item *Item_string::safe_charset_converter(CHARSET_INFO *tocs)
{
  Item_string *conv;
  uint conv_errors;
  String tmp, cstr, *ostr= val_str(&tmp);
  cstr.copy(ostr->ptr(), ostr->length(), ostr->charset(), tocs, &conv_errors);
  if (conv_errors || !(conv= new Item_string(cstr.ptr(), cstr.length(),
                                             cstr.charset(),
                                             collation.derivation)))
  {
    /*
      Safe conversion is not possible (or EOM).
      We could not convert a string into the requested character set
      without data loss. The target charset does not cover all the
      characters from the string. Operation cannot be done correctly.
    */
    return NULL;
  }
  conv->str_value.copy();
630 631
  /* Ensure that no one is going to change the result string */
  conv->str_value.mark_as_const();
632 633 634 635
  return conv;
}


636 637
bool Item_string::eq(const Item *item, bool binary_cmp) const
{
638
  if (type() == item->type() && item->basic_const_item())
639 640
  {
    if (binary_cmp)
monty@mysql.com's avatar
monty@mysql.com committed
641
      return !stringcmp(&str_value, &item->str_value);
642
    return !sortcmp(&str_value, &item->str_value, collation.collation);
643 644 645 646 647
  }
  return 0;
}


bk@work.mysql.com's avatar
bk@work.mysql.com committed
648 649 650 651 652
/*
  Get the value of the function as a TIME structure.
  As a extra convenience the time structure is reset on error!
 */

653
bool Item::get_date(TIME *ltime,uint fuzzydate)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
654 655
{
  char buff[40];
656
  String tmp(buff,sizeof(buff), &my_charset_bin),*res;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
657
  if (!(res=val_str(&tmp)) ||
658 659
      str_to_datetime_with_warn(res->ptr(), res->length(),
                                ltime, fuzzydate) <= MYSQL_TIMESTAMP_ERROR)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
660 661 662 663 664 665 666 667 668 669 670 671 672 673 674
  {
    bzero((char*) ltime,sizeof(*ltime));
    return 1;
  }
  return 0;
}

/*
  Get time of first argument.
  As a extra convenience the time structure is reset on error!
 */

bool Item::get_time(TIME *ltime)
{
  char buff[40];
675
  String tmp(buff,sizeof(buff),&my_charset_bin),*res;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
676
  if (!(res=val_str(&tmp)) ||
677
      str_to_time_with_warn(res->ptr(), res->length(), ltime))
bk@work.mysql.com's avatar
bk@work.mysql.com committed
678 679 680 681 682 683 684
  {
    bzero((char*) ltime,sizeof(*ltime));
    return 1;
  }
  return 0;
}

685
CHARSET_INFO *Item::default_charset()
686
{
687
  return current_thd->variables.collation_connection;
688 689
}

690

691 692 693 694 695 696 697 698 699 700 701 702
int Item::save_in_field_no_warnings(Field *field, bool no_conversions)
{
  int res;
  THD *thd= field->table->in_use;
  enum_check_fields tmp= thd->count_cuted_fields;
  thd->count_cuted_fields= CHECK_FIELD_IGNORE;
  res= save_in_field(field, no_conversions);
  thd->count_cuted_fields= tmp;
  return res;
}


703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736
double Item_splocal::val_real()
{
  DBUG_ASSERT(fixed);
  Item *it= this_item();
  double ret= it->val_real();
  Item::null_value= it->null_value;
  return ret;
}


longlong Item_splocal::val_int()
{
  DBUG_ASSERT(fixed);
  Item *it= this_item();
  longlong ret= it->val_int();
  Item::null_value= it->null_value;
  return ret;
}


String *Item_splocal::val_str(String *sp)
{
  DBUG_ASSERT(fixed);
  Item *it= this_item();
  String *ret= it->val_str(sp);
  Item::null_value= it->null_value;
  return ret;
}


my_decimal *Item_splocal::val_decimal(my_decimal *decimal_value)
{
  DBUG_ASSERT(fixed);
  Item *it= this_item();
737
  my_decimal *val= it->val_decimal(decimal_value);
738 739 740 741 742 743 744 745 746 747 748 749 750 751
  Item::null_value= it->null_value;
  return val;
}


bool Item_splocal::is_null()
{
  Item *it= this_item();
  bool ret= it->is_null();
  Item::null_value= it->null_value;
  return ret;
}


752 753 754 755 756 757
Item *
Item_splocal::this_item()
{
  THD *thd= current_thd;

  return thd->spcont->get_item(m_offset);
758 759
}

760 761 762 763 764 765 766

Item **
Item_splocal::this_item_addr(THD *thd, Item **addr)
{
  return thd->spcont->get_item_addr(m_offset);
}

767 768 769 770 771 772 773 774
Item *
Item_splocal::this_const_item() const
{
  THD *thd= current_thd;

  return thd->spcont->get_item(m_offset);
}

775 776 777 778 779 780 781 782 783 784 785
Item::Type
Item_splocal::type() const
{
  THD *thd= current_thd;

  if (thd->spcont)
    return thd->spcont->get_item(m_offset)->type();
  return NULL_ITEM;		// Anything but SUBSELECT_ITEM
}


786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811
bool Item_splocal::fix_fields(THD *, struct st_table_list *, Item **)
{
  Item *it= this_item();
  DBUG_ASSERT(it->fixed);
  max_length= it->max_length;
  decimals= it->decimals;
  fixed= 1;
  return FALSE;
}


void Item_splocal::cleanup()
{
  fixed= 0;
}


void Item_splocal::print(String *str)
{
  str->reserve(m_name.length+8);
  str->append(m_name.str, m_name.length);
  str->append('@');
  str->qs_append(m_offset);
}


812

813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864
/*
  Move SUM items out from item tree and replace with reference

  SYNOPSIS
    split_sum_func2()
    thd			Thread handler
    ref_pointer_array	Pointer to array of reference fields
    fields		All fields in select
    ref			Pointer to item

  NOTES
   This is from split_sum_func2() for items that should be split

   All found SUM items are added FIRST in the fields list and
   we replace the item with a reference.

   thd->fatal_error() may be called if we are out of memory
*/


void Item::split_sum_func2(THD *thd, Item **ref_pointer_array,
                           List<Item> &fields, Item **ref)
{
  if (type() != SUM_FUNC_ITEM && with_sum_func)
  {
    /* Will split complicated items and ignore simple ones */
    split_sum_func(thd, ref_pointer_array, fields);
  }
  else if ((type() == SUM_FUNC_ITEM ||
            (used_tables() & ~PARAM_TABLE_BIT)) &&
           type() != REF_ITEM)
  {
    /*
      Replace item with a reference so that we can easily calculate
      it (in case of sum functions) or copy it (in case of fields)

      The test above is to ensure we don't do a reference for things
      that are constants (PARAM_TABLE_BIT is in effect a constant)
      or already referenced (for example an item in HAVING)
    */
    uint el= fields.elements;
    Item *new_item;    
    ref_pointer_array[el]= this;
    if (!(new_item= new Item_ref(ref_pointer_array + el, 0, name)))
      return;                                   // fatal_error is set
    fields.push_front(this);
    ref_pointer_array[el]= this;
    thd->change_item_tree(ref, new_item);
  }
}


865 866 867 868
/*
   Aggregate two collations together taking
   into account their coercibility (aka derivation):

869
   0 == DERIVATION_EXPLICIT  - an explicitly written COLLATE clause
870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900
   1 == DERIVATION_NONE      - a mix of two different collations
   2 == DERIVATION_IMPLICIT  - a column
   3 == DERIVATION_COERCIBLE - a string constant

   The most important rules are:

   1. If collations are the same:
      chose this collation, and the strongest derivation.

   2. If collations are different:
     - Character sets may differ, but only if conversion without
       data loss is possible. The caller provides flags whether
       character set conversion attempts should be done. If no
       flags are substituted, then the character sets must be the same.
       Currently processed flags are:
         MY_COLL_ALLOW_SUPERSET_CONV  - allow conversion to a superset
         MY_COLL_ALLOW_COERCIBLE_CONV - allow conversion of a coercible value
     - two EXPLICIT collations produce an error, e.g. this is wrong:
       CONCAT(expr1 collate latin1_swedish_ci, expr2 collate latin1_german_ci)
     - the side with smaller derivation value wins,
       i.e. a column is stronger than a string constant,
       an explicit COLLATE clause is stronger than a column.
     - if derivations are the same, we have DERIVATION_NONE,
       we'll wait for an explicit COLLATE clause which possibly can
       come from another argument later: for example, this is valid,
       but we don't know yet when collecting the first two arguments:
         CONCAT(latin1_swedish_ci_column,
                latin1_german1_ci_column,
                expr COLLATE latin1_german2_ci)
*/
bool DTCollation::aggregate(DTCollation &dt, uint flags)
901
{
902
  if (!my_charset_same(collation, dt.collation))
903
  {
904 905 906
    /* 
       We do allow to use binary strings (like BLOBS)
       together with character strings.
907
       Binaries have more precedence than a character
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
908
       string of the same derivation.
909
    */
910
    if (collation == &my_charset_bin)
911
    {
912 913 914
      if (derivation <= dt.derivation)
	; // Do nothing
      else
915 916 917
      {
	set(dt); 
      }
918
    }
919
    else if (dt.collation == &my_charset_bin)
920
    {
921
      if (dt.derivation <= derivation)
922
      {
923
        set(dt);
924
      }
925 926
      else
       ; // Do nothing
927
    }
928 929 930
    else if ((flags & MY_COLL_ALLOW_SUPERSET_CONV) &&
             derivation < dt.derivation &&
             collation->state & MY_CS_UNICODE)
931
    {
932 933 934 935 936 937 938 939 940 941
      // Do nothing
    }
    else if ((flags & MY_COLL_ALLOW_SUPERSET_CONV) &&
             dt.derivation < derivation &&
             dt.collation->state & MY_CS_UNICODE)
    {
      set(dt);
    }
    else if ((flags & MY_COLL_ALLOW_COERCIBLE_CONV) &&
             derivation < dt.derivation &&
942
             dt.derivation >= DERIVATION_SYSCONST)
943 944 945 946 947
    {
      // Do nothing;
    }
    else if ((flags & MY_COLL_ALLOW_COERCIBLE_CONV) &&
             dt.derivation < derivation &&
948
             derivation >= DERIVATION_SYSCONST)
949 950
    {
      set(dt);
951
    }
952 953
    else
    {
954
      // Cannot apply conversion
955
      set(0, DERIVATION_NONE);
956
      return 1;
957
    }
958
  }
959
  else if (derivation < dt.derivation)
960
  {
961
    // Do nothing
962
  }
963
  else if (dt.derivation < derivation)
964
  {
965
    set(dt);
966
  }
967 968 969
  else
  { 
    if (collation == dt.collation)
970
    {
971 972 973 974 975
      // Do nothing
    }
    else 
    {
      if (derivation == DERIVATION_EXPLICIT)
976
      {
977 978
	set(0, DERIVATION_NONE);
	return 1;
979
      }
980 981
      if (collation->state & MY_CS_BINSORT)
        return 0;
982
      if (dt.collation->state & MY_CS_BINSORT)
983 984 985 986
      {
        set(dt);
        return 0;
      }
987
      CHARSET_INFO *bin= get_charset_by_csname(collation->csname, 
988
                                               MY_CS_BINSORT,MYF(0));
989
      set(bin, DERIVATION_NONE);
990
    }
991 992 993 994
  }
  return 0;
}

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
995
Item_field::Item_field(Field *f)
996
  :Item_ident(NullS, *f->table_name, f->field_name),
997
  item_equal(0), no_const_subst(0),
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
998
   have_privileges(0), any_privileges(0)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
999 1000
{
  set_field(f);
1001 1002 1003 1004 1005
  /*
    field_name and talbe_name should not point to garbage
    if this item is to be reused
  */
  orig_table_name= orig_field_name= "";
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1006 1007
}

1008
Item_field::Item_field(THD *thd, Field *f)
1009
  :Item_ident(f->table->s->db, *f->table_name, f->field_name),
1010
   item_equal(0), no_const_subst(0),
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
1011
   have_privileges(0), any_privileges(0)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1012
{
1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027
  /*
    We always need to provide Item_field with a fully qualified field
    name to avoid ambiguity when executing prepared statements like
    SELECT * from d1.t1, d2.t1; (assuming d1.t1 and d2.t1 have columns
    with same names).
    This is because prepared statements never deal with wildcards in
    select list ('*') and always fix fields using fully specified path
    (i.e. db.table.column).
    No check for OOM: if db_name is NULL, we'll just get
    "Field not found" error.
    We need to copy db_name, table_name and field_name because they must
    be allocated in the statement memory, not in table memory (the table
    structure can go away and pop up again between subsequent executions
    of a prepared statement).
  */
1028
  if (thd->current_arena->is_stmt_prepare_or_first_sp_execute())
1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040
  {
    if (db_name)
      orig_db_name= thd->strdup(db_name);
    orig_table_name= thd->strdup(table_name);
    orig_field_name= thd->strdup(field_name);
    /*
      We don't restore 'name' in cleanup because it's not changed
      during execution. Still we need it to point to persistent
      memory if this item is to be reused.
    */
    name= (char*) orig_field_name;
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1041 1042 1043
  set_field(f);
}

1044
// Constructor need to process subselect with temporary tables (see Item)
1045
Item_field::Item_field(THD *thd, Item_field *item)
1046
  :Item_ident(thd, item),
1047
   field(item->field),
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
1048
   result_field(item->result_field),
1049 1050
   item_equal(item->item_equal),
   no_const_subst(item->no_const_subst),
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
1051 1052
   have_privileges(item->have_privileges),
   any_privileges(item->any_privileges)
1053 1054 1055
{
  collation.set(DERIVATION_IMPLICIT);
}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1056 1057 1058 1059 1060 1061

void Item_field::set_field(Field *field_par)
{
  field=result_field=field_par;			// for easy coding with fields
  maybe_null=field->maybe_null();
  decimals= field->decimals();
jimw@mysql.com's avatar
Merge  
jimw@mysql.com committed
1062
  max_length= field_par->max_length();
1063 1064 1065
  table_name= *field_par->table_name;
  field_name= field_par->field_name;
  db_name= field_par->table->s->db;
1066
  alias_name_used= field_par->table->alias_name_used;
1067
  unsigned_flag=test(field_par->flags & UNSIGNED_FLAG);
1068
  collation.set(field_par->charset(), DERIVATION_IMPLICIT);
1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083
  fixed= 1;
}


/*
  Reset this item to point to a field from the new temporary table.
  This is used when we create a new temporary table for each execution
  of prepared statement.
*/

void Item_field::reset_field(Field *f)
{
  set_field(f);
  /* 'name' is pointing at field->field_name of old field */
  name= (char*) f->field_name;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1084 1085 1086 1087 1088
}

const char *Item_ident::full_name() const
{
  char *tmp;
1089
  if (!table_name || !field_name)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1090
    return field_name ? field_name : name ? name : "tmp_field";
1091
  if (db_name && db_name[0])
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1092
  {
1093 1094
    tmp=(char*) sql_alloc((uint) strlen(db_name)+(uint) strlen(table_name)+
			  (uint) strlen(field_name)+3);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1095 1096 1097 1098
    strxmov(tmp,db_name,".",table_name,".",field_name,NullS);
  }
  else
  {
1099 1100 1101 1102 1103 1104 1105 1106
    if (table_name[0])
    {
      tmp= (char*) sql_alloc((uint) strlen(table_name) +
			     (uint) strlen(field_name) + 2);
      strxmov(tmp, table_name, ".", field_name, NullS);
    }
    else
      tmp= (char*) field_name;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1107 1108 1109 1110
  }
  return tmp;
}

1111 1112
void Item_ident::print(String *str)
{
1113
  THD *thd= current_thd;
1114 1115
  char d_name_buff[MAX_ALIAS_NAME], t_name_buff[MAX_ALIAS_NAME];
  const char *d_name= db_name, *t_name= table_name;
1116 1117
  if (lower_case_table_names== 1 ||
      (lower_case_table_names == 2 && !alias_name_used))
1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132
  {
    if (table_name && table_name[0])
    {
      strmov(t_name_buff, table_name);
      my_casedn_str(files_charset_info, t_name_buff);
      t_name= t_name_buff;
    }
    if (db_name && db_name[0])
    {
      strmov(d_name_buff, db_name);
      my_casedn_str(files_charset_info, d_name_buff);
      d_name= d_name_buff;
    }
  }

1133 1134
  if (!table_name || !field_name)
  {
1135
    const char *nm= field_name ? field_name : name ? name : "tmp_field";
1136
    append_identifier(thd, str, nm, (uint) strlen(nm));
1137 1138
    return;
  }
1139
  if (db_name && db_name[0] && !alias_name_used)
1140
  {
1141
    append_identifier(thd, str, d_name, (uint) strlen(d_name));
1142
    str->append('.');
1143
    append_identifier(thd, str, t_name, (uint) strlen(t_name));
1144
    str->append('.');
1145
    append_identifier(thd, str, field_name, (uint) strlen(field_name));
1146 1147 1148 1149 1150
  }
  else
  {
    if (table_name[0])
    {
1151
      append_identifier(thd, str, t_name, (uint) strlen(t_name));
1152
      str->append('.');
1153
      append_identifier(thd, str, field_name, (uint) strlen(field_name));
1154 1155
    }
    else
1156
      append_identifier(thd, str, field_name, (uint) strlen(field_name));
1157 1158 1159
  }
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1160 1161 1162
/* ARGSUSED */
String *Item_field::val_str(String *str)
{
1163
  DBUG_ASSERT(fixed == 1);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1164 1165
  if ((null_value=field->is_null()))
    return 0;
1166
  str->set_charset(str_value.charset());
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1167 1168 1169
  return field->val_str(str,&str_value);
}

1170

1171
double Item_field::val_real()
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1172
{
1173
  DBUG_ASSERT(fixed == 1);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1174 1175 1176 1177 1178
  if ((null_value=field->is_null()))
    return 0.0;
  return field->val_real();
}

1179

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1180 1181
longlong Item_field::val_int()
{
1182
  DBUG_ASSERT(fixed == 1);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1183 1184 1185 1186 1187 1188
  if ((null_value=field->is_null()))
    return 0;
  return field->val_int();
}


1189 1190 1191 1192 1193 1194 1195 1196
my_decimal *Item_field::val_decimal(my_decimal *decimal_value)
{
  if ((null_value= field->is_null()))
    return 0;
  return field->val_decimal(decimal_value);
}


bk@work.mysql.com's avatar
bk@work.mysql.com committed
1197 1198 1199 1200
String *Item_field::str_result(String *str)
{
  if ((null_value=result_field->is_null()))
    return 0;
1201
  str->set_charset(str_value.charset());
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1202 1203 1204
  return result_field->val_str(str,&str_value);
}

1205
bool Item_field::get_date(TIME *ltime,uint fuzzydate)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1206 1207 1208 1209 1210 1211 1212 1213 1214
{
  if ((null_value=field->is_null()) || field->get_date(ltime,fuzzydate))
  {
    bzero((char*) ltime,sizeof(*ltime));
    return 1;
  }
  return 0;
}

1215
bool Item_field::get_date_result(TIME *ltime,uint fuzzydate)
1216 1217 1218 1219 1220 1221 1222 1223 1224 1225
{
  if ((null_value=result_field->is_null()) ||
      result_field->get_date(ltime,fuzzydate))
  {
    bzero((char*) ltime,sizeof(*ltime));
    return 1;
  }
  return 0;
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249
bool Item_field::get_time(TIME *ltime)
{
  if ((null_value=field->is_null()) || field->get_time(ltime))
  {
    bzero((char*) ltime,sizeof(*ltime));
    return 1;
  }
  return 0;
}

double Item_field::val_result()
{
  if ((null_value=result_field->is_null()))
    return 0.0;
  return result_field->val_real();
}

longlong Item_field::val_int_result()
{
  if ((null_value=result_field->is_null()))
    return 0;
  return result_field->val_int();
}

1250

1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262
my_decimal *Item_field::val_decimal_result(my_decimal *decimal_value)
{
  if ((null_value= result_field->is_null()))
    return 0;
  return result_field->val_decimal(decimal_value);
}


bool Item_field::val_bool_result()
{
  if ((null_value= result_field->is_null()))
    return FALSE;
1263
  switch (result_field->result_type()) {
1264
  case INT_RESULT:
1265
    return result_field->val_int() != 0;
1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value;
    my_decimal *val= result_field->val_decimal(&decimal_value);
    if (val)
      return !my_decimal_is_zero(val);
    return 0;
  }
  case REAL_RESULT:
  case STRING_RESULT:
    return result_field->val_real() != 0.0;
  case ROW_RESULT:
  default:
    DBUG_ASSERT(0);
1280
    return 0;                                   // Shut up compiler
1281 1282 1283 1284
  }
}


1285
bool Item_field::eq(const Item *item, bool binary_cmp) const
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1286
{
1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308
  if (item->type() != FIELD_ITEM)
    return 0;
  
  Item_field *item_field= (Item_field*) item;
  if (item_field->field)
    return item_field->field == field;
  /*
    We may come here when we are trying to find a function in a GROUP BY
    clause from the select list.
    In this case the '100 % correct' way to do this would be to first
    run fix_fields() on the GROUP BY item and then retry this function, but
    I think it's better to relax the checking a bit as we will in
    most cases do the correct thing by just checking the field name.
    (In cases where we would choose wrong we would have to generate a
    ER_NON_UNIQ_ERROR).
  */
  return (!my_strcasecmp(system_charset_info, item_field->name,
			 field_name) &&
	  (!item_field->table_name ||
	   (!my_strcasecmp(table_alias_charset, item_field->table_name,
			   table_name) &&
	    (!item_field->db_name ||
1309 1310
	     (item_field->db_name && !strcmp(item_field->db_name,
					     db_name))))));
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1311 1312
}

1313

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1314 1315 1316 1317
table_map Item_field::used_tables() const
{
  if (field->table->const_table)
    return 0;					// const item
1318
  return (depended_from ? OUTER_REF_TABLE_BIT : field->table->map);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1319 1320
}

1321

1322
Item *Item_field::get_tmp_table_item(THD *thd)
1323
{
1324
  Item_field *new_item= new Item_field(thd, this);
1325 1326 1327 1328
  if (new_item)
    new_item->field= new_item->result_field;
  return new_item;
}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1329

1330

monty@mysql.com's avatar
monty@mysql.com committed
1331
/*
1332 1333 1334
  Create an item from a string we KNOW points to a valid longlong
  end \0 terminated number string.
  This is always 'signed'. Unsigned values are created with Item_uint()
monty@mysql.com's avatar
monty@mysql.com committed
1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347
*/

Item_int::Item_int(const char *str_arg, uint length)
{
  char *end_ptr= (char*) str_arg + length;
  int error;
  value= my_strtoll10(str_arg, &end_ptr, &error);
  max_length= (uint) (end_ptr - str_arg);
  name= (char*) str_arg;
  fixed= 1;
}


1348 1349 1350 1351 1352 1353
my_decimal *Item_int::val_decimal(my_decimal *decimal_value)
{
  int2my_decimal(E_DEC_FATAL_ERROR, value, unsigned_flag, decimal_value);
  return decimal_value;
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1354 1355
String *Item_int::val_str(String *str)
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1356
  // following assert is redundant, because fixed=1 assigned in constructor
1357
  DBUG_ASSERT(fixed == 1);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1358
  str->set(value, &my_charset_bin);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1359 1360 1361 1362 1363
  return str;
}

void Item_int::print(String *str)
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1364 1365
  // my_charset_bin is good enough for numbers
  str_value.set(value, &my_charset_bin);
1366
  str->append(str_value);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1367 1368
}

1369

monty@mysql.com's avatar
monty@mysql.com committed
1370 1371 1372 1373 1374 1375 1376
Item_uint::Item_uint(const char *str_arg, uint length):
  Item_int(str_arg, length)
{
  unsigned_flag= 1;
}


1377 1378 1379 1380 1381 1382 1383
Item_uint::Item_uint(const char *str_arg, longlong i, uint length):
  Item_int(str_arg, i, length)
{
  unsigned_flag= 1;
}


1384 1385
String *Item_uint::val_str(String *str)
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1386
  // following assert is redundant, because fixed=1 assigned in constructor
1387
  DBUG_ASSERT(fixed == 1);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1388
  str->set((ulonglong) value, &my_charset_bin);
1389 1390 1391
  return str;
}

1392

1393 1394
void Item_uint::print(String *str)
{
1395
  // latin1 is good enough for numbers
1396 1397
  str_value.set((ulonglong) value, default_charset());
  str->append(str_value);
1398 1399
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1400

1401 1402 1403 1404 1405 1406 1407
Item_decimal::Item_decimal(const char *str_arg, uint length,
                           CHARSET_INFO *charset)
{
  str2my_decimal(E_DEC_FATAL_ERROR, str_arg, length, charset, &decimal_value);
  name= (char*) str_arg;
  decimals= (uint8) decimal_value.frac;
  fixed= 1;
1408 1409
  max_length= my_decimal_precision_to_length(decimal_value.intg + decimals,
                                             decimals, unsigned_flag);
1410 1411 1412 1413 1414 1415 1416
}

Item_decimal::Item_decimal(longlong val, bool unsig)
{
  int2my_decimal(E_DEC_FATAL_ERROR, val, unsig, &decimal_value);
  decimals= (uint8) decimal_value.frac;
  fixed= 1;
1417 1418
  max_length= my_decimal_precision_to_length(decimal_value.intg + decimals,
                                             decimals, unsigned_flag);
1419 1420 1421 1422 1423 1424 1425 1426
}


Item_decimal::Item_decimal(double val, int precision, int scale)
{
  double2my_decimal(E_DEC_FATAL_ERROR, val, &decimal_value);
  decimals= (uint8) decimal_value.frac;
  fixed= 1;
1427 1428
  max_length= my_decimal_precision_to_length(decimal_value.intg + decimals,
                                             decimals, unsigned_flag);
1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447
}


Item_decimal::Item_decimal(const char *str, const my_decimal *val_arg,
                           uint decimal_par, uint length)
{
  my_decimal2decimal(val_arg, &decimal_value);
  name= (char*) str;
  decimals= (uint8) decimal_par;
  max_length= length;
  fixed= 1;
}


Item_decimal::Item_decimal(my_decimal *value_par)
{
  my_decimal2decimal(value_par, &decimal_value);
  decimals= (uint8) decimal_value.frac;
  fixed= 1;
1448 1449
  max_length= my_decimal_precision_to_length(decimal_value.intg + decimals,
                                             decimals, !decimal_value.sign());
1450 1451 1452 1453 1454
}


Item_decimal::Item_decimal(const char *bin, int precision, int scale)
{
1455 1456
  binary2my_decimal(E_DEC_FATAL_ERROR, bin,
                    &decimal_value, precision, scale);
1457 1458
  decimals= (uint8) decimal_value.frac;
  fixed= 1;
1459 1460
  max_length= my_decimal_precision_to_length(precision, decimals,
                                             !decimal_value.sign());
1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491
}


longlong Item_decimal::val_int()
{
  longlong result;
  my_decimal2int(E_DEC_FATAL_ERROR, &decimal_value, unsigned_flag, &result);
  return result;
}

double Item_decimal::val_real()
{
  double result;
  my_decimal2double(E_DEC_FATAL_ERROR, &decimal_value, &result);
  return result;
}

String *Item_decimal::val_str(String *result)
{
  result->set_charset(&my_charset_bin);
  my_decimal2string(E_DEC_FATAL_ERROR, &decimal_value, 0, 0, 0, result);
  return result;
}

void Item_decimal::print(String *str)
{
  my_decimal2string(E_DEC_FATAL_ERROR, &decimal_value, 0, 0, 0, &str_value);
  str->append(str_value);
}


1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509
bool Item_decimal::eq(const Item *item, bool binary_cmp) const
{
  if (type() == item->type() && item->basic_const_item())
  {
    /*
      We need to cast off const to call val_decimal(). This should
      be OK for a basic constant. Additionally, we can pass 0 as
      a true decimal constant will return its internal decimal
      storage and ignore the argument.
    */
    Item *arg= (Item*) item;
    my_decimal *value= arg->val_decimal(0);
    return !my_decimal_cmp(&decimal_value, value);
  }
  return 0;
}


1510
String *Item_float::val_str(String *str)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1511
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1512
  // following assert is redundant, because fixed=1 assigned in constructor
1513
  DBUG_ASSERT(fixed == 1);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1514
  str->set(value,decimals,&my_charset_bin);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1515 1516 1517
  return str;
}

1518

1519 1520 1521 1522 1523 1524 1525 1526 1527
my_decimal *Item_float::val_decimal(my_decimal *decimal_value)
{
  // following assert is redundant, because fixed=1 assigned in constructor
  DBUG_ASSERT(fixed == 1);
  double2my_decimal(E_DEC_FATAL_ERROR, value, decimal_value);
  return (decimal_value);
}


bk@work.mysql.com's avatar
bk@work.mysql.com committed
1528 1529
void Item_string::print(String *str)
{
1530 1531
  str->append('_');
  str->append(collation.collation->csname);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1532
  str->append('\'');
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1533
  str_value.print(str);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1534 1535 1536
  str->append('\'');
}

1537

1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556
inline bool check_if_only_end_space(CHARSET_INFO *cs, char *str, char *end)
{
  return str+ cs->cset->scan(cs, str, end, MY_SEQ_SPACES) == end;
}


double Item_string::val_real()
{
  DBUG_ASSERT(fixed == 1);
  int error;
  char *end, *org_end;
  double tmp;
  CHARSET_INFO *cs= str_value.charset();

  org_end= (char*) str_value.ptr() + str_value.length();
  tmp= my_strntod(cs, (char*) str_value.ptr(), str_value.length(), &end,
                  &error);
  if (error || (end != org_end && !check_if_only_end_space(cs, end, org_end)))
  {
1557 1558 1559 1560
    /*
      We can use str_value.ptr() here as Item_string is gurantee to put an
      end \0 here.
    */
1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578
    push_warning_printf(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN,
                        ER_TRUNCATED_WRONG_VALUE,
                        ER(ER_TRUNCATED_WRONG_VALUE), "DOUBLE",
                        str_value.ptr());
  }
  return tmp;
}


longlong Item_string::val_int()
{
  DBUG_ASSERT(fixed == 1);
  int err;
  longlong tmp;
  char *end= (char*) str_value.ptr()+ str_value.length();
  char *org_end= end;
  CHARSET_INFO *cs= str_value.charset();

serg@serg.mylan's avatar
serg@serg.mylan committed
1579
  tmp= (*(cs->cset->strtoll10))(cs, str_value.ptr(), &end, &err);
1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595
  /*
    TODO: Give error if we wanted a signed integer and we got an unsigned
    one
  */
  if (err > 0 ||
      (end != org_end && !check_if_only_end_space(cs, end, org_end)))
  {
    push_warning_printf(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN,
                        ER_TRUNCATED_WRONG_VALUE,
                        ER(ER_TRUNCATED_WRONG_VALUE), "INTEGER",
                        str_value.ptr());
  }
  return tmp;
}


1596 1597
my_decimal *Item_string::val_decimal(my_decimal *decimal_value)
{
1598
  return val_decimal_from_string(decimal_value);
1599 1600 1601
}


1602 1603
bool Item_null::eq(const Item *item, bool binary_cmp) const
{ return item->type() == type(); }
1604 1605


1606
double Item_null::val_real()
1607
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1608 1609
  // following assert is redundant, because fixed=1 assigned in constructor
  DBUG_ASSERT(fixed == 1);
1610 1611 1612 1613 1614
  null_value=1;
  return 0.0;
}
longlong Item_null::val_int()
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1615 1616
  // following assert is redundant, because fixed=1 assigned in constructor
  DBUG_ASSERT(fixed == 1);
1617 1618 1619
  null_value=1;
  return 0;
}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1620 1621
/* ARGSUSED */
String *Item_null::val_str(String *str)
1622
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1623 1624
  // following assert is redundant, because fixed=1 assigned in constructor
  DBUG_ASSERT(fixed == 1);
1625 1626 1627
  null_value=1;
  return 0;
}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1628

1629 1630 1631 1632 1633
my_decimal *Item_null::val_decimal(my_decimal *decimal_value)
{
  return 0;
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1634

1635 1636 1637 1638 1639 1640
Item *Item_null::safe_charset_converter(CHARSET_INFO *tocs)
{
  collation.set(tocs);
  return this;
}

1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655
/*********************** Item_param related ******************************/

/* 
  Default function of Item_param::set_param_func, so in case
  of malformed packet the server won't SIGSEGV
*/

static void
default_set_param_func(Item_param *param,
                       uchar **pos __attribute__((unused)),
                       ulong len __attribute__((unused)))
{
  param->set_null();
}

1656

1657 1658
Item_param::Item_param(unsigned pos_in_query_arg) :
  state(NO_VALUE),
1659
  item_result_type(STRING_RESULT),
1660 1661
  /* Don't pretend to be a literal unless value for this item is set. */
  item_type(PARAM_ITEM),
1662
  param_type(MYSQL_TYPE_VARCHAR),
1663
  pos_in_query(pos_in_query_arg),
1664 1665 1666
  set_param_func(default_set_param_func)
{
  name= (char*) "?";
1667 1668 1669 1670 1671 1672
  /* 
    Since we can't say whenever this item can be NULL or cannot be NULL
    before mysql_stmt_execute(), so we assuming that it can be NULL until
    value is set.
  */
  maybe_null= 1;
1673
}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1674

1675

1676
void Item_param::set_null()
1677 1678
{
  DBUG_ENTER("Item_param::set_null");
1679
  /* These are cleared after each execution by reset() method */
1680 1681 1682 1683 1684 1685 1686 1687 1688
  null_value= 1;
  /* 
    Because of NULL and string values we need to set max_length for each new
    placeholder value: user can submit NULL for any placeholder type, and 
    string length can be different in each execution.
  */
  max_length= 0;
  decimals= 0;
  state= NULL_VALUE;
1689
  DBUG_VOID_RETURN;
1690 1691
}

1692
void Item_param::set_int(longlong i, uint32 max_length_arg)
1693 1694
{
  DBUG_ENTER("Item_param::set_int");
1695 1696 1697 1698
  value.integer= (longlong) i;
  state= INT_VALUE;
  max_length= max_length_arg;
  decimals= 0;
1699
  maybe_null= 0;
1700
  DBUG_VOID_RETURN;
1701 1702
}

1703
void Item_param::set_double(double d)
1704 1705
{
  DBUG_ENTER("Item_param::set_double");
1706 1707 1708
  value.real= d;
  state= REAL_VALUE;
  max_length= DBL_DIG + 8;
1709
  decimals= NOT_FIXED_DEC;
1710
  maybe_null= 0;
1711
  DBUG_VOID_RETURN;
1712 1713 1714
}


1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727
/*
  Set decimal parameter value from string.

  SYNOPSIS
    set_decimal()
      str    - character string
      length - string length

  NOTE
    as we use character strings to send decimal values in
    binary protocol, we use str2my_decimal to convert it to
    internal decimal value.
*/
1728

1729 1730
void Item_param::set_decimal(const char *str, ulong length)
{
1731
  char *end;
1732 1733
  DBUG_ENTER("Item_param::set_decimal");

1734 1735
  end= (char*) str+length;
  str2my_decimal(E_DEC_FATAL_ERROR, str, &decimal_value, &end);
1736 1737
  state= DECIMAL_VALUE;
  decimals= decimal_value.frac;
1738 1739
  max_length= my_decimal_precision_to_length(decimal_value.precision(),
                                             decimals, unsigned_flag);
1740 1741 1742 1743 1744
  maybe_null= 0;
  DBUG_VOID_RETURN;
}


1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759
/*
  Set parameter value from TIME value.

  SYNOPSIS
    set_time()
      tm             - datetime value to set (time_type is ignored)
      type           - type of datetime value
      max_length_arg - max length of datetime value as string

  NOTE
    If we value to be stored is not normalized, zero value will be stored
    instead and proper warning will be produced. This function relies on
    the fact that even wrong value sent over binary protocol fits into
    MAX_DATE_STRING_REP_LENGTH buffer.
*/
1760
void Item_param::set_time(TIME *tm, timestamp_type type, uint32 max_length_arg)
1761
{ 
1762
  DBUG_ENTER("Item_param::set_time");
1763

1764 1765
  value.time= *tm;
  value.time.time_type= type;
1766

1767 1768 1769 1770 1771 1772 1773
  if (value.time.year > 9999 || value.time.month > 12 ||
      value.time.day > 31 ||
      type != MYSQL_TIMESTAMP_TIME && value.time.hour > 23 ||
      value.time.minute > 59 || value.time.second > 59)
  {
    char buff[MAX_DATE_STRING_REP_LENGTH];
    uint length= my_TIME_to_str(&value.time, buff);
serg@serg.mylan's avatar
serg@serg.mylan committed
1774
    make_truncated_value_warning(current_thd, buff, length, type, 0);
1775 1776 1777
    set_zero_time(&value.time, MYSQL_TIMESTAMP_ERROR);
  }

1778
  state= TIME_VALUE;
1779
  maybe_null= 0;
1780 1781
  max_length= max_length_arg;
  decimals= 0;
1782
  DBUG_VOID_RETURN;
1783 1784
}

1785

1786 1787 1788 1789 1790 1791 1792
bool Item_param::set_str(const char *str, ulong length)
{
  DBUG_ENTER("Item_param::set_str");
  /*
    Assign string with no conversion: data is converted only after it's
    been written to the binary log.
  */
1793 1794 1795
  uint dummy_errors;
  if (str_value.copy(str, length, &my_charset_bin, &my_charset_bin,
                     &dummy_errors))
1796 1797
    DBUG_RETURN(TRUE);
  state= STRING_VALUE;
1798
  max_length= length;
1799
  maybe_null= 0;
1800 1801 1802
  /* max_length and decimals are set after charset conversion */
  /* sic: str may be not null-terminated, don't add DBUG_PRINT here */
  DBUG_RETURN(FALSE);
1803 1804 1805
}


1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821
bool Item_param::set_longdata(const char *str, ulong length)
{
  DBUG_ENTER("Item_param::set_longdata");

  /*
    If client character set is multibyte, end of long data packet
    may hit at the middle of a multibyte character.  Additionally,
    if binary log is open we must write long data value to the
    binary log in character set of client. This is why we can't
    convert long data to connection character set as it comes
    (here), and first have to concatenate all pieces together,
    write query to the binary log and only then perform conversion.
  */
  if (str_value.append(str, length, &my_charset_bin))
    DBUG_RETURN(TRUE);
  state= LONG_DATA_VALUE;
1822
  maybe_null= 0;
1823 1824

  DBUG_RETURN(FALSE);
1825 1826 1827
}


1828 1829 1830 1831 1832 1833 1834 1835 1836 1837
/*
  Set parameter value from user variable value.

  SYNOPSIS
   set_from_user_var
     thd   Current thread
     entry User variable structure (NULL means use NULL value)

  RETURN
    0 OK
1838
    1 Out of memory
1839 1840 1841 1842 1843 1844 1845 1846
*/

bool Item_param::set_from_user_var(THD *thd, const user_var_entry *entry)
{
  DBUG_ENTER("Item_param::set_from_user_var");
  if (entry && entry->value)
  {
    item_result_type= entry->type;
sergefp@mysql.com's avatar
sergefp@mysql.com committed
1847 1848 1849
    switch (entry->type) {
    case REAL_RESULT:
      set_double(*(double*)entry->value);
1850 1851
      item_type= Item::REAL_ITEM;
      item_result_type= REAL_RESULT;
sergefp@mysql.com's avatar
sergefp@mysql.com committed
1852 1853 1854
      break;
    case INT_RESULT:
      set_int(*(longlong*)entry->value, 21);
1855 1856
      item_type= Item::INT_ITEM;
      item_result_type= INT_RESULT;
sergefp@mysql.com's avatar
sergefp@mysql.com committed
1857 1858
      break;
    case STRING_RESULT:
1859
    {
sergefp@mysql.com's avatar
sergefp@mysql.com committed
1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883
      CHARSET_INFO *fromcs= entry->collation.collation;
      CHARSET_INFO *tocs= thd->variables.collation_connection;
      uint32 dummy_offset;

      value.cs_info.character_set_client= fromcs;
      /*
        Setup source and destination character sets so that they
        are different only if conversion is necessary: this will
        make later checks easier.
      */
      value.cs_info.final_character_set_of_str_value=
        String::needs_conversion(0, fromcs, tocs, &dummy_offset) ?
        tocs : fromcs;
      /*
        Exact value of max_length is not known unless data is converted to
        charset of connection, so we have to set it later.
      */
      item_type= Item::STRING_ITEM;
      item_result_type= STRING_RESULT;

      if (set_str((const char *)entry->value, entry->length))
        DBUG_RETURN(1);
      break;
    }
1884 1885 1886 1887 1888 1889
    case DECIMAL_RESULT:
    {
      const my_decimal *ent_value= (const my_decimal *)entry->value;
      my_decimal2decimal(ent_value, &decimal_value);
      state= DECIMAL_VALUE;
      decimals= ent_value->frac;
1890 1891
      max_length= my_decimal_precision_to_length(ent_value->precision(),
                                                 decimals, unsigned_flag);
1892 1893
      break;
    }
sergefp@mysql.com's avatar
sergefp@mysql.com committed
1894 1895 1896
    default:
      DBUG_ASSERT(0);
      set_null();
1897 1898 1899 1900 1901 1902 1903 1904
    }
  }
  else
    set_null();

  DBUG_RETURN(0);
}

1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916
/*
    Resets parameter after execution.
  
  SYNOPSIS
     Item_param::reset()
 
  NOTES
    We clear null_value here instead of setting it in set_* methods, 
    because we want more easily handle case for long data.
*/

void Item_param::reset()
1917 1918 1919 1920 1921 1922
{
  /* Shrink string buffer if it's bigger than max possible CHAR column */
  if (str_value.alloced_length() > MAX_CHAR_WIDTH)
    str_value.free();
  else
    str_value.length(0);
1923
  str_value_ptr.length(0);
1924
  /*
1925
    We must prevent all charset conversions until data has been written
1926
    to the binary log.
1927 1928 1929
  */
  str_value.set_charset(&my_charset_bin);
  state= NO_VALUE;
1930 1931
  maybe_null= 1;
  null_value= 0;
1932 1933 1934 1935 1936 1937 1938 1939 1940
  /*
    Don't reset item_type to PARAM_ITEM: it's only needed to guard
    us from item optimizations at prepare stage, when item doesn't yet
    contain a literal of some kind.
    In all other cases when this object is accessed its value is
    set (this assumption is guarded by 'state' and
    DBUG_ASSERTS(state != NO_VALUE) in all Item_param::get_*
    methods).
  */
1941 1942 1943
}


venu@myvenu.com's avatar
venu@myvenu.com committed
1944
int Item_param::save_in_field(Field *field, bool no_conversions)
1945 1946
{
  field->set_notnull();
1947 1948 1949 1950 1951 1952

  switch (state) {
  case INT_VALUE:
    return field->store(value.integer);
  case REAL_VALUE:
    return field->store(value.real);
1953 1954
  case DECIMAL_VALUE:
    return field->store_decimal(&decimal_value);
1955 1956
  case TIME_VALUE:
    field->store_time(&value.time, value.time.time_type);
1957
    return 0;
1958 1959 1960 1961 1962
  case STRING_VALUE:
  case LONG_DATA_VALUE:
    return field->store(str_value.ptr(), str_value.length(),
                        str_value.charset());
  case NULL_VALUE:
1963
    return set_field_to_null_with_conversions(field, no_conversions);
1964 1965 1966
  case NO_VALUE:
  default:
    DBUG_ASSERT(0);
1967
  }
1968
  return 1;
1969 1970
}

1971

1972 1973
bool Item_param::get_time(TIME *res)
{
1974 1975 1976 1977 1978 1979 1980 1981 1982 1983
  if (state == TIME_VALUE)
  {
    *res= value.time;
    return 0;
  }
  /*
    If parameter value isn't supplied assertion will fire in val_str()
    which is called from Item::get_time().
  */
  return Item::get_time(res);
1984
}
1985

1986

1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997
bool Item_param::get_date(TIME *res, uint fuzzydate)
{
  if (state == TIME_VALUE)
  {
    *res= value.time;
    return 0;
  }
  return Item::get_date(res, fuzzydate);
}


1998
double Item_param::val_real()
1999
{
2000 2001 2002 2003 2004
  switch (state) {
  case REAL_VALUE:
    return value.real;
  case INT_VALUE:
    return (double) value.integer;
2005 2006 2007 2008 2009 2010
  case DECIMAL_VALUE:
  {
    double result;
    my_decimal2double(E_DEC_FATAL_ERROR, &decimal_value, &result);
    return result;
  }
2011 2012
  case STRING_VALUE:
  case LONG_DATA_VALUE:
2013 2014 2015 2016 2017 2018
  {
    int dummy_err;
    char *end_not_used;
    return my_strntod(str_value.charset(), (char*) str_value.ptr(),
                      str_value.length(), &end_not_used, &dummy_err);
  }
2019 2020 2021 2022 2023
  case TIME_VALUE:
    /*
      This works for example when user says SELECT ?+0.0 and supplies
      time value for the placeholder.
    */
2024
    return ulonglong2double(TIME_to_ulonglong(&value.time));
2025
  case NULL_VALUE:
2026
    return 0.0;
2027
  default:
2028
    DBUG_ASSERT(0);
2029
  }
2030
  return 0.0;
2031 2032
} 

2033

2034 2035
longlong Item_param::val_int() 
{ 
2036 2037 2038 2039 2040
  switch (state) {
  case REAL_VALUE:
    return (longlong) (value.real + (value.real > 0 ? 0.5 : -0.5));
  case INT_VALUE:
    return value.integer;
2041 2042 2043 2044 2045 2046
  case DECIMAL_VALUE:
  {
    longlong i;
    my_decimal2int(E_DEC_FATAL_ERROR, &decimal_value, unsigned_flag, &i);
    return i;
  }
2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057
  case STRING_VALUE:
  case LONG_DATA_VALUE:
    {
      int dummy_err;
      return my_strntoll(str_value.charset(), str_value.ptr(),
                         str_value.length(), 10, (char**) 0, &dummy_err);
    }
  case TIME_VALUE:
    return (longlong) TIME_to_ulonglong(&value.time);
  case NULL_VALUE:
    return 0; 
2058
  default:
2059
    DBUG_ASSERT(0);
2060
  }
2061
  return 0;
2062 2063
}

2064

2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094
my_decimal *Item_param::val_decimal(my_decimal *dec)
{
  switch (state) {
  case DECIMAL_VALUE:
    return &decimal_value;
  case REAL_VALUE:
    double2my_decimal(E_DEC_FATAL_ERROR, value.real, dec);
    return dec;
  case INT_VALUE:
    int2my_decimal(E_DEC_FATAL_ERROR, value.integer, unsigned_flag, dec);
    return dec;
  case STRING_VALUE:
  case LONG_DATA_VALUE:
    string2my_decimal(E_DEC_FATAL_ERROR, &str_value, dec);
    return dec;
  case TIME_VALUE:
  {
    longlong i= (longlong) TIME_to_ulonglong(&value.time);
    int2my_decimal(E_DEC_FATAL_ERROR, i, 0, dec);
    return dec;
  }
  case NULL_VALUE:
    return 0; 
  default:
    DBUG_ASSERT(0);
  }
  return 0;
}


2095 2096
String *Item_param::val_str(String* str) 
{ 
2097 2098 2099
  switch (state) {
  case STRING_VALUE:
  case LONG_DATA_VALUE:
2100
    return &str_value_ptr;
2101 2102 2103 2104 2105
  case REAL_VALUE:
    str->set(value.real, NOT_FIXED_DEC, &my_charset_bin);
    return str;
  case INT_VALUE:
    str->set(value.integer, &my_charset_bin);
2106
    return str;
2107 2108 2109 2110 2111
  case DECIMAL_VALUE:
    if (my_decimal2string(E_DEC_FATAL_ERROR, &decimal_value,
                          0, 0, 0, str) <= 1)
      return str;
    return NULL;
2112 2113
  case TIME_VALUE:
  {
2114
    if (str->reserve(MAX_DATE_STRING_REP_LENGTH))
2115
      break;
2116 2117
    str->length((uint) my_TIME_to_str(&value.time, (char*) str->ptr()));
    str->set_charset(&my_charset_bin);
2118
    return str;
2119 2120 2121
  }
  case NULL_VALUE:
    return NULL; 
2122
  default:
2123
    DBUG_ASSERT(0);
2124
  }
2125
  return str;
2126
}
2127 2128 2129 2130

/*
  Return Param item values in string format, for generating the dynamic 
  query used in update/binary logs
2131 2132
  TODO: change interface and implementation to fill log data in place
  and avoid one more memcpy/alloc between str and log string.
2133 2134
*/

2135
const String *Item_param::query_val_str(String* str) const
2136
{
2137 2138 2139 2140 2141 2142 2143
  switch (state) {
  case INT_VALUE:
    str->set(value.integer, &my_charset_bin);
    break;
  case REAL_VALUE:
    str->set(value.real, NOT_FIXED_DEC, &my_charset_bin);
    break;
2144 2145 2146 2147 2148
  case DECIMAL_VALUE:
    if (my_decimal2string(E_DEC_FATAL_ERROR, &decimal_value,
                          0, 0, 0, str) > 1)
      return &my_null_string;
    break;
2149
  case TIME_VALUE:
2150
    {
2151 2152 2153 2154 2155 2156
      char *buf, *ptr;
      str->length(0);
      /*
        TODO: in case of error we need to notify replication
        that binary log contains wrong statement 
      */
2157
      if (str->reserve(MAX_DATE_STRING_REP_LENGTH+3))
2158 2159 2160 2161 2162 2163
        break; 

      /* Create date string inplace */
      buf= str->c_ptr_quick();
      ptr= buf;
      *ptr++= '\'';
2164
      ptr+= (uint) my_TIME_to_str(&value.time, ptr);
2165 2166 2167
      *ptr++= '\'';
      str->length((uint32) (ptr - buf));
      break;
2168
    }
2169 2170
  case STRING_VALUE:
  case LONG_DATA_VALUE:
2171
    {
2172 2173 2174 2175 2176 2177 2178 2179
      char *buf, *ptr;
      str->length(0);
      if (str->reserve(str_value.length()*2+3))
        break;

      buf= str->c_ptr_quick();
      ptr= buf;
      *ptr++= '\'';
serg@serg.mylan's avatar
serg@serg.mylan committed
2180
      ptr+= escape_string_for_mysql(str_value.charset(), ptr, 0,
2181 2182
                                    str_value.ptr(), str_value.length());
      *ptr++= '\'';
2183
      str->length((uint32) (ptr - buf));
2184
      break;
2185
    }
2186 2187 2188 2189
  case NULL_VALUE:
    return &my_null_string;
  default:
    DBUG_ASSERT(0);
2190 2191 2192
  }
  return str;
}
2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217


/*
  Convert string from client character set to the character set of
  connection.
*/

bool Item_param::convert_str_value(THD *thd)
{
  bool rc= FALSE;
  if (state == STRING_VALUE || state == LONG_DATA_VALUE)
  {
    /*
      Check is so simple because all charsets were set up properly
      in setup_one_conversion_function, where typecode of
      placeholder was also taken into account: the variables are different
      here only if conversion is really necessary.
    */
    if (value.cs_info.final_character_set_of_str_value !=
        value.cs_info.character_set_client)
    {
      rc= thd->convert_string(&str_value,
                              value.cs_info.character_set_client,
                              value.cs_info.final_character_set_of_str_value);
    }
2218 2219 2220 2221
    else
      str_value.set_charset(value.cs_info.final_character_set_of_str_value);
    /* Here str_value is guaranteed to be in final_character_set_of_str_value */

2222 2223
    max_length= str_value.length();
    decimals= 0;
2224 2225 2226 2227 2228 2229
    /*
      str_value_ptr is returned from val_str(). It must be not alloced
      to prevent it's modification by val_str() invoker.
    */
    str_value_ptr.set(str_value.ptr(), str_value.length(),
                      str_value.charset());
2230 2231 2232 2233
  }
  return rc;
}

2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248
bool Item_param::fix_fields(THD *thd, TABLE_LIST *tables, Item **ref)
{
  DBUG_ASSERT(fixed == 0);
  SELECT_LEX *cursel= (SELECT_LEX *) thd->lex->current_select;

  /*
    Parameters in a subselect should mark the subselect as not constant
    during prepare
  */
  if (state == NO_VALUE)
  {
    /*
      SELECT_LEX_UNIT::item set only for subqueries, so test of it presence
      can be barrier to stop before derived table SELECT or very outer SELECT
    */
2249 2250
    for (; cursel->master_unit()->item;
         cursel= cursel->outer_select())
2251 2252 2253 2254 2255 2256 2257 2258 2259 2260
    {
      Item_subselect *subselect_item= cursel->master_unit()->item;
      subselect_item->used_tables_cache|= OUTER_REF_TABLE_BIT;
      subselect_item->const_item_cache= 0;
    }
  }
  fixed= 1;
  return 0;
}

2261

2262 2263 2264 2265 2266 2267 2268
bool Item_param::basic_const_item() const
{
  if (state == NO_VALUE || state == TIME_VALUE)
    return FALSE;
  return TRUE;
}

2269

2270 2271 2272 2273 2274 2275 2276 2277
Item *
Item_param::new_item()
{
  /* see comments in the header file */
  switch (state) {
  case NULL_VALUE:
    return new Item_null(name);
  case INT_VALUE:
2278 2279 2280
    return (unsigned_flag ?
            new Item_uint(name, value.integer, max_length) :
            new Item_int(name, value.integer, max_length));
2281
  case REAL_VALUE:
2282
    return new Item_float(name, value.real, decimals, max_length);
2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315
  case STRING_VALUE:
  case LONG_DATA_VALUE:
    return new Item_string(name, str_value.c_ptr_quick(), str_value.length(),
                           str_value.charset());
  case TIME_VALUE:
    break;
  case NO_VALUE:
  default:
    DBUG_ASSERT(0);
  };
  return 0;
}


bool
Item_param::eq(const Item *arg, bool binary_cmp) const
{
  Item *item;
  if (!basic_const_item() || !arg->basic_const_item() || arg->type() != type())
    return FALSE;
  /*
    We need to cast off const to call val_int(). This should be OK for
    a basic constant.
  */
  item= (Item*) arg;

  switch (state) {
  case NULL_VALUE:
    return TRUE;
  case INT_VALUE:
    return value.integer == item->val_int() &&
           unsigned_flag == item->unsigned_flag;
  case REAL_VALUE:
2316
    return value.real == item->val_real();
2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327
  case STRING_VALUE:
  case LONG_DATA_VALUE:
    if (binary_cmp)
      return !stringcmp(&str_value, &item->str_value);
    return !sortcmp(&str_value, &item->str_value, collation.collation);
  default:
    break;
  }
  return FALSE;
}

2328 2329
/* End of Item_param related */

2330 2331 2332 2333 2334 2335 2336 2337
void Item_param::print(String *str)
{
  if (state == NO_VALUE)
  {
    str->append('?');
  }
  else
  {
2338
    char buffer[STRING_BUFFER_USUAL_SIZE];
2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349
    String tmp(buffer, sizeof(buffer), &my_charset_bin);
    const String *res;
    res= query_val_str(&tmp);
    str->append(*res);
  }
}


/****************************************************************************
  Item_copy_string
****************************************************************************/
2350

bk@work.mysql.com's avatar
bk@work.mysql.com committed
2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361
void Item_copy_string::copy()
{
  String *res=item->val_str(&str_value);
  if (res && res != &str_value)
    str_value.copy(*res);
  null_value=item->null_value;
}

/* ARGSUSED */
String *Item_copy_string::val_str(String *str)
{
2362
  // Item_copy_string is used without fix_fields call
bk@work.mysql.com's avatar
bk@work.mysql.com committed
2363 2364 2365 2366 2367
  if (null_value)
    return (String*) 0;
  return &str_value;
}

monty@mysql.com's avatar
monty@mysql.com committed
2368

2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379
my_decimal *Item_copy_string::val_decimal(my_decimal *decimal_value)
{
  // Item_copy_string is used without fix_fields call
  if (null_value)
    return 0;
  string2my_decimal(E_DEC_FATAL_ERROR, &str_value, decimal_value);
  return (decimal_value);
}



monty@mysql.com's avatar
monty@mysql.com committed
2380 2381 2382 2383 2384 2385 2386 2387 2388
int Item_copy_string::save_in_field(Field *field, bool no_conversions)
{
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
  return field->store(str_value.ptr(),str_value.length(),
		      collation.collation);
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
2389
/*
2390
  Functions to convert item to field (for send_fields)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
2391 2392 2393 2394
*/

/* ARGSUSED */
bool Item::fix_fields(THD *thd,
2395 2396
		      struct st_table_list *list,
		      Item ** ref)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
2397
{
2398 2399

  // We do not check fields which are fixed during construction
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2400
  DBUG_ASSERT(fixed == 0 || basic_const_item());
2401
  fixed= 1;
2402
  return FALSE;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
2403 2404
}

2405
double Item_ref_null_helper::val_real()
2406
{
2407
  DBUG_ASSERT(fixed == 1);
2408
  double tmp= (*ref)->val_result();
2409
  owner->was_null|= null_value= (*ref)->null_value;
2410 2411
  return tmp;
}
2412 2413


2414 2415
longlong Item_ref_null_helper::val_int()
{
2416
  DBUG_ASSERT(fixed == 1);
2417
  longlong tmp= (*ref)->val_int_result();
2418
  owner->was_null|= null_value= (*ref)->null_value;
2419 2420
  return tmp;
}
2421 2422


2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440
my_decimal *Item_ref_null_helper::val_decimal(my_decimal *decimal_value)
{
  DBUG_ASSERT(fixed == 1);
  my_decimal *val= (*ref)->val_decimal_result(decimal_value);
  owner->was_null|= null_value= (*ref)->null_value;
  return val;
}


bool Item_ref_null_helper::val_bool()
{
  DBUG_ASSERT(fixed == 1);
  bool val= (*ref)->val_bool_result();
  owner->was_null|= null_value= (*ref)->null_value;
  return val;
}


2441 2442
String* Item_ref_null_helper::val_str(String* s)
{
2443
  DBUG_ASSERT(fixed == 1);
2444
  String* tmp= (*ref)->str_result(s);
2445
  owner->was_null|= null_value= (*ref)->null_value;
2446 2447
  return tmp;
}
2448 2449


2450
bool Item_ref_null_helper::get_date(TIME *ltime, uint fuzzydate)
2451 2452 2453
{  
  return (owner->was_null|= null_value= (*ref)->get_date(ltime, fuzzydate));
}
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2454

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2455 2456

/*
2457
  Mark item and SELECT_LEXs as dependent if item was resolved in outer SELECT
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2458 2459 2460

  SYNOPSIS
    mark_as_dependent()
2461
    thd - thread handler
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2462 2463
    last - select from which current item depend
    current  - current select
2464 2465 2466
    resolved_item - item which was resolved in outer SELECT(for warning)
    mark_item - item which should be marked (can be differ in case of
                substitution)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2467 2468
*/

2469
static void mark_as_dependent(THD *thd, SELECT_LEX *last, SELECT_LEX *current,
2470
                              Item_ident *resolved_item,
2471
                              Item_ident *mark_item)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2472
{
2473 2474 2475 2476
  const char *db_name= (resolved_item->db_name ?
                        resolved_item->db_name : "");
  const char *table_name= (resolved_item->table_name ?
                           resolved_item->table_name : "");
2477
  /* store pointer on SELECT_LEX from which item is dependent */
2478 2479
  if (mark_item)
    mark_item->depended_from= last;
2480
  current->mark_as_dependent(last);
pem@mysql.com's avatar
pem@mysql.com committed
2481
  if (thd->lex->describe & DESCRIBE_EXTENDED)
2482 2483 2484
  {
    char warn_buff[MYSQL_ERRMSG_SIZE];
    sprintf(warn_buff, ER(ER_WARN_FIELD_RESOLVED),
2485 2486
            db_name, (db_name[0] ? "." : ""),
            table_name, (table_name [0] ? "." : ""),
2487
            resolved_item->field_name,
2488 2489 2490 2491
	    current->select_number, last->select_number);
    push_warning(thd, MYSQL_ERROR::WARN_LEVEL_NOTE,
		 ER_WARN_FIELD_RESOLVED, warn_buff);
  }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2492 2493 2494
}


2495 2496 2497 2498 2499 2500 2501 2502
/*
  Mark range of selects and resolved identifier (field/reference) item as
  dependent

  SYNOPSIS
    mark_select_range_as_dependent()
    thd           - thread handler
    last_select   - select where resolved_item was resolved
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2503
    current_sel   - current select (select where resolved_item was placed)
2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518
    found_field   - field which was found during resolving
    found_item    - Item which was found during resolving (if resolved
                    identifier belongs to VIEW)
    resolved_item - Identifier which was resolved

  NOTE:
    We have to mark all items between current_sel (including) and
    last_select (excluding) as dependend (select before last_select should
    be marked with actual table mask used by resolved item, all other with
    OUTER_REF_TABLE_BIT) and also write dependence information to Item of
    resolved identifier.
*/

void mark_select_range_as_dependent(THD *thd,
                                    SELECT_LEX *last_select,
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2519
                                    SELECT_LEX *current_sel,
2520 2521 2522 2523 2524 2525 2526 2527 2528 2529
                                    Field *found_field, Item *found_item,
                                    Item_ident *resolved_item)
{
  /*
    Go from current SELECT to SELECT where field was resolved (it
    have to be reachable from current SELECT, because it was already
    done once when we resolved this field and cached result of
    resolving)
  */
  SELECT_LEX *previous_select= current_sel;
2530 2531
  for (; previous_select->outer_select() != last_select;
       previous_select= previous_select->outer_select())
2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558
  {
    Item_subselect *prev_subselect_item=
      previous_select->master_unit()->item;
    prev_subselect_item->used_tables_cache|= OUTER_REF_TABLE_BIT;
    prev_subselect_item->const_item_cache= 0;
  }
  {
    Item_subselect *prev_subselect_item=
      previous_select->master_unit()->item;
    Item_ident *dependent= resolved_item;
    if (found_field == view_ref_found)
    {
      Item::Type type= found_item->type();
      prev_subselect_item->used_tables_cache|=
        found_item->used_tables();
      dependent= ((type == Item::REF_ITEM || type == Item::FIELD_ITEM) ?
                  (Item_ident*) found_item :
                  0);
    }
    else
      prev_subselect_item->used_tables_cache|=
        found_field->table->map;
    prev_subselect_item->const_item_cache= 0;
    mark_as_dependent(thd, last_select, current_sel, resolved_item,
                      dependent);
  }
}
2559 2560


2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598
/*
  Search a GROUP BY clause for a field with a certain name.

  SYNOPSIS
    find_field_in_group_list()
    find_item  the item being searched for
    group_list GROUP BY clause

  DESCRIPTION
    Search the GROUP BY list for a column named as find_item. When searching
    preference is given to columns that are qualified with the same table (and
    database) name as the one being searched for.

  RETURN
    - the found item on success
    - NULL if find_item is not in group_list
*/

static Item** find_field_in_group_list(Item *find_item, ORDER *group_list)
{
  const char *db_name;
  const char *table_name;
  const char *field_name;
  ORDER      *found_group= NULL;
  int         found_match_degree= 0;
  Item_field *cur_field;
  int         cur_match_degree= 0;

  if (find_item->type() == Item::FIELD_ITEM ||
      find_item->type() == Item::REF_ITEM)
  {
    db_name=    ((Item_ident*) find_item)->db_name;
    table_name= ((Item_ident*) find_item)->table_name;
    field_name= ((Item_ident*) find_item)->field_name;
  }
  else
    return NULL;

2599
  DBUG_ASSERT(field_name != 0);
2600 2601 2602 2603 2604 2605 2606 2607

  for (ORDER *cur_group= group_list ; cur_group ; cur_group= cur_group->next)
  {
    if ((*(cur_group->item))->type() == Item::FIELD_ITEM)
    {
      cur_field= (Item_field*) *cur_group->item;
      cur_match_degree= 0;
      
2608
      DBUG_ASSERT(cur_field->field_name != 0);
2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646

      if (!my_strcasecmp(system_charset_info,
                         cur_field->field_name, field_name))
        ++cur_match_degree;
      else
        continue;

      if (cur_field->table_name && table_name)
      {
        /* If field_name is qualified by a table name. */
        if (strcmp(cur_field->table_name, table_name))
          /* Same field names, different tables. */
          return NULL;

        ++cur_match_degree;
        if (cur_field->db_name && db_name)
        {
          /* If field_name is also qualified by a database name. */
          if (strcmp(cur_field->db_name, db_name))
            /* Same field names, different databases. */
            return NULL;
          ++cur_match_degree;
        }
      }

      if (cur_match_degree > found_match_degree)
      {
        found_match_degree= cur_match_degree;
        found_group= cur_group;
      }
      else if (found_group && (cur_match_degree == found_match_degree) &&
               ! (*(found_group->item))->eq(cur_field, 0))
      {
        /*
          If the current resolve candidate matches equally well as the current
          best match, they must reference the same column, otherwise the field
          is ambiguous.
        */
2647 2648
        my_error(ER_NON_UNIQ_ERROR, MYF(0),
                 find_item->full_name(), current_thd->where);
2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659 2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702 2703 2704
        return NULL;
      }
    }
  }

  if (found_group)
    return found_group->item;
  else
    return NULL;
}


/*
  Resolve a column reference in a sub-select.

  SYNOPSIS
    resolve_ref_in_select_and_group()
    thd     current thread
    ref     column reference being resolved
    select  the sub-select that ref is resolved against

  DESCRIPTION
    Resolve a column reference (usually inside a HAVING clause) against the
    SELECT and GROUP BY clauses of the query described by 'select'. The name
    resolution algorithm searches both the SELECT and GROUP BY clauses, and in
    case of a name conflict prefers GROUP BY column names over SELECT names. If
    both clauses contain different fields with the same names, a warning is
    issued that name of 'ref' is ambiguous. We extend ANSI SQL in that when no
    GROUP BY column is found, then a HAVING name is resolved as a possibly
    derived SELECT column.

  NOTES
    The resolution procedure is:
    - Search for a column or derived column named col_ref_i [in table T_j]
      in the SELECT clause of Q.
    - Search for a column named col_ref_i [in table T_j]
      in the GROUP BY clause of Q.
    - If found different columns with the same name in GROUP BY and SELECT
      - issue a warning and return the GROUP BY column,
      - otherwise return the found SELECT column.


  RETURN
    NULL - there was an error, and the error was already reported
    not_found_item - the item was not resolved, no error was reported
    resolved item - if the item was resolved
*/

static Item**
resolve_ref_in_select_and_group(THD *thd, Item_ident *ref, SELECT_LEX *select)
{
  Item **group_by_ref= NULL;
  Item **select_ref= NULL;
  ORDER *group_list= (ORDER*) select->group_list.first;
  bool ambiguous_fields= FALSE;
  uint counter;
2705
  bool not_used;
2706 2707 2708 2709 2710

  /*
    Search for a column or derived column named as 'ref' in the SELECT
    clause of the current select.
  */
2711 2712 2713
  if (!(select_ref= find_item_in_list(ref, *(select->get_item_list()),
                                      &counter, REPORT_EXCEPT_NOT_FOUND,
                                      &not_used)))
2714 2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727 2728 2729 2730 2731 2732 2733 2734 2735 2736
    return NULL; /* Some error occurred. */

  /* If this is a non-aggregated field inside HAVING, search in GROUP BY. */
  if (select->having_fix_field && !ref->with_sum_func && group_list)
  {
    group_by_ref= find_field_in_group_list(ref, group_list);
    
    /* Check if the fields found in SELECT and GROUP BY are the same field. */
    if (group_by_ref && (select_ref != not_found_item) &&
        !((*group_by_ref)->eq(*select_ref, 0)))
    {
      ambiguous_fields= TRUE;
      push_warning_printf(thd, MYSQL_ERROR::WARN_LEVEL_WARN, ER_NON_UNIQ_ERROR,
                          ER(ER_NON_UNIQ_ERROR), ref->full_name(),
                          current_thd->where);

    }
  }

  if (select_ref != not_found_item || group_by_ref)
  {
    if (select_ref != not_found_item && !ambiguous_fields)
    {
2737
      DBUG_ASSERT(*select_ref != 0);
monty@mysql.com's avatar
monty@mysql.com committed
2738
      if (!select->ref_pointer_array[counter])
2739
      {
2740 2741
        my_error(ER_ILLEGAL_REFERENCE, MYF(0),
                 ref->name, "forward reference in item list");
2742 2743
        return NULL;
      }
monty@mysql.com's avatar
monty@mysql.com committed
2744
      DBUG_ASSERT((*select_ref)->fixed);
2745 2746
      return (select->ref_pointer_array + counter);
    }
monty@mishka.local's avatar
monty@mishka.local committed
2747
    if (group_by_ref)
2748
      return group_by_ref;
monty@mishka.local's avatar
monty@mishka.local committed
2749 2750
    DBUG_ASSERT(FALSE);
    return NULL; /* So there is no compiler warning. */
2751
  }
monty@mishka.local's avatar
monty@mishka.local committed
2752 2753

  return (Item**) not_found_item;
2754 2755 2756
}


2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768 2769 2770 2771 2772 2773 2774 2775 2776 2777 2778 2779 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796 2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807 2808
/*
  Resolve the name of a column reference.

  SYNOPSIS
    Item_field::fix_fields()
    thd       [in]      current thread
    tables    [in]      the tables in a FROM clause
    reference [in/out]  view column if this item was resolved to a view column

  DESCRIPTION
    The method resolves the column reference represented by 'this' as a column
    present in one of: FROM clause, SELECT clause, GROUP BY clause of a query
    Q, or in outer queries that contain Q.

  NOTES
    The name resolution algorithm used is (where [T_j] is an optional table
    name that qualifies the column name):

      resolve_column_reference([T_j].col_ref_i)
      {
        search for a column or derived column named col_ref_i
        [in table T_j] in the FROM clause of Q;

        if such a column is NOT found AND    // Lookup in outer queries.
           there are outer queries
        {
          for each outer query Q_k beginning from the inner-most one
          {
            if - Q_k is not a group query AND
               - Q_k is not inside an aggregate function
               OR
               - Q_(k-1) is not in a HAVING or SELECT clause of Q_k
            {
              search for a column or derived column named col_ref_i
              [in table T_j] in the FROM clause of Q_k;
            }

            if such a column is not found
              Search for a column or derived column named col_ref_i
              [in table T_j] in the SELECT and GROUP clauses of Q_k.
          }
        }
      }

    Notice that compared to Item_ref::fix_fields, here we first search the FROM
    clause, and then we search the SELECT and GROUP BY clauses.

  RETURN
    TRUE  if error
    FALSE on success
*/

2809
bool Item_field::fix_fields(THD *thd, TABLE_LIST *tables, Item **reference)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
2810
{
2811
  enum_parsing_place place= NO_MATTER;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2812
  DBUG_ASSERT(fixed == 0);
2813
  if (!field)					// If field is not checked
bk@work.mysql.com's avatar
bk@work.mysql.com committed
2814
  {
2815 2816
    bool upward_lookup= FALSE;
    Field *from_field= (Field *)not_found_field;
2817 2818 2819 2820 2821
    /*
      In case of view, find_field_in_tables() write pointer to view field
      expression to 'reference', i.e. it substitute that expression instead
      of this Item_field
    */
2822
    if ((from_field= find_field_in_tables(thd, this, tables, reference,
2823
                                   IGNORE_EXCEPT_NON_UNIQUE,
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
2824
                                   !any_privileges)) ==
2825
	not_found_field)
2826
    {
2827
      SELECT_LEX *last= 0;
2828
      TABLE_LIST *table_list;
2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841
      Item **ref= (Item **) not_found_item;
      SELECT_LEX *current_sel= (SELECT_LEX *) thd->lex->current_select;
      /*
        If there is an outer select, and it is not a derived table (which do
        not support the use of outer fields for now), try to resolve this
        reference in the outer select(s).
      
        We treat each subselect as a separate namespace, so that different
        subselects may contain columns with the same names. The subselects are
        searched starting from the innermost.
      */
      if (current_sel->master_unit()->first_select()->linkage !=
          DERIVED_TABLE_TYPE)
2842
      {
2843 2844 2845 2846
	SELECT_LEX_UNIT *prev_unit= current_sel->master_unit();
        SELECT_LEX *outer_sel= prev_unit->outer_select();
	for ( ; outer_sel ;
              outer_sel= (prev_unit= outer_sel->master_unit())->outer_select())
2847
	{
2848 2849 2850 2851 2852 2853 2854
          last= outer_sel;
	  Item_subselect *prev_subselect_item= prev_unit->item;
	  upward_lookup= TRUE;

          /* Search in the tables of the FROM clause of the outer select. */
	  table_list= outer_sel->get_table_list();
	  if (outer_sel->resolve_mode == SELECT_LEX::INSERT_MODE && table_list)
2855
	  {
2856
            /*
2857 2858
              It is a primary INSERT st_select_lex => do not resolve against the
              first table.
2859
            */
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
2860
	    table_list= table_list->next_local;
monty@mishka.local's avatar
monty@mishka.local committed
2861
          }
2862
          place= prev_subselect_item->parsing_place;
2863
          /*
2864
            Check table fields only if the subquery is used somewhere out of
2865 2866
            HAVING, or the outer SELECT does not use grouping (i.e. tables are
            accessible).
2867 2868 2869 2870

            In case of view, find_field_in_tables() write pointer to view
            field expression to 'reference', i.e. it substitute that
            expression instead of this Item_field
2871
          */
2872
          if ((place != IN_HAVING ||
2873 2874 2875 2876 2877 2878
               (outer_sel->with_sum_func == 0 &&
                outer_sel->group_list.elements == 0)) &&
              (from_field= find_field_in_tables(thd, this, table_list,
                                                reference,
                                                IGNORE_EXCEPT_NON_UNIQUE,
                                                TRUE)) !=
2879
              not_found_field)
2880
	  {
2881
	    if (from_field)
2882
            {
2883
              if (from_field != view_ref_found)
2884
              {
2885
                prev_subselect_item->used_tables_cache|= from_field->table->map;
2886 2887 2888 2889
                prev_subselect_item->const_item_cache= 0;
              }
              else
              {
2890
                Item::Type type= (*reference)->type();
2891
                prev_subselect_item->used_tables_cache|=
2892
                  (*reference)->used_tables();
2893
                prev_subselect_item->const_item_cache&=
2894
                  (*reference)->const_item();
2895 2896 2897 2898 2899 2900 2901 2902 2903 2904
                mark_as_dependent(thd, last, current_sel, this,
                                  ((type == REF_ITEM || type == FIELD_ITEM) ?
                                   (Item_ident*) (*reference) :
                                   0));
                /*
                  view reference found, we substituted it instead of this
                  Item (find_field_in_tables do it by assigning new value to
                  *reference), so can quit
                */
                return FALSE;
2905 2906
              }
            }
2907
	    break;
2908
	  }
2909 2910 2911

          /* Search in the SELECT and GROUP lists of the outer select. */
	  if (outer_sel->resolve_mode == SELECT_LEX::SELECT_MODE)
monty@mysql.com's avatar
monty@mysql.com committed
2912
          {
2913
            if (!(ref= resolve_ref_in_select_and_group(thd, this, outer_sel)))
2914
              return TRUE; /* Some error occurred (e.g. ambiguous names). */
2915 2916 2917 2918 2919 2920 2921
            if (ref != not_found_item)
            {
              DBUG_ASSERT(*ref && (*ref)->fixed);
              prev_subselect_item->used_tables_cache|= (*ref)->used_tables();
	      prev_subselect_item->const_item_cache&= (*ref)->const_item();
              break;
            }
2922 2923 2924
	  }

	  // Reference is not found => depend from outer (or just error)
2925 2926
	  prev_subselect_item->used_tables_cache|= OUTER_REF_TABLE_BIT;
	  prev_subselect_item->const_item_cache= 0;
2927

2928
	  if (outer_sel->master_unit()->first_select()->linkage ==
2929
	      DERIVED_TABLE_TYPE)
2930
	    break; // do not look over derived table
2931
	}
2932
      }
2933

2934
      DBUG_ASSERT(ref != 0);
2935 2936 2937
      if (!from_field)
	return TRUE;
      if (ref == not_found_item && from_field == not_found_field)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2938
      {
2939
	if (upward_lookup)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2940
	{
2941
	  // We can't say exactly what absent table or field
2942
	  my_error(ER_BAD_FIELD_ERROR, MYF(0), full_name(), thd->where);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2943
	}
2944
	else
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2945
	{
2946
	  // Call to report error
2947 2948
	  find_field_in_tables(thd, this, tables, reference, REPORT_ALL_ERRORS,
                               TRUE);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2949
	}
2950
	return TRUE;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2951
      }
2952
      else if (ref != not_found_item)
2953
      {
monty@mishka.local's avatar
monty@mishka.local committed
2954 2955 2956
        Item *save;
        Item_ref *rf;

2957
        /* Should have been checked in resolve_ref_in_select_and_group(). */
2958
        DBUG_ASSERT(*ref && (*ref)->fixed);
2959 2960
        /*
          Here, a subset of actions performed by Item_ref::set_properties
2961 2962 2963
          is not enough. So we pass ptr to NULL into Item_[direct]_ref
          constructor, so no initialization is performed, and call 
          fix_fields() below.
2964
        */
monty@mishka.local's avatar
monty@mishka.local committed
2965 2966 2967 2968 2969 2970
        save= *ref;
        *ref= NULL;                             // Don't call set_properties()
        rf= (place == IN_HAVING ?
             new Item_ref(ref, (char*) table_name, (char*) field_name) :
             new Item_direct_ref(ref, (char*) table_name, (char*) field_name));
        *ref= save;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2971
	if (!rf)
2972
	  return TRUE;
2973
        thd->change_item_tree(reference, rf);
2974 2975 2976 2977
	/*
	  rf is Item_ref => never substitute other items (in this case)
	  during fix_fields() => we can use rf after fix_fields()
	*/
2978 2979
        DBUG_ASSERT(!rf->fixed);                // Assured by Item_ref()
        if (rf->fix_fields(thd, tables, reference) || rf->check_cols(1))
2980
	  return TRUE;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2981

2982
	mark_as_dependent(thd, last, current_sel, this, rf);
2983
	return FALSE;
2984
      }
2985
      else
2986
      {
2987
	mark_as_dependent(thd, last, current_sel, this, this);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2988
	if (last->having_fix_field)
2989 2990
	{
	  Item_ref *rf;
2991 2992
          rf= new Item_ref((cached_table->db[0] ? cached_table->db : 0),
                           (char*) cached_table->alias, (char*) field_name);
2993
	  if (!rf)
2994
	    return TRUE;
2995
          thd->change_item_tree(reference, rf);
2996 2997 2998 2999
	  /*
	    rf is Item_ref => never substitute other items (in this case)
	    during fix_fields() => we can use rf after fix_fields()
	  */
3000 3001
          DBUG_ASSERT(!rf->fixed);                // Assured by Item_ref()
          return (rf->fix_fields(thd, tables, reference) || rf->check_cols(1));
3002
	}
3003
      }
3004
    }
3005 3006
    else if (!from_field)
      return TRUE;
3007

bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
3008 3009 3010 3011 3012 3013 3014 3015 3016 3017 3018 3019
    /*
      if it is not expression from merged VIEW we will set this field.

      We can leave expression substituted from view for next PS/SP rexecution
      (i.e. do not register this substitution for reverting on cleupup()
      (register_item_tree_changing())), because this subtree will be
      fix_field'ed during setup_tables()->setup_ancestor() (i.e. before
      all other expressions of query, and references on tables which do
      not present in query will not make problems.

      Also we suppose that view can't be changed during PS/SP life.
    */
3020 3021 3022 3023
    if (from_field == view_ref_found)
      return FALSE;

    set_field(from_field);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3024
  }
3025
  else if (thd->set_query_id && field->query_id != thd->query_id)
3026 3027 3028 3029 3030
  {
    /* We only come here in unions */
    TABLE *table=field->table;
    field->query_id=thd->query_id;
    table->used_fields++;
3031
    table->used_keys.intersect(field->part_of_key);
3032
  }
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
3033 3034 3035 3036 3037 3038 3039 3040 3041 3042 3043 3044
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  if (any_privileges)
  {
    char *db, *tab;
    if (cached_table->view)
    {
      db= cached_table->view_db.str;
      tab= cached_table->view_name.str;
    }
    else
    {
      db= cached_table->db;
3045
      tab= cached_table->table_name;
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
3046 3047 3048 3049 3050
    }
    if (!(have_privileges= (get_column_grant(thd, &field->table->grant,
                                             db, tab, field_name) &
                            VIEW_ANY_ACL)))
    {
3051 3052 3053
      my_error(ER_COLUMNACCESS_DENIED_ERROR, MYF(0),
               "ANY", thd->priv_user, thd->host_or_ip,
               field_name, tab);
3054
      return TRUE;
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
3055 3056 3057
    }
  }
#endif
3058
  fixed= 1;
3059
  return FALSE;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3060 3061
}

3062 3063 3064 3065 3066 3067 3068 3069

Item *Item_field::safe_charset_converter(CHARSET_INFO *tocs)
{
  no_const_subst= 1;
  return Item::safe_charset_converter(tocs);
}


hf@deer.(none)'s avatar
hf@deer.(none) committed
3070 3071
void Item_field::cleanup()
{
3072
  DBUG_ENTER("Item_field::cleanup");
hf@deer.(none)'s avatar
hf@deer.(none) committed
3073
  Item_ident::cleanup();
3074 3075
  /*
    Even if this object was created by direct link to field in setup_wild()
3076
    it will be linked correctly next time by name of field and table alias.
3077 3078
    I.e. we can drop 'field'.
   */
3079
  field= result_field= 0;
3080
  DBUG_VOID_RETURN;
3081
}
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3102

/*
  Find a field among specified multiple equalities 

  SYNOPSIS
    find_item_equal()
    cond_equal   reference to list of multiple equalities where
                 the field (this object) is to be looked for
  
  DESCRIPTION
    The function first searches the field among multiple equalities
    of the current level (in the cond_equal->current_level list).
    If it fails, it continues searching in upper levels accessed
    through a pointer cond_equal->upper_levels.
    The search terminates as soon as a multiple equality containing 
    the field is found. 

  RETURN VALUES
    First Item_equal containing the field, if success
    0, otherwise
*/
3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124
Item_equal *Item_field::find_item_equal(COND_EQUAL *cond_equal)
{
  Item_equal *item= 0;
  while (cond_equal)
  {
    List_iterator_fast<Item_equal> li(cond_equal->current_level);
    while ((item= li++))
    {
      if (item->contains(field))
        return item;
    }
    /* 
      The field is not found in any of the multiple equalities
      of the current level. Look for it in upper levels
    */
    cond_equal= cond_equal->upper_levels;
  }
  return 0;
}


/*
3125 3126
  Set a pointer to the multiple equality the field reference belongs to
  (if any)
3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144 3145 3146 3147 3148
   
  SYNOPSIS
    equal_fields_propagator()
    arg - reference to list of multiple equalities where
          the field (this object) is to be looked for
  
  DESCRIPTION
    The function looks for a multiple equality containing the field item
    among those referenced by arg.
    In the case such equality exists the function does the following.
    If the found multiple equality contains a constant, then the field
    reference is substituted for this constant, otherwise it sets a pointer
    to the multiple equality in the field item.

  NOTES
    This function is supposed to be called as a callback parameter in calls
    of the transform method.  

  RETURN VALUES
    pointer to the replacing constant item, if the field item was substituted 
    pointer to the field item, otherwise.
*/
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
3149

3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164
Item *Item_field::equal_fields_propagator(byte *arg)
{
  if (no_const_subst)
    return this;
  item_equal= find_item_equal((COND_EQUAL *) arg);
  Item *item= 0;
  if (item_equal)
    item= item_equal->get_const();
  if (!item)
    item= this;
  return item;
}


/*
3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177
  Mark the item to not be part of substitution if it's not a binary item
  See comments in Arg_comparator::set_compare_func() for details
*/

Item *Item_field::set_no_const_sub(byte *arg)
{
  if (field->charset() != &my_charset_bin)
    no_const_subst=1;
  return this;
}


/*
3178
  Replace an Item_field for an equal Item_field that evaluated earlier
3179
  (if any)
3180 3181
   
  SYNOPSIS
3182
    replace_equal_field_()
3183 3184 3185
    arg - a dummy parameter, is not used here
  
  DESCRIPTION
3186 3187 3188 3189 3190
    The function returns a pointer to an item that is taken from
    the very beginning of the item_equal list which the Item_field
    object refers to (belongs to).  
    If the Item_field object does not refer any Item_equal object
    'this' is returned 
3191 3192 3193

  NOTES
    This function is supposed to be called as a callback parameter in calls
3194
    of the thransformer method.  
3195 3196

  RETURN VALUES
3197 3198
    pointer to a replacement Item_field if there is a better equal item;
    this - otherwise.
3199 3200
*/

3201
Item *Item_field::replace_equal_field(byte *arg)
3202 3203 3204 3205 3206
{
  if (item_equal)
  {
    Item_field *subst= item_equal->get_first();
    if (!field->eq(subst->field))
3207
      return subst;
3208
  }
3209
  return this;
hf@deer.(none)'s avatar
hf@deer.(none) committed
3210
}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3211

3212

bk@work.mysql.com's avatar
bk@work.mysql.com committed
3213 3214
void Item::init_make_field(Send_field *tmp_field,
			   enum enum_field_types field_type)
3215
{
3216
  char *empty_name= (char*) "";
3217
  tmp_field->db_name=		empty_name;
3218 3219 3220 3221
  tmp_field->org_table_name=	empty_name;
  tmp_field->org_col_name=	empty_name;
  tmp_field->table_name=	empty_name;
  tmp_field->col_name=		name;
3222
  tmp_field->charsetnr=         collation.collation->number;
3223 3224 3225
  tmp_field->flags=             (maybe_null ? 0 : NOT_NULL_FLAG) | 
                                (my_binary_compare(collation.collation) ?
                                 BINARY_FLAG : 0);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3226 3227 3228
  tmp_field->type=field_type;
  tmp_field->length=max_length;
  tmp_field->decimals=decimals;
3229 3230
  if (unsigned_flag)
    tmp_field->flags |= UNSIGNED_FLAG;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3231 3232
}

3233
void Item::make_field(Send_field *tmp_field)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3234
{
3235
  init_make_field(tmp_field, field_type());
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3236 3237 3238
}


3239 3240
void Item_empty_string::make_field(Send_field *tmp_field)
{
3241
  init_make_field(tmp_field, MYSQL_TYPE_VARCHAR);
3242 3243
}

3244

3245
enum_field_types Item::field_type() const
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3246
{
3247
  switch (result_type()) {
3248 3249 3250 3251 3252 3253 3254
  case STRING_RESULT:  return MYSQL_TYPE_VARCHAR;
  case INT_RESULT:     return FIELD_TYPE_LONGLONG;
  case DECIMAL_RESULT: return FIELD_TYPE_NEWDECIMAL;
  case REAL_RESULT:    return FIELD_TYPE_DOUBLE;
  case ROW_RESULT:
  default:
    DBUG_ASSERT(0);
3255 3256
    return MYSQL_TYPE_VARCHAR;
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3257 3258
}

3259

3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286
/*
  Create a field to hold a string value from an item

  SYNOPSIS
    make_string_field()
    table		Table for which the field is created

  IMPLEMENTATION
    If max_length > CONVERT_IF_BIGGER_TO_BLOB create a blob
    If max_length > 0 create a varchar
    If max_length == 0 create a CHAR(0) 
*/


Field *Item::make_string_field(TABLE *table)
{
  if (max_length > CONVERT_IF_BIGGER_TO_BLOB)
    return new Field_blob(max_length, maybe_null, name, table,
                          collation.collation);
  if (max_length > 0)
    return new Field_varstring(max_length, maybe_null, name, table,
                               collation.collation);
  return new Field_string(max_length, maybe_null, name, table,
                          collation.collation);
}


3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297
/*
  Create a field based on field_type of argument

  For now, this is only used to create a field for
  IFNULL(x,something)

  RETURN
    0  error
    #  Created field
*/

3298 3299
Field *Item::tmp_table_field_from_field_type(TABLE *table)
{
3300 3301 3302 3303 3304 3305
  /*
    The field functions defines a field to be not null if null_ptr is not 0
  */
  uchar *null_ptr= maybe_null ? (uchar*) "" : 0;

  switch (field_type()) {
3306
  case MYSQL_TYPE_DECIMAL:
3307
  case MYSQL_TYPE_NEWDECIMAL:
3308
    return new Field_new_decimal((char*) 0, max_length, null_ptr, 0,
3309 3310
                                 Field::NONE, name, table, decimals, 0,
                                 unsigned_flag);
3311
  case MYSQL_TYPE_TINY:
3312 3313
    return new Field_tiny((char*) 0, max_length, null_ptr, 0, Field::NONE,
			  name, table, 0, unsigned_flag);
3314
  case MYSQL_TYPE_SHORT:
3315 3316
    return new Field_short((char*) 0, max_length, null_ptr, 0, Field::NONE,
			   name, table, 0, unsigned_flag);
3317
  case MYSQL_TYPE_LONG:
3318 3319
    return new Field_long((char*) 0, max_length, null_ptr, 0, Field::NONE,
			  name, table, 0, unsigned_flag);
3320 3321
#ifdef HAVE_LONG_LONG
  case MYSQL_TYPE_LONGLONG:
3322 3323
    return new Field_longlong((char*) 0, max_length, null_ptr, 0, Field::NONE,
			      name, table, 0, unsigned_flag);
3324
#endif
3325 3326 3327 3328 3329 3330 3331 3332 3333
  case MYSQL_TYPE_FLOAT:
    return new Field_float((char*) 0, max_length, null_ptr, 0, Field::NONE,
			   name, table, decimals, 0, unsigned_flag);
  case MYSQL_TYPE_DOUBLE:
    return new Field_double((char*) 0, max_length, null_ptr, 0, Field::NONE,
			    name, table, decimals, 0, unsigned_flag);
  case MYSQL_TYPE_NULL:
    return new Field_null((char*) 0, max_length, Field::NONE,
			  name, table, &my_charset_bin);
3334
  case MYSQL_TYPE_INT24:
3335 3336
    return new Field_medium((char*) 0, max_length, null_ptr, 0, Field::NONE,
			    name, table, 0, unsigned_flag);
3337
  case MYSQL_TYPE_NEWDATE:
3338 3339 3340 3341 3342 3343 3344 3345
  case MYSQL_TYPE_DATE:
    return new Field_date(maybe_null, name, table, &my_charset_bin);
  case MYSQL_TYPE_TIME:
    return new Field_time(maybe_null, name, table, &my_charset_bin);
  case MYSQL_TYPE_TIMESTAMP:
  case MYSQL_TYPE_DATETIME:
    return new Field_datetime(maybe_null, name, table, &my_charset_bin);
  case MYSQL_TYPE_YEAR:
3346 3347 3348
    return new Field_year((char*) 0, max_length, null_ptr, 0, Field::NONE,
			  name, table);
  default:
3349
    /* This case should never be chosen */
3350 3351
    DBUG_ASSERT(0);
    /* If something goes awfully wrong, it's better to get a string than die */
3352 3353
  case MYSQL_TYPE_ENUM:
  case MYSQL_TYPE_SET:
3354
  case MYSQL_TYPE_STRING:
3355
  case MYSQL_TYPE_VAR_STRING:
3356
  case MYSQL_TYPE_VARCHAR:
3357
    return make_string_field(table);
3358 3359 3360 3361 3362
  case MYSQL_TYPE_TINY_BLOB:
  case MYSQL_TYPE_MEDIUM_BLOB:
  case MYSQL_TYPE_LONG_BLOB:
  case MYSQL_TYPE_BLOB:
  case MYSQL_TYPE_GEOMETRY:
3363 3364
    return new Field_blob(max_length, maybe_null, name, table,
                          collation.collation);
3365
    break;					// Blob handled outside of case
3366 3367 3368
  }
}

3369

3370 3371
/* ARGSUSED */
void Item_field::make_field(Send_field *tmp_field)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3372
{
3373
  field->make_field(tmp_field);
3374
  DBUG_ASSERT(tmp_field->table_name != 0);
3375 3376
  if (name)
    tmp_field->col_name=name;			// Use user supplied name
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3377 3378
}

3379

bk@work.mysql.com's avatar
bk@work.mysql.com committed
3380
/*
3381
  Set a field:s value from a item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3382 3383 3384 3385 3386 3387 3388
*/

void Item_field::save_org_in_field(Field *to)
{
  if (field->is_null())
  {
    null_value=1;
3389
    set_field_to_null_with_conversions(to, 1);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3390 3391 3392 3393 3394 3395 3396 3397 3398
  }
  else
  {
    to->set_notnull();
    field_conv(to,field);
    null_value=0;
  }
}

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
3399
int Item_field::save_in_field(Field *to, bool no_conversions)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3400 3401 3402 3403
{
  if (result_field->is_null())
  {
    null_value=1;
3404
    return set_field_to_null_with_conversions(to, no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3405 3406 3407 3408 3409 3410 3411 3412 3413 3414
  }
  else
  {
    to->set_notnull();
    field_conv(to,result_field);
    null_value=0;
  }
  return 0;
}

3415

monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
3416 3417 3418 3419 3420 3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431
/*
  Store null in field

  SYNOPSIS
    save_in_field()
    field		Field where we want to store NULL

  DESCRIPTION
    This is used on INSERT.
    Allow NULL to be inserted in timestamp and auto_increment values

  RETURN VALUES
    0	 ok
    1	 Field doesn't support NULL values and can't handle 'field = NULL'
*/   

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
3432
int Item_null::save_in_field(Field *field, bool no_conversions)
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
3433
{
3434
  return set_field_to_null_with_conversions(field, no_conversions);
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
3435 3436 3437
}


3438 3439 3440 3441 3442 3443 3444 3445
/*
  Store null in field

  SYNOPSIS
    save_safe_in_field()
    field		Field where we want to store NULL

  RETURN VALUES
3446
    0	 OK
3447 3448 3449
    1	 Field doesn't support NULL values
*/   

monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
3450
int Item_null::save_safe_in_field(Field *field)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3451 3452 3453 3454 3455
{
  return set_field_to_null(field);
}


monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
3456
int Item::save_in_field(Field *field, bool no_conversions)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3457
{
3458
  int error;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3459 3460 3461 3462 3463
  if (result_type() == STRING_RESULT ||
      result_type() == REAL_RESULT &&
      field->result_type() == STRING_RESULT)
  {
    String *result;
3464
    CHARSET_INFO *cs= collation.collation;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3465
    char buff[MAX_FIELD_WIDTH];		// Alloc buffer for small columns
monty@mysql.com's avatar
monty@mysql.com committed
3466
    str_value.set_quick(buff, sizeof(buff), cs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3467 3468
    result=val_str(&str_value);
    if (null_value)
3469
    {
monty@mysql.com's avatar
monty@mysql.com committed
3470
      str_value.set_quick(0, 0, cs);
3471
      return set_field_to_null_with_conversions(field, no_conversions);
3472
    }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3473
    field->set_notnull();
3474
    error=field->store(result->ptr(),result->length(),cs);
3475
    str_value.set_quick(0, 0, cs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3476 3477 3478
  }
  else if (result_type() == REAL_RESULT)
  {
3479
    double nr= val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3480 3481 3482
    if (null_value)
      return set_field_to_null(field);
    field->set_notnull();
3483
    error=field->store(nr);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3484
  }
3485 3486 3487 3488 3489 3490 3491 3492 3493
  else if (result_type() == DECIMAL_RESULT)
  {
    my_decimal decimal_value;
    my_decimal *value= val_decimal(&decimal_value);
    if (null_value)
      return set_field_to_null(field);
    field->set_notnull();
    error=field->store_decimal(value);
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3494 3495 3496 3497
  else
  {
    longlong nr=val_int();
    if (null_value)
3498
      return set_field_to_null_with_conversions(field, no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3499
    field->set_notnull();
3500
    error=field->store(nr);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3501
  }
3502
  return error;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3503 3504
}

3505

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
3506
int Item_string::save_in_field(Field *field, bool no_conversions)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3507 3508 3509 3510 3511 3512
{
  String *result;
  result=val_str(&str_value);
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
3513
  return field->store(result->ptr(),result->length(),collation.collation);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3514 3515
}

monty@mysql.com's avatar
monty@mysql.com committed
3516
int Item_uint::save_in_field(Field *field, bool no_conversions)
3517
{
3518 3519 3520 3521
  /*
    TODO: To be fixed when wen have a
    field->store(longlong, unsigned_flag) method 
  */
monty@mysql.com's avatar
monty@mysql.com committed
3522
  return Item_int::save_in_field(field, no_conversions);
3523 3524
}

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
3525 3526

int Item_int::save_in_field(Field *field, bool no_conversions)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3527 3528 3529 3530 3531
{
  longlong nr=val_int();
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
3532
  return field->store(nr);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3533 3534
}

3535 3536 3537 3538 3539 3540 3541 3542

int Item_decimal::save_in_field(Field *field, bool no_conversions)
{
  field->set_notnull();
  return field->store_decimal(&decimal_value);
}


3543 3544 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 3556 3557 3558
bool Item_int::eq(const Item *arg, bool binary_cmp) const
{
  /* No need to check for null value as basic constant can't be NULL */
  if (arg->basic_const_item() && arg->type() == type())
  {
    /*
      We need to cast off const to call val_int(). This should be OK for
      a basic constant.
    */
    Item *item= (Item*) arg;
    return item->val_int() == value && item->unsigned_flag == unsigned_flag;
  }
  return FALSE;
}


3559 3560
Item *Item_int_with_ref::new_item()
{
3561
  DBUG_ASSERT(ref->const_item());
3562 3563 3564 3565 3566 3567 3568 3569 3570 3571
  /*
    We need to evaluate the constant to make sure it works with
    parameter markers.
  */
  return (ref->unsigned_flag ?
          new Item_uint(ref->name, ref->val_int(), ref->max_length) :
          new Item_int(ref->name, ref->val_int(), ref->max_length));
}


bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
3572 3573
Item_num *Item_uint::neg()
{
3574 3575
  Item_decimal *item= new Item_decimal(value, 0);
  return item->neg();
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
3576
}
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
3577

3578

3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601
static uint nr_of_decimals(const char *str, const char *end)
{
  const char *decimal_point;

  /* Find position for '.' */
  for (;;)
  {
    if (str == end)
      return 0;
    if (*str == 'e' || *str == 'E')
      return NOT_FIXED_DEC;    
    if (*str++ == '.')
      break;
  }
  decimal_point= str;
  for (; my_isdigit(system_charset_info, *str) ; str++)
    ;
  if (*str == 'e' || *str == 'E')
    return NOT_FIXED_DEC;
  return (uint) (str - decimal_point);
}


3602 3603 3604 3605 3606
/*
  This function is only called during parsing. We will signal an error if
  value is not a true double value (overflow)
*/

3607
Item_float::Item_float(const char *str_arg, uint length)
3608 3609
{
  int error;
3610 3611 3612
  char *end_not_used;
  value= my_strntod(&my_charset_bin, (char*) str_arg, length, &end_not_used,
                    &error);
3613 3614 3615 3616 3617 3618 3619
  if (error)
  {
    /*
      Note that we depend on that str_arg is null terminated, which is true
      when we are in the parser
    */
    DBUG_ASSERT(str_arg[length] == 0);
3620
    my_error(ER_ILLEGAL_VALUE_FOR_TYPE, MYF(0), "double", (char*) str_arg);
3621 3622
  }
  presentation= name=(char*) str_arg;
3623
  decimals=(uint8) nr_of_decimals(str_arg, str_arg+length);
3624 3625 3626 3627 3628
  max_length=length;
  fixed= 1;
}


3629
int Item_float::save_in_field(Field *field, bool no_conversions)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3630
{
3631
  double nr= val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3632 3633 3634
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
3635
  return field->store(nr);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3636 3637
}

3638

3639
void Item_float::print(String *str)
3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651 3652
{
  if (presentation)
  {
    str->append(presentation);
    return;
  }
  char buffer[20];
  String num(buffer, sizeof(buffer), &my_charset_bin);
  num.set(value, decimals, &my_charset_bin);
  str->append(num);
}


ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
3653 3654 3655 3656 3657
/*
  hex item
  In string context this is a binary string.
  In number context this is a longlong value.
*/
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3658

3659
bool Item_float::eq(const Item *arg, bool binary_cmp) const
3660 3661 3662 3663 3664 3665 3666 3667
{
  if (arg->basic_const_item() && arg->type() == type())
  {
    /*
      We need to cast off const to call val_int(). This should be OK for
      a basic constant.
    */
    Item *item= (Item*) arg;
3668
    return item->val_real() == value;
3669 3670 3671 3672
  }
  return FALSE;
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
3673

3674
inline uint char_val(char X)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3675 3676 3677 3678 3679 3680
{
  return (uint) (X >= '0' && X <= '9' ? X-'0' :
		 X >= 'A' && X <= 'Z' ? X-'A'+10 :
		 X-'a'+10);
}

3681

ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
3682
Item_hex_string::Item_hex_string(const char *str, uint str_length)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3683 3684 3685 3686 3687 3688
{
  name=(char*) str-2;				// Lex makes this start with 0x
  max_length=(str_length+1)/2;
  char *ptr=(char*) sql_alloc(max_length+1);
  if (!ptr)
    return;
3689
  str_value.set(ptr,max_length,&my_charset_bin);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3690 3691 3692 3693 3694 3695 3696 3697 3698
  char *end=ptr+max_length;
  if (max_length*2 != str_length)
    *ptr++=char_val(*str++);			// Not even, assume 0 prefix
  while (ptr != end)
  {
    *ptr++= (char) (char_val(str[0])*16+char_val(str[1]));
    str+=2;
  }
  *ptr=0;					// Keep purify happy
3699
  collation.set(&my_charset_bin, DERIVATION_COERCIBLE);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
3700
  fixed= 1;
3701
  unsigned_flag= 1;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3702 3703
}

ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
3704
longlong Item_hex_string::val_int()
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3705
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
3706
  // following assert is redundant, because fixed=1 assigned in constructor
3707
  DBUG_ASSERT(fixed == 1);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3708 3709 3710 3711 3712 3713 3714 3715 3716 3717
  char *end=(char*) str_value.ptr()+str_value.length(),
       *ptr=end-min(str_value.length(),sizeof(longlong));

  ulonglong value=0;
  for (; ptr != end ; ptr++)
    value=(value << 8)+ (ulonglong) (uchar) *ptr;
  return (longlong) value;
}


3718 3719 3720 3721 3722 3723 3724 3725 3726 3727
my_decimal *Item_hex_string::val_decimal(my_decimal *decimal_value)
{
  // following assert is redundant, because fixed=1 assigned in constructor
  DBUG_ASSERT(fixed == 1);
  ulonglong value= (ulonglong)val_int();
  int2my_decimal(E_DEC_FATAL_ERROR, value, TRUE, decimal_value);
  return (decimal_value);
}


ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
3728
int Item_hex_string::save_in_field(Field *field, bool no_conversions)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3729
{
3730
  int error;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3731 3732 3733
  field->set_notnull();
  if (field->result_type() == STRING_RESULT)
  {
3734
    error=field->store(str_value.ptr(),str_value.length(),collation.collation);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3735 3736 3737 3738
  }
  else
  {
    longlong nr=val_int();
3739
    error=field->store(nr);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3740
  }
3741
  return error;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3742 3743 3744
}


3745
bool Item_hex_string::eq(const Item *arg, bool binary_cmp) const
3746 3747 3748 3749 3750 3751 3752 3753 3754 3755
{
  if (arg->basic_const_item() && arg->type() == type())
  {
    if (binary_cmp)
      return !stringcmp(&str_value, &arg->str_value);
    return !sortcmp(&str_value, &arg->str_value, collation.collation);
  }
  return FALSE;
}

ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774 3775 3776 3777 3778 3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793
/*
  bin item.
  In string context this is a binary string.
  In number context this is a longlong value.
*/
  
Item_bin_string::Item_bin_string(const char *str, uint str_length)
{
  const char *end= str + str_length - 1;
  uchar bits= 0;
  uint power= 1;

  name= (char*) str - 2;
  max_length= (str_length + 7) >> 3;
  char *ptr= (char*) sql_alloc(max_length + 1);
  if (!ptr)
    return;
  str_value.set(ptr, max_length, &my_charset_bin);
  ptr+= max_length - 1;
  ptr[1]= 0;                     // Set end null for string
  for (; end >= str; end--)
  {
    if (power == 256)
    {
      power= 1;
      *ptr--= bits;
      bits= 0;     
    }
    if (*end == '1')
      bits|= power; 
    power<<= 1;
  }
  *ptr= (char) bits;
  collation.set(&my_charset_bin, DERIVATION_COERCIBLE);
  fixed= 1;
}


3794 3795 3796 3797 3798
/*
  Pack data in buffer for sending
*/

bool Item_null::send(Protocol *protocol, String *packet)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3799
{
3800
  return protocol->store_null();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3801 3802 3803
}

/*
3804
  This is only called from items that is not of type item_field
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3805 3806
*/

3807
bool Item::send(Protocol *protocol, String *buffer)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3808
{
3809 3810
  bool result;
  enum_field_types type;
3811
  LINT_INIT(result);                     // Will be set if null_value == 0
3812 3813 3814

  switch ((type=field_type())) {
  default:
3815 3816 3817 3818 3819 3820 3821 3822 3823
  case MYSQL_TYPE_NULL:
  case MYSQL_TYPE_DECIMAL:
  case MYSQL_TYPE_ENUM:
  case MYSQL_TYPE_SET:
  case MYSQL_TYPE_TINY_BLOB:
  case MYSQL_TYPE_MEDIUM_BLOB:
  case MYSQL_TYPE_LONG_BLOB:
  case MYSQL_TYPE_BLOB:
  case MYSQL_TYPE_GEOMETRY:
3824 3825
  case MYSQL_TYPE_STRING:
  case MYSQL_TYPE_VAR_STRING:
3826
  case MYSQL_TYPE_VARCHAR:
ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
3827
  case MYSQL_TYPE_BIT:
3828
  case MYSQL_TYPE_NEWDECIMAL:
3829 3830 3831
  {
    String *res;
    if ((res=val_str(buffer)))
3832
      result= protocol->store(res->ptr(),res->length(),res->charset());
3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 3843
    break;
  }
  case MYSQL_TYPE_TINY:
  {
    longlong nr;
    nr= val_int();
    if (!null_value)
      result= protocol->store_tiny(nr);
    break;
  }
  case MYSQL_TYPE_SHORT:
acurtis@xiphis.org's avatar
acurtis@xiphis.org committed
3844
  case MYSQL_TYPE_YEAR:
3845 3846 3847 3848 3849 3850 3851
  {
    longlong nr;
    nr= val_int();
    if (!null_value)
      result= protocol->store_short(nr);
    break;
  }
3852
  case MYSQL_TYPE_INT24:
3853 3854 3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868
  case MYSQL_TYPE_LONG:
  {
    longlong nr;
    nr= val_int();
    if (!null_value)
      result= protocol->store_long(nr);
    break;
  }
  case MYSQL_TYPE_LONGLONG:
  {
    longlong nr;
    nr= val_int();
    if (!null_value)
      result= protocol->store_longlong(nr, unsigned_flag);
    break;
  }
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
3869 3870 3871
  case MYSQL_TYPE_FLOAT:
  {
    float nr;
3872
    nr= (float) val_real();
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
3873 3874 3875 3876
    if (!null_value)
      result= protocol->store(nr, decimals, buffer);
    break;
  }
3877 3878
  case MYSQL_TYPE_DOUBLE:
  {
3879
    double nr= val_real();
3880 3881 3882 3883 3884 3885
    if (!null_value)
      result= protocol->store(nr, decimals, buffer);
    break;
  }
  case MYSQL_TYPE_DATETIME:
  case MYSQL_TYPE_DATE:
3886
  case MYSQL_TYPE_TIMESTAMP:
3887 3888
  {
    TIME tm;
3889
    get_date(&tm, TIME_FUZZY_DATE);
3890 3891 3892 3893 3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910
    if (!null_value)
    {
      if (type == MYSQL_TYPE_DATE)
	return protocol->store_date(&tm);
      else
	result= protocol->store(&tm);
    }
    break;
  }
  case MYSQL_TYPE_TIME:
  {
    TIME tm;
    get_time(&tm);
    if (!null_value)
      result= protocol->store_time(&tm);
    break;
  }
  }
  if (null_value)
    result= protocol->store_null();
  return result;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3911 3912
}

3913 3914

bool Item_field::send(Protocol *protocol, String *buffer)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3915
{
3916
  return protocol->store(result_field);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3917 3918
}

3919

3920 3921 3922 3923 3924 3925 3926 3927
Item_ref::Item_ref(Item **item, const char *table_name_par,
                   const char *field_name_par)
  :Item_ident(NullS, table_name_par, field_name_par), result_field(0),
   ref(item)
{
  /*
    This constructor used to create some internals references over fixed items
  */
3928
  DBUG_ASSERT(ref != 0);
3929 3930 3931 3932 3933
  if (*ref)
    set_properties();
}


3934
/*
3935
  Resolve the name of a reference to a column reference.
3936 3937 3938

  SYNOPSIS
    Item_ref::fix_fields()
3939
    thd       [in]      current thread
3940
    tables    [in]      the tables in a FROM clause
3941
    reference [in/out]  view column if this item was resolved to a view column
3942 3943

  DESCRIPTION
3944 3945
    The method resolves the column reference represented by 'this' as a column
    present in one of: GROUP BY clause, SELECT clause, outer queries. It is
3946 3947
    used typically for columns in the HAVING clause which are not under
    aggregate functions.
3948 3949

  NOTES
3950 3951
    The name resolution algorithm used is (where [T_j] is an optional table
    name that qualifies the column name):
3952

3953 3954 3955
      resolve_extended([T_j].col_ref_i)
      {
        Search for a column or derived column named col_ref_i [in table T_j]
3956
        in the SELECT and GROUP clauses of Q.
3957

3958 3959
        if such a column is NOT found AND    // Lookup in outer queries.
           there are outer queries
3960 3961 3962
        {
          for each outer query Q_k beginning from the inner-most one
         {
3963 3964 3965 3966 3967 3968 3969 3970
            Search for a column or derived column named col_ref_i
            [in table T_j] in the SELECT and GROUP clauses of Q_k.

            if such a column is not found AND
               - Q_k is not a group query AND
               - Q_k is not inside an aggregate function
               OR
               - Q_(k-1) is not in a HAVING or SELECT clause of Q_k
3971 3972 3973 3974 3975 3976 3977
            {
              search for a column or derived column named col_ref_i
              [in table T_j] in the FROM clause of Q_k;
            }
          }
        }
      }
3978 3979

    This procedure treats GROUP BY and SELECT clauses as one namespace for
3980 3981 3982
    column references in HAVING. Notice that compared to
    Item_field::fix_fields, here we first search the SELECT and GROUP BY
    clauses, and then we search the FROM clause.
3983

3984 3985 3986
  POSTCONDITION
    Item_ref::ref is 0 or points to a valid item

3987 3988 3989 3990
  RETURN
    TRUE  if error
    FALSE on success
*/
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3991

bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
3992
bool Item_ref::fix_fields(THD *thd, TABLE_LIST *tables, Item **reference)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3993
{
3994
  DBUG_ASSERT(fixed == 0);
3995
  enum_parsing_place place= NO_MATTER;
3996 3997
  SELECT_LEX *current_sel= thd->lex->current_select;

3998
  if (!ref || ref == not_found_item)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
3999
  {
4000 4001 4002
    SELECT_LEX_UNIT *prev_unit= current_sel->master_unit();
    SELECT_LEX *outer_sel= prev_unit->outer_select();

4003
    if (!(ref= resolve_ref_in_select_and_group(thd, this, current_sel)))
4004
      return TRUE;             /* Some error occurred (e.g. ambiguous names). */
4005

4006
    if (ref == not_found_item) /* This reference was not resolved. */
4007
    {
4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019 4020
      TABLE_LIST *table_list;
      Field *from_field;
      SELECT_LEX *last;
      ref= 0;

      if (!outer_sel || (current_sel->master_unit()->first_select()->linkage ==
                        DERIVED_TABLE_TYPE))
      {
        /* The current reference cannot be resolved in this query. */
        my_error(ER_BAD_FIELD_ERROR,MYF(0),
                 this->full_name(), current_thd->where);
        return TRUE;
      }
4021
      /*
4022 4023 4024
        If there is an outer select, and it is not a derived table (which do
        not support the use of outer fields for now), try to resolve this
        reference in the outer select(s).
4025

4026 4027 4028
        We treat each subselect as a separate namespace, so that different
        subselects may contain columns with the same names. The subselects are
        searched starting from the innermost.
4029
      */
4030 4031 4032 4033 4034 4035
      from_field= (Field*) not_found_field;
      last= 0;

      /* The following loop will always be excuted at least once */
      for ( ; outer_sel ;
            outer_sel= (prev_unit= outer_sel->master_unit())->outer_select())
4036
      {
4037 4038
        last= outer_sel;
        Item_subselect *prev_subselect_item= prev_unit->item;
4039

4040 4041
        /* Search in the SELECT and GROUP lists of the outer select. */
        if (outer_sel->resolve_mode == SELECT_LEX::SELECT_MODE)
4042
        {
4043 4044 4045
          if (!(ref= resolve_ref_in_select_and_group(thd, this, outer_sel)))
            return TRUE; /* Some error occurred (e.g. ambiguous names). */
          if (ref != not_found_item)
4046
          {
4047 4048 4049 4050
            DBUG_ASSERT(*ref && (*ref)->fixed);
            prev_subselect_item->used_tables_cache|= (*ref)->used_tables();
            prev_subselect_item->const_item_cache&= (*ref)->const_item();
            break;
4051 4052
          }
          /*
4053 4054 4055
            Set ref to 0 to ensure that we get an error in case we replaced
            this item with another item and still use this item in some
            other place of the parse tree.
4056
          */
4057
          ref= 0;
4058
        }
4059

4060 4061 4062
        /* Search in the tables of the FROM clause of the outer select. */
        table_list= outer_sel->get_table_list();
        if (outer_sel->resolve_mode == SELECT_LEX::INSERT_MODE && table_list)
4063
        {
4064 4065 4066 4067 4068
          /*
            It is a primary INSERT st_select_lex => do not resolve against
            the first table.
          */
          table_list= table_list->next_local;
4069
        }
4070 4071 4072 4073 4074 4075 4076 4077 4078 4079 4080 4081 4082 4083 4084

        place= prev_subselect_item->parsing_place;
        /*
          Check table fields only if the subquery is used somewhere out of
          HAVING or the outer SELECT does not use grouping (i.e. tables are
          accessible).
          TODO: 
          Here we could first find the field anyway, and then test this
          condition, so that we can give a better error message -
          ER_WRONG_FIELD_WITH_GROUP, instead of the less informative
          ER_BAD_FIELD_ERROR which we produce now.
        */
        if ((place != IN_HAVING ||
             (!outer_sel->with_sum_func &&
              outer_sel->group_list.elements == 0)))
4085
        {
4086
          /*
4087 4088 4089
            In case of view, find_field_in_tables() write pointer to view
            field expression to 'reference', i.e. it substitute that
            expression instead of this Item_ref
4090
          */
4091 4092 4093 4094 4095 4096 4097
          from_field= find_field_in_tables(thd, this, table_list,
                                           reference,
                                           IGNORE_EXCEPT_NON_UNIQUE,
                                           TRUE);
          if (! from_field)
            return TRUE;
          if (from_field == view_ref_found)
4098
          {
4099 4100 4101 4102 4103 4104 4105 4106 4107 4108 4109 4110 4111 4112
            Item::Type type= (*reference)->type();
            prev_subselect_item->used_tables_cache|=
              (*reference)->used_tables();
            prev_subselect_item->const_item_cache&=
              (*reference)->const_item();
            DBUG_ASSERT((*reference)->type() == REF_ITEM);
            mark_as_dependent(thd, last, current_sel, this,
                              ((type == REF_ITEM || type == FIELD_ITEM) ?
                               (Item_ident*) (*reference) :
                               0));
            /*
              view reference found, we substituted it instead of this
              Item, so can quit
            */
4113 4114
            return FALSE;
          }
4115 4116 4117 4118 4119 4120
          if (from_field != not_found_field)
          {
            prev_subselect_item->used_tables_cache|= from_field->table->map;
            prev_subselect_item->const_item_cache= 0;
            break;
          }
4121
        }
4122 4123 4124 4125 4126 4127 4128 4129 4130
        DBUG_ASSERT(from_field == not_found_field);

        /* Reference is not found => depend on outer (or just error). */
        prev_subselect_item->used_tables_cache|= OUTER_REF_TABLE_BIT;
        prev_subselect_item->const_item_cache= 0;

        if (outer_sel->master_unit()->first_select()->linkage ==
            DERIVED_TABLE_TYPE)
          break; /* Do not consider derived tables. */
4131
      }
4132 4133 4134

      DBUG_ASSERT(from_field != 0 && from_field != view_ref_found);
      if (from_field != not_found_field)
4135
      {
4136 4137 4138 4139 4140 4141 4142 4143 4144 4145 4146
        Item_field* fld;
        if (!(fld= new Item_field(from_field)))
          return TRUE;
        thd->change_item_tree(reference, fld);
        mark_as_dependent(thd, last, thd->lex->current_select, this, fld);
        return FALSE;
      }
      if (ref == 0)
      {
        /* The item was not a table field and not a reference */
        my_error(ER_BAD_FIELD_ERROR, MYF(0),
4147
                 this->full_name(), current_thd->where);
4148
        return TRUE;
4149
      }
4150 4151 4152
      /* Should be checked in resolve_ref_in_select_and_group(). */
      DBUG_ASSERT(*ref && (*ref)->fixed);
      mark_as_dependent(thd, last, current_sel, this, this);
4153
    }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4154
  }
4155

4156
  DBUG_ASSERT(*ref);
4157
  /*
4158 4159 4160
    Check if this is an incorrect reference in a group function or forward
    reference. Do not issue an error if this is an unnamed reference inside an
    aggregate function.
4161
  */
4162
  if (((*ref)->with_sum_func && name &&
4163
       (depended_from ||
4164 4165
	!(current_sel->linkage != GLOBAL_OPTIONS_TYPE &&
          current_sel->having_fix_field))) ||
4166 4167
      !(*ref)->fixed)
  {
4168 4169 4170 4171
    my_error(ER_ILLEGAL_REFERENCE, MYF(0),
             name, ((*ref)->with_sum_func?
                    "reference to group function":
                    "forward reference in item list"));
4172
    return TRUE;
4173
  }
4174 4175 4176

  set_properties();

4177 4178 4179
  if ((*ref)->check_cols(1))
    return TRUE;
  return FALSE;
4180 4181
}

4182

4183 4184
void Item_ref::set_properties()
{
4185 4186 4187
  max_length= (*ref)->max_length;
  maybe_null= (*ref)->maybe_null;
  decimals=   (*ref)->decimals;
4188
  collation.set((*ref)->collation);
monty@mysql.com's avatar
monty@mysql.com committed
4189 4190 4191 4192
  /*
    We have to remember if we refer to a sum function, to ensure that
    split_sum_func() doesn't try to change the reference.
  */
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
4193
  with_sum_func= (*ref)->with_sum_func;
timour@mysql.com's avatar
Merge  
timour@mysql.com committed
4194
  unsigned_flag= (*ref)->unsigned_flag;
4195 4196 4197 4198
  if ((*ref)->type() == FIELD_ITEM)
    alias_name_used= ((Item_ident *) (*ref))->alias_name_used;
  else
    alias_name_used= TRUE; // it is not field, so it is was resolved by alias
4199
  fixed= 1;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4200 4201
}

4202

hf@deer.(none)'s avatar
hf@deer.(none) committed
4203 4204
void Item_ref::cleanup()
{
4205
  DBUG_ENTER("Item_ref::cleanup");
hf@deer.(none)'s avatar
hf@deer.(none) committed
4206
  Item_ident::cleanup();
4207
  result_field= 0;
4208
  DBUG_VOID_RETURN;
hf@deer.(none)'s avatar
hf@deer.(none) committed
4209 4210 4211
}


4212 4213 4214 4215 4216 4217 4218 4219 4220
void Item_ref::print(String *str)
{
  if (ref && *ref)
    (*ref)->print(str);
  else
    Item_ident::print(str);
}


4221 4222 4223 4224 4225 4226 4227 4228
bool Item_ref::send(Protocol *prot, String *tmp)
{
  if (result_field)
    return prot->store(result_field);
  return (*ref)->send(prot, tmp);
}


4229 4230 4231 4232 4233 4234 4235 4236
double Item_ref::val_result()
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
      return 0.0;
    return result_field->val_real();
  }
4237
  return val_real();
4238 4239 4240 4241 4242 4243 4244 4245
}


longlong Item_ref::val_int_result()
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
4246
      return 0;
4247 4248 4249 4250 4251 4252 4253 4254 4255 4256 4257 4258 4259 4260 4261 4262 4263 4264 4265
    return result_field->val_int();
  }
  return val_int();
}


String *Item_ref::str_result(String* str)
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
      return 0;
    str->set_charset(str_value.charset());
    return result_field->val_str(str, &str_value);
  }
  return val_str(str);
}


4266 4267 4268 4269 4270 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280 4281 4282 4283
my_decimal *Item_ref::val_decimal_result(my_decimal *decimal_value)
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
      return 0;
    return result_field->val_decimal(decimal_value);
  }
  return val_decimal(decimal_value);
}


bool Item_ref::val_bool_result()
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
      return 0;
4284
    switch (result_field->result_type()) {
4285
    case INT_RESULT:
4286
      return result_field->val_int() != 0;
4287
    case DECIMAL_RESULT:
4288 4289 4290 4291 4292 4293 4294
    {
      my_decimal decimal_value;
      my_decimal *val= result_field->val_decimal(&decimal_value);
      if (val)
        return !my_decimal_is_zero(val);
      return 0;
    }
4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311 4312 4313 4314 4315 4316 4317 4318 4319 4320 4321 4322 4323 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 4334 4335 4336 4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348 4349 4350 4351 4352 4353 4354 4355 4356 4357 4358
    case REAL_RESULT:
    case STRING_RESULT:
      return result_field->val_real() != 0.0;
    case ROW_RESULT:
    default:
      DBUG_ASSERT(0);
    }
  }
  return val_bool();
}


double Item_ref::val_real()
{
  DBUG_ASSERT(fixed);
  double tmp=(*ref)->val_result();
  null_value=(*ref)->null_value;
  return tmp;
}


longlong Item_ref::val_int()
{
  DBUG_ASSERT(fixed);
  longlong tmp=(*ref)->val_int_result();
  null_value=(*ref)->null_value;
  return tmp;
}


bool Item_ref::val_bool()
{
  DBUG_ASSERT(fixed);
  bool tmp= (*ref)->val_bool_result();
  null_value= (*ref)->null_value;
  return tmp;
}


String *Item_ref::val_str(String* tmp)
{
  DBUG_ASSERT(fixed);
  tmp=(*ref)->str_result(tmp);
  null_value=(*ref)->null_value;
  return tmp;
}


bool Item_ref::is_null()
{
  DBUG_ASSERT(fixed);
  (void) (*ref)->val_int_result();
  return (*ref)->null_value;
}


bool Item_ref::get_date(TIME *ltime,uint fuzzydate)
{
  return (null_value=(*ref)->get_date_result(ltime,fuzzydate));
}


my_decimal *Item_ref::val_decimal(my_decimal *decimal_value)
{
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
4359
  my_decimal *val= (*ref)->val_decimal_result(decimal_value);
4360 4361 4362 4363
  null_value= (*ref)->null_value;
  return val;
}

4364 4365 4366 4367 4368 4369 4370 4371 4372 4373 4374 4375 4376 4377 4378 4379 4380 4381 4382 4383 4384 4385
int Item_ref::save_in_field(Field *to, bool no_conversions)
{
  int res;
  if(result_field){
    if (result_field->is_null())
    {
      null_value= 1;
      return set_field_to_null_with_conversions(to, no_conversions);
    }
    else
    {
      to->set_notnull();
      field_conv(to, result_field);
      null_value= 0;
    }
    return 0;
  }
  res= (*ref)->save_in_field(to, no_conversions);
  null_value= (*ref)->null_value;
  return res;
}

4386

4387 4388
void Item_ref_null_helper::print(String *str)
{
4389
  str->append("<ref_null_helper>(", 18);
4390 4391 4392 4393 4394 4395 4396 4397
  if (ref && *ref)
    (*ref)->print(str);
  else
    str->append('?');
  str->append(')');
}


4398 4399 4400 4401 4402 4403 4404 4405 4406 4407 4408 4409 4410 4411 4412 4413 4414 4415 4416 4417 4418 4419 4420 4421 4422 4423 4424 4425 4426 4427 4428 4429 4430 4431 4432 4433 4434 4435 4436 4437 4438 4439
double Item_direct_ref::val_real()
{
  double tmp=(*ref)->val_real();
  null_value=(*ref)->null_value;
  return tmp;
}


longlong Item_direct_ref::val_int()
{
  longlong tmp=(*ref)->val_int();
  null_value=(*ref)->null_value;
  return tmp;
}


String *Item_direct_ref::val_str(String* tmp)
{
  tmp=(*ref)->val_str(tmp);
  null_value=(*ref)->null_value;
  return tmp;
}


my_decimal *Item_direct_ref::val_decimal(my_decimal *decimal_value)
{
  my_decimal *tmp= (*ref)->val_decimal(decimal_value);
  null_value=(*ref)->null_value;
  return tmp;
}


bool Item_direct_ref::val_bool()
{
  bool tmp= (*ref)->val_bool();
  null_value=(*ref)->null_value;
  return tmp;
}


bool Item_direct_ref::is_null()
{
monty@mysql.com's avatar
monty@mysql.com committed
4440
  return (*ref)->is_null();
4441 4442 4443 4444 4445 4446 4447 4448 4449
}


bool Item_direct_ref::get_date(TIME *ltime,uint fuzzydate)
{
  return (null_value=(*ref)->get_date(ltime,fuzzydate));
}


4450 4451
void Item_null_helper::print(String *str)
{
4452
  str->append("<null_helper>(", 14);
4453 4454 4455 4456 4457
  store->print(str);
  str->append(')');
}


hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4458 4459
bool Item_default_value::eq(const Item *item, bool binary_cmp) const
{
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4460
  return item->type() == DEFAULT_VALUE_ITEM && 
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4461 4462 4463
    ((Item_default_value *)item)->arg->eq(arg, binary_cmp);
}

4464

4465 4466 4467
bool Item_default_value::fix_fields(THD *thd,
				    struct st_table_list *table_list,
				    Item **items)
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4468
{
4469
  Item *real_arg;
4470 4471
  Item_field *field_arg;
  Field *def_field;
4472
  DBUG_ASSERT(fixed == 0);
4473

hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4474
  if (!arg)
4475 4476
  {
    fixed= 1;
4477
    return FALSE;
4478
  }
4479
  if (!arg->fixed && arg->fix_fields(thd, table_list, &arg))
4480
    return TRUE;
4481

4482 4483
  real_arg= arg->real_item();
  if (real_arg->type() != FIELD_ITEM)
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4484
  {
4485 4486
    my_error(ER_NO_DEFAULT_FOR_FIELD, MYF(0), arg->name);
    return TRUE;
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4487
  }
4488

4489
  field_arg= (Item_field *)real_arg;
4490 4491
  if (field_arg->field->flags & NO_DEFAULT_VALUE_FLAG)
  {
4492
    my_error(ER_NO_DEFAULT_FOR_FIELD, MYF(0), field_arg->field->field_name);
4493
    return TRUE;
4494 4495
  }
  if (!(def_field= (Field*) sql_alloc(field_arg->field->size_of())))
4496
    return TRUE;
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4497
  memcpy(def_field, field_arg->field, field_arg->field->size_of());
4498
  def_field->move_field(def_field->table->s->default_values -
4499
                        def_field->table->record[0]);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4500
  set_field(def_field);
4501
  return FALSE;
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4502 4503
}

4504

hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4505 4506
void Item_default_value::print(String *str)
{
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4507 4508
  if (!arg)
  {
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
4509
    str->append("default", 7);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4510
    return;
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4511
  }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
4512
  str->append("default(", 8);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
4513 4514 4515
  arg->print(str);
  str->append(')');
}
4516

4517 4518 4519 4520 4521 4522 4523 4524 4525 4526 4527 4528 4529 4530 4531 4532 4533 4534 4535 4536 4537

int Item_default_value::save_in_field(Field *field_arg, bool no_conversions)
{
  if (!arg)
  {
    if (field_arg->flags & NO_DEFAULT_VALUE_FLAG)
    {
      push_warning_printf(field_arg->table->in_use,
                          MYSQL_ERROR::WARN_LEVEL_WARN,
                          ER_NO_DEFAULT_FOR_FIELD,
                          ER(ER_NO_DEFAULT_FOR_FIELD),
                          field_arg->field_name);
      return 1;
    }
    field_arg->set_default();
    return 0;
  }
  return Item_field::save_in_field(field_arg, no_conversions);
}


4538 4539 4540 4541 4542 4543 4544
bool Item_insert_value::eq(const Item *item, bool binary_cmp) const
{
  return item->type() == INSERT_VALUE_ITEM &&
    ((Item_default_value *)item)->arg->eq(arg, binary_cmp);
}


4545 4546 4547
bool Item_insert_value::fix_fields(THD *thd,
				   struct st_table_list *table_list,
				   Item **items)
4548
{
4549
  DBUG_ASSERT(fixed == 0);
4550
  if (!arg->fixed && arg->fix_fields(thd, table_list, &arg))
4551
    return TRUE;
4552

4553 4554 4555 4556 4557
  if (arg->type() == REF_ITEM)
  {
    Item_ref *ref= (Item_ref *)arg;
    if (ref->ref[0]->type() != FIELD_ITEM)
    {
4558
      return TRUE;
4559 4560 4561 4562 4563 4564 4565 4566
    }
    arg= ref->ref[0];
  }
  Item_field *field_arg= (Item_field *)arg;
  if (field_arg->field->table->insert_values)
  {
    Field *def_field= (Field*) sql_alloc(field_arg->field->size_of());
    if (!def_field)
4567
      return TRUE;
4568 4569 4570 4571 4572 4573 4574
    memcpy(def_field, field_arg->field, field_arg->field->size_of());
    def_field->move_field(def_field->table->insert_values -
                          def_field->table->record[0]);
    set_field(def_field);
  }
  else
  {
4575
    Field *tmp_field= field_arg->field;
4576
    /* charset doesn't matter here, it's to avoid sigsegv only */
4577 4578
    set_field(new Field_null(0, 0, Field::NONE, tmp_field->field_name,
			     tmp_field->table, &my_charset_bin));
4579
  }
4580
  return FALSE;
4581 4582 4583 4584
}

void Item_insert_value::print(String *str)
{
4585
  str->append("values(", 7);
4586 4587 4588 4589
  arg->print(str);
  str->append(')');
}

4590 4591

/*
4592 4593
  Find index of Field object which will be appropriate for item
  representing field of row being changed in trigger.
4594 4595 4596 4597 4598 4599 4600 4601

  SYNOPSIS
    setup_field()
      thd   - current thread context
      table - table of trigger (and where we looking for fields)

  NOTE
    This function does almost the same as fix_fields() for Item_field
4602 4603 4604 4605 4606 4607 4608 4609
    but is invoked right after trigger definition parsing. Since at
    this stage we can't say exactly what Field object (corresponding
    to TABLE::record[0] or TABLE::record[1]) should be bound to this
    Item, we only find out index of the Field and then select concrete
    Field object in fix_fields() (by that time Table_trigger_list::old_field/
    new_field should point to proper array of Fields).
    It also binds Item_trigger_field to Table_triggers_list object for
    table of trigger which uses this item.
4610
*/
4611 4612

void Item_trigger_field::setup_field(THD *thd, TABLE *table)
4613 4614 4615 4616 4617
{
  bool save_set_query_id= thd->set_query_id;

  /* TODO: Think more about consequences of this step. */
  thd->set_query_id= 0;
4618 4619 4620 4621
  /*
    Try to find field by its name and if it will be found
    set field_idx properly.
  */
4622 4623
  (void)find_field_in_real_table(thd, table, field_name,
                                 (uint) strlen(field_name),
4624
                                 0, 0, &field_idx);
4625
  thd->set_query_id= save_set_query_id;
4626
  triggers= table->triggers;
4627 4628 4629 4630 4631 4632 4633 4634 4635 4636 4637 4638 4639 4640 4641 4642 4643 4644 4645 4646 4647 4648 4649
}


bool Item_trigger_field::eq(const Item *item, bool binary_cmp) const
{
  return item->type() == TRIGGER_FIELD_ITEM &&
         row_version == ((Item_trigger_field *)item)->row_version &&
         !my_strcasecmp(system_charset_info, field_name,
                        ((Item_trigger_field *)item)->field_name);
}


bool Item_trigger_field::fix_fields(THD *thd,
                                    TABLE_LIST *table_list,
                                    Item **items)
{
  /*
    Since trigger is object tightly associated with TABLE object most
    of its set up can be performed during trigger loading i.e. trigger
    parsing! So we have little to do in fix_fields. :)
    FIXME may be we still should bother about permissions here.
  */
  DBUG_ASSERT(fixed == 0);
4650

4651
  if (field_idx != (uint)-1)
4652
  {
4653 4654
    field= (row_version == OLD_ROW) ? triggers->old_field[field_idx] :
                                      triggers->new_field[field_idx];
4655 4656 4657 4658 4659 4660 4661 4662
    set_field(field);
    fixed= 1;
    return 0;
  }

  my_error(ER_BAD_FIELD_ERROR, MYF(0), field_name,
           (row_version == NEW_ROW) ? "NEW" : "OLD");
  return 1;
4663 4664 4665 4666 4667 4668 4669 4670 4671 4672 4673 4674 4675 4676 4677 4678 4679 4680 4681 4682 4683
}


void Item_trigger_field::print(String *str)
{
  str->append((row_version == NEW_ROW) ? "NEW" : "OLD", 3);
  str->append('.');
  str->append(field_name);
}


void Item_trigger_field::cleanup()
{
  /*
    Since special nature of Item_trigger_field we should not do most of
    things from Item_field::cleanup() or Item_ident::cleanup() here.
  */
  Item::cleanup();
}


bk@work.mysql.com's avatar
bk@work.mysql.com committed
4684
/*
4685 4686
  If item is a const function, calculate it and return a const item
  The original item is freed if not returned
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4687 4688 4689 4690 4691 4692
*/

Item_result item_cmp_type(Item_result a,Item_result b)
{
  if (a == STRING_RESULT && b == STRING_RESULT)
    return STRING_RESULT;
4693
  if (a == INT_RESULT && b == INT_RESULT)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4694
    return INT_RESULT;
4695 4696
  else if (a == ROW_RESULT || b == ROW_RESULT)
    return ROW_RESULT;
4697 4698 4699
  if ((a == INT_RESULT || a == DECIMAL_RESULT) &&
      (b == INT_RESULT || b == DECIMAL_RESULT))
    return DECIMAL_RESULT;
4700
  return REAL_RESULT;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4701 4702 4703
}


4704
void resolve_const_item(THD *thd, Item **ref, Item *comp_item)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4705
{
4706 4707
  Item *item= *ref;
  Item *new_item;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4708
  if (item->basic_const_item())
4709
    return;                                     // Can't be better
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4710 4711 4712 4713
  Item_result res_type=item_cmp_type(comp_item->result_type(),
				     item->result_type());
  char *name=item->name;			// Alloced by sql_alloc

4714
  switch (res_type) {
4715
  case STRING_RESULT:
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4716 4717
  {
    char buff[MAX_FIELD_WIDTH];
4718
    String tmp(buff,sizeof(buff),&my_charset_bin),*result;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4719 4720
    result=item->val_str(&tmp);
    if (item->null_value)
4721 4722 4723 4724 4725 4726 4727
      new_item= new Item_null(name);
    else
    {
      uint length= result->length();
      char *tmp_str= sql_strmake(result->ptr(), length);
      new_item= new Item_string(name, tmp_str, length, result->charset());
    }
4728
    break;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4729
  }
4730
  case INT_RESULT:
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4731 4732 4733 4734
  {
    longlong result=item->val_int();
    uint length=item->max_length;
    bool null_value=item->null_value;
4735 4736
    new_item= (null_value ? (Item*) new Item_null(name) :
               (Item*) new Item_int(name, result, length));
4737
    break;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4738
  }
4739
  case REAL_RESULT:
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4740
  {						// It must REAL_RESULT
4741
    double result= item->val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4742 4743
    uint length=item->max_length,decimals=item->decimals;
    bool null_value=item->null_value;
4744
    new_item= (null_value ? (Item*) new Item_null(name) : (Item*)
4745 4746 4747 4748 4749 4750 4751 4752 4753 4754 4755 4756 4757 4758 4759 4760 4761
               new Item_float(name, result, decimals, length));
    break;
  }
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value;
    my_decimal *result= item->val_decimal(&decimal_value);
    uint length= item->max_length, decimals= item->decimals;
    bool null_value= item->null_value;
    new_item= (null_value ?
               (Item*) new Item_null(name) :
               (Item*) new Item_decimal(name, result, length, decimals));
    break;
  }
  case ROW_RESULT:
  default:
    DBUG_ASSERT(0);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4762
  }
4763 4764
  if (new_item)
    thd->change_item_tree(ref, new_item);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4765 4766 4767 4768 4769 4770 4771 4772 4773 4774 4775 4776 4777 4778 4779 4780 4781
}

/*
  Return true if the value stored in the field is equal to the const item
  We need to use this on the range optimizer because in some cases
  we can't store the value in the field without some precision/character loss.
*/

bool field_is_equal_to_item(Field *field,Item *item)
{

  Item_result res_type=item_cmp_type(field->result_type(),
				     item->result_type());
  if (res_type == STRING_RESULT)
  {
    char item_buff[MAX_FIELD_WIDTH];
    char field_buff[MAX_FIELD_WIDTH];
4782 4783
    String item_tmp(item_buff,sizeof(item_buff),&my_charset_bin),*item_result;
    String field_tmp(field_buff,sizeof(field_buff),&my_charset_bin);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4784 4785 4786
    item_result=item->val_str(&item_tmp);
    if (item->null_value)
      return 1;					// This must be true
4787
    field->val_str(&field_tmp);
monty@mysql.com's avatar
monty@mysql.com committed
4788
    return !stringcmp(&field_tmp,item_result);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4789 4790 4791
  }
  if (res_type == INT_RESULT)
    return 1;					// Both where of type int
4792 4793 4794 4795 4796 4797 4798 4799 4800 4801
  if (res_type == DECIMAL_RESULT)
  {
    my_decimal item_buf, *item_val,
               field_buf, *field_val;
    item_val= item->val_decimal(&item_buf);
    if (item->null_value)
      return 1;					// This must be true
    field_val= field->val_decimal(&field_buf);
    return !my_decimal_cmp(item_val, field_val);
  }
4802
  double result= item->val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4803 4804 4805 4806 4807
  if (item->null_value)
    return 1;
  return result == field->val_real();
}

4808 4809
Item_cache* Item_cache::get_cache(Item_result type)
{
4810
  switch (type) {
4811 4812 4813 4814
  case INT_RESULT:
    return new Item_cache_int();
  case REAL_RESULT:
    return new Item_cache_real();
4815 4816
  case DECIMAL_RESULT:
    return new Item_cache_decimal();
4817 4818
  case STRING_RESULT:
    return new Item_cache_str();
4819 4820
  case ROW_RESULT:
    return new Item_cache_row();
4821 4822 4823 4824 4825 4826 4827
  default:
    // should never be in real life
    DBUG_ASSERT(0);
    return 0;
  }
}

4828 4829 4830

void Item_cache::print(String *str)
{
4831
  str->append("<cache>(", 8);
4832 4833 4834 4835 4836 4837 4838 4839 4840 4841 4842 4843
  if (example)
    example->print(str);
  else
    Item::print(str);
  str->append(')');
}


void Item_cache_int::store(Item *item)
{
  value= item->val_int_result();
  null_value= item->null_value;
4844 4845 4846 4847 4848 4849 4850 4851 4852 4853 4854 4855 4856 4857 4858 4859 4860
  unsigned_flag= item->unsigned_flag;
}


String *Item_cache_int::val_str(String *str)
{
  DBUG_ASSERT(fixed == 1);
  str->set(value, default_charset());
  return str;
}


my_decimal *Item_cache_int::val_decimal(my_decimal *decimal_val)
{
  DBUG_ASSERT(fixed == 1);
  int2my_decimal(E_DEC_FATAL_ERROR, value, unsigned_flag, decimal_val);
  return decimal_val;
4861 4862 4863 4864 4865 4866 4867 4868 4869 4870
}


void Item_cache_real::store(Item *item)
{
  value= item->val_result();
  null_value= item->null_value;
}


4871 4872 4873 4874 4875 4876 4877 4878 4879 4880 4881 4882 4883 4884 4885 4886 4887 4888 4889 4890 4891 4892 4893 4894 4895 4896
longlong Item_cache_real::val_int()
{
  DBUG_ASSERT(fixed == 1);
  return (longlong) (value+(value > 0 ? 0.5 : -0.5));
}


String* Item_cache_real::val_str(String *str)
{
  DBUG_ASSERT(fixed == 1);
  str->set(value, decimals, default_charset());
  return str;
}


my_decimal *Item_cache_real::val_decimal(my_decimal *decimal_val)
{
  DBUG_ASSERT(fixed == 1);
  double2my_decimal(E_DEC_FATAL_ERROR, value, decimal_val);
  return decimal_val;
}


void Item_cache_decimal::store(Item *item)
{
  my_decimal *val= item->val_decimal_result(&decimal_value);
4897
  if (!(null_value= item->null_value) && val != &decimal_value)
4898 4899 4900 4901 4902 4903 4904 4905 4906 4907 4908 4909 4910 4911 4912 4913 4914 4915 4916 4917 4918 4919 4920 4921 4922 4923 4924 4925 4926 4927 4928 4929 4930 4931 4932
    my_decimal2decimal(val, &decimal_value);
}

double Item_cache_decimal::val_real()
{
  DBUG_ASSERT(fixed);
  double res;
  my_decimal2double(E_DEC_FATAL_ERROR, &decimal_value, &res);
  return res;
}

longlong Item_cache_decimal::val_int()
{
  DBUG_ASSERT(fixed);
  longlong res;
  my_decimal2int(E_DEC_FATAL_ERROR, &decimal_value, unsigned_flag, &res);
  return res;
}

String* Item_cache_decimal::val_str(String *str)
{
  DBUG_ASSERT(fixed);
  my_decimal_round(E_DEC_FATAL_ERROR, &decimal_value, decimals, FALSE,
                   &decimal_value);
  my_decimal2string(E_DEC_FATAL_ERROR, &decimal_value, 0, 0, 0, str);
  return str;
}

my_decimal *Item_cache_decimal::val_decimal(my_decimal *val)
{
  DBUG_ASSERT(fixed);
  return &decimal_value;
}


4933 4934
void Item_cache_str::store(Item *item)
{
bell@sanja.is.com.ua's avatar
merge  
bell@sanja.is.com.ua committed
4935
  value_buff.set(buffer, sizeof(buffer), item->collation.collation);
4936
  value= item->str_result(&value_buff);
4937 4938
  if ((null_value= item->null_value))
    value= 0;
4939
  else if (value != &value_buff)
4940 4941 4942 4943 4944 4945 4946 4947 4948
  {
    /*
      We copy string value to avoid changing value if 'item' is table field
      in queries like following (where t1.c is varchar):
      select a, 
             (select a,b,c from t1 where t1.a=t2.a) = ROW(a,2,'a'),
             (select c from t1 where a=t2.a)
        from t2;
    */
4949 4950
    value_buff.copy(*value);
    value= &value_buff;
4951 4952
  }
}
4953

4954
double Item_cache_str::val_real()
4955 4956
{
  DBUG_ASSERT(fixed == 1);
4957 4958
  int err_not_used;
  char *end_not_used;
4959
  if (value)
4960
    return my_strntod(value->charset(), (char*) value->ptr(),
4961 4962
		      value->length(), &end_not_used, &err_not_used);
  return (double) 0;
4963
}
4964 4965


4966 4967
longlong Item_cache_str::val_int()
{
4968
  DBUG_ASSERT(fixed == 1);
4969
  int err;
4970 4971
  if (value)
    return my_strntoll(value->charset(), value->ptr(),
4972
		       value->length(), 10, (char**) 0, &err);
4973 4974 4975
  else
    return (longlong)0;
}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
4976

4977 4978 4979 4980 4981 4982 4983 4984 4985 4986
my_decimal *Item_cache_str::val_decimal(my_decimal *decimal_val)
{
  DBUG_ASSERT(fixed == 1);
  if (value)
    string2my_decimal(E_DEC_FATAL_ERROR, value, decimal_val);
  else
    decimal_val= 0;
  return decimal_val;
}

4987

4988 4989
bool Item_cache_row::allocate(uint num)
{
4990
  item_count= num;
4991
  THD *thd= current_thd;
4992 4993
  return (!(values= 
	    (Item_cache **) thd->calloc(sizeof(Item_cache *)*item_count)));
4994 4995
}

4996

4997 4998
bool Item_cache_row::setup(Item * item)
{
4999
  example= item;
5000 5001
  if (!values && allocate(item->cols()))
    return 1;
5002
  for (uint i= 0; i < item_count; i++)
5003
  {
5004
    Item *el= item->el(i);
5005 5006
    Item_cache *tmp;
    if (!(tmp= values[i]= Item_cache::get_cache(el->result_type())))
5007
      return 1;
5008
    tmp->setup(el);
5009 5010 5011 5012
  }
  return 0;
}

5013

5014 5015 5016 5017
void Item_cache_row::store(Item * item)
{
  null_value= 0;
  item->bring_value();
5018
  for (uint i= 0; i < item_count; i++)
5019 5020 5021 5022 5023 5024
  {
    values[i]->store(item->el(i));
    null_value|= values[i]->null_value;
  }
}

5025

5026 5027 5028 5029 5030
void Item_cache_row::illegal_method_call(const char *method)
{
  DBUG_ENTER("Item_cache_row::illegal_method_call");
  DBUG_PRINT("error", ("!!! %s method was called for row item", method));
  DBUG_ASSERT(0);
5031
  my_error(ER_OPERAND_COLUMNS, MYF(0), 1);
5032 5033 5034
  DBUG_VOID_RETURN;
}

5035

5036 5037
bool Item_cache_row::check_cols(uint c)
{
5038
  if (c != item_count)
5039
  {
5040
    my_error(ER_OPERAND_COLUMNS, MYF(0), c);
5041 5042 5043 5044 5045
    return 1;
  }
  return 0;
}

5046

5047 5048
bool Item_cache_row::null_inside()
{
5049
  for (uint i= 0; i < item_count; i++)
5050 5051 5052 5053 5054 5055 5056 5057 5058 5059 5060 5061 5062 5063 5064 5065
  {
    if (values[i]->cols() > 1)
    {
      if (values[i]->null_inside())
	return 1;
    }
    else
    {
      values[i]->val_int();
      if (values[i]->null_value)
	return 1;
    }
  }
  return 0;
}

5066

5067 5068
void Item_cache_row::bring_value()
{
5069
  for (uint i= 0; i < item_count; i++)
5070 5071 5072
    values[i]->bring_value();
  return;
}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
5073

5074

5075 5076
Item_type_holder::Item_type_holder(THD *thd, Item *item)
  :Item(thd, item), enum_set_typelib(0), fld_type(get_real_type(item))
5077 5078
{
  DBUG_ASSERT(item->fixed);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5079

5080
  max_length= display_length(item);
5081
  maybe_null= item->maybe_null;
5082
  collation.set(item->collation);
5083
  get_full_info(item);
5084 5085 5086
  /* fix variable decimals which always is NOT_FIXED_DEC */
  if (Field::result_merge_type(fld_type) == INT_RESULT)
    decimals= 0;
5087
  prev_decimal_int_part= item->decimal_int_part();
5088 5089 5090
}


5091
/*
5092
  Return expression type of Item_type_holder
5093 5094

  SYNOPSIS
5095
    Item_type_holder::result_type()
5096 5097

  RETURN
5098
     Item_result (type of internal MySQL expression result)
5099 5100
*/

5101
Item_result Item_type_holder::result_type() const
5102
{
5103
  return Field::result_merge_type(fld_type);
5104
}
5105

5106

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5107
/*
5108
  Find real field type of item
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5109 5110

  SYNOPSIS
5111
    Item_type_holder::get_real_type()
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5112 5113

  RETURN
5114
    type of field which should be created to store item value
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5115 5116
*/

5117
enum_field_types Item_type_holder::get_real_type(Item *item)
5118
{
5119
  switch(item->type())
5120
  {
5121
  case FIELD_ITEM:
5122
  {
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5123
    /*
5124 5125
      Item_fields::field_type ask Field_type() but sometimes field return
      a different type, like for enum/set, so we need to ask real type.
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5126
    */
5127 5128 5129 5130 5131 5132
    Field *field= ((Item_field *) item)->field;
    enum_field_types type= field->real_type();
    /* work around about varchar type field detection */
    if (type == MYSQL_TYPE_STRING && field->type() == MYSQL_TYPE_VAR_STRING)
      return MYSQL_TYPE_VAR_STRING;
    return type;
5133
  }
5134
  case SUM_FUNC_ITEM:
5135
  {
5136 5137 5138 5139
    /*
      Argument of aggregate function sometimes should be asked about field
      type
    */
5140 5141
    Item_sum *item_sum= (Item_sum *) item;
    if (item_sum->keep_field_type())
5142 5143 5144 5145
      return get_real_type(item_sum->args[0]);
    break;
  }
  case FUNC_ITEM:
5146
    if (((Item_func *) item)->functype() == Item_func::GUSERVAR_FUNC)
5147
    {
5148
      /*
5149 5150 5151 5152
        There are work around of problem with changing variable type on the
        fly and variable always report "string" as field type to get
        acceptable information for client in send_field, so we make field
        type from expression type.
5153
      */
5154 5155 5156 5157 5158 5159 5160 5161
      switch (item->result_type())
      {
      case STRING_RESULT:
        return MYSQL_TYPE_VAR_STRING;
      case INT_RESULT:
        return MYSQL_TYPE_LONGLONG;
      case REAL_RESULT:
        return MYSQL_TYPE_DOUBLE;
5162 5163
      case DECIMAL_RESULT:
        return MYSQL_TYPE_NEWDECIMAL;
5164 5165 5166 5167 5168
      case ROW_RESULT:
      default:
        DBUG_ASSERT(0);
        return MYSQL_TYPE_VAR_STRING;
      }
5169
    }
5170 5171 5172
    break;
  default:
    break;
5173
  }
5174
  return item->field_type();
5175 5176
}

5177
/*
5178 5179
  Find field type which can carry current Item_type_holder type and
  type of given Item.
5180 5181

  SYNOPSIS
5182 5183 5184
    Item_type_holder::join_types()
    thd     thread handler
    item    given item to join its parameters with this item ones
5185 5186

  RETURN
5187 5188
    TRUE   error - types are incompatible
    FALSE  OK
5189 5190
*/

5191
bool Item_type_holder::join_types(THD *thd, Item *item)
5192
{
5193 5194 5195 5196 5197 5198 5199
  DBUG_ENTER("Item_type_holder::join_types");
  DBUG_PRINT("info:", ("was type %d len %d, dec %d name %s",
                       fld_type, max_length, decimals,
                       (name ? name : "<NULL>")));
  DBUG_PRINT("info:", ("in type %d len %d, dec %d",
                       get_real_type(item),
                       item->max_length, item->decimals));
5200
  fld_type= Field::field_type_merge(fld_type, get_real_type(item));
5201
  {
5202 5203 5204 5205 5206
    int item_decimals= item->decimals;
    /* fix variable decimals which always is NOT_FIXED_DEC */
    if (Field::result_merge_type(fld_type) == INT_RESULT)
      item_decimals= 0;
    decimals= max(decimals, item_decimals);
5207
  }
5208
  if (Field::result_merge_type(fld_type) == DECIMAL_RESULT)
5209
  {
5210 5211 5212 5213 5214 5215
    decimals= min(max(decimals, item->decimals), DECIMAL_MAX_SCALE);
    int precision= min(max(prev_decimal_int_part, item->decimal_int_part())
                       + decimals, DECIMAL_MAX_PRECISION);
    unsigned_flag&= item->unsigned_flag;
    max_length= my_decimal_precision_to_length(precision, decimals,
                                               unsigned_flag);
5216
  }
5217 5218
  else
    max_length= max(max_length, display_length(item));
5219
  if (Field::result_merge_type(fld_type) == STRING_RESULT)
5220
  {
5221
    const char *old_cs, *old_derivation;
5222 5223
    old_cs= collation.collation->name;
    old_derivation= collation.derivation_name();
5224
    if (collation.aggregate(item->collation))
5225
    {
5226
      my_error(ER_CANT_AGGREGATE_2COLLATIONS, MYF(0),
5227 5228 5229 5230
	       old_cs, old_derivation,
	       item->collation.collation->name,
	       item->collation.derivation_name(),
	       "UNION");
5231
      DBUG_RETURN(TRUE);
5232
    }
5233
  }
5234 5235
  maybe_null|= item->maybe_null;
  get_full_info(item);
5236 5237 5238

  /* Remember decimal integer part to be used in DECIMAL_RESULT handleng */
  prev_decimal_int_part= decimal_int_part();
5239 5240
  DBUG_PRINT("info", ("become type: %d  len: %u  dec: %u",
                      (int) fld_type, max_length, (uint) decimals));
5241
  DBUG_RETURN(FALSE);
5242 5243
}

5244 5245
/*
  Calculate lenth for merging result for given Item type
5246

5247 5248 5249
  SYNOPSIS
    Item_type_holder::real_length()
    item  Item for lrngth detection
5250

5251 5252 5253
  RETURN
    length
*/
5254

5255
uint32 Item_type_holder::display_length(Item *item)
5256 5257
{
  if (item->type() == Item::FIELD_ITEM)
5258
    return ((Item_field *)item)->max_disp_length();
5259

5260
  switch (item->field_type())
5261
  {
5262 5263 5264 5265 5266 5267 5268
  case MYSQL_TYPE_DECIMAL:
  case MYSQL_TYPE_TIMESTAMP:
  case MYSQL_TYPE_DATE:
  case MYSQL_TYPE_TIME:
  case MYSQL_TYPE_DATETIME:
  case MYSQL_TYPE_YEAR:
  case MYSQL_TYPE_NEWDATE:
5269 5270 5271
  case MYSQL_TYPE_VARCHAR:
  case MYSQL_TYPE_BIT:
  case MYSQL_TYPE_NEWDECIMAL:
5272 5273 5274 5275 5276 5277 5278 5279 5280
  case MYSQL_TYPE_ENUM:
  case MYSQL_TYPE_SET:
  case MYSQL_TYPE_TINY_BLOB:
  case MYSQL_TYPE_MEDIUM_BLOB:
  case MYSQL_TYPE_LONG_BLOB:
  case MYSQL_TYPE_BLOB:
  case MYSQL_TYPE_VAR_STRING:
  case MYSQL_TYPE_STRING:
  case MYSQL_TYPE_GEOMETRY:
5281
    return item->max_length;
5282 5283 5284 5285 5286 5287 5288 5289 5290
  case MYSQL_TYPE_TINY:
    return 4;
  case MYSQL_TYPE_SHORT:
    return 6;
  case MYSQL_TYPE_LONG:
    return 11;
  case MYSQL_TYPE_FLOAT:
    return 25;
  case MYSQL_TYPE_DOUBLE:
5291
    return 53;
5292 5293 5294
  case MYSQL_TYPE_NULL:
    return 4;
  case MYSQL_TYPE_LONGLONG:
5295
    return 20;
5296 5297
  case MYSQL_TYPE_INT24:
    return 8;
5298 5299 5300 5301 5302
  default:
    DBUG_ASSERT(0); // we should never go there
    return 0;
  }
}
5303

5304 5305 5306 5307 5308 5309 5310 5311 5312 5313 5314 5315 5316 5317 5318

/*
  Make temporary table field according collected information about type
  of UNION result

  SYNOPSIS
    Item_type_holder::make_field_by_type()
    table  temporary table for which we create fields

  RETURN
    created field
*/

Field *Item_type_holder::make_field_by_type(TABLE *table)
{
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5319 5320 5321 5322 5323
  /*
    The field functions defines a field to be not null if null_ptr is not 0
  */
  uchar *null_ptr= maybe_null ? (uchar*) "" : 0;
  switch (fld_type)
5324
  {
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5325
  case MYSQL_TYPE_ENUM:
5326
    DBUG_ASSERT(enum_set_typelib);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
5327 5328 5329 5330 5331 5332 5333 5334 5335 5336 5337 5338
    return new Field_enum((char *) 0, max_length, null_ptr, 0,
                          Field::NONE, name,
                          table, get_enum_pack_length(enum_set_typelib->count),
                          enum_set_typelib, collation.collation);
  case MYSQL_TYPE_SET:
    DBUG_ASSERT(enum_set_typelib);
    return new Field_set((char *) 0, max_length, null_ptr, 0,
                         Field::NONE, name,
                         table, get_set_pack_length(enum_set_typelib->count),
                         enum_set_typelib, collation.collation);
  default:
    break;
5339 5340 5341 5342 5343 5344 5345 5346 5347 5348 5349 5350 5351 5352 5353 5354 5355 5356 5357 5358 5359 5360 5361 5362 5363 5364 5365 5366 5367 5368 5369 5370 5371 5372 5373 5374 5375
  }
  return tmp_table_field_from_field_type(table);
}


/*
  Get full information from Item about enum/set fields to be able to create
  them later

  SYNOPSIS
    Item_type_holder::get_full_info
    item    Item for information collection
*/
void Item_type_holder::get_full_info(Item *item)
{
  if (fld_type == MYSQL_TYPE_ENUM ||
      fld_type == MYSQL_TYPE_SET)
  {
    /*
      We can have enum/set type after merging only if we have one enum/set
      field and number of NULL fields
    */
    DBUG_ASSERT((enum_set_typelib &&
                 get_real_type(item) == MYSQL_TYPE_NULL) ||
                (!enum_set_typelib &&
                 item->type() == Item::FIELD_ITEM &&
                 (get_real_type(item) == MYSQL_TYPE_ENUM ||
                  get_real_type(item) == MYSQL_TYPE_SET) &&
                 ((Field_enum*)((Item_field *) item)->field)->typelib));
    if (!enum_set_typelib)
    {
      enum_set_typelib= ((Field_enum*)((Item_field *) item)->field)->typelib;
    }
  }
}


5376
double Item_type_holder::val_real()
5377 5378 5379 5380 5381 5382 5383 5384 5385 5386 5387 5388
{
  DBUG_ASSERT(0); // should never be called
  return 0.0;
}


longlong Item_type_holder::val_int()
{
  DBUG_ASSERT(0); // should never be called
  return 0;
}

5389 5390 5391 5392 5393
my_decimal *Item_type_holder::val_decimal(my_decimal *)
{
  DBUG_ASSERT(0); // should never be called
  return 0;
}
5394 5395 5396 5397 5398 5399 5400

String *Item_type_holder::val_str(String*)
{
  DBUG_ASSERT(0); // should never be called
  return 0;
}

5401 5402 5403 5404 5405 5406 5407 5408
void Item_result_field::cleanup()
{
  DBUG_ENTER("Item_result_field::cleanup()");
  Item::cleanup();
  result_field= 0;
  DBUG_VOID_RETURN;
}

bk@work.mysql.com's avatar
bk@work.mysql.com committed
5409 5410 5411 5412
/*****************************************************************************
** Instantiate templates
*****************************************************************************/

5413
#ifdef EXPLICIT_TEMPLATE_INSTANTIATION
bk@work.mysql.com's avatar
bk@work.mysql.com committed
5414 5415
template class List<Item>;
template class List_iterator<Item>;
monty@tik.mysql.fi's avatar
monty@tik.mysql.fi committed
5416
template class List_iterator_fast<Item>;
5417
template class List_iterator_fast<Item_field>;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
5418 5419
template class List<List_item>;
#endif