item.cc 101 KB
Newer Older
unknown's avatar
unknown committed
1
/* Copyright (C) 2000 MySQL AB & MySQL Finland AB & TCX DataKonsult AB
unknown's avatar
unknown committed
2

unknown's avatar
unknown 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.
unknown's avatar
unknown committed
7

unknown's avatar
unknown 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.
unknown's avatar
unknown committed
12

unknown's avatar
unknown committed
13 14 15 16 17 18 19 20 21 22 23 24
   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 */


#ifdef __GNUC__
#pragma implementation				// gcc: Class implementation
#endif

#include "mysql_priv.h"
#include <m_ctype.h>
#include "my_dir.h"
25
#include "sp_rcontext.h"
26 27
#include "sp_head.h"
#include "sql_trigger.h"
28
#include "sql_select.h"
unknown's avatar
unknown committed
29

30 31
static void mark_as_dependent(THD *thd,
			      SELECT_LEX *last, SELECT_LEX *current,
unknown's avatar
unknown committed
32 33
			      Item_ident *item);

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

unknown's avatar
unknown committed
36 37 38 39 40 41 42 43 44 45 46
/*****************************************************************************
** Item functions
*****************************************************************************/

/* Init all special items */

void item_init(void)
{
  item_user_lock_init();
}

47
Item::Item():
unknown's avatar
merge  
unknown committed
48
  name(0), orig_name(0), name_length(0), fixed(0),
unknown's avatar
unknown committed
49
  collation(&my_charset_bin, DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
50
{
51
  marker= 0;
52
  maybe_null=null_value=with_sum_func=unsigned_flag=0;
53
  decimals= 0; max_length= 0;
54 55 56 57

  /* Put item in free list so that we can free all items at end */
  THD *thd= current_thd;
  next= thd->free_list;
58
  thd->free_list= this;
59
  /*
60
    Item constructor can be called during execution other then SQL_COM
61
    command => we should check thd->lex->current_select on zero (thd->lex
unknown's avatar
unknown committed
62
    can be uninitialised)
63
  */
unknown's avatar
unknown committed
64
  if (thd->lex->current_select)
65
  {
66
    enum_parsing_place place= 
unknown's avatar
unknown committed
67
      thd->lex->current_select->parsing_place;
68 69
    if (place == SELECT_LIST ||
	place == IN_HAVING)
unknown's avatar
unknown committed
70
      thd->lex->current_select->select_n_having_items++;
71
  }
unknown's avatar
unknown committed
72 73
}

74
/*
75
  Constructor used by Item_field, Item_*_ref & agregate (sum) functions.
76 77 78
  Used for duplicating lists in processing queries with temporary
  tables
*/
79 80 81
Item::Item(THD *thd, Item *item):
  str_value(item->str_value),
  name(item->name),
82
  orig_name(item->orig_name),
83 84 85 86 87 88 89 90 91
  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)
92
{
93
  next= thd->free_list;				// Put in free list
94
  thd->free_list= this;
95 96
}

unknown's avatar
unknown committed
97 98 99 100 101 102

void Item::print_item_w_name(String *str)
{
  print(str);
  if (name)
  {
103 104 105
    THD *thd= current_thd;
    str->append(" AS ", 4);
    append_identifier(thd, str, name, strlen(name));
unknown's avatar
unknown committed
106 107 108 109
  }
}


110 111 112
void Item::cleanup()
{
  DBUG_ENTER("Item::cleanup");
113
  DBUG_PRINT("info", ("Item: 0x%lx, Type: %d, name %s, original name %s",
114 115
		      this, (int)type(), name ? name : "(null)",
                      orig_name ? orig_name : "null"));
116
  fixed=0;
117
  marker= 0;
118 119
  if (orig_name)
    name= orig_name;
120 121 122
  DBUG_VOID_RETURN;
}

123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139

/*
  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;
}


140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159
/*
  rename item (used for views, cleanup() return original name)

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

void Item::rename(char *new_name)
{
  /*
    we can compare pointers to names here, bacause if name was not changed,
    pointer will be same
  */
  if (!orig_name && new_name != name)
    orig_name= name;
  name= new_name;
}


unknown's avatar
unknown committed
160 161
Item_ident::Item_ident(const char *db_name_par,const char *table_name_par,
		       const char *field_name_par)
unknown's avatar
unknown committed
162
  :orig_db_name(db_name_par), orig_table_name(table_name_par), 
163 164 165 166
   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),
167
   cached_table(0), depended_from(0)
unknown's avatar
unknown committed
168 169 170 171
{
  name = (char*) field_name_par;
}

172

unknown's avatar
unknown committed
173
/* Constructor used by Item_field & Item_*_ref (see Item comment) */
174

175 176
Item_ident::Item_ident(THD *thd, Item_ident *item)
  :Item(thd, item),
177 178 179
   orig_db_name(item->orig_db_name),
   orig_table_name(item->orig_table_name), 
   orig_field_name(item->orig_field_name),
180 181 182
   db_name(item->db_name),
   table_name(item->table_name),
   field_name(item->field_name),
183
   alias_name_used(item->alias_name_used),
184
   cached_field_index(item->cached_field_index),
185
   cached_table(item->cached_table),
186
   depended_from(item->depended_from)
187
{}
188

189 190
void Item_ident::cleanup()
{
unknown's avatar
unknown committed
191
  DBUG_ENTER("Item_ident::cleanup");
unknown's avatar
unknown committed
192
#ifdef CANT_BE_USED_AS_MEMORY_IS_FREED
193 194 195 196 197 198
		       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)"));
unknown's avatar
unknown committed
199
#endif
200
  Item::cleanup();
201 202 203
  db_name= orig_db_name; 
  table_name= orig_table_name;
  field_name= orig_field_name;
unknown's avatar
unknown committed
204
  DBUG_VOID_RETURN;
205 206
}

unknown's avatar
unknown committed
207 208 209 210 211
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;
212
  DBUG_RETURN(0);
unknown's avatar
unknown committed
213 214 215
}


216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233
/*
  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
234 235
    false to force the evaluation of collect_item_field_processor
          for the subsequent items.
236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254
*/

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))
      DBUG_RETURN(false); /* Already in the set. */
  }
  item_list->push_back(this);
  DBUG_RETURN(false);
}


unknown's avatar
unknown committed
255 256 257 258
bool Item::check_cols(uint c)
{
  if (c != 1)
  {
unknown's avatar
unknown committed
259
    my_error(ER_OPERAND_COLUMNS, MYF(0), c);
unknown's avatar
unknown committed
260 261 262 263 264
    return 1;
  }
  return 0;
}

unknown's avatar
unknown committed
265 266

void Item::set_name(const char *str, uint length, CHARSET_INFO *cs)
unknown's avatar
unknown committed
267 268 269
{
  if (!length)
  {
unknown's avatar
unknown committed
270 271
    /* Empty string, used by AS or internal function like last_insert_id() */
    name= (char*) str;
272
    name_length= 0;
unknown's avatar
unknown committed
273 274
    return;
  }
275 276
  if (cs->ctype)
  {
unknown's avatar
unknown committed
277 278 279 280
    /*
      This will probably need a better implementation in the future:
      a function in CHARSET_INFO structure.
    */
281 282 283 284 285
    while (length && !my_isgraph(cs,*str))
    {						// Fix problem with yacc
      length--;
      str++;
    }
unknown's avatar
unknown committed
286
  }
unknown's avatar
unknown committed
287 288 289
  if (!my_charset_same(cs, system_charset_info))
  {
    uint32 res_length;
290
    name= sql_strmake_with_convert(str, name_length= length, cs,
unknown's avatar
unknown committed
291 292 293 294
				   MAX_ALIAS_NAME, system_charset_info,
				   &res_length);
  }
  else
295
    name= sql_strmake(str, (name_length= min(length,MAX_ALIAS_NAME)));
unknown's avatar
unknown committed
296 297
}

unknown's avatar
unknown committed
298

299
/*
300 301 302
  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
303 304 305
*/

bool Item::eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
306 307
{
  return type() == item->type() && name && item->name &&
308
    !my_strcasecmp(system_charset_info,name,item->name);
unknown's avatar
unknown committed
309 310
}

unknown's avatar
unknown committed
311

312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346
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();
  return conv;
}


347 348 349 350 351
bool Item_string::eq(const Item *item, bool binary_cmp) const
{
  if (type() == item->type())
  {
    if (binary_cmp)
unknown's avatar
unknown committed
352
      return !stringcmp(&str_value, &item->str_value);
353
    return !sortcmp(&str_value, &item->str_value, collation.collation);
354 355 356 357 358
  }
  return 0;
}


unknown's avatar
unknown committed
359 360 361 362 363
/*
  Get the value of the function as a TIME structure.
  As a extra convenience the time structure is reset on error!
 */

364
bool Item::get_date(TIME *ltime,uint fuzzydate)
unknown's avatar
unknown committed
365 366
{
  char buff[40];
unknown's avatar
unknown committed
367
  String tmp(buff,sizeof(buff), &my_charset_bin),*res;
unknown's avatar
unknown committed
368
  if (!(res=val_str(&tmp)) ||
369 370
      str_to_datetime_with_warn(res->ptr(), res->length(),
                                ltime, fuzzydate) <= MYSQL_TIMESTAMP_ERROR)
unknown's avatar
unknown committed
371 372 373 374 375 376 377 378 379 380 381 382 383 384 385
  {
    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];
unknown's avatar
unknown committed
386
  String tmp(buff,sizeof(buff),&my_charset_bin),*res;
unknown's avatar
unknown committed
387
  if (!(res=val_str(&tmp)) ||
388
      str_to_time_with_warn(res->ptr(), res->length(), ltime))
unknown's avatar
unknown committed
389 390 391 392 393 394 395
  {
    bzero((char*) ltime,sizeof(*ltime));
    return 1;
  }
  return 0;
}

396
CHARSET_INFO *Item::default_charset()
397
{
unknown's avatar
unknown committed
398
  return current_thd->variables.collation_connection;
399 400
}

401

402 403 404 405 406 407 408 409 410 411 412 413
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;
}


414 415 416 417 418 419
Item *
Item_splocal::this_item()
{
  THD *thd= current_thd;

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

422 423 424 425 426 427 428 429
Item *
Item_splocal::this_const_item() const
{
  THD *thd= current_thd;

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

430 431 432 433 434 435 436 437 438 439 440
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
}


441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477

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

   0 == DERIVATION_EXPLICIT  - an explicitely written COLLATE clause
   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)
478
{
479
  nagg++;
480
  if (!my_charset_same(collation, dt.collation))
481
  {
482 483 484
    /* 
       We do allow to use binary strings (like BLOBS)
       together with character strings.
unknown's avatar
unknown committed
485 486
       Binaries have more precedance than a character
       string of the same derivation.
487
    */
488
    if (collation == &my_charset_bin)
489
    {
490 491 492
      if (derivation <= dt.derivation)
	; // Do nothing
      else
493 494 495 496
      {
	set(dt); 
        strong= nagg;
      }
497
    }
498
    else if (dt.collation == &my_charset_bin)
499
    {
500
      if (dt.derivation <= derivation)
501
      {
502
        set(dt);
503 504
        strong= nagg;
      }
505 506
      else
       ; // Do nothing
507
    }
508 509 510
    else if ((flags & MY_COLL_ALLOW_SUPERSET_CONV) &&
             derivation < dt.derivation &&
             collation->state & MY_CS_UNICODE)
511
    {
512 513 514 515 516 517 518 519 520 521 522
      // Do nothing
    }
    else if ((flags & MY_COLL_ALLOW_SUPERSET_CONV) &&
             dt.derivation < derivation &&
             dt.collation->state & MY_CS_UNICODE)
    {
      set(dt);
      strong= nagg;
    }
    else if ((flags & MY_COLL_ALLOW_COERCIBLE_CONV) &&
             derivation < dt.derivation &&
523
             dt.derivation >= DERIVATION_COERCIBLE)
524 525 526 527 528
    {
      // Do nothing;
    }
    else if ((flags & MY_COLL_ALLOW_COERCIBLE_CONV) &&
             dt.derivation < derivation &&
529
             derivation >= DERIVATION_COERCIBLE)
530 531 532
    {
      set(dt);
      strong= nagg;
533
    }
534 535
    else
    {
536
      // Cannot apply conversion
537
      set(0, DERIVATION_NONE);
538
      return 1;
539
    }
540
  }
541
  else if (derivation < dt.derivation)
542
  {
543
    // Do nothing
544
  }
545
  else if (dt.derivation < derivation)
546
  {
547
    set(dt);
548
    strong= nagg;
549
  }
550 551 552
  else
  { 
    if (collation == dt.collation)
553
    {
554 555 556 557 558
      // Do nothing
    }
    else 
    {
      if (derivation == DERIVATION_EXPLICIT)
559
      {
560 561
	set(0, DERIVATION_NONE);
	return 1;
562
      }
563 564 565
      CHARSET_INFO *bin= get_charset_by_csname(collation->csname, 
					       MY_CS_BINSORT,MYF(0));
      set(bin, DERIVATION_NONE);
566
    }
567 568 569 570
  }
  return 0;
}

unknown's avatar
unknown committed
571
Item_field::Item_field(Field *f)
572
  :Item_ident(NullS, *f->table_name, f->field_name),
unknown's avatar
unknown committed
573
  item_equal(0), no_const_subst(0),
unknown's avatar
VIEW  
unknown committed
574
   have_privileges(0), any_privileges(0)
unknown's avatar
unknown committed
575 576
{
  set_field(f);
577 578 579 580 581
  /*
    field_name and talbe_name should not point to garbage
    if this item is to be reused
  */
  orig_table_name= orig_field_name= "";
unknown's avatar
unknown committed
582 583
}

584
Item_field::Item_field(THD *thd, Field *f)
585
  :Item_ident(f->table->s->db, *f->table_name, f->field_name),
unknown's avatar
unknown committed
586
   item_equal(0), no_const_subst(0),
unknown's avatar
VIEW  
unknown committed
587
   have_privileges(0), any_privileges(0)
unknown's avatar
unknown committed
588
{
589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616
  /*
    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).
  */
  if (thd->current_arena->is_stmt_prepare())
  {
    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;
  }
unknown's avatar
unknown committed
617 618 619
  set_field(f);
}

620
// Constructor need to process subselect with temporary tables (see Item)
621
Item_field::Item_field(THD *thd, Item_field *item)
622
  :Item_ident(thd, item),
623
   field(item->field),
unknown's avatar
VIEW  
unknown committed
624
   result_field(item->result_field),
unknown's avatar
unknown committed
625 626
   item_equal(item->item_equal),
   no_const_subst(item->no_const_subst),
unknown's avatar
VIEW  
unknown committed
627 628
   have_privileges(item->have_privileges),
   any_privileges(item->any_privileges)
629 630 631
{
  collation.set(DERIVATION_IMPLICIT);
}
unknown's avatar
unknown committed
632 633 634 635 636 637 638

void Item_field::set_field(Field *field_par)
{
  field=result_field=field_par;			// for easy coding with fields
  maybe_null=field->maybe_null();
  max_length=field_par->field_length;
  decimals= field->decimals();
639 640 641
  table_name= *field_par->table_name;
  field_name= field_par->field_name;
  db_name= field_par->table->s->db;
unknown's avatar
unknown committed
642
  alias_name_used= field_par->table->alias_name_used;
643
  unsigned_flag=test(field_par->flags & UNSIGNED_FLAG);
644
  collation.set(field_par->charset(), DERIVATION_IMPLICIT);
645 646 647 648 649 650 651 652 653 654 655 656 657 658 659
  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;
unknown's avatar
unknown committed
660 661 662 663 664
}

const char *Item_ident::full_name() const
{
  char *tmp;
665
  if (!table_name || !field_name)
unknown's avatar
unknown committed
666
    return field_name ? field_name : name ? name : "tmp_field";
unknown's avatar
unknown committed
667
  if (db_name && db_name[0])
unknown's avatar
unknown committed
668
  {
unknown's avatar
unknown committed
669 670
    tmp=(char*) sql_alloc((uint) strlen(db_name)+(uint) strlen(table_name)+
			  (uint) strlen(field_name)+3);
unknown's avatar
unknown committed
671 672 673 674
    strxmov(tmp,db_name,".",table_name,".",field_name,NullS);
  }
  else
  {
675 676 677 678 679 680 681 682
    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;
unknown's avatar
unknown committed
683 684 685 686
  }
  return tmp;
}

687 688
void Item_ident::print(String *str)
{
689
  THD *thd= current_thd;
690 691
  char d_name_buff[MAX_ALIAS_NAME], t_name_buff[MAX_ALIAS_NAME];
  const char *d_name= db_name, *t_name= table_name;
unknown's avatar
unknown committed
692 693
  if (lower_case_table_names== 1 ||
      (lower_case_table_names == 2 && !alias_name_used))
694 695 696 697 698 699 700 701 702 703 704 705 706 707 708
  {
    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;
    }
  }

709 710
  if (!table_name || !field_name)
  {
711 712
    const char *nm= field_name ? field_name : name ? name : "tmp_field";
    append_identifier(thd, str, nm, strlen(nm));
713 714
    return;
  }
unknown's avatar
unknown committed
715
  if (db_name && db_name[0] && !alias_name_used)
716
  {
717
    append_identifier(thd, str, d_name, strlen(d_name));
718
    str->append('.');
719
    append_identifier(thd, str, t_name, strlen(t_name));
720 721
    str->append('.');
    append_identifier(thd, str, field_name, strlen(field_name));
722 723 724 725 726
  }
  else
  {
    if (table_name[0])
    {
727
      append_identifier(thd, str, t_name, strlen(t_name));
728 729
      str->append('.');
      append_identifier(thd, str, field_name, strlen(field_name));
730 731
    }
    else
732
      append_identifier(thd, str, field_name, strlen(field_name));
733 734 735
  }
}

unknown's avatar
unknown committed
736 737 738
/* ARGSUSED */
String *Item_field::val_str(String *str)
{
739
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
740 741
  if ((null_value=field->is_null()))
    return 0;
742
  str->set_charset(str_value.charset());
unknown's avatar
unknown committed
743 744 745
  return field->val_str(str,&str_value);
}

746
double Item_field::val_real()
unknown's avatar
unknown committed
747
{
748
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
749 750 751 752 753 754 755
  if ((null_value=field->is_null()))
    return 0.0;
  return field->val_real();
}

longlong Item_field::val_int()
{
756
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
757 758 759 760 761 762 763 764 765 766
  if ((null_value=field->is_null()))
    return 0;
  return field->val_int();
}


String *Item_field::str_result(String *str)
{
  if ((null_value=result_field->is_null()))
    return 0;
767
  str->set_charset(str_value.charset());
unknown's avatar
unknown committed
768 769 770
  return result_field->val_str(str,&str_value);
}

771
bool Item_field::get_date(TIME *ltime,uint fuzzydate)
unknown's avatar
unknown committed
772 773 774 775 776 777 778 779 780
{
  if ((null_value=field->is_null()) || field->get_date(ltime,fuzzydate))
  {
    bzero((char*) ltime,sizeof(*ltime));
    return 1;
  }
  return 0;
}

781
bool Item_field::get_date_result(TIME *ltime,uint fuzzydate)
782 783 784 785 786 787 788 789 790 791
{
  if ((null_value=result_field->is_null()) ||
      result_field->get_date(ltime,fuzzydate))
  {
    bzero((char*) ltime,sizeof(*ltime));
    return 1;
  }
  return 0;
}

unknown's avatar
unknown committed
792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815
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();
}

816

817
bool Item_field::eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
818
{
819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840
  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 ||
841 842
	     (item_field->db_name && !strcmp(item_field->db_name,
					     db_name))))));
unknown's avatar
unknown committed
843 844
}

845

unknown's avatar
unknown committed
846 847 848 849
table_map Item_field::used_tables() const
{
  if (field->table->const_table)
    return 0;					// const item
unknown's avatar
unknown committed
850
  return (depended_from ? OUTER_REF_TABLE_BIT : field->table->map);
unknown's avatar
unknown committed
851 852
}

853

854
Item *Item_field::get_tmp_table_item(THD *thd)
855
{
856
  Item_field *new_item= new Item_field(thd, this);
857 858 859 860
  if (new_item)
    new_item->field= new_item->result_field;
  return new_item;
}
unknown's avatar
unknown committed
861

862

unknown's avatar
unknown committed
863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878
/*
  Create an item from a string we KNOW points to a valid longlong/ulonglong
  end \0 terminated number string
*/

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;
}


unknown's avatar
unknown committed
879 880
String *Item_int::val_str(String *str)
{
unknown's avatar
unknown committed
881
  // following assert is redundant, because fixed=1 assigned in constructor
882
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
883
  str->set(value, &my_charset_bin);
unknown's avatar
unknown committed
884 885 886 887 888
  return str;
}

void Item_int::print(String *str)
{
unknown's avatar
unknown committed
889 890
  // my_charset_bin is good enough for numbers
  str_value.set(value, &my_charset_bin);
unknown's avatar
unknown committed
891
  str->append(str_value);
unknown's avatar
unknown committed
892 893
}

894

unknown's avatar
unknown committed
895 896 897 898 899 900 901
Item_uint::Item_uint(const char *str_arg, uint length):
  Item_int(str_arg, length)
{
  unsigned_flag= 1;
}


unknown's avatar
unknown committed
902 903
String *Item_uint::val_str(String *str)
{
unknown's avatar
unknown committed
904
  // following assert is redundant, because fixed=1 assigned in constructor
905
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
906
  str->set((ulonglong) value, &my_charset_bin);
unknown's avatar
unknown committed
907 908 909
  return str;
}

910

unknown's avatar
unknown committed
911 912
void Item_uint::print(String *str)
{
913
  // latin1 is good enough for numbers
unknown's avatar
unknown committed
914 915
  str_value.set((ulonglong) value, default_charset());
  str->append(str_value);
unknown's avatar
unknown committed
916 917
}

unknown's avatar
unknown committed
918 919 920

String *Item_real::val_str(String *str)
{
unknown's avatar
unknown committed
921
  // following assert is redundant, because fixed=1 assigned in constructor
922
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
923
  str->set(value,decimals,&my_charset_bin);
unknown's avatar
unknown committed
924 925 926
  return str;
}

927

unknown's avatar
unknown committed
928 929
void Item_string::print(String *str)
{
930 931
  str->append('_');
  str->append(collation.collation->csname);
unknown's avatar
unknown committed
932
  str->append('\'');
unknown's avatar
unknown committed
933
  str_value.print(str);
unknown's avatar
unknown committed
934 935 936
  str->append('\'');
}

937 938
bool Item_null::eq(const Item *item, bool binary_cmp) const
{ return item->type() == type(); }
939
double Item_null::val_real()
940
{
unknown's avatar
unknown committed
941 942
  // following assert is redundant, because fixed=1 assigned in constructor
  DBUG_ASSERT(fixed == 1);
943 944 945 946 947
  null_value=1;
  return 0.0;
}
longlong Item_null::val_int()
{
unknown's avatar
unknown committed
948 949
  // following assert is redundant, because fixed=1 assigned in constructor
  DBUG_ASSERT(fixed == 1);
950 951 952
  null_value=1;
  return 0;
}
unknown's avatar
unknown committed
953 954
/* ARGSUSED */
String *Item_null::val_str(String *str)
955
{
unknown's avatar
unknown committed
956 957
  // following assert is redundant, because fixed=1 assigned in constructor
  DBUG_ASSERT(fixed == 1);
958 959 960
  null_value=1;
  return 0;
}
unknown's avatar
unknown committed
961 962


963 964 965 966 967 968
Item *Item_null::safe_charset_converter(CHARSET_INFO *tocs)
{
  collation.set(tocs);
  return this;
}

969 970 971 972 973 974 975 976 977 978 979 980 981 982 983
/*********************** 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();
}

984

985 986
Item_param::Item_param(unsigned pos_in_query_arg) :
  state(NO_VALUE),
987
  item_result_type(STRING_RESULT),
988 989
  /* Don't pretend to be a literal unless value for this item is set. */
  item_type(PARAM_ITEM),
990
  param_type(MYSQL_TYPE_VARCHAR),
991
  pos_in_query(pos_in_query_arg),
992 993 994
  set_param_func(default_set_param_func)
{
  name= (char*) "?";
995 996 997 998 999 1000
  /* 
    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;
1001
}
unknown's avatar
unknown committed
1002

1003

unknown's avatar
unknown committed
1004
void Item_param::set_null()
1005 1006
{
  DBUG_ENTER("Item_param::set_null");
1007
  /* These are cleared after each execution by reset() method */
1008
  max_length= 0;
1009 1010 1011 1012 1013 1014 1015 1016 1017
  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;
1018
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1019 1020
}

1021
void Item_param::set_int(longlong i, uint32 max_length_arg)
1022 1023
{
  DBUG_ENTER("Item_param::set_int");
1024 1025 1026 1027
  value.integer= (longlong) i;
  state= INT_VALUE;
  max_length= max_length_arg;
  decimals= 0;
1028
  maybe_null= 0;
1029
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1030 1031
}

1032
void Item_param::set_double(double d)
1033 1034
{
  DBUG_ENTER("Item_param::set_double");
1035 1036 1037
  value.real= d;
  state= REAL_VALUE;
  max_length= DBL_DIG + 8;
1038
  decimals= NOT_FIXED_DEC;
1039
  maybe_null= 0;
1040
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1041 1042 1043
}


1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058
/*
  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.
*/
1059
void Item_param::set_time(TIME *tm, timestamp_type type, uint32 max_length_arg)
1060
{ 
1061
  DBUG_ENTER("Item_param::set_time");
1062

1063 1064
  value.time= *tm;
  value.time.time_type= type;
1065

1066 1067 1068 1069 1070 1071 1072
  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);
unknown's avatar
unknown committed
1073
    make_truncated_value_warning(current_thd, buff, length, type, 0);
1074 1075 1076
    set_zero_time(&value.time, MYSQL_TIMESTAMP_ERROR);
  }

1077
  state= TIME_VALUE;
1078
  maybe_null= 0;
1079 1080
  max_length= max_length_arg;
  decimals= 0;
1081
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1082 1083
}

1084

1085 1086 1087 1088 1089 1090 1091
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.
  */
1092 1093 1094
  uint dummy_errors;
  if (str_value.copy(str, length, &my_charset_bin, &my_charset_bin,
                     &dummy_errors))
1095 1096
    DBUG_RETURN(TRUE);
  state= STRING_VALUE;
1097
  maybe_null= 0;
1098 1099 1100
  /* 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);
1101 1102 1103
}


1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119
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;
1120
  maybe_null= 0;
1121 1122

  DBUG_RETURN(FALSE);
1123 1124 1125
}


1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144
/*
  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
    1 Out of memort
*/

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;
unknown's avatar
unknown committed
1145 1146 1147
    switch (entry->type) {
    case REAL_RESULT:
      set_double(*(double*)entry->value);
1148 1149
      item_type= Item::REAL_ITEM;
      item_result_type= REAL_RESULT;
unknown's avatar
unknown committed
1150 1151 1152
      break;
    case INT_RESULT:
      set_int(*(longlong*)entry->value, 21);
1153 1154
      item_type= Item::INT_ITEM;
      item_result_type= INT_RESULT;
unknown's avatar
unknown committed
1155 1156
      break;
    case STRING_RESULT:
1157
    {
unknown's avatar
unknown committed
1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184
      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;
    }
    default:
      DBUG_ASSERT(0);
      set_null();
1185 1186 1187 1188 1189 1190 1191 1192
    }
  }
  else
    set_null();

  DBUG_RETURN(0);
}

1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204
/*
    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()
1205 1206 1207 1208 1209 1210
{
  /* 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);
1211
  str_value_ptr.length(0);
1212
  /*
1213 1214
    We must prevent all charset conversions untill data has been written
    to the binary log.
1215 1216 1217
  */
  str_value.set_charset(&my_charset_bin);
  state= NO_VALUE;
1218 1219
  maybe_null= 1;
  null_value= 0;
1220 1221 1222 1223 1224 1225 1226 1227 1228
  /*
    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).
  */
unknown's avatar
unknown committed
1229 1230 1231
}


unknown's avatar
unknown committed
1232
int Item_param::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
1233 1234
{
  field->set_notnull();
1235 1236 1237 1238 1239 1240 1241 1242

  switch (state) {
  case INT_VALUE:
    return field->store(value.integer);
  case REAL_VALUE:
    return field->store(value.real);
  case TIME_VALUE:
    field->store_time(&value.time, value.time.time_type);
1243
    return 0;
1244 1245 1246 1247 1248
  case STRING_VALUE:
  case LONG_DATA_VALUE:
    return field->store(str_value.ptr(), str_value.length(),
                        str_value.charset());
  case NULL_VALUE:
1249
    return set_field_to_null_with_conversions(field, no_conversions);
1250 1251 1252
  case NO_VALUE:
  default:
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
1253
  }
1254
  return 1;
unknown's avatar
unknown committed
1255 1256
}

1257

1258 1259
bool Item_param::get_time(TIME *res)
{
1260 1261 1262 1263 1264 1265 1266 1267 1268 1269
  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);
1270
}
1271

1272

1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283
bool Item_param::get_date(TIME *res, uint fuzzydate)
{
  if (state == TIME_VALUE)
  {
    *res= value.time;
    return 0;
  }
  return Item::get_date(res, fuzzydate);
}


1284
double Item_param::val_real()
unknown's avatar
unknown committed
1285
{
1286 1287 1288 1289 1290 1291 1292
  switch (state) {
  case REAL_VALUE:
    return value.real;
  case INT_VALUE:
    return (double) value.integer;
  case STRING_VALUE:
  case LONG_DATA_VALUE:
1293 1294 1295 1296 1297 1298
  {
    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);
  }
1299 1300 1301 1302 1303
  case TIME_VALUE:
    /*
      This works for example when user says SELECT ?+0.0 and supplies
      time value for the placeholder.
    */
1304
    return ulonglong2double(TIME_to_ulonglong(&value.time));
1305
  case NULL_VALUE:
1306
    return 0.0;
unknown's avatar
unknown committed
1307
  default:
1308
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
1309
  }
1310
  return 0.0;
unknown's avatar
unknown committed
1311 1312
} 

1313

unknown's avatar
unknown committed
1314 1315
longlong Item_param::val_int() 
{ 
1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331
  switch (state) {
  case REAL_VALUE:
    return (longlong) (value.real + (value.real > 0 ? 0.5 : -0.5));
  case INT_VALUE:
    return value.integer;
  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; 
unknown's avatar
unknown committed
1332
  default:
1333
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
1334
  }
1335
  return 0;
unknown's avatar
unknown committed
1336 1337
}

1338

unknown's avatar
unknown committed
1339 1340
String *Item_param::val_str(String* str) 
{ 
1341 1342 1343
  switch (state) {
  case STRING_VALUE:
  case LONG_DATA_VALUE:
1344
    return &str_value_ptr;
1345 1346 1347 1348 1349
  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);
unknown's avatar
unknown committed
1350
    return str;
1351 1352
  case TIME_VALUE:
  {
1353
    if (str->reserve(MAX_DATE_STRING_REP_LENGTH))
1354
      break;
1355 1356
    str->length((uint) my_TIME_to_str(&value.time, (char*) str->ptr()));
    str->set_charset(&my_charset_bin);
unknown's avatar
unknown committed
1357
    return str;
1358 1359 1360
  }
  case NULL_VALUE:
    return NULL; 
unknown's avatar
unknown committed
1361
  default:
1362
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
1363
  }
1364
  return str;
unknown's avatar
unknown committed
1365
}
1366 1367 1368 1369

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

1374
const String *Item_param::query_val_str(String* str) const
1375
{
1376 1377 1378 1379 1380 1381 1382 1383
  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;
  case TIME_VALUE:
1384
    {
1385 1386 1387 1388 1389 1390
      char *buf, *ptr;
      str->length(0);
      /*
        TODO: in case of error we need to notify replication
        that binary log contains wrong statement 
      */
1391
      if (str->reserve(MAX_DATE_STRING_REP_LENGTH+3))
1392 1393 1394 1395 1396 1397
        break; 

      /* Create date string inplace */
      buf= str->c_ptr_quick();
      ptr= buf;
      *ptr++= '\'';
1398
      ptr+= (uint) my_TIME_to_str(&value.time, ptr);
1399 1400 1401
      *ptr++= '\'';
      str->length((uint32) (ptr - buf));
      break;
1402
    }
1403 1404
  case STRING_VALUE:
  case LONG_DATA_VALUE:
1405
    {
1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418
      char *buf, *ptr;
      str->length(0);
      if (str->reserve(str_value.length()*2+3))
        break;

      buf= str->c_ptr_quick();
      ptr= buf;
      *ptr++= '\'';
      ptr+= escape_string_for_mysql(str_value.charset(), ptr,
                                    str_value.ptr(), str_value.length());
      *ptr++= '\'';
      str->length(ptr - buf);
      break;
1419
    }
1420 1421 1422 1423
  case NULL_VALUE:
    return &my_null_string;
  default:
    DBUG_ASSERT(0);
1424 1425 1426
  }
  return str;
}
1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451


/*
  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);
    }
1452 1453 1454 1455
    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 */

1456 1457
    max_length= str_value.length();
    decimals= 0;
1458 1459 1460 1461 1462 1463
    /*
      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());
1464 1465 1466 1467
  }
  return rc;
}

unknown's avatar
unknown committed
1468

1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488
void Item_param::print(String *str)
{
  if (state == NO_VALUE)
  {
    str->append('?');
  }
  else
  {
    char buffer[80];
    String tmp(buffer, sizeof(buffer), &my_charset_bin);
    const String *res;
    res= query_val_str(&tmp);
    str->append(*res);
  }
}


/****************************************************************************
  Item_copy_string
****************************************************************************/
1489

unknown's avatar
unknown committed
1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500
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)
{
1501
  // Item_copy_string is used without fix_fields call
unknown's avatar
unknown committed
1502 1503 1504 1505 1506
  if (null_value)
    return (String*) 0;
  return &str_value;
}

unknown's avatar
unknown committed
1507 1508 1509 1510 1511 1512 1513 1514 1515 1516

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);
}

unknown's avatar
unknown committed
1517
/*
1518
  Functions to convert item to field (for send_fields)
unknown's avatar
unknown committed
1519 1520 1521 1522
*/

/* ARGSUSED */
bool Item::fix_fields(THD *thd,
unknown's avatar
unknown committed
1523 1524
		      struct st_table_list *list,
		      Item ** ref)
unknown's avatar
unknown committed
1525
{
1526 1527

  // We do not check fields which are fixed during construction
unknown's avatar
unknown committed
1528
  DBUG_ASSERT(fixed == 0 || basic_const_item());
1529
  fixed= 1;
unknown's avatar
unknown committed
1530
  return FALSE;
unknown's avatar
unknown committed
1531 1532
}

1533
double Item_ref_null_helper::val_real()
1534
{
1535
  DBUG_ASSERT(fixed == 1);
1536
  double tmp= (*ref)->val_result();
unknown's avatar
unknown committed
1537
  owner->was_null|= null_value= (*ref)->null_value;
1538 1539
  return tmp;
}
1540 1541


1542 1543
longlong Item_ref_null_helper::val_int()
{
1544
  DBUG_ASSERT(fixed == 1);
1545
  longlong tmp= (*ref)->val_int_result();
unknown's avatar
unknown committed
1546
  owner->was_null|= null_value= (*ref)->null_value;
1547 1548
  return tmp;
}
1549 1550


1551 1552
String* Item_ref_null_helper::val_str(String* s)
{
1553
  DBUG_ASSERT(fixed == 1);
1554
  String* tmp= (*ref)->str_result(s);
unknown's avatar
unknown committed
1555
  owner->was_null|= null_value= (*ref)->null_value;
1556 1557
  return tmp;
}
1558 1559


1560
bool Item_ref_null_helper::get_date(TIME *ltime, uint fuzzydate)
1561 1562 1563
{  
  return (owner->was_null|= null_value= (*ref)->get_date(ltime, fuzzydate));
}
unknown's avatar
unknown committed
1564

unknown's avatar
unknown committed
1565 1566 1567 1568 1569 1570

/*
  Mark item and SELECT_LEXs as dependent if it is not outer resolving

  SYNOPSIS
    mark_as_dependent()
1571
    thd - thread handler
unknown's avatar
unknown committed
1572 1573 1574 1575 1576
    last - select from which current item depend
    current  - current select
    item - item which should be marked
*/

1577
static void mark_as_dependent(THD *thd, SELECT_LEX *last, SELECT_LEX *current,
unknown's avatar
unknown committed
1578 1579
			      Item_ident *item)
{
1580 1581 1582
  const char *db_name=    item->db_name ? item->db_name : "";
  const char *table_name= item->table_name ? item->table_name : "";
  /* store pointer on SELECT_LEX from which item is dependent */
unknown's avatar
unknown committed
1583 1584
  item->depended_from= last;
  current->mark_as_dependent(last);
unknown's avatar
unknown committed
1585
  if (thd->lex->describe & DESCRIBE_EXTENDED)
1586 1587 1588
  {
    char warn_buff[MYSQL_ERRMSG_SIZE];
    sprintf(warn_buff, ER(ER_WARN_FIELD_RESOLVED),
1589 1590 1591
            db_name, (db_name[0] ? "." : ""),
            table_name, (table_name [0] ? "." : ""),
            item->field_name,
1592 1593 1594 1595
	    current->select_number, last->select_number);
    push_warning(thd, MYSQL_ERROR::WARN_LEVEL_NOTE,
		 ER_WARN_FIELD_RESOLVED, warn_buff);
  }
unknown's avatar
unknown committed
1596 1597 1598
}


1599 1600


1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686
/*
  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;

  DBUG_ASSERT(field_name);

  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;
      
      DBUG_ASSERT(cur_field->field_name);

      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.
        */
1687 1688
        my_error(ER_NON_UNIQ_ERROR, MYF(0),
                 find_item->full_name(), current_thd->where);
1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744
        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;
1745
  bool not_used;
1746 1747 1748 1749 1750

  /*
    Search for a column or derived column named as 'ref' in the SELECT
    clause of the current select.
  */
1751 1752 1753
  if (!(select_ref= find_item_in_list(ref, *(select->get_item_list()),
                                      &counter, REPORT_EXCEPT_NOT_FOUND,
                                      &not_used)))
1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776
    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)
    {
1777
      DBUG_ASSERT(*select_ref);
unknown's avatar
unknown committed
1778
      if (!select->ref_pointer_array[counter])
1779
      {
1780 1781
        my_error(ER_ILLEGAL_REFERENCE, MYF(0),
                 ref->name, "forward reference in item list");
1782 1783
        return NULL;
      }
unknown's avatar
unknown committed
1784
      DBUG_ASSERT((*select_ref)->fixed);
1785 1786
      return (select->ref_pointer_array + counter);
    }
unknown's avatar
unknown committed
1787
    if (group_by_ref)
1788
      return group_by_ref;
unknown's avatar
unknown committed
1789 1790
    DBUG_ASSERT(FALSE);
    return NULL; /* So there is no compiler warning. */
1791
  }
unknown's avatar
unknown committed
1792 1793

  return (Item**) not_found_item;
1794 1795 1796
}


1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848
/*
  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
*/

1849
bool Item_field::fix_fields(THD *thd, TABLE_LIST *tables, Item **reference)
unknown's avatar
unknown committed
1850
{
1851
  enum_parsing_place place= NO_MATTER;
unknown's avatar
unknown committed
1852
  DBUG_ASSERT(fixed == 0);
1853
  if (!field)					// If field is not checked
unknown's avatar
unknown committed
1854
  {
1855 1856 1857
    bool upward_lookup= FALSE;
    Field *from_field= (Field *)not_found_field;
    if ((from_field= find_field_in_tables(thd, this, tables, reference,
1858
                                   IGNORE_EXCEPT_NON_UNIQUE,
unknown's avatar
VIEW  
unknown committed
1859
                                   !any_privileges)) ==
1860
	not_found_field)
1861
    {
1862
      SELECT_LEX *last= 0;
1863
      TABLE_LIST *table_list;
1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876
      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)
1877
      {
1878 1879 1880 1881
	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())
1882
	{
1883 1884 1885 1886 1887 1888 1889
          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)
1890
	  {
1891
            /*
1892 1893
              It is a primary INSERT st_select_lex => do not resolve against the
              first table.
1894
            */
unknown's avatar
VIEW  
unknown committed
1895
	    table_list= table_list->next_local;
unknown's avatar
unknown committed
1896
          }
1897
          place= prev_subselect_item->parsing_place;
1898
          /*
1899
            Check table fields only if the subquery is used somewhere out of
1900 1901
            HAVING, or the outer SELECT does not use grouping (i.e. tables are
            accessible).
1902
          */
1903
          if ((place != IN_HAVING ||
1904 1905 1906 1907 1908 1909
               (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)) !=
1910
              not_found_field)
1911
	  {
1912
	    if (from_field)
1913
            {
1914
              if (from_field != view_ref_found)
1915
              {
1916
                prev_subselect_item->used_tables_cache|= from_field->table->map;
1917 1918 1919 1920 1921
                prev_subselect_item->const_item_cache= 0;
              }
              else
              {
                prev_subselect_item->used_tables_cache|=
1922
                  (*reference)->used_tables();
1923
                prev_subselect_item->const_item_cache&=
1924
                  (*reference)->const_item();
1925 1926
              }
            }
1927
	    break;
1928
	  }
1929 1930 1931

          /* Search in the SELECT and GROUP lists of the outer select. */
	  if (outer_sel->resolve_mode == SELECT_LEX::SELECT_MODE)
unknown's avatar
unknown committed
1932
          {
1933 1934 1935 1936 1937 1938 1939 1940 1941
            if (!(ref= resolve_ref_in_select_and_group(thd, this, outer_sel)))
              return TRUE; /* Some error occured (e.g. ambigous names). */
            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;
            }
1942 1943 1944
	  }

	  // Reference is not found => depend from outer (or just error)
unknown's avatar
unknown committed
1945 1946
	  prev_subselect_item->used_tables_cache|= OUTER_REF_TABLE_BIT;
	  prev_subselect_item->const_item_cache= 0;
1947

1948
	  if (outer_sel->master_unit()->first_select()->linkage ==
1949
	      DERIVED_TABLE_TYPE)
1950
	    break; // do not look over derived table
1951
	}
1952
      }
1953 1954 1955 1956 1957

      DBUG_ASSERT(ref);
      if (!from_field)
	return TRUE;
      if (ref == not_found_item && from_field == not_found_field)
unknown's avatar
unknown committed
1958
      {
1959
	if (upward_lookup)
unknown's avatar
unknown committed
1960
	{
1961
	  // We can't say exactly what absent table or field
1962
	  my_error(ER_BAD_FIELD_ERROR, MYF(0), full_name(), thd->where);
unknown's avatar
unknown committed
1963
	}
1964
	else
unknown's avatar
unknown committed
1965
	{
1966
	  // Call to report error
1967 1968
	  find_field_in_tables(thd, this, tables, reference, REPORT_ALL_ERRORS,
                               TRUE);
unknown's avatar
unknown committed
1969
	}
1970
	return TRUE;
unknown's avatar
unknown committed
1971
      }
1972
      else if (ref != not_found_item)
1973
      {
unknown's avatar
unknown committed
1974 1975 1976
        Item *save;
        Item_ref *rf;

1977
        /* Should have been checked in resolve_ref_in_select_and_group(). */
1978
        DBUG_ASSERT(*ref && (*ref)->fixed);
1979 1980
        /*
          Here, a subset of actions performed by Item_ref::set_properties
unknown's avatar
unknown committed
1981 1982 1983
          is not enough. So we pass ptr to NULL into Item_[direct]_ref
          constructor, so no initialization is performed, and call 
          fix_fields() below.
1984
        */
unknown's avatar
unknown committed
1985 1986 1987 1988 1989 1990
        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;
unknown's avatar
unknown committed
1991
	if (!rf)
1992
	  return TRUE;
1993
        thd->change_item_tree(reference, rf);
1994 1995 1996 1997
	/*
	  rf is Item_ref => never substitute other items (in this case)
	  during fix_fields() => we can use rf after fix_fields()
	*/
1998 1999
	if (rf->fix_fields(thd, tables, reference) || rf->check_cols(1))
	  return TRUE;
unknown's avatar
unknown committed
2000

2001 2002
	mark_as_dependent(thd, last, current_sel, rf);
	return FALSE;
2003
      }
2004
      else
unknown's avatar
unknown committed
2005
      {
2006
	mark_as_dependent(thd, last, current_sel, this);
unknown's avatar
unknown committed
2007
	if (last->having_fix_field)
2008 2009
	{
	  Item_ref *rf;
2010 2011
          rf= new Item_ref((cached_table->db[0] ? cached_table->db : 0),
                           (char*) cached_table->alias, (char*) field_name);
2012
	  if (!rf)
2013
	    return TRUE;
2014
          thd->change_item_tree(reference, rf);
2015 2016 2017 2018
	  /*
	    rf is Item_ref => never substitute other items (in this case)
	    during fix_fields() => we can use rf after fix_fields()
	  */
2019
	  return rf->fix_fields(thd, tables, reference) ||  rf->check_cols(1);
2020
	}
unknown's avatar
unknown committed
2021
      }
2022
    }
2023 2024
    else if (!from_field)
      return TRUE;
2025

unknown's avatar
VIEW  
unknown committed
2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037
    /*
      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.
    */
2038 2039
    if (from_field != view_ref_found)
      set_field(from_field);
unknown's avatar
unknown committed
2040
  }
unknown's avatar
unknown committed
2041
  else if (thd->set_query_id && field->query_id != thd->query_id)
2042 2043 2044 2045 2046
  {
    /* We only come here in unions */
    TABLE *table=field->table;
    field->query_id=thd->query_id;
    table->used_fields++;
2047
    table->used_keys.intersect(field->part_of_key);
2048
  }
unknown's avatar
VIEW  
unknown committed
2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060
#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;
2061
      tab= cached_table->table_name;
unknown's avatar
VIEW  
unknown committed
2062 2063 2064 2065 2066
    }
    if (!(have_privileges= (get_column_grant(thd, &field->table->grant,
                                             db, tab, field_name) &
                            VIEW_ANY_ACL)))
    {
2067 2068 2069
      my_error(ER_COLUMNACCESS_DENIED_ERROR, MYF(0),
               "ANY", thd->priv_user, thd->host_or_ip,
               field_name, tab);
2070
      return TRUE;
unknown's avatar
VIEW  
unknown committed
2071 2072 2073
    }
  }
#endif
2074
  fixed= 1;
2075
  return FALSE;
unknown's avatar
unknown committed
2076 2077
}

2078 2079 2080 2081 2082 2083 2084 2085

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


unknown's avatar
unknown committed
2086 2087
void Item_field::cleanup()
{
unknown's avatar
unknown committed
2088
  DBUG_ENTER("Item_field::cleanup");
unknown's avatar
unknown committed
2089
  Item_ident::cleanup();
2090 2091 2092 2093 2094
  /*
    Even if this object was created by direct link to field in setup_wild()
    it will be linked correctly next tyme by name of field and table alias.
    I.e. we can drop 'field'.
   */
2095
  field= result_field= 0;
2096
  DBUG_VOID_RETURN;
2097
}
unknown's avatar
unknown committed
2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118

/*
  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
*/
unknown's avatar
unknown committed
2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140
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;
}


/*
2141 2142
  Set a pointer to the multiple equality the field reference belongs to
  (if any)
unknown's avatar
unknown committed
2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164
   
  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.
*/
unknown's avatar
unknown committed
2165

unknown's avatar
unknown committed
2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180
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;
}


/*
2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195
  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;
}


/*
  Set a pointer to the multiple equality the field reference belongs to
  (if any)
unknown's avatar
unknown committed
2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228
   
  SYNOPSIS
    replace_equal_field_processor()
    arg - a dummy parameter, is not used here
  
  DESCRIPTION
    The function replaces a pointer to a field in the Item_field object
    by a pointer to another field.
    The replacement field 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,
    nothing is done.

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

  RETURN VALUES
    0 
*/

bool Item_field::replace_equal_field_processor(byte *arg)
{
  if (item_equal)
  {
    Item_field *subst= item_equal->get_first();
    if (!field->eq(subst->field))
    {
      field= subst->field;
      return 0;
    }
  }
  return 0;
unknown's avatar
unknown committed
2229
}
unknown's avatar
unknown committed
2230

2231

unknown's avatar
unknown committed
2232 2233
void Item::init_make_field(Send_field *tmp_field,
			   enum enum_field_types field_type)
2234
{
2235
  char *empty_name= (char*) "";
2236
  tmp_field->db_name=		empty_name;
2237 2238 2239 2240
  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;
2241
  tmp_field->charsetnr=         collation.collation->number;
2242 2243 2244
  tmp_field->flags=             (maybe_null ? 0 : NOT_NULL_FLAG) | 
                                (my_binary_compare(collation.collation) ?
                                 BINARY_FLAG : 0);
unknown's avatar
unknown committed
2245 2246 2247
  tmp_field->type=field_type;
  tmp_field->length=max_length;
  tmp_field->decimals=decimals;
2248 2249
  if (unsigned_flag)
    tmp_field->flags |= UNSIGNED_FLAG;
unknown's avatar
unknown committed
2250 2251
}

2252
void Item::make_field(Send_field *tmp_field)
unknown's avatar
unknown committed
2253
{
2254
  init_make_field(tmp_field, field_type());
unknown's avatar
unknown committed
2255 2256 2257
}


2258 2259
void Item_empty_string::make_field(Send_field *tmp_field)
{
2260
  init_make_field(tmp_field, MYSQL_TYPE_VARCHAR);
2261 2262
}

unknown's avatar
unknown committed
2263

2264
enum_field_types Item::field_type() const
unknown's avatar
unknown committed
2265
{
2266
  return ((result_type() == STRING_RESULT) ? MYSQL_TYPE_VARCHAR :
2267 2268
	  (result_type() == INT_RESULT) ? FIELD_TYPE_LONGLONG :
	  FIELD_TYPE_DOUBLE);
unknown's avatar
unknown committed
2269 2270
}

2271

2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298
/*
  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);
}


2299 2300 2301 2302 2303 2304 2305 2306 2307 2308 2309
/*
  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
*/

2310 2311
Field *Item::tmp_table_field_from_field_type(TABLE *table)
{
2312 2313 2314 2315 2316 2317
  /*
    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()) {
2318
  case MYSQL_TYPE_DECIMAL:
2319 2320
    return new Field_decimal((char*) 0, max_length, null_ptr, 0, Field::NONE,
			     name, table, decimals, 0, unsigned_flag);
2321
  case MYSQL_TYPE_TINY:
2322 2323
    return new Field_tiny((char*) 0, max_length, null_ptr, 0, Field::NONE,
			  name, table, 0, unsigned_flag);
2324
  case MYSQL_TYPE_SHORT:
2325 2326
    return new Field_short((char*) 0, max_length, null_ptr, 0, Field::NONE,
			   name, table, 0, unsigned_flag);
2327
  case MYSQL_TYPE_LONG:
2328 2329
    return new Field_long((char*) 0, max_length, null_ptr, 0, Field::NONE,
			  name, table, 0, unsigned_flag);
2330 2331
#ifdef HAVE_LONG_LONG
  case MYSQL_TYPE_LONGLONG:
2332 2333
    return new Field_longlong((char*) 0, max_length, null_ptr, 0, Field::NONE,
			      name, table, 0, unsigned_flag);
2334
#endif
2335 2336 2337 2338 2339 2340 2341 2342 2343
  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);
2344 2345
  case MYSQL_TYPE_NEWDATE:
  case MYSQL_TYPE_INT24:
2346 2347
    return new Field_medium((char*) 0, max_length, null_ptr, 0, Field::NONE,
			    name, table, 0, unsigned_flag);
2348 2349 2350 2351 2352 2353 2354 2355
  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:
2356 2357 2358
    return new Field_year((char*) 0, max_length, null_ptr, 0, Field::NONE,
			  name, table);
  default:
2359
    /* This case should never be chosen */
2360 2361
    DBUG_ASSERT(0);
    /* If something goes awfully wrong, it's better to get a string than die */
2362 2363
  case MYSQL_TYPE_ENUM:
  case MYSQL_TYPE_SET:
2364
  case MYSQL_TYPE_STRING:
2365
  case MYSQL_TYPE_VAR_STRING:
2366
  case MYSQL_TYPE_VARCHAR:
2367
    return make_string_field(table);
2368 2369 2370 2371 2372
  case MYSQL_TYPE_TINY_BLOB:
  case MYSQL_TYPE_MEDIUM_BLOB:
  case MYSQL_TYPE_LONG_BLOB:
  case MYSQL_TYPE_BLOB:
  case MYSQL_TYPE_GEOMETRY:
2373 2374
    return new Field_blob(max_length, maybe_null, name, table,
                          collation.collation);
2375
    break;					// Blob handled outside of case
2376 2377 2378
  }
}

2379

2380 2381
/* ARGSUSED */
void Item_field::make_field(Send_field *tmp_field)
unknown's avatar
unknown committed
2382
{
2383
  field->make_field(tmp_field);
2384
  DBUG_ASSERT(tmp_field->table_name);
2385 2386
  if (name)
    tmp_field->col_name=name;			// Use user supplied name
unknown's avatar
unknown committed
2387 2388
}

2389

unknown's avatar
unknown committed
2390
/*
2391
  Set a field:s value from a item
unknown's avatar
unknown committed
2392 2393 2394 2395 2396 2397 2398
*/

void Item_field::save_org_in_field(Field *to)
{
  if (field->is_null())
  {
    null_value=1;
2399
    set_field_to_null_with_conversions(to, 1);
unknown's avatar
unknown committed
2400 2401 2402 2403 2404 2405 2406 2407 2408
  }
  else
  {
    to->set_notnull();
    field_conv(to,field);
    null_value=0;
  }
}

unknown's avatar
unknown committed
2409
int Item_field::save_in_field(Field *to, bool no_conversions)
unknown's avatar
unknown committed
2410 2411 2412 2413
{
  if (result_field->is_null())
  {
    null_value=1;
2414
    return set_field_to_null_with_conversions(to, no_conversions);
unknown's avatar
unknown committed
2415 2416 2417 2418 2419 2420 2421 2422 2423 2424
  }
  else
  {
    to->set_notnull();
    field_conv(to,result_field);
    null_value=0;
  }
  return 0;
}

2425

unknown's avatar
unknown committed
2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441
/*
  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'
*/   

unknown's avatar
unknown committed
2442
int Item_null::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2443
{
2444
  return set_field_to_null_with_conversions(field, no_conversions);
unknown's avatar
unknown committed
2445 2446 2447
}


2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459
/*
  Store null in field

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

  RETURN VALUES
    0	 ok
    1	 Field doesn't support NULL values
*/   

unknown's avatar
unknown committed
2460
int Item_null::save_safe_in_field(Field *field)
unknown's avatar
unknown committed
2461 2462 2463 2464 2465
{
  return set_field_to_null(field);
}


unknown's avatar
unknown committed
2466
int Item::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2467
{
2468
  int error;
unknown's avatar
unknown committed
2469 2470 2471 2472 2473
  if (result_type() == STRING_RESULT ||
      result_type() == REAL_RESULT &&
      field->result_type() == STRING_RESULT)
  {
    String *result;
2474
    CHARSET_INFO *cs= collation.collation;
unknown's avatar
unknown committed
2475
    char buff[MAX_FIELD_WIDTH];		// Alloc buffer for small columns
unknown's avatar
unknown committed
2476
    str_value.set_quick(buff, sizeof(buff), cs);
unknown's avatar
unknown committed
2477 2478
    result=val_str(&str_value);
    if (null_value)
2479
    {
unknown's avatar
unknown committed
2480
      str_value.set_quick(0, 0, cs);
2481
      return set_field_to_null_with_conversions(field, no_conversions);
2482
    }
unknown's avatar
unknown committed
2483
    field->set_notnull();
2484
    error=field->store(result->ptr(),result->length(),cs);
2485
    str_value.set_quick(0, 0, cs);
unknown's avatar
unknown committed
2486 2487 2488
  }
  else if (result_type() == REAL_RESULT)
  {
2489
    double nr= val_real();
unknown's avatar
unknown committed
2490 2491 2492
    if (null_value)
      return set_field_to_null(field);
    field->set_notnull();
2493
    error=field->store(nr);
unknown's avatar
unknown committed
2494 2495 2496 2497 2498
  }
  else
  {
    longlong nr=val_int();
    if (null_value)
2499
      return set_field_to_null_with_conversions(field, no_conversions);
unknown's avatar
unknown committed
2500
    field->set_notnull();
2501
    error=field->store(nr);
unknown's avatar
unknown committed
2502
  }
unknown's avatar
unknown committed
2503
  return error;
unknown's avatar
unknown committed
2504 2505
}

2506

unknown's avatar
unknown committed
2507
int Item_string::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2508 2509 2510 2511 2512 2513
{
  String *result;
  result=val_str(&str_value);
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
unknown's avatar
unknown committed
2514
  return field->store(result->ptr(),result->length(),collation.collation);
unknown's avatar
unknown committed
2515 2516
}

unknown's avatar
unknown committed
2517
int Item_uint::save_in_field(Field *field, bool no_conversions)
2518
{
2519 2520 2521 2522
  /*
    TODO: To be fixed when wen have a
    field->store(longlong, unsigned_flag) method 
  */
unknown's avatar
unknown committed
2523
  return Item_int::save_in_field(field, no_conversions);
2524 2525
}

unknown's avatar
unknown committed
2526 2527

int Item_int::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2528 2529 2530 2531 2532
{
  longlong nr=val_int();
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
unknown's avatar
unknown committed
2533
  return field->store(nr);
unknown's avatar
unknown committed
2534 2535
}

unknown's avatar
unknown committed
2536 2537 2538 2539
Item_num *Item_uint::neg()
{
  return new Item_real(name, - ((double) value), 0, max_length);
}
unknown's avatar
unknown committed
2540

unknown's avatar
unknown committed
2541 2542 2543 2544 2545 2546 2547 2548 2549

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

Item_real::Item_real(const char *str_arg, uint length)
{
  int error;
2550 2551 2552
  char *end_not_used;
  value= my_strntod(&my_charset_bin, (char*) str_arg, length, &end_not_used,
                    &error);
unknown's avatar
unknown committed
2553 2554 2555 2556 2557 2558 2559
  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);
2560
    my_error(ER_ILLEGAL_VALUE_FOR_TYPE, MYF(0), "double", (char*) str_arg);
unknown's avatar
unknown committed
2561 2562 2563 2564 2565 2566 2567 2568
  }
  presentation= name=(char*) str_arg;
  decimals=(uint8) nr_of_decimals(str_arg);
  max_length=length;
  fixed= 1;
}


unknown's avatar
unknown committed
2569
int Item_real::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2570
{
2571
  double nr= val_real();
unknown's avatar
unknown committed
2572 2573 2574
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
unknown's avatar
unknown committed
2575
  return field->store(nr);
unknown's avatar
unknown committed
2576 2577
}

2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592

void Item_real::print(String *str)
{
  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);
}


unknown's avatar
unknown committed
2593 2594 2595 2596 2597
/*
  hex item
  In string context this is a binary string.
  In number context this is a longlong value.
*/
unknown's avatar
unknown committed
2598

unknown's avatar
unknown committed
2599
inline uint char_val(char X)
unknown's avatar
unknown committed
2600 2601 2602 2603 2604 2605
{
  return (uint) (X >= '0' && X <= '9' ? X-'0' :
		 X >= 'A' && X <= 'Z' ? X-'A'+10 :
		 X-'a'+10);
}

2606

unknown's avatar
unknown committed
2607
Item_hex_string::Item_hex_string(const char *str, uint str_length)
unknown's avatar
unknown committed
2608 2609 2610 2611 2612 2613
{
  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;
unknown's avatar
unknown committed
2614
  str_value.set(ptr,max_length,&my_charset_bin);
unknown's avatar
unknown committed
2615 2616 2617 2618 2619 2620 2621 2622 2623
  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
2624
  collation.set(&my_charset_bin, DERIVATION_COERCIBLE);
unknown's avatar
unknown committed
2625
  fixed= 1;
unknown's avatar
unknown committed
2626 2627
}

unknown's avatar
unknown committed
2628
longlong Item_hex_string::val_int()
unknown's avatar
unknown committed
2629
{
unknown's avatar
unknown committed
2630
  // following assert is redundant, because fixed=1 assigned in constructor
2631
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2632 2633 2634 2635 2636 2637 2638 2639 2640 2641
  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;
}


unknown's avatar
unknown committed
2642
int Item_hex_string::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2643
{
2644
  int error;
unknown's avatar
unknown committed
2645 2646 2647
  field->set_notnull();
  if (field->result_type() == STRING_RESULT)
  {
2648
    error=field->store(str_value.ptr(),str_value.length(),collation.collation);
unknown's avatar
unknown committed
2649 2650 2651 2652
  }
  else
  {
    longlong nr=val_int();
2653
    error=field->store(nr);
unknown's avatar
unknown committed
2654
  }
unknown's avatar
unknown committed
2655
  return error;
unknown's avatar
unknown committed
2656 2657 2658
}


unknown's avatar
unknown committed
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
/*
  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;
}


2697 2698 2699 2700 2701
/*
  Pack data in buffer for sending
*/

bool Item_null::send(Protocol *protocol, String *packet)
unknown's avatar
unknown committed
2702
{
2703
  return protocol->store_null();
unknown's avatar
unknown committed
2704 2705 2706
}

/*
2707
  This is only called from items that is not of type item_field
unknown's avatar
unknown committed
2708 2709
*/

2710
bool Item::send(Protocol *protocol, String *buffer)
unknown's avatar
unknown committed
2711
{
2712 2713
  bool result;
  enum_field_types type;
2714
  LINT_INIT(result);                     // Will be set if null_value == 0
2715 2716 2717

  switch ((type=field_type())) {
  default:
2718 2719 2720 2721 2722 2723 2724 2725 2726
  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:
2727 2728
  case MYSQL_TYPE_STRING:
  case MYSQL_TYPE_VAR_STRING:
2729
  case MYSQL_TYPE_VARCHAR:
unknown's avatar
unknown committed
2730
  case MYSQL_TYPE_BIT:
2731 2732 2733
  {
    String *res;
    if ((res=val_str(buffer)))
2734
      result= protocol->store(res->ptr(),res->length(),res->charset());
2735 2736 2737 2738 2739 2740 2741 2742 2743 2744 2745 2746 2747 2748 2749 2750 2751 2752
    break;
  }
  case MYSQL_TYPE_TINY:
  {
    longlong nr;
    nr= val_int();
    if (!null_value)
      result= protocol->store_tiny(nr);
    break;
  }
  case MYSQL_TYPE_SHORT:
  {
    longlong nr;
    nr= val_int();
    if (!null_value)
      result= protocol->store_short(nr);
    break;
  }
2753
  case MYSQL_TYPE_INT24:
2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768 2769
  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;
  }
unknown's avatar
unknown committed
2770 2771 2772
  case MYSQL_TYPE_FLOAT:
  {
    float nr;
2773
    nr= (float) val_real();
unknown's avatar
unknown committed
2774 2775 2776 2777
    if (!null_value)
      result= protocol->store(nr, decimals, buffer);
    break;
  }
2778 2779
  case MYSQL_TYPE_DOUBLE:
  {
2780
    double nr= val_real();
2781 2782 2783 2784 2785 2786
    if (!null_value)
      result= protocol->store(nr, decimals, buffer);
    break;
  }
  case MYSQL_TYPE_DATETIME:
  case MYSQL_TYPE_DATE:
2787
  case MYSQL_TYPE_TIMESTAMP:
2788 2789
  {
    TIME tm;
2790
    get_date(&tm, TIME_FUZZY_DATE);
2791 2792 2793 2794 2795 2796 2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807 2808 2809 2810 2811
    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;
unknown's avatar
unknown committed
2812 2813
}

2814 2815

bool Item_field::send(Protocol *protocol, String *buffer)
unknown's avatar
unknown committed
2816
{
2817
  return protocol->store(result_field);
unknown's avatar
unknown committed
2818 2819
}

2820 2821

/*
2822
  Resolve the name of a reference to a column reference.
2823 2824 2825

  SYNOPSIS
    Item_ref::fix_fields()
2826
    thd       [in]      current thread
2827
    tables    [in]      the tables in a FROM clause
2828
    reference [in/out]  view column if this item was resolved to a view column
2829 2830

  DESCRIPTION
2831 2832
    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
2833 2834
    used typically for columns in the HAVING clause which are not under
    aggregate functions.
2835 2836

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

2840 2841 2842
      resolve_extended([T_j].col_ref_i)
      {
        Search for a column or derived column named col_ref_i [in table T_j]
2843
        in the SELECT and GROUP clauses of Q.
2844

2845 2846
        if such a column is NOT found AND    // Lookup in outer queries.
           there are outer queries
2847 2848 2849
        {
          for each outer query Q_k beginning from the inner-most one
         {
2850 2851 2852 2853 2854 2855 2856 2857
            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
2858 2859 2860 2861 2862 2863 2864
            {
              search for a column or derived column named col_ref_i
              [in table T_j] in the FROM clause of Q_k;
            }
          }
        }
      }
2865 2866

    This procedure treats GROUP BY and SELECT clauses as one namespace for
2867 2868 2869
    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.
2870 2871 2872 2873 2874

  RETURN
    TRUE  if error
    FALSE on success
*/
unknown's avatar
unknown committed
2875

unknown's avatar
VIEW  
unknown committed
2876
bool Item_ref::fix_fields(THD *thd, TABLE_LIST *tables, Item **reference)
unknown's avatar
unknown committed
2877
{
2878
  DBUG_ASSERT(fixed == 0);
2879
  enum_parsing_place place= NO_MATTER;
2880 2881
  SELECT_LEX *current_sel= thd->lex->current_select;

unknown's avatar
unknown committed
2882 2883
  if (!ref)
  {
2884 2885
    SELECT_LEX_UNIT *prev_unit= current_sel->master_unit();
    SELECT_LEX *outer_sel= prev_unit->outer_select();
2886 2887 2888
    ORDER *group_list= (ORDER*) current_sel->group_list.first;
    bool ambiguous_fields= FALSE;
    Item **group_by_ref= NULL;
2889

2890 2891
    if (!(ref= resolve_ref_in_select_and_group(thd, this, current_sel)))
      return TRUE;             /* Some error occured (e.g. ambigous names). */
2892

2893
    if (ref == not_found_item) /* This reference was not resolved. */
unknown's avatar
unknown committed
2894 2895
    {
      /*
2896 2897 2898 2899 2900 2901 2902
        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.
unknown's avatar
unknown committed
2903
      */
2904 2905
      if (outer_sel && (current_sel->master_unit()->first_select()->linkage !=
                        DERIVED_TABLE_TYPE))
2906
      {
2907
        TABLE_LIST *table_list;
2908
        Field *from_field= (Field*) not_found_field;
2909
        SELECT_LEX *last= 0;
2910

2911 2912 2913 2914 2915 2916 2917 2918
        for ( ; outer_sel ;
              outer_sel= (prev_unit= outer_sel->master_unit())->outer_select())
        {
          last= outer_sel;
          Item_subselect *prev_subselect_item= prev_unit->item;

          /* Search in the SELECT and GROUP lists of the outer select. */
          if (outer_sel->resolve_mode == SELECT_LEX::SELECT_MODE)
2919
          {
2920 2921 2922
            if (!(ref= resolve_ref_in_select_and_group(thd, this, outer_sel)))
              return TRUE; /* Some error occured (e.g. ambigous names). */
            if (ref != not_found_item)
2923
            {
2924 2925 2926 2927
              DBUG_ASSERT(*ref && (*ref)->fixed);
              prev_subselect_item->used_tables_cache|= (*ref)->used_tables();
              prev_subselect_item->const_item_cache&= (*ref)->const_item();
              break;
2928
            }
2929 2930 2931 2932 2933
          }

          /* 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)
2934 2935 2936 2937
            /*
              It is a primary INSERT st_select_lex => do not resolve against the
              first table.
            */
2938
            table_list= table_list->next_local;
2939

unknown's avatar
unknown committed
2940
          place= prev_subselect_item->parsing_place;
2941 2942
          /*
            Check table fields only if the subquery is used somewhere out of
2943 2944
            HAVING or the outer SELECT does not use grouping (i.e. tables are
            accessible).
2945 2946 2947 2948 2949 2950
            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.
          */
2951
          if ((place != IN_HAVING ||
2952 2953 2954
               (!outer_sel->with_sum_func &&
                outer_sel->group_list.elements == 0)))
          {
2955 2956 2957 2958
            if ((from_field= find_field_in_tables(thd, this, table_list,
                                                  reference,
                                                  IGNORE_EXCEPT_NON_UNIQUE,
                                                  TRUE)) !=
2959
                not_found_field)
2960
            {
2961
              if (from_field != view_ref_found)
2962
              {
2963
                prev_subselect_item->used_tables_cache|= from_field->table->map;
2964 2965 2966 2967 2968 2969 2970 2971 2972 2973
                prev_subselect_item->const_item_cache= 0;
              }
              else
              {
                prev_subselect_item->used_tables_cache|=
                  (*reference)->used_tables();
                prev_subselect_item->const_item_cache&=
                  (*reference)->const_item();
              }
              break;
2974 2975
            }
          }
2976

2977 2978 2979
          /* 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;
2980

2981 2982 2983 2984
          if (outer_sel->master_unit()->first_select()->linkage ==
              DERIVED_TABLE_TYPE)
            break; /* Do not consider derived tables. */
        }
2985

2986
        DBUG_ASSERT(ref);
2987
        if (!from_field)
2988
          return TRUE;
2989
        if (ref == not_found_item && from_field == not_found_field)
2990
        {
2991 2992
          my_error(ER_BAD_FIELD_ERROR, MYF(0),
                   this->full_name(), current_thd->where);
2993
          ref= 0;                                 // Safety
2994 2995
          return TRUE;
        }
2996
        if (from_field != not_found_field)
2997
        {
2998 2999 3000 3001 3002 3003
          /*
            Set ref to 0 as we are replacing this item with the found item and
            this will ensure we get an error if this item would be used
            elsewhere
          */
          ref= 0;                                 // Safety
3004
          if (from_field != view_ref_found)
3005
          {
3006
            Item_field* fld;
unknown's avatar
unknown committed
3007
            if (!(fld= new Item_field(from_field)))
3008
              return TRUE;
3009 3010
            thd->change_item_tree(reference, fld);
            mark_as_dependent(thd, last, thd->lex->current_select, fld);
3011 3012 3013 3014 3015 3016 3017 3018 3019 3020 3021 3022 3023 3024 3025
            return FALSE;
          }
          /*
            We can leave expression substituted from view for next PS/SP
            re-execution (i.e. do not register this substitution for reverting
            on cleanup() (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.
          */
        }
        else
        {
3026
          /* Should be checked in resolve_ref_in_select_and_group(). */
3027 3028 3029
          DBUG_ASSERT(*ref && (*ref)->fixed);
          mark_as_dependent(thd, last, current_sel, this);
        }
unknown's avatar
unknown committed
3030
      }
3031
      else
3032
      {
3033
        /* The current reference cannot be resolved in this query. */
3034 3035
        my_error(ER_BAD_FIELD_ERROR,MYF(0),
                 this->full_name(), current_thd->where);
3036
        return TRUE;
3037 3038
      }
    }
unknown's avatar
unknown committed
3039
  }
3040

3041
  /*
3042 3043 3044
    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.
3045
  */
3046
  if (((*ref)->with_sum_func && name &&
3047
       (depended_from ||
3048 3049
	!(current_sel->linkage != GLOBAL_OPTIONS_TYPE &&
          current_sel->having_fix_field))) ||
3050 3051
      !(*ref)->fixed)
  {
3052 3053 3054 3055
    my_error(ER_ILLEGAL_REFERENCE, MYF(0),
             name, ((*ref)->with_sum_func?
                    "reference to group function":
                    "forward reference in item list"));
3056
    return TRUE;
3057
  }
3058 3059 3060 3061 3062 3063 3064 3065 3066 3067

  set_properties();

  if (ref && (*ref)->check_cols(1))
    return 1;
  return 0;
}

void Item_ref::set_properties()
{
3068 3069 3070
  max_length= (*ref)->max_length;
  maybe_null= (*ref)->maybe_null;
  decimals=   (*ref)->decimals;
3071
  collation.set((*ref)->collation);
unknown's avatar
unknown committed
3072
  with_sum_func= (*ref)->with_sum_func;
unknown's avatar
unknown committed
3073 3074 3075 3076
  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
3077
  fixed= 1;
unknown's avatar
unknown committed
3078 3079
}

3080

unknown's avatar
unknown committed
3081 3082
void Item_ref::cleanup()
{
unknown's avatar
unknown committed
3083
  DBUG_ENTER("Item_ref::cleanup");
unknown's avatar
unknown committed
3084
  Item_ident::cleanup();
3085
  result_field= 0;
unknown's avatar
unknown committed
3086
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
3087 3088 3089
}


unknown's avatar
unknown committed
3090 3091 3092 3093 3094 3095 3096 3097 3098
void Item_ref::print(String *str)
{
  if (ref && *ref)
    (*ref)->print(str);
  else
    Item_ident::print(str);
}


3099 3100 3101 3102 3103 3104 3105 3106
bool Item_ref::send(Protocol *prot, String *tmp)
{
  if (result_field)
    return prot->store(result_field);
  return (*ref)->send(prot, tmp);
}


3107 3108 3109 3110 3111 3112 3113 3114
double Item_ref::val_result()
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
      return 0.0;
    return result_field->val_real();
  }
3115
  return val_real();
3116 3117 3118 3119 3120 3121 3122 3123
}


longlong Item_ref::val_int_result()
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
3124
      return 0;
3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143
    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);
}


unknown's avatar
unknown committed
3144 3145
void Item_ref_null_helper::print(String *str)
{
3146
  str->append("<ref_null_helper>(", 18);
unknown's avatar
unknown committed
3147 3148 3149 3150 3151 3152 3153 3154 3155 3156
  if (ref && *ref)
    (*ref)->print(str);
  else
    str->append('?');
  str->append(')');
}


void Item_null_helper::print(String *str)
{
3157
  str->append("<null_helper>(", 14);
unknown's avatar
unknown committed
3158 3159 3160 3161 3162
  store->print(str);
  str->append(')');
}


unknown's avatar
SCRUM  
unknown committed
3163 3164
bool Item_default_value::eq(const Item *item, bool binary_cmp) const
{
unknown's avatar
SCRUM  
unknown committed
3165
  return item->type() == DEFAULT_VALUE_ITEM && 
unknown's avatar
SCRUM  
unknown committed
3166 3167 3168
    ((Item_default_value *)item)->arg->eq(arg, binary_cmp);
}

3169

3170 3171 3172
bool Item_default_value::fix_fields(THD *thd,
				    struct st_table_list *table_list,
				    Item **items)
unknown's avatar
SCRUM  
unknown committed
3173
{
unknown's avatar
unknown committed
3174 3175
  Item_field *field_arg;
  Field *def_field;
3176
  DBUG_ASSERT(fixed == 0);
unknown's avatar
unknown committed
3177

unknown's avatar
SCRUM  
unknown committed
3178
  if (!arg)
3179 3180
  {
    fixed= 1;
unknown's avatar
unknown committed
3181
    return FALSE;
3182
  }
unknown's avatar
unknown committed
3183
  if (!arg->fixed && arg->fix_fields(thd, table_list, &arg))
unknown's avatar
unknown committed
3184
    return TRUE;
3185
  
unknown's avatar
SCRUM  
unknown committed
3186 3187 3188 3189 3190
  if (arg->type() == REF_ITEM)
  {
    Item_ref *ref= (Item_ref *)arg;
    if (ref->ref[0]->type() != FIELD_ITEM)
    {
unknown's avatar
unknown committed
3191
      return TRUE;
unknown's avatar
SCRUM  
unknown committed
3192 3193 3194
    }
    arg= ref->ref[0];
  }
unknown's avatar
unknown committed
3195 3196 3197
  field_arg= (Item_field *)arg;
  if (field_arg->field->flags & NO_DEFAULT_VALUE_FLAG)
  {
3198
    my_error(ER_NO_DEFAULT_FOR_FIELD, MYF(0), field_arg->field->field_name);
unknown's avatar
unknown committed
3199
    return TRUE;
unknown's avatar
unknown committed
3200 3201
  }
  if (!(def_field= (Field*) sql_alloc(field_arg->field->size_of())))
unknown's avatar
unknown committed
3202
    return TRUE;
unknown's avatar
SCRUM  
unknown committed
3203
  memcpy(def_field, field_arg->field, field_arg->field->size_of());
3204
  def_field->move_field(def_field->table->s->default_values -
unknown's avatar
unknown committed
3205
                        def_field->table->record[0]);
unknown's avatar
SCRUM  
unknown committed
3206
  set_field(def_field);
unknown's avatar
unknown committed
3207
  return FALSE;
unknown's avatar
SCRUM  
unknown committed
3208 3209
}

unknown's avatar
SCRUM  
unknown committed
3210 3211
void Item_default_value::print(String *str)
{
unknown's avatar
SCRUM  
unknown committed
3212 3213
  if (!arg)
  {
unknown's avatar
unknown committed
3214
    str->append("default", 7);
unknown's avatar
SCRUM  
unknown committed
3215
    return;
unknown's avatar
SCRUM  
unknown committed
3216
  }
unknown's avatar
unknown committed
3217
  str->append("default(", 8);
unknown's avatar
SCRUM  
unknown committed
3218 3219 3220
  arg->print(str);
  str->append(')');
}
3221

unknown's avatar
unknown committed
3222 3223 3224 3225 3226 3227 3228
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);
}


3229 3230 3231
bool Item_insert_value::fix_fields(THD *thd,
				   struct st_table_list *table_list,
				   Item **items)
unknown's avatar
unknown committed
3232
{
3233
  DBUG_ASSERT(fixed == 0);
unknown's avatar
unknown committed
3234
  if (!arg->fixed && arg->fix_fields(thd, table_list, &arg))
unknown's avatar
unknown committed
3235
    return TRUE;
3236

unknown's avatar
unknown committed
3237 3238 3239 3240 3241
  if (arg->type() == REF_ITEM)
  {
    Item_ref *ref= (Item_ref *)arg;
    if (ref->ref[0]->type() != FIELD_ITEM)
    {
unknown's avatar
unknown committed
3242
      return TRUE;
unknown's avatar
unknown committed
3243 3244 3245 3246 3247 3248 3249 3250
    }
    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)
unknown's avatar
unknown committed
3251
      return TRUE;
unknown's avatar
unknown committed
3252 3253 3254 3255 3256 3257 3258
    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
  {
3259
    Field *tmp_field= field_arg->field;
unknown's avatar
unknown committed
3260
    /* charset doesn't matter here, it's to avoid sigsegv only */
3261 3262
    set_field(new Field_null(0, 0, Field::NONE, tmp_field->field_name,
			     tmp_field->table, &my_charset_bin));
unknown's avatar
unknown committed
3263
  }
unknown's avatar
unknown committed
3264
  return FALSE;
unknown's avatar
unknown committed
3265 3266 3267 3268
}

void Item_insert_value::print(String *str)
{
3269
  str->append("values(", 7);
unknown's avatar
unknown committed
3270 3271 3272 3273
  arg->print(str);
  str->append(')');
}

3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286 3287

/*
  Bind item representing field of row being changed in trigger
  to appropriate Field object.

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

  NOTE
    This function does almost the same as fix_fields() for Item_field
    but is invoked during trigger definition parsing and takes TABLE
3288 3289
    object as its argument. If proper field was not found in table
    error will be reported at fix_fields() time.
3290
*/
3291
void Item_trigger_field::setup_field(THD *thd, TABLE *table,
3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328 3329 3330 3331 3332
                                     enum trg_event_type event)
{
  uint field_idx= (uint)-1;
  bool save_set_query_id= thd->set_query_id;

  /* TODO: Think more about consequences of this step. */
  thd->set_query_id= 0;

  if (find_field_in_real_table(thd, table, field_name,
                                     strlen(field_name), 0, 0,
                                     &field_idx))
  {
    field= (row_version == OLD_ROW && event == TRG_EVENT_UPDATE) ?
             table->triggers->old_field[field_idx] :
             table->field[field_idx];
  }

  thd->set_query_id= save_set_query_id;
}


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);
3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344

  if (field)
  {
    // QQ: May be this should be moved to setup_field?
    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;
3345 3346 3347 3348 3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361 3362 3363 3364 3365
}


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();
}


unknown's avatar
unknown committed
3366
/*
3367 3368
  If item is a const function, calculate it and return a const item
  The original item is freed if not returned
unknown's avatar
unknown committed
3369 3370 3371 3372 3373 3374
*/

Item_result item_cmp_type(Item_result a,Item_result b)
{
  if (a == STRING_RESULT && b == STRING_RESULT)
    return STRING_RESULT;
3375
  if (a == INT_RESULT && b == INT_RESULT)
unknown's avatar
unknown committed
3376
    return INT_RESULT;
unknown's avatar
unknown committed
3377 3378
  else if (a == ROW_RESULT || b == ROW_RESULT)
    return ROW_RESULT;
3379
  return REAL_RESULT;
unknown's avatar
unknown committed
3380 3381 3382
}


3383
void resolve_const_item(THD *thd, Item **ref, Item *comp_item)
unknown's avatar
unknown committed
3384
{
3385 3386
  Item *item= *ref;
  Item *new_item;
unknown's avatar
unknown committed
3387
  if (item->basic_const_item())
3388
    return;                                     // Can't be better
unknown's avatar
unknown committed
3389 3390 3391 3392 3393 3394 3395
  Item_result res_type=item_cmp_type(comp_item->result_type(),
				     item->result_type());
  char *name=item->name;			// Alloced by sql_alloc

  if (res_type == STRING_RESULT)
  {
    char buff[MAX_FIELD_WIDTH];
unknown's avatar
unknown committed
3396
    String tmp(buff,sizeof(buff),&my_charset_bin),*result;
unknown's avatar
unknown committed
3397 3398
    result=item->val_str(&tmp);
    if (item->null_value)
3399 3400 3401 3402 3403 3404 3405
      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());
    }
unknown's avatar
unknown committed
3406
  }
3407
  else if (res_type == INT_RESULT)
unknown's avatar
unknown committed
3408 3409 3410 3411
  {
    longlong result=item->val_int();
    uint length=item->max_length;
    bool null_value=item->null_value;
3412 3413
    new_item= (null_value ? (Item*) new Item_null(name) :
               (Item*) new Item_int(name, result, length));
unknown's avatar
unknown committed
3414 3415 3416
  }
  else
  {						// It must REAL_RESULT
3417
    double result= item->val_real();
unknown's avatar
unknown committed
3418 3419
    uint length=item->max_length,decimals=item->decimals;
    bool null_value=item->null_value;
3420 3421
    new_item= (null_value ? (Item*) new Item_null(name) : (Item*)
               new Item_real(name, result, decimals, length));
unknown's avatar
unknown committed
3422
  }
3423 3424
  if (new_item)
    thd->change_item_tree(ref, new_item);
unknown's avatar
unknown committed
3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441
}

/*
  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];
unknown's avatar
unknown committed
3442 3443
    String item_tmp(item_buff,sizeof(item_buff),&my_charset_bin),*item_result;
    String field_tmp(field_buff,sizeof(field_buff),&my_charset_bin);
unknown's avatar
unknown committed
3444 3445 3446
    item_result=item->val_str(&item_tmp);
    if (item->null_value)
      return 1;					// This must be true
3447
    field->val_str(&field_tmp);
unknown's avatar
unknown committed
3448
    return !stringcmp(&field_tmp,item_result);
unknown's avatar
unknown committed
3449 3450 3451
  }
  if (res_type == INT_RESULT)
    return 1;					// Both where of type int
3452
  double result= item->val_real();
unknown's avatar
unknown committed
3453 3454 3455 3456 3457
  if (item->null_value)
    return 1;
  return result == field->val_real();
}

3458 3459 3460 3461 3462 3463 3464 3465 3466 3467
Item_cache* Item_cache::get_cache(Item_result type)
{
  switch (type)
  {
  case INT_RESULT:
    return new Item_cache_int();
  case REAL_RESULT:
    return new Item_cache_real();
  case STRING_RESULT:
    return new Item_cache_str();
unknown's avatar
unknown committed
3468 3469
  case ROW_RESULT:
    return new Item_cache_row();
3470 3471 3472 3473 3474 3475 3476
  default:
    // should never be in real life
    DBUG_ASSERT(0);
    return 0;
  }
}

unknown's avatar
unknown committed
3477 3478 3479

void Item_cache::print(String *str)
{
3480
  str->append("<cache>(", 8);
unknown's avatar
unknown committed
3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502
  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;
}


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


3503 3504
void Item_cache_str::store(Item *item)
{
unknown's avatar
merge  
unknown committed
3505
  value_buff.set(buffer, sizeof(buffer), item->collation.collation);
3506
  value= item->str_result(&value_buff);
3507 3508
  if ((null_value= item->null_value))
    value= 0;
3509
  else if (value != &value_buff)
3510 3511 3512 3513 3514 3515 3516 3517 3518
  {
    /*
      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;
    */
3519 3520
    value_buff.copy(*value);
    value= &value_buff;
3521 3522
  }
}
3523 3524


3525
double Item_cache_str::val_real()
3526 3527
{
  DBUG_ASSERT(fixed == 1);
3528 3529
  int err_not_used;
  char *end_not_used;
3530
  if (value)
3531
    return my_strntod(value->charset(), (char*) value->ptr(),
3532 3533
		      value->length(), &end_not_used, &err_not_used);
  return (double) 0;
3534
}
3535 3536


3537 3538
longlong Item_cache_str::val_int()
{
3539
  DBUG_ASSERT(fixed == 1);
3540
  int err;
3541 3542
  if (value)
    return my_strntoll(value->charset(), value->ptr(),
3543
		       value->length(), 10, (char**) 0, &err);
3544 3545 3546
  else
    return (longlong)0;
}
unknown's avatar
unknown committed
3547

3548

unknown's avatar
unknown committed
3549 3550
bool Item_cache_row::allocate(uint num)
{
unknown's avatar
unknown committed
3551
  item_count= num;
unknown's avatar
unknown committed
3552
  THD *thd= current_thd;
unknown's avatar
unknown committed
3553 3554
  return (!(values= 
	    (Item_cache **) thd->calloc(sizeof(Item_cache *)*item_count)));
unknown's avatar
unknown committed
3555 3556
}

3557

unknown's avatar
unknown committed
3558 3559
bool Item_cache_row::setup(Item * item)
{
unknown's avatar
unknown committed
3560
  example= item;
unknown's avatar
unknown committed
3561 3562
  if (!values && allocate(item->cols()))
    return 1;
unknown's avatar
unknown committed
3563
  for (uint i= 0; i < item_count; i++)
unknown's avatar
unknown committed
3564
  {
unknown's avatar
unknown committed
3565
    Item *el= item->el(i);
unknown's avatar
unknown committed
3566 3567
    Item_cache *tmp;
    if (!(tmp= values[i]= Item_cache::get_cache(el->result_type())))
unknown's avatar
unknown committed
3568
      return 1;
unknown's avatar
unknown committed
3569
    tmp->setup(el);
unknown's avatar
unknown committed
3570 3571 3572 3573
  }
  return 0;
}

3574

unknown's avatar
unknown committed
3575 3576 3577 3578
void Item_cache_row::store(Item * item)
{
  null_value= 0;
  item->bring_value();
unknown's avatar
unknown committed
3579
  for (uint i= 0; i < item_count; i++)
unknown's avatar
unknown committed
3580 3581 3582 3583 3584 3585
  {
    values[i]->store(item->el(i));
    null_value|= values[i]->null_value;
  }
}

3586

unknown's avatar
unknown committed
3587 3588 3589 3590 3591
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);
unknown's avatar
unknown committed
3592
  my_error(ER_OPERAND_COLUMNS, MYF(0), 1);
unknown's avatar
unknown committed
3593 3594 3595
  DBUG_VOID_RETURN;
}

3596

unknown's avatar
unknown committed
3597 3598
bool Item_cache_row::check_cols(uint c)
{
unknown's avatar
unknown committed
3599
  if (c != item_count)
unknown's avatar
unknown committed
3600
  {
unknown's avatar
unknown committed
3601
    my_error(ER_OPERAND_COLUMNS, MYF(0), c);
unknown's avatar
unknown committed
3602 3603 3604 3605 3606
    return 1;
  }
  return 0;
}

3607

unknown's avatar
unknown committed
3608 3609
bool Item_cache_row::null_inside()
{
unknown's avatar
unknown committed
3610
  for (uint i= 0; i < item_count; i++)
unknown's avatar
unknown committed
3611 3612 3613 3614 3615 3616 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626
  {
    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;
}

3627

unknown's avatar
unknown committed
3628 3629
void Item_cache_row::bring_value()
{
unknown's avatar
unknown committed
3630
  for (uint i= 0; i < item_count; i++)
unknown's avatar
unknown committed
3631 3632 3633
    values[i]->bring_value();
  return;
}
unknown's avatar
unknown committed
3634

3635

3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 3661 3662 3663 3664 3665 3666 3667 3668 3669 3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 3680 3681 3682
/*
  Returns field for temporary table dependind on item type

  SYNOPSIS
    get_holder_example_field()
    thd            - thread handler
    item           - pointer to item
    table          - empty table object

  NOTE
    It is possible to return field for Item_func 
    items only if field type of this item is 
    date or time or datetime type.
    also see function field_types_to_be_kept() from
    field.cc

  RETURN
    # - field
    0 - no field
*/

Field *get_holder_example_field(THD *thd, Item *item, TABLE *table)
{
  DBUG_ASSERT(table);

  Item_func *tmp_item= 0;
  if (item->type() == Item::FIELD_ITEM)
    return (((Item_field*) item)->field);
  if (item->type() == Item::FUNC_ITEM)
    tmp_item= (Item_func *) item;
  else if (item->type() == Item::SUM_FUNC_ITEM)
  {
    Item_sum *item_sum= (Item_sum *) item;
    if (item_sum->keep_field_type())
    {
      if (item_sum->args[0]->type() == Item::FIELD_ITEM)
        return (((Item_field*) item_sum->args[0])->field);
      if (item_sum->args[0]->type() == Item::FUNC_ITEM)
        tmp_item= (Item_func *) item_sum->args[0];
    }
  }
  return (tmp_item && field_types_to_be_kept(tmp_item->field_type()) ?
          tmp_item->tmp_table_field(table) : 0);
}


Item_type_holder::Item_type_holder(THD *thd, Item *item, TABLE *table)
3683 3684
  :Item(thd, item), item_type(item->result_type()),
   orig_type(item_type)
3685 3686
{
  DBUG_ASSERT(item->fixed);
unknown's avatar
unknown committed
3687 3688 3689 3690 3691

  /*
    It is safe assign pointer on field, because it will be used just after
    all JOIN::prepare calls and before any SELECT execution
  */
3692
  field_example= get_holder_example_field(thd, item, table);
3693
  max_length= real_length(item);
3694
  maybe_null= item->maybe_null;
3695
  collation.set(item->collation);
3696 3697 3698
}


3699 3700 3701 3702 3703 3704 3705
/*
  STRING_RESULT, REAL_RESULT, INT_RESULT, ROW_RESULT

  ROW_RESULT should never appear in Item_type_holder::join_types,
  but it is included in following table just to make table full
  (there DBUG_ASSERT in function to catch ROW_RESULT)
*/
3706 3707 3708 3709 3710 3711
static Item_result type_convertor[4][4]=
{{STRING_RESULT, STRING_RESULT, STRING_RESULT, ROW_RESULT},
 {STRING_RESULT, REAL_RESULT,   REAL_RESULT,   ROW_RESULT},
 {STRING_RESULT, REAL_RESULT,   INT_RESULT,    ROW_RESULT},
 {ROW_RESULT,    ROW_RESULT,    ROW_RESULT,    ROW_RESULT}};

3712 3713 3714 3715 3716 3717 3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730 3731

/*
  Values of 'from' field can be stored in 'to' field.

  SYNOPSIS
    is_attr_compatible()
    from        Item which values should be saved
    to          Item where values should be saved

  RETURN
    1   can be saved
    0   can not be saved
*/

inline bool is_attr_compatible(Item *from, Item *to)
{
  return ((to->max_length >= from->max_length) &&
          (to->maybe_null || !from->maybe_null) &&
          (to->result_type() != STRING_RESULT ||
           from->result_type() != STRING_RESULT ||
3732
          (from->collation.collation == to->collation.collation)));
3733 3734 3735
}


3736
bool Item_type_holder::join_types(THD *thd, Item *item, TABLE *table)
3737
{
3738
  uint32 new_length= real_length(item);
3739 3740
  bool use_new_field= 0, use_expression_type= 0;
  Item_result new_result_type= type_convertor[item_type][item->result_type()];
3741 3742
  Field *field= get_holder_example_field(thd, item, table);
  bool item_is_a_field= field;
3743 3744 3745 3746 3747
  /*
    Check if both items point to fields: in this case we
    can adjust column types of result table in the union smartly.
  */
  if (field_example && item_is_a_field)
3748
  {
3749 3750 3751 3752
    /* Can 'field_example' field store data of the column? */
    if ((use_new_field=
         (!field->field_cast_compatible(field_example->field_cast_type()) ||
          !is_attr_compatible(item, this))))
3753
    {
3754 3755 3756 3757 3758 3759 3760
      /*
        The old field can't store value of the new field.
        Check if the new field can store value of the old one.
      */
      use_expression_type|=
        (!field_example->field_cast_compatible(field->field_cast_type()) ||
         !is_attr_compatible(this, item));
3761 3762
    }
  }
3763 3764
  else if (field_example || item_is_a_field)
  {
unknown's avatar
unknown committed
3765
    /*
3766 3767
      Expression types can't be mixed with field types, we have to use
      expression types.
unknown's avatar
unknown committed
3768
    */
3769 3770 3771 3772 3773 3774 3775 3776 3777 3778 3779 3780 3781
    use_new_field= 1;                           // make next if test easier
    use_expression_type= 1;
  }

  /* Check whether size/type of the result item should be changed */
  if (use_new_field ||
      (new_result_type != item_type) || (new_length > max_length) ||
      (!maybe_null && item->maybe_null) ||
      (item_type == STRING_RESULT && 
       collation.collation != item->collation.collation))
  {
    const char *old_cs,*old_derivation;
    if (use_expression_type || !item_is_a_field)
3782 3783
      field_example= 0;
    else
3784 3785 3786 3787 3788
    {
      /*
        It is safe to assign a pointer to field here, because it will be used
        before any table is closed.
      */
3789
      field_example= field;
3790
    }
unknown's avatar
unknown committed
3791

3792 3793
    old_cs= collation.collation->name;
    old_derivation= collation.derivation_name();
3794 3795
    if (item_type == STRING_RESULT && collation.aggregate(item->collation))
    {
3796 3797 3798 3799 3800
      my_error(ER_CANT_AGGREGATE_2COLLATIONS, MYF(0),
               old_cs, old_derivation,
               item->collation.collation->name,
               item->collation.derivation_name(),
               "UNION");
3801 3802 3803
      return 1;
    }

3804
    max_length= max(max_length, new_length);
3805 3806
    decimals= max(decimals, item->decimals);
    maybe_null|= item->maybe_null;
3807
    item_type= new_result_type;
3808 3809
  }
  DBUG_ASSERT(item_type != ROW_RESULT);
3810
  return 0;
3811 3812
}

3813

3814 3815 3816
uint32 Item_type_holder::real_length(Item *item)
{
  if (item->type() == Item::FIELD_ITEM)
unknown's avatar
unknown committed
3817
    return ((Item_field *)item)->max_disp_length();
3818

3819 3820 3821 3822 3823 3824 3825 3826 3827 3828 3829 3830 3831 3832
  switch (item->result_type())
  {
  case STRING_RESULT:
    return item->max_length;
  case REAL_RESULT:
    return 53;
  case INT_RESULT:
    return 20;
  case ROW_RESULT:
  default:
    DBUG_ASSERT(0); // we should never go there
    return 0;
  }
}
3833

3834
double Item_type_holder::val_real()
3835 3836 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 3848 3849 3850 3851 3852 3853
{
  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;
}


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

3854 3855 3856 3857 3858 3859 3860 3861
void Item_result_field::cleanup()
{
  DBUG_ENTER("Item_result_field::cleanup()");
  Item::cleanup();
  result_field= 0;
  DBUG_VOID_RETURN;
}

unknown's avatar
unknown committed
3862 3863 3864 3865 3866 3867 3868
/*****************************************************************************
** Instantiate templates
*****************************************************************************/

#ifdef __GNUC__
template class List<Item>;
template class List_iterator<Item>;
unknown's avatar
unknown committed
3869
template class List_iterator_fast<Item>;
3870
template class List_iterator_fast<Item_field>;
unknown's avatar
unknown committed
3871 3872
template class List<List_item>;
#endif