item.cc 99.7 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),
49
  collation(default_charset(), 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)
unknown's avatar
VIEW  
unknown committed
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->table_cache_key, 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 639 640

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();
  table_name=field_par->table_name;
  field_name=field_par->field_name;
641
  db_name=field_par->table->table_cache_key;
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 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302
  switch (state) {
  case REAL_VALUE:
    return value.real;
  case INT_VALUE:
    return (double) value.integer;
  case STRING_VALUE:
  case LONG_DATA_VALUE:
    {
      int dummy_err;
      return my_strntod(str_value.charset(), (char*) str_value.ptr(),
                        str_value.length(), (char**) 0, &dummy_err);
    }
  case TIME_VALUE:
    /*
      This works for example when user says SELECT ?+0.0 and supplies
      time value for the placeholder.
    */
1303
    return ulonglong2double(TIME_to_ulonglong(&value.time));
1304
  case NULL_VALUE:
1305
    return 0.0;
unknown's avatar
unknown committed
1306
  default:
1307
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
1308
  }
1309
  return 0.0;
unknown's avatar
unknown committed
1310 1311
} 

1312

unknown's avatar
unknown committed
1313 1314
longlong Item_param::val_int() 
{ 
1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330
  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
1331
  default:
1332
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
1333
  }
1334
  return 0;
unknown's avatar
unknown committed
1335 1336
}

1337

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

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

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

      /* Create date string inplace */
      buf= str->c_ptr_quick();
      ptr= buf;
      *ptr++= '\'';
1397
      ptr+= (uint) my_TIME_to_str(&value.time, ptr);
1398 1399 1400
      *ptr++= '\'';
      str->length((uint32) (ptr - buf));
      break;
1401
    }
1402 1403
  case STRING_VALUE:
  case LONG_DATA_VALUE:
1404
    {
1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417
      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;
1418
    }
1419 1420 1421 1422
  case NULL_VALUE:
    return &my_null_string;
  default:
    DBUG_ASSERT(0);
1423 1424 1425
  }
  return str;
}
1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450


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

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

unknown's avatar
unknown committed
1467

1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487
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
****************************************************************************/
1488

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

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

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
1516
/*
1517
  Functions to convert item to field (for send_fields)
unknown's avatar
unknown committed
1518 1519 1520 1521
*/

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

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

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


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


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


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

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

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

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

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


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
/*
  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.
        */
1684 1685
        my_error(ER_NON_UNIQ_ERROR, MYF(0),
                 find_item->full_name(), current_thd->where);
1686 1687 1688 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
        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;
1742
  bool not_used;
1743 1744 1745 1746 1747 1748

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

  return (Item**) not_found_item;
1789 1790 1791
}


1792 1793 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
/*
  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
*/

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

          /* 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
1927
          {
1928 1929 1930 1931 1932 1933 1934 1935 1936
            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;
            }
1937 1938 1939
	  }

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

1943
	  if (outer_sel->master_unit()->first_select()->linkage ==
1944
	      DERIVED_TABLE_TYPE)
1945
	    break; // do not look over derived table
1946
	}
1947
      }
1948 1949 1950 1951 1952

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

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

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

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

2073 2074 2075 2076 2077 2078 2079 2080

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


unknown's avatar
unknown committed
2081 2082
void Item_field::cleanup()
{
unknown's avatar
unknown committed
2083
  DBUG_ENTER("Item_field::cleanup");
unknown's avatar
unknown committed
2084
  Item_ident::cleanup();
2085 2086 2087 2088 2089
  /*
    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'.
   */
2090
  field= result_field= 0;
2091
  DBUG_VOID_RETURN;
2092
}
unknown's avatar
unknown committed
2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113

/*
  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
2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135
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;
}


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

unknown's avatar
unknown committed
2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175
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;
}


/*
2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190
  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
2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223
   
  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
2224
}
unknown's avatar
unknown committed
2225

2226

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

2247
void Item::make_field(Send_field *tmp_field)
unknown's avatar
unknown committed
2248
{
2249
  init_make_field(tmp_field, field_type());
unknown's avatar
unknown committed
2250 2251 2252
}


2253 2254
void Item_empty_string::make_field(Send_field *tmp_field)
{
2255
  init_make_field(tmp_field, MYSQL_TYPE_VARCHAR);
2256 2257
}

unknown's avatar
unknown committed
2258

2259
enum_field_types Item::field_type() const
unknown's avatar
unknown committed
2260
{
2261
  return ((result_type() == STRING_RESULT) ? MYSQL_TYPE_VARCHAR :
2262 2263
	  (result_type() == INT_RESULT) ? FIELD_TYPE_LONGLONG :
	  FIELD_TYPE_DOUBLE);
unknown's avatar
unknown committed
2264 2265
}

2266

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


2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304
/*
  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
*/

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

2374

2375 2376
/* ARGSUSED */
void Item_field::make_field(Send_field *tmp_field)
unknown's avatar
unknown committed
2377
{
2378
  field->make_field(tmp_field);
2379
  DBUG_ASSERT(tmp_field->table_name);
2380 2381
  if (name)
    tmp_field->col_name=name;			// Use user supplied name
unknown's avatar
unknown committed
2382 2383
}

2384

unknown's avatar
unknown committed
2385
/*
2386
  Set a field:s value from a item
unknown's avatar
unknown committed
2387 2388 2389 2390 2391 2392 2393
*/

void Item_field::save_org_in_field(Field *to)
{
  if (field->is_null())
  {
    null_value=1;
2394
    set_field_to_null_with_conversions(to, 1);
unknown's avatar
unknown committed
2395 2396 2397 2398 2399 2400 2401 2402 2403
  }
  else
  {
    to->set_notnull();
    field_conv(to,field);
    null_value=0;
  }
}

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

2420

unknown's avatar
unknown committed
2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436
/*
  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
2437
int Item_null::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2438
{
2439
  return set_field_to_null_with_conversions(field, no_conversions);
unknown's avatar
unknown committed
2440 2441 2442
}


2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454
/*
  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
2455
int Item_null::save_safe_in_field(Field *field)
unknown's avatar
unknown committed
2456 2457 2458 2459 2460
{
  return set_field_to_null(field);
}


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

2501

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

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

unknown's avatar
unknown committed
2521 2522

int Item_int::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2523 2524 2525 2526 2527
{
  longlong nr=val_int();
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
unknown's avatar
unknown committed
2528
  return field->store(nr);
unknown's avatar
unknown committed
2529 2530
}

unknown's avatar
unknown committed
2531 2532 2533 2534
Item_num *Item_uint::neg()
{
  return new Item_real(name, - ((double) value), 0, max_length);
}
unknown's avatar
unknown committed
2535

unknown's avatar
unknown committed
2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553

/*
  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;
  char *end;
  value= my_strntod(&my_charset_bin, (char*) str_arg, length, &end, &error);
  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);
2554
    my_error(ER_ILLEGAL_VALUE_FOR_TYPE, MYF(0), "double", (char*) str_arg);
unknown's avatar
unknown committed
2555 2556 2557 2558 2559 2560 2561 2562
  }
  presentation= name=(char*) str_arg;
  decimals=(uint8) nr_of_decimals(str_arg);
  max_length=length;
  fixed= 1;
}


unknown's avatar
unknown committed
2563
int Item_real::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2564
{
2565
  double nr= val_real();
unknown's avatar
unknown committed
2566 2567 2568
  if (null_value)
    return set_field_to_null(field);
  field->set_notnull();
unknown's avatar
unknown committed
2569
  return field->store(nr);
unknown's avatar
unknown committed
2570 2571
}

2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586

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
2587 2588 2589 2590 2591
/*
  hex item
  In string context this is a binary string.
  In number context this is a longlong value.
*/
unknown's avatar
unknown committed
2592

unknown's avatar
unknown committed
2593
inline uint char_val(char X)
unknown's avatar
unknown committed
2594 2595 2596 2597 2598 2599
{
  return (uint) (X >= '0' && X <= '9' ? X-'0' :
		 X >= 'A' && X <= 'Z' ? X-'A'+10 :
		 X-'a'+10);
}

2600

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

unknown's avatar
unknown committed
2622
longlong Item_hex_string::val_int()
unknown's avatar
unknown committed
2623
{
unknown's avatar
unknown committed
2624
  // following assert is redundant, because fixed=1 assigned in constructor
2625
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2626 2627 2628 2629 2630 2631 2632 2633 2634 2635
  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
2636
int Item_hex_string::save_in_field(Field *field, bool no_conversions)
unknown's avatar
unknown committed
2637
{
2638
  int error;
unknown's avatar
unknown committed
2639 2640 2641
  field->set_notnull();
  if (field->result_type() == STRING_RESULT)
  {
2642
    error=field->store(str_value.ptr(),str_value.length(),collation.collation);
unknown's avatar
unknown committed
2643 2644 2645 2646
  }
  else
  {
    longlong nr=val_int();
2647
    error=field->store(nr);
unknown's avatar
unknown committed
2648
  }
unknown's avatar
unknown committed
2649
  return error;
unknown's avatar
unknown committed
2650 2651 2652
}


unknown's avatar
unknown committed
2653 2654 2655 2656 2657 2658 2659 2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690
/*
  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;
}


2691 2692 2693 2694 2695
/*
  Pack data in buffer for sending
*/

bool Item_null::send(Protocol *protocol, String *packet)
unknown's avatar
unknown committed
2696
{
2697
  return protocol->store_null();
unknown's avatar
unknown committed
2698 2699 2700
}

/*
2701
  This is only called from items that is not of type item_field
unknown's avatar
unknown committed
2702 2703
*/

2704
bool Item::send(Protocol *protocol, String *buffer)
unknown's avatar
unknown committed
2705
{
2706 2707
  bool result;
  enum_field_types type;
2708
  LINT_INIT(result);                     // Will be set if null_value == 0
2709 2710 2711

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

2808 2809

bool Item_field::send(Protocol *protocol, String *buffer)
unknown's avatar
unknown committed
2810
{
2811
  return protocol->store(result_field);
unknown's avatar
unknown committed
2812 2813
}

2814 2815

/*
2816
  Resolve the name of a reference to a column reference.
2817 2818 2819

  SYNOPSIS
    Item_ref::fix_fields()
2820
    thd       [in]      current thread
2821
    tables    [in]      the tables in a FROM clause
2822
    reference [in/out]  view column if this item was resolved to a view column
2823 2824

  DESCRIPTION
2825 2826
    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
2827 2828
    used typically for columns in the HAVING clause which are not under
    aggregate functions.
2829 2830

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

2834 2835 2836
      resolve_extended([T_j].col_ref_i)
      {
        Search for a column or derived column named col_ref_i [in table T_j]
2837
        in the SELECT and GROUP clauses of Q.
2838

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

    This procedure treats GROUP BY and SELECT clauses as one namespace for
2861 2862 2863
    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.
2864 2865 2866 2867 2868

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

unknown's avatar
VIEW  
unknown committed
2870
bool Item_ref::fix_fields(THD *thd, TABLE_LIST *tables, Item **reference)
unknown's avatar
unknown committed
2871
{
2872
  DBUG_ASSERT(fixed == 0);
2873
  enum_parsing_place place= NO_MATTER;
2874 2875
  SELECT_LEX *current_sel= thd->lex->current_select;

unknown's avatar
unknown committed
2876 2877
  if (!ref)
  {
2878 2879
    SELECT_LEX_UNIT *prev_unit= current_sel->master_unit();
    SELECT_LEX *outer_sel= prev_unit->outer_select();
2880 2881 2882
    ORDER *group_list= (ORDER*) current_sel->group_list.first;
    bool ambiguous_fields= FALSE;
    Item **group_by_ref= NULL;
2883

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

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

2905 2906 2907 2908 2909 2910 2911 2912
        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)
2913
          {
2914 2915 2916
            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)
2917
            {
2918 2919 2920 2921
              DBUG_ASSERT(*ref && (*ref)->fixed);
              prev_subselect_item->used_tables_cache|= (*ref)->used_tables();
              prev_subselect_item->const_item_cache&= (*ref)->const_item();
              break;
2922
            }
2923 2924 2925 2926 2927
          }

          /* 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)
2928 2929 2930 2931
            /*
              It is a primary INSERT st_select_lex => do not resolve against the
              first table.
            */
2932
            table_list= table_list->next_local;
2933

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

2971 2972 2973
          /* 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;
2974

2975 2976 2977 2978
          if (outer_sel->master_unit()->first_select()->linkage ==
              DERIVED_TABLE_TYPE)
            break; /* Do not consider derived tables. */
        }
2979

2980
        DBUG_ASSERT(ref);
2981
        if (!from_field)
2982
          return TRUE;
2983
        if (ref == not_found_item && from_field == not_found_field)
2984
        {
2985 2986
          my_error(ER_BAD_FIELD_ERROR, MYF(0),
                   this->full_name(), current_thd->where);
2987
          ref= 0;                                 // Safety
2988 2989
          return TRUE;
        }
2990
        if (from_field != not_found_field)
2991
        {
2992 2993 2994 2995 2996 2997
          /*
            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
2998
          if (from_field != view_ref_found)
2999
          {
3000
            Item_field* fld;
unknown's avatar
unknown committed
3001
            if (!(fld= new Item_field(from_field)))
3002
              return TRUE;
3003 3004
            thd->change_item_tree(reference, fld);
            mark_as_dependent(thd, last, thd->lex->current_select, fld);
3005 3006 3007 3008 3009 3010 3011 3012 3013 3014 3015 3016 3017 3018 3019
            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
        {
3020
          /* Should be checked in resolve_ref_in_select_and_group(). */
3021 3022 3023
          DBUG_ASSERT(*ref && (*ref)->fixed);
          mark_as_dependent(thd, last, current_sel, this);
        }
unknown's avatar
unknown committed
3024
      }
3025
      else
3026
      {
3027
        /* The current reference cannot be resolved in this query. */
3028 3029
        my_error(ER_BAD_FIELD_ERROR,MYF(0),
                 this->full_name(), current_thd->where);
3030
        return TRUE;
3031 3032
      }
    }
unknown's avatar
unknown committed
3033
  }
3034

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

  set_properties();

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

void Item_ref::set_properties()
{
3062 3063 3064
  max_length= (*ref)->max_length;
  maybe_null= (*ref)->maybe_null;
  decimals=   (*ref)->decimals;
3065
  collation.set((*ref)->collation);
unknown's avatar
unknown committed
3066
  with_sum_func= (*ref)->with_sum_func;
unknown's avatar
unknown committed
3067 3068 3069 3070
  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
3071
  fixed= 1;
unknown's avatar
unknown committed
3072 3073
}

3074

unknown's avatar
unknown committed
3075 3076
void Item_ref::cleanup()
{
unknown's avatar
unknown committed
3077
  DBUG_ENTER("Item_ref::cleanup");
unknown's avatar
unknown committed
3078
  Item_ident::cleanup();
3079
  result_field= 0;
unknown's avatar
unknown committed
3080
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
3081 3082 3083
}


unknown's avatar
unknown committed
3084 3085 3086 3087 3088 3089 3090 3091 3092
void Item_ref::print(String *str)
{
  if (ref && *ref)
    (*ref)->print(str);
  else
    Item_ident::print(str);
}


3093 3094 3095 3096 3097 3098 3099 3100
bool Item_ref::send(Protocol *prot, String *tmp)
{
  if (result_field)
    return prot->store(result_field);
  return (*ref)->send(prot, tmp);
}


3101 3102 3103 3104 3105 3106 3107 3108
double Item_ref::val_result()
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
      return 0.0;
    return result_field->val_real();
  }
3109
  return val_real();
3110 3111 3112 3113 3114 3115 3116 3117
}


longlong Item_ref::val_int_result()
{
  if (result_field)
  {
    if ((null_value= result_field->is_null()))
3118
      return 0;
3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137
    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
3138 3139
void Item_ref_null_helper::print(String *str)
{
3140
  str->append("<ref_null_helper>(", 18);
unknown's avatar
unknown committed
3141 3142 3143 3144 3145 3146 3147 3148 3149 3150
  if (ref && *ref)
    (*ref)->print(str);
  else
    str->append('?');
  str->append(')');
}


void Item_null_helper::print(String *str)
{
3151
  str->append("<null_helper>(", 14);
unknown's avatar
unknown committed
3152 3153 3154 3155 3156
  store->print(str);
  str->append(')');
}


unknown's avatar
SCRUM  
unknown committed
3157 3158
bool Item_default_value::eq(const Item *item, bool binary_cmp) const
{
unknown's avatar
SCRUM  
unknown committed
3159
  return item->type() == DEFAULT_VALUE_ITEM && 
unknown's avatar
SCRUM  
unknown committed
3160 3161 3162
    ((Item_default_value *)item)->arg->eq(arg, binary_cmp);
}

3163

3164 3165 3166
bool Item_default_value::fix_fields(THD *thd,
				    struct st_table_list *table_list,
				    Item **items)
unknown's avatar
SCRUM  
unknown committed
3167
{
unknown's avatar
unknown committed
3168 3169
  Item_field *field_arg;
  Field *def_field;
3170
  DBUG_ASSERT(fixed == 0);
unknown's avatar
unknown committed
3171

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

unknown's avatar
SCRUM  
unknown committed
3204 3205
void Item_default_value::print(String *str)
{
unknown's avatar
SCRUM  
unknown committed
3206 3207
  if (!arg)
  {
unknown's avatar
unknown committed
3208
    str->append("default", 7);
unknown's avatar
SCRUM  
unknown committed
3209
    return;
unknown's avatar
SCRUM  
unknown committed
3210
  }
unknown's avatar
unknown committed
3211
  str->append("default(", 8);
unknown's avatar
SCRUM  
unknown committed
3212 3213 3214
  arg->print(str);
  str->append(')');
}
3215

unknown's avatar
unknown committed
3216 3217 3218 3219 3220 3221 3222
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);
}


3223 3224 3225
bool Item_insert_value::fix_fields(THD *thd,
				   struct st_table_list *table_list,
				   Item **items)
unknown's avatar
unknown committed
3226
{
3227
  DBUG_ASSERT(fixed == 0);
unknown's avatar
unknown committed
3228
  if (!arg->fixed && arg->fix_fields(thd, table_list, &arg))
unknown's avatar
unknown committed
3229
    return TRUE;
3230

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

void Item_insert_value::print(String *str)
{
3263
  str->append("values(", 7);
unknown's avatar
unknown committed
3264 3265 3266 3267
  arg->print(str);
  str->append(')');
}

3268 3269 3270 3271 3272 3273 3274 3275 3276 3277 3278 3279 3280 3281

/*
  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
3282 3283
    object as its argument. If proper field was not found in table
    error will be reported at fix_fields() time.
3284
*/
3285
void Item_trigger_field::setup_field(THD *thd, TABLE *table,
3286 3287 3288 3289 3290 3291 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
                                     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);
3327 3328 3329 3330 3331 3332 3333 3334 3335 3336 3337 3338

  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;
3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359
}


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
3360
/*
3361 3362
  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
3363 3364 3365 3366 3367 3368
*/

Item_result item_cmp_type(Item_result a,Item_result b)
{
  if (a == STRING_RESULT && b == STRING_RESULT)
    return STRING_RESULT;
3369
  if (a == INT_RESULT && b == INT_RESULT)
unknown's avatar
unknown committed
3370
    return INT_RESULT;
unknown's avatar
unknown committed
3371 3372
  else if (a == ROW_RESULT || b == ROW_RESULT)
    return ROW_RESULT;
3373
  return REAL_RESULT;
unknown's avatar
unknown committed
3374 3375 3376
}


3377
void resolve_const_item(THD *thd, Item **ref, Item *comp_item)
unknown's avatar
unknown committed
3378
{
3379 3380
  Item *item= *ref;
  Item *new_item;
unknown's avatar
unknown committed
3381
  if (item->basic_const_item())
3382
    return;                                     // Can't be better
unknown's avatar
unknown committed
3383 3384 3385 3386 3387 3388 3389
  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
3390
    String tmp(buff,sizeof(buff),&my_charset_bin),*result;
unknown's avatar
unknown committed
3391 3392
    result=item->val_str(&tmp);
    if (item->null_value)
3393 3394 3395 3396 3397 3398 3399
      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
3400
  }
3401
  else if (res_type == INT_RESULT)
unknown's avatar
unknown committed
3402 3403 3404 3405
  {
    longlong result=item->val_int();
    uint length=item->max_length;
    bool null_value=item->null_value;
3406 3407
    new_item= (null_value ? (Item*) new Item_null(name) :
               (Item*) new Item_int(name, result, length));
unknown's avatar
unknown committed
3408 3409 3410
  }
  else
  {						// It must REAL_RESULT
3411
    double result= item->val_real();
unknown's avatar
unknown committed
3412 3413
    uint length=item->max_length,decimals=item->decimals;
    bool null_value=item->null_value;
3414 3415
    new_item= (null_value ? (Item*) new Item_null(name) : (Item*)
               new Item_real(name, result, decimals, length));
unknown's avatar
unknown committed
3416
  }
3417 3418
  if (new_item)
    thd->change_item_tree(ref, new_item);
unknown's avatar
unknown committed
3419 3420 3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435
}

/*
  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
3436 3437
    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
3438 3439 3440
    item_result=item->val_str(&item_tmp);
    if (item->null_value)
      return 1;					// This must be true
3441
    field->val_str(&field_tmp);
unknown's avatar
unknown committed
3442
    return !stringcmp(&field_tmp,item_result);
unknown's avatar
unknown committed
3443 3444 3445
  }
  if (res_type == INT_RESULT)
    return 1;					// Both where of type int
3446
  double result= item->val_real();
unknown's avatar
unknown committed
3447 3448 3449 3450 3451
  if (item->null_value)
    return 1;
  return result == field->val_real();
}

3452 3453 3454 3455 3456 3457 3458 3459 3460 3461
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
3462 3463
  case ROW_RESULT:
    return new Item_cache_row();
3464 3465 3466 3467 3468 3469 3470
  default:
    // should never be in real life
    DBUG_ASSERT(0);
    return 0;
  }
}

unknown's avatar
unknown committed
3471 3472 3473

void Item_cache::print(String *str)
{
3474
  str->append("<cache>(", 8);
unknown's avatar
unknown committed
3475 3476 3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496
  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;
}


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


3519
double Item_cache_str::val_real()
3520 3521
{
  DBUG_ASSERT(fixed == 1);
3522
  int err;
3523
  if (value)
3524
    return my_strntod(value->charset(), (char*) value->ptr(),
3525
		      value->length(), (char**) 0, &err);
3526 3527 3528
  else
    return (double)0;
}
3529 3530


3531 3532
longlong Item_cache_str::val_int()
{
3533
  DBUG_ASSERT(fixed == 1);
3534
  int err;
3535 3536
  if (value)
    return my_strntoll(value->charset(), value->ptr(),
3537
		       value->length(), 10, (char**) 0, &err);
3538 3539 3540
  else
    return (longlong)0;
}
unknown's avatar
unknown committed
3541

3542

unknown's avatar
unknown committed
3543 3544
bool Item_cache_row::allocate(uint num)
{
unknown's avatar
unknown committed
3545
  item_count= num;
unknown's avatar
unknown committed
3546
  THD *thd= current_thd;
unknown's avatar
unknown committed
3547 3548
  return (!(values= 
	    (Item_cache **) thd->calloc(sizeof(Item_cache *)*item_count)));
unknown's avatar
unknown committed
3549 3550
}

3551

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

3568

unknown's avatar
unknown committed
3569 3570 3571 3572
void Item_cache_row::store(Item * item)
{
  null_value= 0;
  item->bring_value();
unknown's avatar
unknown committed
3573
  for (uint i= 0; i < item_count; i++)
unknown's avatar
unknown committed
3574 3575 3576 3577 3578 3579
  {
    values[i]->store(item->el(i));
    null_value|= values[i]->null_value;
  }
}

3580

unknown's avatar
unknown committed
3581 3582 3583 3584 3585
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
3586
  my_error(ER_OPERAND_COLUMNS, MYF(0), 1);
unknown's avatar
unknown committed
3587 3588 3589
  DBUG_VOID_RETURN;
}

3590

unknown's avatar
unknown committed
3591 3592
bool Item_cache_row::check_cols(uint c)
{
unknown's avatar
unknown committed
3593
  if (c != item_count)
unknown's avatar
unknown committed
3594
  {
unknown's avatar
unknown committed
3595
    my_error(ER_OPERAND_COLUMNS, MYF(0), c);
unknown's avatar
unknown committed
3596 3597 3598 3599 3600
    return 1;
  }
  return 0;
}

3601

unknown's avatar
unknown committed
3602 3603
bool Item_cache_row::null_inside()
{
unknown's avatar
unknown committed
3604
  for (uint i= 0; i < item_count; i++)
unknown's avatar
unknown committed
3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3618 3619 3620
  {
    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;
}

3621

unknown's avatar
unknown committed
3622 3623
void Item_cache_row::bring_value()
{
unknown's avatar
unknown committed
3624
  for (uint i= 0; i < item_count; i++)
unknown's avatar
unknown committed
3625 3626 3627
    values[i]->bring_value();
  return;
}
unknown's avatar
unknown committed
3628

3629 3630

Item_type_holder::Item_type_holder(THD *thd, Item *item)
3631 3632
  :Item(thd, item), item_type(item->result_type()),
   orig_type(item_type)
3633 3634
{
  DBUG_ASSERT(item->fixed);
unknown's avatar
unknown committed
3635 3636 3637 3638 3639

  /*
    It is safe assign pointer on field, because it will be used just after
    all JOIN::prepare calls and before any SELECT execution
  */
3640
  if (item->type() == Item::FIELD_ITEM)
unknown's avatar
unknown committed
3641
    field_example= ((Item_field*) item)->field;
3642 3643
  else
    field_example= 0;
3644
  max_length= real_length(item);
3645
  maybe_null= item->maybe_null;
3646
  collation.set(item->collation);
3647 3648 3649
}


3650 3651 3652 3653 3654 3655 3656
/*
  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)
*/
3657 3658 3659 3660 3661 3662
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}};

3663 3664 3665 3666 3667 3668 3669 3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 3680 3681 3682 3683 3684 3685 3686 3687

/*
  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 ||
           my_charset_same(from->collation.collation,
                           to->collation.collation)));
}


3688
bool Item_type_holder::join_types(THD *thd, Item *item)
3689
{
3690
  uint32 new_length= real_length(item);
3691 3692 3693
  bool use_new_field= 0, use_expression_type= 0;
  Item_result new_result_type= type_convertor[item_type][item->result_type()];
  bool item_is_a_field= item->type() == Item::FIELD_ITEM;
3694

3695 3696 3697 3698 3699
  /*
    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)
3700 3701
  {
    Field *field= ((Item_field *)item)->field;
3702 3703 3704 3705
    /* 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))))
3706
    {
3707 3708 3709 3710 3711 3712 3713
      /*
        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));
3714 3715
    }
  }
3716 3717
  else if (field_example || item_is_a_field)
  {
unknown's avatar
unknown committed
3718
    /*
3719 3720
      Expression types can't be mixed with field types, we have to use
      expression types.
unknown's avatar
unknown committed
3721
    */
3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732 3733 3734
    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)
3735 3736
      field_example= 0;
    else
3737 3738 3739 3740 3741
    {
      /*
        It is safe to assign a pointer to field here, because it will be used
        before any table is closed.
      */
unknown's avatar
unknown committed
3742
      field_example= ((Item_field*) item)->field;
3743
    }
unknown's avatar
unknown committed
3744

3745 3746
    old_cs= collation.collation->name;
    old_derivation= collation.derivation_name();
3747 3748
    if (item_type == STRING_RESULT && collation.aggregate(item->collation))
    {
3749 3750 3751 3752 3753
      my_error(ER_CANT_AGGREGATE_2COLLATIONS, MYF(0),
               old_cs, old_derivation,
               item->collation.collation->name,
               item->collation.derivation_name(),
               "UNION");
3754 3755 3756
      return 1;
    }

3757
    max_length= max(max_length, new_length);
3758 3759
    decimals= max(decimals, item->decimals);
    maybe_null|= item->maybe_null;
3760
    item_type= new_result_type;
3761 3762
  }
  DBUG_ASSERT(item_type != ROW_RESULT);
3763
  return 0;
3764 3765
}

3766

3767 3768 3769
uint32 Item_type_holder::real_length(Item *item)
{
  if (item->type() == Item::FIELD_ITEM)
unknown's avatar
unknown committed
3770
    return ((Item_field *)item)->max_disp_length();
3771

3772 3773 3774 3775 3776 3777 3778 3779 3780 3781 3782 3783 3784 3785
  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;
  }
}
3786

3787
double Item_type_holder::val_real()
3788 3789 3790 3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802 3803 3804 3805 3806
{
  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;
}

3807 3808 3809 3810 3811 3812 3813 3814
void Item_result_field::cleanup()
{
  DBUG_ENTER("Item_result_field::cleanup()");
  Item::cleanup();
  result_field= 0;
  DBUG_VOID_RETURN;
}

unknown's avatar
unknown committed
3815 3816 3817 3818 3819 3820 3821
/*****************************************************************************
** Instantiate templates
*****************************************************************************/

#ifdef __GNUC__
template class List<Item>;
template class List_iterator<Item>;
unknown's avatar
unknown committed
3822
template class List_iterator_fast<Item>;
3823
template class List_iterator_fast<Item_field>;
unknown's avatar
unknown committed
3824 3825
template class List<List_item>;
#endif