item.h 69.9 KB
Newer Older
1
/* Copyright (C) 2000-2003 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
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA */


18
#ifdef USE_PRAGMA_INTERFACE
unknown's avatar
unknown committed
19 20 21
#pragma interface			/* gcc class implementation */
#endif

22
class Protocol;
unknown's avatar
unknown committed
23
struct st_table_list;
unknown's avatar
unknown committed
24
void item_init(void);			/* Init item functions */
25
class Item_field;
unknown's avatar
unknown committed
26

27 28
/*
   "Declared Type Collation"
unknown's avatar
unknown committed
29
   A combination of collation and its derivation.
30 31 32 33
*/

enum Derivation
{
34 35 36
  DERIVATION_IGNORABLE= 5,
  DERIVATION_COERCIBLE= 4,
  DERIVATION_SYSCONST= 3,
37 38 39 40 41
  DERIVATION_IMPLICIT= 2,
  DERIVATION_NONE= 1,
  DERIVATION_EXPLICIT= 0
};

42 43
/*
  Flags for collation aggregation modes:
unknown's avatar
unknown committed
44 45 46 47
  MY_COLL_ALLOW_SUPERSET_CONV  - allow conversion to a superset
  MY_COLL_ALLOW_COERCIBLE_CONV - allow conversion of a coercible value
                                 (i.e. constant).
  MY_COLL_ALLOW_CONV           - allow any kind of conversion
unknown's avatar
unknown committed
48
                                 (combination of the above two)
unknown's avatar
unknown committed
49 50 51 52
  MY_COLL_DISALLOW_NONE        - don't allow return DERIVATION_NONE
                                 (e.g. when aggregating for comparison)
  MY_COLL_CMP_CONV             - combination of MY_COLL_ALLOW_CONV
                                 and MY_COLL_DISALLOW_NONE
53 54 55 56
*/

#define MY_COLL_ALLOW_SUPERSET_CONV   1
#define MY_COLL_ALLOW_COERCIBLE_CONV  2
unknown's avatar
unknown committed
57 58 59
#define MY_COLL_ALLOW_CONV            3
#define MY_COLL_DISALLOW_NONE         4
#define MY_COLL_CMP_CONV              7
60

61 62 63 64 65 66 67 68 69 70 71 72 73 74 75
class DTCollation {
public:
  CHARSET_INFO     *collation;
  enum Derivation derivation;
  
  DTCollation()
  {
    collation= &my_charset_bin;
    derivation= DERIVATION_NONE;
  }
  DTCollation(CHARSET_INFO *collation_arg, Derivation derivation_arg)
  {
    collation= collation_arg;
    derivation= derivation_arg;
  }
76
  void set(DTCollation &dt)
77
  { 
78 79
    collation= dt.collation;
    derivation= dt.derivation;
80 81 82 83 84 85 86 87 88 89
  }
  void set(CHARSET_INFO *collation_arg, Derivation derivation_arg)
  {
    collation= collation_arg;
    derivation= derivation_arg;
  }
  void set(CHARSET_INFO *collation_arg)
  { collation= collation_arg; }
  void set(Derivation derivation_arg)
  { derivation= derivation_arg; }
90 91 92
  bool aggregate(DTCollation &dt, uint flags= 0);
  bool set(DTCollation &dt1, DTCollation &dt2, uint flags= 0)
  { set(dt1); return aggregate(dt2, flags); }
93 94 95 96
  const char *derivation_name() const
  {
    switch(derivation)
    {
97
      case DERIVATION_IGNORABLE: return "IGNORABLE";
98 99
      case DERIVATION_COERCIBLE: return "COERCIBLE";
      case DERIVATION_IMPLICIT:  return "IMPLICIT";
100
      case DERIVATION_SYSCONST:  return "SYSCONST";
101 102 103 104 105 106 107
      case DERIVATION_EXPLICIT:  return "EXPLICIT";
      case DERIVATION_NONE:      return "NONE";
      default: return "UNKNOWN";
    }
  }
};

108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166

/*************************************************************************/
/*
  A framework to easily handle different return types for hybrid items
  (hybrid item is an item whose operand can be of any type, e.g. integer,
  real, decimal).
*/

struct Hybrid_type_traits;

struct Hybrid_type
{
  longlong integer;

  double real;
  /*
    Use two decimal buffers interchangeably to speed up += operation
    which has no native support in decimal library.
    Hybrid_type+= arg is implemented as dec_buf[1]= dec_buf[0] + arg.
    The third decimal is used as a handy temporary storage.
  */
  my_decimal dec_buf[3];
  int used_dec_buf_no;

  /*
    Traits moved to a separate class to
      a) be able to easily change object traits in runtime
      b) they work as a differentiator for the union above
  */
  const Hybrid_type_traits *traits;

  Hybrid_type() {}
  /* XXX: add traits->copy() when needed */
  Hybrid_type(const Hybrid_type &rhs) :traits(rhs.traits) {}
};


/* Hybryd_type_traits interface + default implementation for REAL_RESULT */

struct Hybrid_type_traits
{
  virtual Item_result type() const { return REAL_RESULT; }

  virtual void
  fix_length_and_dec(Item *item, Item *arg) const;

  /* Hybrid_type operations. */
  virtual void set_zero(Hybrid_type *val) const { val->real= 0.0; }
  virtual void add(Hybrid_type *val, Field *f) const
  { val->real+= f->val_real(); }
  virtual void div(Hybrid_type *val, ulonglong u) const
  { val->real/= ulonglong2double(u); }

  virtual longlong val_int(Hybrid_type *val, bool unsigned_flag) const
  { return (longlong) val->real; }
  virtual double val_real(Hybrid_type *val) const { return val->real; }
  virtual my_decimal *val_decimal(Hybrid_type *val, my_decimal *buf) const;
  virtual String *val_str(Hybrid_type *val, String *buf, uint8 decimals) const;
  static const Hybrid_type_traits *instance();
167
  Hybrid_type_traits() {};
168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188
};


struct Hybrid_type_traits_decimal: public Hybrid_type_traits
{
  virtual Item_result type() const { return DECIMAL_RESULT; }

  virtual void
  fix_length_and_dec(Item *arg, Item *item) const;

  /* Hybrid_type operations. */
  virtual void set_zero(Hybrid_type *val) const;
  virtual void add(Hybrid_type *val, Field *f) const;
  virtual void div(Hybrid_type *val, ulonglong u) const;

  virtual longlong val_int(Hybrid_type *val, bool unsigned_flag) const;
  virtual double val_real(Hybrid_type *val) const;
  virtual my_decimal *val_decimal(Hybrid_type *val, my_decimal *buf) const
  { return &val->dec_buf[val->used_dec_buf_no]; }
  virtual String *val_str(Hybrid_type *val, String *buf, uint8 decimals) const;
  static const Hybrid_type_traits_decimal *instance();
189
  Hybrid_type_traits_decimal() {};
190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219
};


struct Hybrid_type_traits_integer: public Hybrid_type_traits
{
  virtual Item_result type() const { return INT_RESULT; }

  virtual void
  fix_length_and_dec(Item *arg, Item *item) const;

  /* Hybrid_type operations. */
  virtual void set_zero(Hybrid_type *val) const
  { val->integer= 0; }
  virtual void add(Hybrid_type *val, Field *f) const
  { val->integer+= f->val_int(); }
  virtual void div(Hybrid_type *val, ulonglong u) const
  { val->integer/= (longlong) u; }

  virtual longlong val_int(Hybrid_type *val, bool unsigned_flag) const
  { return val->integer; }
  virtual double val_real(Hybrid_type *val) const
  { return (double) val->integer; }
  virtual my_decimal *val_decimal(Hybrid_type *val, my_decimal *buf) const
  {
    int2my_decimal(E_DEC_FATAL_ERROR, val->integer, 0, &val->dec_buf[2]);
    return &val->dec_buf[2];
  }
  virtual String *val_str(Hybrid_type *val, String *buf, uint8 decimals) const
  { buf->set(val->integer, &my_charset_bin); return buf;}
  static const Hybrid_type_traits_integer *instance();
220
  Hybrid_type_traits_integer() {};
221 222
};

223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242

void dummy_error_processor(THD *thd, void *data);

void view_error_processor(THD *thd, void *data);

/*
  Instances of Name_resolution_context store the information necesary for
  name resolution of Items and other context analysis of a query made in
  fix_fields().

  This structure is a part of SELECT_LEX, a pointer to this structure is
  assigned when an item is created (which happens mostly during  parsing
  (sql_yacc.yy)), but the structure itself will be initialized after parsing
  is complete

  TODO: move subquery of INSERT ... SELECT and CREATE ... SELECT to
  separate SELECT_LEX which allow to remove tricks of changing this
  structure before and after INSERT/CREATE and its SELECT to make correct
  field name resolution.
*/
243
struct Name_resolution_context: Sql_alloc
244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259
{
  /*
    The name resolution context to search in when an Item cannot be
    resolved in this context (the context of an outer select)
  */
  Name_resolution_context *outer_context;

  /*
    List of tables used to resolve the items of this context.  Usually these
    are tables from the FROM clause of SELECT statement.  The exceptions are
    INSERT ... SELECT and CREATE ... SELECT statements, where SELECT
    subquery is not moved to a separate SELECT_LEX.  For these types of
    statements we have to change this member dynamically to ensure correct
    name resolution of different parts of the statement.
  */
  TABLE_LIST *table_list;
unknown's avatar
unknown committed
260 261 262 263 264 265 266 267 268 269 270 271 272
  /*
    In most cases the two table references below replace 'table_list' above
    for the purpose of name resolution. The first and last name resolution
    table references allow us to search only in a sub-tree of the nested
    join tree in a FROM clause. This is needed for NATURAL JOIN, JOIN ... USING
    and JOIN ... ON. 
  */
  TABLE_LIST *first_name_resolution_table;
  /*
    Last table to search in the list of leaf table references that begins
    with first_name_resolution_table.
  */
  TABLE_LIST *last_name_resolution_table;
273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311

  /*
    SELECT_LEX item belong to, in case of merged VIEW it can differ from
    SELECT_LEX where item was created, so we can't use table_list/field_list
    from there
  */
  st_select_lex *select_lex;

  /*
    Processor of errors caused during Item name resolving, now used only to
    hide underlying tables in errors about views (i.e. it substitute some
    errors for views)
  */
  void (*error_processor)(THD *, void *);
  void *error_processor_data;

  /*
    When TRUE items are resolved in this context both against the
    SELECT list and this->table_list. If FALSE, items are resolved
    only against this->table_list.
  */
  bool resolve_in_select_list;

  /*
    When FALSE we do not check columns right of resolving items, used to
    prevent rights check on underlying tables of view
  */
  bool check_privileges;

  Name_resolution_context()
    :outer_context(0), table_list(0), select_lex(0),
    error_processor_data(0),
    check_privileges(TRUE)
    {}

  void init()
  {
    resolve_in_select_list= FALSE;
    error_processor= &dummy_error_processor;
unknown's avatar
unknown committed
312 313
    first_name_resolution_table= NULL;
    last_name_resolution_table= NULL;
314 315 316 317
  }

  void resolve_in_table_list_only(TABLE_LIST *tables)
  {
unknown's avatar
unknown committed
318
    table_list= first_name_resolution_table= tables;
319 320 321 322 323 324 325 326 327 328
    resolve_in_select_list= FALSE;
  }

  void process_error(THD *thd)
  {
    (*error_processor)(thd, error_processor_data);
  }
};


329 330
/*************************************************************************/

unknown's avatar
unknown committed
331
typedef bool (Item::*Item_processor)(byte *arg);
unknown's avatar
unknown committed
332
typedef Item* (Item::*Item_transformer) (byte *arg);
333
typedef void (*Cond_traverser) (const Item *item, void *arg);
334

335

unknown's avatar
unknown committed
336
class Item {
unknown's avatar
unknown committed
337
  Item(const Item &);			/* Prevent use of these */
unknown's avatar
unknown committed
338 339
  void operator=(Item &);
public:
340 341
  static void *operator new(size_t size)
  { return (void*) sql_alloc((uint) size); }
342
  static void *operator new(size_t size, MEM_ROOT *mem_root)
343
  { return (void*) alloc_root(mem_root, (uint) size); }
344
  /* Special for SP local variable assignment - reusing slots */
345
  static void *operator new(size_t size, Item *reuse, uint *rsize);
unknown's avatar
unknown committed
346
  static void operator delete(void *ptr,size_t size) { TRASH(ptr, size); }
347
  static void operator delete(void *ptr, MEM_ROOT *mem_root) {}
unknown's avatar
unknown committed
348

349
  enum Type {FIELD_ITEM= 0, FUNC_ITEM, SUM_FUNC_ITEM, STRING_ITEM,
350
	     INT_ITEM, REAL_ITEM, NULL_ITEM, VARBIN_ITEM,
unknown's avatar
SCRUM  
unknown committed
351
	     COPY_STR_ITEM, FIELD_AVG_ITEM, DEFAULT_VALUE_ITEM,
unknown's avatar
unknown committed
352 353
	     PROC_ITEM,COND_ITEM, REF_ITEM, FIELD_STD_ITEM,
	     FIELD_VARIANCE_ITEM, INSERT_VALUE_ITEM,
354
             SUBSELECT_ITEM, ROW_ITEM, CACHE_ITEM, TYPE_HOLDER,
355 356
             PARAM_ITEM, TRIGGER_FIELD_ITEM, DECIMAL_ITEM,
             VIEW_FIXER_ITEM};
unknown's avatar
SCRUM  
unknown committed
357

unknown's avatar
unknown committed
358
  enum cond_result { COND_UNDEF,COND_OK,COND_TRUE,COND_FALSE };
359 360

  enum traverse_order { POSTFIX, PREFIX };
361
  
362 363 364
  /* Reuse size, only used by SP local variable assignment, otherwize 0 */
  uint rsize;

unknown's avatar
unknown committed
365 366 367 368 369
  /*
    str_values's main purpose is to be used to cache the value in
    save_in_field
  */
  String str_value;
unknown's avatar
unknown committed
370
  my_string name;			/* Name from select */
371 372
  /* Original item name (if it was renamed)*/
  my_string orig_name;
unknown's avatar
unknown committed
373 374
  Item *next;
  uint32 max_length;
375
  uint name_length;                     /* Length of name */
unknown's avatar
unknown committed
376
  uint8 marker, decimals;
unknown's avatar
unknown committed
377 378
  my_bool maybe_null;			/* If item may be null */
  my_bool null_value;			/* if item is null */
379
  my_bool unsigned_flag;
unknown's avatar
unknown committed
380
  my_bool with_sum_func;
381
  my_bool fixed;                        /* If item fixed with fix_fields */
382 383
  my_bool is_autogenerated_name;        /* indicate was name of this Item
                                           autogenerated or set by user */
384
  DTCollation collation;
385

unknown's avatar
unknown committed
386 387
  // alloc & destruct is done as start of select using sql_alloc
  Item();
388
  /*
unknown's avatar
unknown committed
389
     Constructor used by Item_field, Item_ref & aggregate (sum) functions.
390 391
     Used for duplicating lists in processing queries with temporary
     tables
392
     Also it used for Item_cond_and/Item_cond_or for creating
unknown's avatar
unknown committed
393
     top AND/OR structure of WHERE clause to protect it of
394
     optimisation changes in prepared statements
395
  */
396
  Item(THD *thd, Item *item);
unknown's avatar
unknown committed
397 398
  virtual ~Item()
  {
unknown's avatar
unknown committed
399
#ifdef EXTRA_DEBUG
unknown's avatar
unknown committed
400
    name=0;
unknown's avatar
unknown committed
401
#endif
unknown's avatar
unknown committed
402
  }		/*lint -e1509 */
403
  void set_name(const char *str, uint length, CHARSET_INFO *cs);
404
  void rename(char *new_name);
unknown's avatar
unknown committed
405
  void init_make_field(Send_field *tmp_field,enum enum_field_types type);
406
  virtual void cleanup();
407
  virtual void make_field(Send_field *field);
408
  Field *make_string_field(TABLE *table);
409
  virtual bool fix_fields(THD *, Item **);
unknown's avatar
unknown committed
410
  /*
unknown's avatar
unknown committed
411
    should be used in case where we are sure that we do not need
unknown's avatar
unknown committed
412 413 414
    complete fix_fields() procedure.
  */
  inline void quick_fix_field() { fixed= 1; }
unknown's avatar
unknown committed
415
  /* Function returns 1 on overflow and -1 on fatal errors */
416
  int save_in_field_no_warnings(Field *field, bool no_conversions);
unknown's avatar
unknown committed
417
  virtual int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
418
  virtual void save_org_in_field(Field *field)
419
  { (void) save_in_field(field, 1); }
unknown's avatar
unknown committed
420
  virtual int save_safe_in_field(Field *field)
421
  { return save_in_field(field, 1); }
422
  virtual bool send(Protocol *protocol, String *str);
423
  virtual bool eq(const Item *, bool binary_cmp) const;
424 425
  virtual Item_result result_type() const { return REAL_RESULT; }
  virtual Item_result cast_to_int_type() const { return result_type(); }
426
  virtual enum_field_types field_type() const;
unknown's avatar
unknown committed
427
  virtual enum Type type() const =0;
428
  /* valXXX methods must return NULL or 0 or 0.0 if null_value is set. */
unknown's avatar
unknown committed
429 430 431 432 433 434 435 436 437 438
  /*
    Return double precision floating point representation of item.

    SYNOPSIS
      val_real()

    RETURN
      In case of NULL value return 0.0 and set null_value flag to TRUE.
      If value is not null null_value flag will be reset to FALSE.
  */
439
  virtual double val_real()=0;
unknown's avatar
unknown committed
440 441 442 443 444 445 446 447 448 449
  /*
    Return integer representation of item.

    SYNOPSIS
      val_int()

    RETURN
      In case of NULL value return 0 and set null_value flag to TRUE.
      If value is not null null_value flag will be reset to FALSE.
  */
unknown's avatar
unknown committed
450
  virtual longlong val_int()=0;
451 452 453 454 455
  /*
    This is just a shortcut to avoid the cast. You should still use
    unsigned_flag to check the sign of the item.
  */
  inline ulonglong val_uint() { return (ulonglong) val_int(); }
456 457 458
  /*
    Return string representation of this item object.

unknown's avatar
unknown committed
459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515
    SYNOPSIS
      val_str()
      str   an allocated buffer this or any nested Item object can use to
            store return value of this method.

    NOTE
      Buffer passed via argument  should only be used if the item itself
      doesn't have an own String buffer. In case when the item maintains
      it's own string buffer, it's preferable to return it instead to
      minimize number of mallocs/memcpys.
      The caller of this method can modify returned string, but only in case
      when it was allocated on heap, (is_alloced() is true).  This allows
      the caller to efficiently use a buffer allocated by a child without
      having to allocate a buffer of it's own. The buffer, given to
      val_str() as argument, belongs to the caller and is later used by the
      caller at it's own choosing.
      A few implications from the above:
      - unless you return a string object which only points to your buffer
        but doesn't manages it you should be ready that it will be
        modified.
      - even for not allocated strings (is_alloced() == false) the caller
        can change charset (see Item_func_{typecast/binary}. XXX: is this
        a bug?
      - still you should try to minimize data copying and return internal
        object whenever possible.

    RETURN
      In case of NULL value return 0 (NULL pointer) and set null_value flag
      to TRUE.
      If value is not null null_value flag will be reset to FALSE.
  */
  virtual String *val_str(String *str)=0;
  /*
    Return decimal representation of item with fixed point.

    SYNOPSIS
      val_decimal()
      decimal_buffer  buffer which can be used by Item for returning value
                      (but can be not)

    NOTE
      Returned value should not be changed if it is not the same which was
      passed via argument.

    RETURN
      Return pointer on my_decimal (it can be other then passed via argument)
        if value is not NULL (null_value flag will be reset to FALSE).
      In case of NULL value it return 0 pointer and set null_value flag
        to TRUE.
  */
  virtual my_decimal *val_decimal(my_decimal *decimal_buffer)= 0;
  /*
    Return boolean value of item.

    RETURN
      FALSE value is false or NULL
      TRUE value is true (not equal to 0)
516
  */
unknown's avatar
unknown committed
517
  virtual bool val_bool();
518 519 520 521 522 523 524 525 526 527
  /* Helper functions, see item_sum.cc */
  String *val_string_from_real(String *str);
  String *val_string_from_int(String *str);
  String *val_string_from_decimal(String *str);
  my_decimal *val_decimal_from_real(my_decimal *decimal_value);
  my_decimal *val_decimal_from_int(my_decimal *decimal_value);
  my_decimal *val_decimal_from_string(my_decimal *decimal_value);
  longlong val_int_from_decimal();
  double val_real_from_decimal();

528
  virtual Field *get_tmp_table_field() { return 0; }
529
  virtual Field *tmp_table_field(TABLE *t_arg) { return 0; }
unknown's avatar
unknown committed
530
  virtual const char *full_name() const { return name ? name : "???"; }
unknown's avatar
unknown committed
531 532 533 534 535 536 537

  /*
    *result* family of methods is analog of *val* family (see above) but
    return value of result_field of item if it is present. If Item have not
    result field, it return val(). This methods set null_value flag in same
    way as *val* methods do it.
  */
538
  virtual double  val_result() { return val_real(); }
unknown's avatar
unknown committed
539 540
  virtual longlong val_int_result() { return val_int(); }
  virtual String *str_result(String* tmp) { return val_str(tmp); }
unknown's avatar
unknown committed
541 542 543 544
  virtual my_decimal *val_decimal_result(my_decimal *val)
  { return val_decimal(val); }
  virtual bool val_bool_result() { return val_bool(); }

545
  /* bit map of tables used by item */
unknown's avatar
unknown committed
546
  virtual table_map used_tables() const { return (table_map) 0L; }
547 548 549 550 551 552 553 554 555 556 557 558 559 560
  /*
    Return table map of tables that can't be NULL tables (tables that are
    used in a context where if they would contain a NULL row generated
    by a LEFT or RIGHT join, the item would not be true).
    This expression is used on WHERE item to determinate if a LEFT JOIN can be
    converted to a normal join.
    Generally this function should return used_tables() if the function
    would return null if any of the arguments are null
    As this is only used in the beginning of optimization, the value don't
    have to be updated in update_used_tables()
  */
  virtual table_map not_null_tables() const { return used_tables(); }
  /*
    Returns true if this is a simple constant item like an integer, not
561
    a constant expression. Used in the optimizer to propagate basic constants.
562
  */
unknown's avatar
unknown committed
563
  virtual bool basic_const_item() const { return 0; }
unknown's avatar
unknown committed
564 565
  /* cloning of constant items (0 if it is not const) */
  virtual Item *new_item() { return 0; }
unknown's avatar
unknown committed
566 567 568
  virtual cond_result eq_cmp_result() const { return COND_OK; }
  inline uint float_length(uint decimals_par) const
  { return decimals != NOT_FIXED_DEC ? (DBL_DIG+2+decimals_par) : DBL_DIG+8;}
unknown's avatar
unknown committed
569 570 571
  virtual uint decimal_precision() const;
  inline int decimal_int_part() const
  { return my_decimal_int_part(decimal_precision(), decimals); }
572 573 574 575
  /* 
    Returns true if this is constant (during query execution, i.e. its value
    will not change until next fix_fields) and its value is known.
  */
unknown's avatar
unknown committed
576
  virtual bool const_item() const { return used_tables() == 0; }
577 578 579 580 581 582
  /* 
    Returns true if this is constant but its value may be not known yet.
    (Can be used for parameters of prep. stmts or of stored procedures.)
  */
  virtual bool const_during_execution() const 
  { return (used_tables() & ~PARAM_TABLE_BIT) == 0; }
583 584 585 586 587 588 589 590 591 592 593 594
  /*
    This is an essential method for correct functioning of VIEWS.
    To save a view in an .frm file we need its unequivocal
    definition in SQL that takes into account sql_mode and
    environmental settings.  Currently such definition is restored
    by traversing through the parsed tree of a view and
    print()'ing SQL syntax of every node to a String buffer. This
    method is used to print the SQL definition of an item. The
    second use of this method is for EXPLAIN EXTENDED, to print
    the SQL of a query after all optimizations of the parsed tree
    have been done.
  */
unknown's avatar
unknown committed
595
  virtual void print(String *str_arg) { str_arg->append(full_name()); }
unknown's avatar
unknown committed
596
  void print_item_w_name(String *);
unknown's avatar
unknown committed
597
  virtual void update_used_tables() {}
598 599
  virtual void split_sum_func(THD *thd, Item **ref_pointer_array,
                              List<Item> &fields) {}
600 601 602
  /* Called for items that really have to be split */
  void split_sum_func2(THD *thd, Item **ref_pointer_array, List<Item> &fields,
                       Item **ref);
603
  virtual bool get_date(TIME *ltime,uint fuzzydate);
unknown's avatar
unknown committed
604
  virtual bool get_time(TIME *ltime);
605
  virtual bool get_date_result(TIME *ltime,uint fuzzydate)
606
  { return get_date(ltime,fuzzydate); }
607 608 609 610 611 612 613 614
  /*
    This function is used only in Item_func_isnull/Item_func_isnotnull
    (implementations of IS NULL/IS NOT NULL clauses). Item_func_is{not}null
    calls this method instead of one of val/result*() methods, which
    normally will set null_value. This allows to determine nullness of
    a complex expression without fully evaluating it.
    Any new item which can be NULL must implement this call.
  */
615
  virtual bool is_null() { return 0; }
unknown's avatar
unknown committed
616 617 618 619
  /*
    it is "top level" item of WHERE clause and we do not need correct NULL
    handling
  */
620
  virtual void top_level_item() {}
unknown's avatar
unknown committed
621 622
  /*
    set field of temporary table for Item which can be switched on temporary
unknown's avatar
unknown committed
623
    table during query processing (grouping and so on)
unknown's avatar
unknown committed
624
  */
unknown's avatar
unknown committed
625 626
  virtual void set_result_field(Field *field) {}
  virtual bool is_result_field() { return 0; }
unknown's avatar
unknown committed
627
  virtual bool is_bool_func() { return 0; }
unknown's avatar
unknown committed
628
  virtual void save_in_result_field(bool no_conversions) {}
unknown's avatar
unknown committed
629
  /*
unknown's avatar
unknown committed
630
    set value of aggregate function in case of no rows for grouping were found
unknown's avatar
unknown committed
631
  */
unknown's avatar
unknown committed
632
  virtual void no_rows_in_result() {}
633
  virtual Item *copy_or_same(THD *thd) { return this; }
634
  virtual Item *copy_andor_structure(THD *thd) { return this; }
unknown's avatar
unknown committed
635
  virtual Item *real_item() { return this; }
636
  virtual Item *get_tmp_table_item(THD *thd) { return copy_or_same(thd); }
unknown's avatar
unknown committed
637

638
  static CHARSET_INFO *default_charset();
639
  virtual CHARSET_INFO *compare_collation() { return NULL; }
unknown's avatar
unknown committed
640 641 642 643 644 645

  virtual bool walk(Item_processor processor, byte *arg)
  {
    return (this->*processor)(arg);
  }

646
  virtual Item* transform(Item_transformer transformer, byte *arg)
647
  {
unknown's avatar
unknown committed
648
    return (this->*transformer)(arg);
649
  }
650

651 652
   virtual void traverse_cond(Cond_traverser traverser,
                              void *arg, traverse_order order)
653 654 655
   {
     (*traverser)(this, arg);
   }
656

unknown's avatar
unknown committed
657
  virtual bool remove_dependence_processor(byte * arg) { return 0; }
658
  virtual bool remove_fixed(byte * arg) { fixed= 0; return 0; }
unknown's avatar
unknown committed
659
  virtual bool cleanup_processor(byte *arg);
660
  virtual bool collect_item_field_processor(byte * arg) { return 0; }
661
  virtual bool change_context_processor(byte *context) { return 0; }
unknown's avatar
unknown committed
662
  virtual bool reset_query_id_processor(byte *query_id) { return 0; }
663

664
  virtual Item *equal_fields_propagator(byte * arg) { return this; }
unknown's avatar
unknown committed
665
  virtual Item *set_no_const_sub(byte *arg) { return this; }
unknown's avatar
unknown committed
666
  virtual Item *replace_equal_field(byte * arg) { return this; }
667 668 669 670 671 672 673 674 675 676 677

  /*
    For SP local variable returns pointer to Item representing its
    current value and pointer to current Item otherwise.
  */
  virtual Item *this_item() { return this; }
  /*
    For SP local variable returns address of pointer to Item representing its
    current value and pointer passed via parameter otherwise.
  */
  virtual Item **this_item_addr(THD *thd, Item **addr) { return addr; }
unknown's avatar
unknown committed
678 679
  /* For SPs mostly. */
  virtual Item *this_const_item() const { return const_cast<Item*>(this); }
unknown's avatar
unknown committed
680 681 682 683

  // Row emulation
  virtual uint cols() { return 1; }
  virtual Item* el(uint i) { return this; }
684
  virtual Item** addr(uint i) { return 0; }
unknown's avatar
unknown committed
685
  virtual bool check_cols(uint c);
unknown's avatar
unknown committed
686
  // It is not row => null inside is impossible
687 688 689
  virtual bool null_inside() { return 0; }
  // used in row subselects to get value of elements
  virtual void bring_value() {}
690 691

  Field *tmp_table_field_from_field_type(TABLE *table);
692
  virtual Item_field *filed_for_view_update() { return 0; }
unknown's avatar
unknown committed
693

694
  virtual Item *neg_transformer(THD *thd) { return NULL; }
unknown's avatar
unknown committed
695
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
696 697 698 699
  void delete_self()
  {
    cleanup();
    delete this;
unknown's avatar
unknown committed
700
  }
701 702

  virtual bool is_splocal() { return 0; } /* Needed for error checking */
unknown's avatar
unknown committed
703 704 705
};


706 707 708 709 710 711 712 713 714 715 716 717
/*
  A reference to local SP variable (incl. reference to SP parameter), used in
  runtime.
  
  NOTE
    This item has a "value" item, defined as 
      this_item() = thd->spcont->get_item(m_offset)
    and it delegates everything to that item (if !this_item() then this item
    poses as Item_null) except for name, which is the name of SP local
    variable.
*/

718 719 720
class Item_splocal : public Item
{
  uint m_offset;
721

722
public:
unknown's avatar
unknown committed
723
  LEX_STRING m_name;
724

725 726 727 728 729 730 731
  /*
    Buffer, pointing to the string value of the item. We need it to
    protect internal buffer from changes. See comment to analogous
    member in Item_param for more details.
  */
  String str_value_ptr;

732 733 734 735 736 737 738 739 740 741 742
  /* 
    Position of this reference to SP variable in the statement (the
    statement itself is in sp_instr_stmt::m_query).
    This is valid only for references to SP variables in statements,
    excluding DECLARE CURSOR statement. It is used to replace references to SP
    variables with NAME_CONST calls when putting statements into the binary
    log.
    Value of 0 means that this object doesn't corresponding to reference to
    SP variable in query text.
  */
  int pos_in_query;
743

744 745
  Item_splocal(LEX_STRING name, uint offset, int pos_in_q=0)
    : m_offset(offset), m_name(name), pos_in_query(pos_in_q)
746
  {
747
    maybe_null= TRUE;
748
  }
749

750
  /* For error printing */
unknown's avatar
unknown committed
751
  inline LEX_STRING *my_name(LEX_STRING *get_name)
752
  {
unknown's avatar
unknown committed
753 754 755 756
    if (!get_name)
      return &m_name;
    (*get_name)= m_name;
    return get_name;
757 758
  }

759 760
  bool is_splocal() { return 1; } /* Needed for error checking */

761
  Item *this_item();
762
  Item **this_item_addr(THD *thd, Item **);
763 764
  Item *this_const_item() const;

765
  bool fix_fields(THD *, Item **);
unknown's avatar
unknown committed
766 767
  void cleanup();

768 769 770 771 772 773 774
  inline uint get_offset()
  {
    return m_offset;
  }

  // Abstract methods inherited from Item. Just defer the call to
  // the item in the frame
775
  enum Type type() const;
776

unknown's avatar
unknown committed
777 778 779 780
  double val_real();
  longlong val_int();
  String *val_str(String *sp);
  my_decimal *val_decimal(my_decimal *);
781
  bool is_null();
unknown's avatar
unknown committed
782
  void print(String *str);
783

784
  void make_field(Send_field *field)
785
  {
786 787
    Item *it= this_item();

788
    if (name)
789
      it->set_name(name, (uint) strlen(name), system_charset_info);
790 791
    else
      it->set_name(m_name.str, m_name.length, system_charset_info);
792
    it->make_field(field);
793 794
  }

795
  Item_result result_type() const
796 797 798 799
  {
    return this_const_item()->result_type();
  }

800
  bool const_item() const
801
  {
802
    return TRUE;
803 804
  }

805
  int save_in_field(Field *field, bool no_conversions)
806 807 808
  {
    return this_item()->save_in_field(field, no_conversions);
  }
unknown's avatar
unknown committed
809

810
  bool send(Protocol *protocol, String *str)
811 812 813
  {
    return this_item()->send(protocol, str);
  }
814 815 816
};


817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866
/*
  NAME_CONST(given_name, const_value). 
  This 'function' has all properties of the supplied const_value (which is 
  assumed to be a literal constant), and the name given_name. 

  This is used to replace references to SP variables when we write PROCEDURE
  statements into the binary log.

  TODO
    Together with Item_splocal and Item::this_item() we can actually extract
    common a base of this class and Item_splocal. Maybe it is possible to
    extract a common base with class Item_ref, too.
*/

class Item_name_const : public Item
{
  Item *value_item;
  Item *name_item;
public:
  Item_name_const(Item *name, Item *val): value_item(val), name_item(name)
  {
    Item::maybe_null= TRUE;
  }

  bool fix_fields(THD *, Item **);
  void cleanup();

  enum Type type() const;
  double val_real();
  longlong val_int();
  String *val_str(String *sp);
  my_decimal *val_decimal(my_decimal *);
  bool is_null();
  void print(String *str);

  Item_result result_type() const
  {
    return value_item->result_type();
  }

  bool const_item() const
  {
    return TRUE;
  }

  int save_in_field(Field *field, bool no_conversions)
  {
    return  value_item->save_in_field(field, no_conversions);
  }

867
  bool send(Protocol *protocol, String *str)
868 869 870 871 872
  {
    return value_item->send(protocol, str);
  }
};

873 874 875 876 877 878 879 880 881
bool agg_item_collations(DTCollation &c, const char *name,
                         Item **items, uint nitems, uint flags= 0);
bool agg_item_collations_for_comparison(DTCollation &c, const char *name,
                                        Item **items, uint nitems,
                                        uint flags= 0);
bool agg_item_charsets(DTCollation &c, const char *name,
                       Item **items, uint nitems, uint flags= 0);


882 883 884
class Item_num: public Item
{
public:
unknown's avatar
unknown committed
885
  virtual Item_num *neg()= 0;
unknown's avatar
unknown committed
886
  Item *safe_charset_converter(CHARSET_INFO *tocs);
887 888
};

889
#define NO_CACHED_FIELD_INDEX ((uint)(-1))
890

unknown's avatar
unknown committed
891
class st_select_lex;
unknown's avatar
unknown committed
892 893
class Item_ident :public Item
{
894
protected:
895 896 897 898 899 900 901 902 903
  /* 
    We have to store initial values of db_name, table_name and field_name
    to be able to restore them during cleanup() because they can be 
    updated during fix_fields() to values from Field object and life-time 
    of those is shorter than life-time of Item_field.
  */
  const char *orig_db_name;
  const char *orig_table_name;
  const char *orig_field_name;
904

unknown's avatar
unknown committed
905
public:
906
  Name_resolution_context *context;
unknown's avatar
unknown committed
907 908 909
  const char *db_name;
  const char *table_name;
  const char *field_name;
unknown's avatar
unknown committed
910
  bool alias_name_used; /* true if item was resolved against alias */
911 912
  /* 
    Cached value of index for this field in table->field array, used by prep. 
913 914 915 916 917 918 919 920
    stmts for speeding up their re-execution. Holds NO_CACHED_FIELD_INDEX 
    if index value is not known.
  */
  uint cached_field_index;
  /*
    Cached pointer to table which contains this field, used for the same reason
    by prep. stmt. too in case then we have not-fully qualified field.
    0 - means no cached value.
921
  */
922
  TABLE_LIST *cached_table;
unknown's avatar
unknown committed
923
  st_select_lex *depended_from;
924 925 926
  Item_ident(Name_resolution_context *context_arg,
             const char *db_name_arg, const char *table_name_arg,
             const char *field_name_arg);
unknown's avatar
unknown committed
927
  Item_ident(THD *thd, Item_ident *item);
unknown's avatar
unknown committed
928
  const char *full_name() const;
929
  void cleanup();
unknown's avatar
unknown committed
930
  bool remove_dependence_processor(byte * arg);
931
  void print(String *str);
932 933
  virtual bool change_context_processor(byte *cntx)
    { context= (Name_resolution_context *)cntx; return FALSE; }
unknown's avatar
unknown committed
934 935 936 937
  friend bool insert_fields(THD *thd, Name_resolution_context *context,
                            const char *db_name,
                            const char *table_name, List_iterator<Item> *it,
                            bool any_privileges);
unknown's avatar
unknown committed
938 939
};

940 941
class Item_equal;
class COND_EQUAL;
unknown's avatar
unknown committed
942

unknown's avatar
unknown committed
943 944
class Item_field :public Item_ident
{
945
protected:
unknown's avatar
unknown committed
946 947 948
  void set_field(Field *field);
public:
  Field *field,*result_field;
unknown's avatar
unknown committed
949 950
  Item_equal *item_equal;
  bool no_const_subst;
unknown's avatar
VIEW  
unknown committed
951 952 953 954 955 956 957
  /*
    if any_privileges set to TRUE then here real effective privileges will
    be stored
  */
  uint have_privileges;
  /* field need any privileges (for VIEW creation) */
  bool any_privileges;
unknown's avatar
unknown committed
958

959 960 961
  Item_field(Name_resolution_context *context_arg,
             const char *db_arg,const char *table_name_arg,
	     const char *field_name_arg);
962 963 964
  /*
    Constructor needed to process subselect with temporary tables (see Item)
  */
965
  Item_field(THD *thd, Item_field *item);
966
  /*
967 968 969
    Constructor used inside setup_wild(), ensures that field, table,
    and database names will live as long as Item_field (this is important
    in prepared statements).
970
  */
971
  Item_field(THD *thd, Name_resolution_context *context_arg, Field *field);
972 973 974
  /*
    If this constructor is used, fix_fields() won't work, because
    db_name, table_name and column_name are unknown. It's necessary to call
975
    reset_field() before fix_fields() for all fields created this way.
976
  */
unknown's avatar
unknown committed
977 978
  Item_field(Field *field);
  enum Type type() const { return FIELD_ITEM; }
979
  bool eq(const Item *item, bool binary_cmp) const;
980
  double val_real();
unknown's avatar
unknown committed
981
  longlong val_int();
unknown's avatar
unknown committed
982
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
983 984 985 986
  String *val_str(String*);
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
unknown's avatar
unknown committed
987 988
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
989
  bool send(Protocol *protocol, String *str_arg);
990
  void reset_field(Field *f);
991
  bool fix_fields(THD *, Item **);
992
  void make_field(Send_field *tmp_field);
unknown's avatar
unknown committed
993
  int save_in_field(Field *field,bool no_conversions);
unknown's avatar
unknown committed
994 995 996 997 998 999
  void save_org_in_field(Field *field);
  table_map used_tables() const;
  enum Item_result result_type () const
  {
    return field->result_type();
  }
1000 1001 1002 1003
  Item_result cast_to_int_type() const
  {
    return field->cast_to_int_type();
  }
unknown's avatar
unknown committed
1004
  enum_field_types field_type() const
1005 1006 1007
  {
    return field->type();
  }
1008
  Field *get_tmp_table_field() { return result_field; }
1009
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
1010 1011
  bool get_date(TIME *ltime,uint fuzzydate);
  bool get_date_result(TIME *ltime,uint fuzzydate);
1012
  bool get_time(TIME *ltime);
unknown's avatar
unknown committed
1013
  bool is_null() { return field->is_null(); }
1014
  Item *get_tmp_table_item(THD *thd);
1015
  bool collect_item_field_processor(byte * arg);
unknown's avatar
unknown committed
1016 1017 1018 1019 1020 1021 1022
  bool reset_query_id_processor(byte *arg)
  {
    field->query_id= *((query_id_t *) arg);
    if (result_field)
      result_field->query_id= field->query_id;
    return 0;
  }
unknown's avatar
unknown committed
1023
  void cleanup();
1024 1025
  Item_equal *find_item_equal(COND_EQUAL *cond_equal);
  Item *equal_fields_propagator(byte *arg);
unknown's avatar
unknown committed
1026
  Item *set_no_const_sub(byte *arg);
unknown's avatar
unknown committed
1027
  Item *replace_equal_field(byte *arg);
unknown's avatar
unknown committed
1028
  inline uint32 max_disp_length() { return field->max_length(); }
1029
  Item_field *filed_for_view_update() { return this; }
unknown's avatar
unknown committed
1030
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
SCRUM  
unknown committed
1031
  friend class Item_default_value;
unknown's avatar
unknown committed
1032
  friend class Item_insert_value;
unknown's avatar
unknown committed
1033
  friend class st_select_lex_unit;
unknown's avatar
unknown committed
1034 1035 1036 1037 1038 1039
};

class Item_null :public Item
{
public:
  Item_null(char *name_par=0)
unknown's avatar
unknown committed
1040 1041 1042 1043 1044
  {
    maybe_null= null_value= TRUE;
    max_length= 0;
    name= name_par ? name_par : (char*) "NULL";
    fixed= 1;
1045
    collation.set(&my_charset_bin, DERIVATION_IGNORABLE);
unknown's avatar
unknown committed
1046
  }
unknown's avatar
unknown committed
1047
  enum Type type() const { return NULL_ITEM; }
1048
  bool eq(const Item *item, bool binary_cmp) const;
1049
  double val_real();
unknown's avatar
unknown committed
1050 1051
  longlong val_int();
  String *val_str(String *str);
unknown's avatar
unknown committed
1052
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1053
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1054
  int save_safe_in_field(Field *field);
unknown's avatar
unknown committed
1055
  bool send(Protocol *protocol, String *str);
1056 1057
  enum Item_result result_type () const { return STRING_RESULT; }
  enum_field_types field_type() const   { return MYSQL_TYPE_NULL; }
unknown's avatar
unknown committed
1058
  /* to prevent drop fixed flag (no need parent cleanup call) */
unknown's avatar
unknown committed
1059
  void cleanup() {}
unknown's avatar
unknown committed
1060 1061
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_null(name); }
unknown's avatar
unknown committed
1062
  bool is_null() { return 1; }
1063
  void print(String *str) { str->append("NULL", 4); }
unknown's avatar
unknown committed
1064
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
1065 1066
};

unknown's avatar
unknown committed
1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077
class Item_null_result :public Item_null
{
public:
  Field *result_field;
  Item_null_result() : Item_null(), result_field(0) {}
  bool is_result_field() { return result_field != 0; }
  void save_in_result_field(bool no_conversions)
  {
    save_in_field(result_field, no_conversions);
  }
};  
1078 1079 1080

/* Item represents one placeholder ('?') of prepared statement */

unknown's avatar
unknown committed
1081 1082
class Item_param :public Item
{
1083
public:
1084 1085 1086
  enum enum_item_param_state
  {
    NO_VALUE, NULL_VALUE, INT_VALUE, REAL_VALUE,
unknown's avatar
unknown committed
1087 1088
    STRING_VALUE, TIME_VALUE, LONG_DATA_VALUE,
    DECIMAL_VALUE
1089 1090
  } state;

1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101
  /*
    A buffer for string and long data values. Historically all allocated
    values returned from val_str() were treated as eligible to
    modification. I. e. in some cases Item_func_concat can append it's
    second argument to return value of the first one. Because of that we
    can't return the original buffer holding string data from val_str(),
    and have to have one buffer for data and another just pointing to
    the data. This is the latter one and it's returned from val_str().
    Can not be declared inside the union as it's not a POD type.
  */
  String str_value_ptr;
unknown's avatar
unknown committed
1102
  my_decimal decimal_value;
1103 1104
  union
  {
1105 1106
    longlong integer;
    double   real;
1107 1108 1109 1110 1111 1112 1113 1114 1115
    /*
      Character sets conversion info for string values.
      Character sets of client and connection defined at bind time are used
      for all conversions, even if one of them is later changed (i.e.
      between subsequent calls to mysql_stmt_execute).
    */
    struct CONVERSION_INFO
    {
      CHARSET_INFO *character_set_client;
1116
      CHARSET_INFO *character_set_of_placeholder;
1117 1118 1119
      /*
        This points at character set of connection if conversion
        to it is required (i. e. if placeholder typecode is not BLOB).
1120
        Otherwise it's equal to character_set_client (to simplify
1121 1122 1123 1124 1125 1126 1127 1128
        check in convert_str_value()).
      */
      CHARSET_INFO *final_character_set_of_str_value;
    } cs_info;
    TIME     time;
  } value;

  /* Cached values for virtual methods to save us one switch.  */
unknown's avatar
unknown committed
1129 1130
  enum Item_result item_result_type;
  enum Type item_type;
1131 1132 1133 1134 1135 1136 1137 1138 1139 1140

  /*
    Used when this item is used in a temporary table.
    This is NOT placeholder metadata sent to client, as this value
    is assigned after sending metadata (in setup_one_conversion_function).
    For example in case of 'SELECT ?' you'll get MYSQL_TYPE_STRING both
    in result set and placeholders metadata, no matter what type you will
    supply for this placeholder in mysql_stmt_execute.
  */
  enum enum_field_types param_type;
1141
  /*
1142 1143
    Offset of placeholder inside statement text. Used to create
    no-placeholders version of this statement for the binary log.
1144
  */
1145
  uint pos_in_query;
unknown's avatar
unknown committed
1146

1147 1148 1149
  Item_param(uint pos_in_query_arg);

  enum Item_result result_type () const { return item_result_type; }
unknown's avatar
unknown committed
1150
  enum Type type() const { return item_type; }
1151
  enum_field_types field_type() const { return param_type; }
1152

1153
  double val_real();
unknown's avatar
unknown committed
1154
  longlong val_int();
unknown's avatar
unknown committed
1155
  my_decimal *val_decimal(my_decimal*);
unknown's avatar
unknown committed
1156
  String *val_str(String*);
1157
  bool get_time(TIME *tm);
1158
  bool get_date(TIME *tm, uint fuzzydate);
unknown's avatar
unknown committed
1159
  int  save_in_field(Field *field, bool no_conversions);
1160

unknown's avatar
unknown committed
1161
  void set_null();
1162
  void set_int(longlong i, uint32 max_length_arg);
unknown's avatar
unknown committed
1163
  void set_double(double i);
unknown's avatar
unknown committed
1164
  void set_decimal(const char *str, ulong length);
1165 1166 1167
  bool set_str(const char *str, ulong length);
  bool set_longdata(const char *str, ulong length);
  void set_time(TIME *tm, timestamp_type type, uint32 max_length_arg);
1168
  bool set_from_user_var(THD *thd, const user_var_entry *entry);
1169
  void reset();
1170 1171 1172 1173 1174 1175 1176 1177
  /*
    Assign placeholder value from bind data.
    Note, that 'len' has different semantics in embedded library (as we
    don't need to check that packet is not broken there). See
    sql_prepare.cc for details.
  */
  void (*set_param_func)(Item_param *param, uchar **pos, ulong len);

1178 1179 1180
  const String *query_val_str(String *str) const;

  bool convert_str_value(THD *thd);
1181 1182 1183 1184

  /*
    If value for parameter was not set we treat it as non-const
    so noone will use parameters value in fix_fields still
1185 1186 1187
    parameter is constant during execution.
  */
  virtual table_map used_tables() const
1188
  { return state != NO_VALUE ? (table_map)0 : PARAM_TABLE_BIT; }
1189
  void print(String *str);
1190 1191
  bool is_null()
  { DBUG_ASSERT(state != NO_VALUE); return state == NULL_VALUE; }
1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209
  bool basic_const_item() const;
  /*
    This method is used to make a copy of a basic constant item when
    propagating constants in the optimizer. The reason to create a new
    item and not use the existing one is not precisely known (2005/04/16).
    Probably we are trying to preserve tree structure of items, in other
    words, avoid pointing at one item from two different nodes of the tree.
    Return a new basic constant item if parameter value is a basic
    constant, assert otherwise. This method is called only if
    basic_const_item returned TRUE.
  */
  Item *new_item();
  /*
    Implement by-value equality evaluation if parameter value
    is set and is a basic constant (integer, real or string).
    Otherwise return FALSE.
  */
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
1210
};
unknown's avatar
unknown committed
1211

1212

1213
class Item_int :public Item_num
unknown's avatar
unknown committed
1214 1215
{
public:
1216
  longlong value;
unknown's avatar
unknown committed
1217
  Item_int(int32 i,uint length=11) :value((longlong) i)
1218
    { max_length=length; fixed= 1; }
unknown's avatar
unknown committed
1219
  Item_int(longlong i,uint length=21) :value(i)
unknown's avatar
unknown committed
1220
    { max_length=length; fixed= 1; }
1221 1222
  Item_int(ulonglong i, uint length= 21) :value((longlong)i)
    { max_length=length; fixed= 1; unsigned_flag= 1; }
unknown's avatar
unknown committed
1223
  Item_int(const char *str_arg,longlong i,uint length) :value(i)
1224
    { max_length=length; name=(char*) str_arg; fixed= 1; }
unknown's avatar
unknown committed
1225
  Item_int(const char *str_arg, uint length=64);
unknown's avatar
unknown committed
1226
  enum Type type() const { return INT_ITEM; }
1227 1228
  enum Item_result result_type () const { return INT_RESULT; }
  enum_field_types field_type() const { return MYSQL_TYPE_LONGLONG; }
1229
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
1230
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
unknown's avatar
unknown committed
1231
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1232
  String *val_str(String*);
unknown's avatar
unknown committed
1233
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1234 1235
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_int(name,value,max_length); }
1236
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
1237
  void cleanup() {}
unknown's avatar
unknown committed
1238
  void print(String *str);
unknown's avatar
unknown committed
1239
  Item_num *neg() { value= -value; return this; }
unknown's avatar
unknown committed
1240 1241
  uint decimal_precision() const
  { return (uint)(max_length - test(value < 0)); }
1242
  bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
1243 1244 1245
};


1246 1247 1248 1249 1250 1251 1252
class Item_static_int_func :public Item_int
{
  const char *func_name;
public:
  Item_static_int_func(const char *str_arg, longlong i, uint length)
    :Item_int(NullS, i, length), func_name(str_arg)
  {}
1253
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1254 1255 1256 1257
  void print(String *str) { str->append(func_name); }
};


unknown's avatar
unknown committed
1258 1259 1260
class Item_uint :public Item_int
{
public:
unknown's avatar
unknown committed
1261
  Item_uint(const char *str_arg, uint length);
1262
  Item_uint(ulonglong i) :Item_int((ulonglong) i, 10) {}
1263
  Item_uint(const char *str_arg, longlong i, uint length);
1264
  double val_real()
1265
    { DBUG_ASSERT(fixed == 1); return ulonglong2double((ulonglong)value); }
unknown's avatar
unknown committed
1266 1267
  String *val_str(String*);
  Item *new_item() { return new Item_uint(name,max_length); }
unknown's avatar
unknown committed
1268
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1269
  void print(String *str);
unknown's avatar
unknown committed
1270
  Item_num *neg ();
unknown's avatar
unknown committed
1271
  uint decimal_precision() const { return max_length; }
unknown's avatar
unknown committed
1272 1273 1274
};


unknown's avatar
unknown committed
1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310
/* decimal (fixed point) constant */
class Item_decimal :public Item_num
{
protected:
  my_decimal decimal_value;
public:
  Item_decimal(const char *str_arg, uint length, CHARSET_INFO *charset);
  Item_decimal(const char *str, const my_decimal *val_arg,
               uint decimal_par, uint length);
  Item_decimal(my_decimal *value_par);
  Item_decimal(longlong val, bool unsig);
  Item_decimal(double val, int precision, int scale);
  Item_decimal(const char *bin, int precision, int scale);

  enum Type type() const { return DECIMAL_ITEM; }
  enum Item_result result_type () const { return DECIMAL_RESULT; }
  enum_field_types field_type() const { return MYSQL_TYPE_NEWDECIMAL; }
  longlong val_int();
  double val_real();
  String *val_str(String*);
  my_decimal *val_decimal(my_decimal *val) { return &decimal_value; }
  int save_in_field(Field *field, bool no_conversions);
  bool basic_const_item() const { return 1; }
  Item *new_item()
  {
    return new Item_decimal(name, &decimal_value, decimals, max_length);
  }
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
  void print(String *str);
  Item_num *neg()
  {
    my_decimal_neg(&decimal_value);
    unsigned_flag= !decimal_value.sign();
    return this;
  }
unknown's avatar
unknown committed
1311
  uint decimal_precision() const { return decimal_value.precision(); }
1312
  bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
1313 1314
};

1315

unknown's avatar
unknown committed
1316
class Item_float :public Item_num
unknown's avatar
unknown committed
1317
{
1318
  char *presentation;
unknown's avatar
unknown committed
1319
public:
1320
  double value;
unknown's avatar
unknown committed
1321
  // Item_real() :value(0) {}
unknown's avatar
unknown committed
1322 1323
  Item_float(const char *str_arg, uint length);
  Item_float(const char *str,double val_arg,uint decimal_par,uint length)
unknown's avatar
unknown committed
1324 1325
    :value(val_arg)
  {
1326
    presentation= name=(char*) str;
unknown's avatar
unknown committed
1327
    decimals=(uint8) decimal_par;
unknown's avatar
unknown committed
1328
    max_length=length;
unknown's avatar
unknown committed
1329
    fixed= 1;
unknown's avatar
unknown committed
1330
  }
unknown's avatar
unknown committed
1331 1332
  Item_float(double value_par) :presentation(0), value(value_par) { fixed= 1; }

unknown's avatar
unknown committed
1333
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1334
  enum Type type() const { return REAL_ITEM; }
1335
  enum_field_types field_type() const { return MYSQL_TYPE_DOUBLE; }
1336
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1337 1338 1339 1340 1341
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
    return (longlong) (value+(value > 0 ? 0.5 : -0.5));
  }
unknown's avatar
unknown committed
1342
  String *val_str(String*);
unknown's avatar
unknown committed
1343
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1344
  bool basic_const_item() const { return 1; }
unknown's avatar
unknown committed
1345 1346
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
1347 1348
  Item *new_item()
  { return new Item_float(name, value, decimals, max_length); }
unknown's avatar
unknown committed
1349
  Item_num *neg() { value= -value; return this; }
1350
  void print(String *str);
1351
  bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
1352 1353 1354
};


unknown's avatar
unknown committed
1355
class Item_static_float_func :public Item_float
1356 1357 1358
{
  const char *func_name;
public:
unknown's avatar
unknown committed
1359
  Item_static_float_func(const char *str, double val_arg, uint decimal_par,
1360
                        uint length)
unknown's avatar
unknown committed
1361
    :Item_float(NullS, val_arg, decimal_par, length), func_name(str)
1362 1363
  {}
  void print(String *str) { str->append(func_name); }
1364
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1365 1366 1367
};


unknown's avatar
unknown committed
1368 1369 1370
class Item_string :public Item
{
public:
unknown's avatar
unknown committed
1371
  Item_string(const char *str,uint length,
1372
  	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
1373
  {
1374
    collation.set(cs, dv);
unknown's avatar
unknown committed
1375
    str_value.set_or_copy_aligned(str,length,cs);
1376 1377 1378 1379 1380 1381 1382
    /*
      We have to have a different max_length than 'length' here to
      ensure that we get the right length if we do use the item
      to create a new table. In this case max_length must be the maximum
      number of chars for a string of this type because we in create_field::
      divide the max_length with mbmaxlen).
    */
1383
    max_length= str_value.numchars()*cs->mbmaxlen;
unknown's avatar
unknown committed
1384
    set_name(str, length, cs);
unknown's avatar
unknown committed
1385
    decimals=NOT_FIXED_DEC;
1386 1387
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
1388
  }
1389 1390 1391 1392 1393 1394 1395 1396 1397
  /* Just create an item and do not fill string representation */
  Item_string(CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
  {
    collation.set(cs, dv);
    max_length= 0;
    set_name(NULL, 0, cs);
    decimals= NOT_FIXED_DEC;
    fixed= 1;
  }
1398
  Item_string(const char *name_par, const char *str, uint length,
1399
	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
1400
  {
1401
    collation.set(cs, dv);
unknown's avatar
unknown committed
1402
    str_value.set_or_copy_aligned(str,length,cs);
1403
    max_length= str_value.numchars()*cs->mbmaxlen;
1404
    set_name(name_par, 0, cs);
unknown's avatar
unknown committed
1405
    decimals=NOT_FIXED_DEC;
1406 1407
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
1408
  }
1409 1410 1411 1412 1413 1414 1415 1416 1417
  /*
    This is used in stored procedures to avoid memory leaks and
    does a deep copy of its argument.
  */
  void set_str_with_copy(const char *str_arg, uint length_arg)
  {
    str_value.copy(str_arg, length_arg, collation.collation);
    max_length= str_value.numchars() * collation.collation->mbmaxlen;
  }
unknown's avatar
unknown committed
1418
  enum Type type() const { return STRING_ITEM; }
1419 1420
  double val_real();
  longlong val_int();
1421 1422 1423 1424 1425
  String *val_str(String*)
  {
    DBUG_ASSERT(fixed == 1);
    return (String*) &str_value;
  }
unknown's avatar
unknown committed
1426
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1427
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1428
  enum Item_result result_type () const { return STRING_RESULT; }
1429
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
unknown's avatar
unknown committed
1430
  bool basic_const_item() const { return 1; }
1431
  bool eq(const Item *item, bool binary_cmp) const;
1432 1433
  Item *new_item() 
  {
1434
    return new Item_string(name, str_value.ptr(), 
unknown's avatar
unknown committed
1435
    			   str_value.length(), collation.collation);
1436
  }
unknown's avatar
unknown committed
1437
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
1438
  String *const_string() { return &str_value; }
1439
  inline void append(char *str, uint length) { str_value.append(str, length); }
unknown's avatar
unknown committed
1440
  void print(String *str);
unknown's avatar
unknown committed
1441 1442
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
1443 1444
};

1445 1446 1447 1448 1449 1450 1451 1452 1453 1454

class Item_static_string_func :public Item_string
{
  const char *func_name;
public:
  Item_static_string_func(const char *name_par, const char *str, uint length,
                          CHARSET_INFO *cs,
                          Derivation dv= DERIVATION_COERCIBLE)
    :Item_string(NullS, str, length, cs, dv), func_name(name_par)
  {}
1455
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1456 1457 1458 1459
  void print(String *str) { str->append(func_name); }
};


unknown's avatar
unknown committed
1460 1461 1462 1463 1464
/* for show tables */

class Item_datetime :public Item_string
{
public:
unknown's avatar
unknown committed
1465
  Item_datetime(const char *item_name): Item_string(item_name,"",0,
unknown's avatar
unknown committed
1466
                                                    &my_charset_bin)
unknown's avatar
unknown committed
1467
  { max_length=19;}
1468
  enum_field_types field_type() const { return MYSQL_TYPE_DATETIME; }
unknown's avatar
unknown committed
1469 1470 1471 1472 1473
};

class Item_empty_string :public Item_string
{
public:
1474 1475
  Item_empty_string(const char *header,uint length, CHARSET_INFO *cs= NULL) :
    Item_string("",0, cs ? cs : &my_charset_bin)
1476
    { name=(char*) header; max_length= cs ? length * cs->mbmaxlen : length; }
1477
  void make_field(Send_field *field);
unknown's avatar
unknown committed
1478 1479
};

1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493
class Item_return_int :public Item_int
{
  enum_field_types int_field_type;
public:
  Item_return_int(const char *name, uint length,
		  enum_field_types field_type_arg)
    :Item_int(name, 0, length), int_field_type(field_type_arg)
  {
    unsigned_flag=1;
  }
  enum_field_types field_type() const { return int_field_type; }
};


unknown's avatar
unknown committed
1494
class Item_hex_string: public Item
unknown's avatar
unknown committed
1495 1496
{
public:
unknown's avatar
unknown committed
1497 1498
  Item_hex_string(): Item() {}
  Item_hex_string(const char *str,uint str_length);
unknown's avatar
unknown committed
1499
  enum Type type() const { return VARBIN_ITEM; }
1500
  double val_real()
unknown's avatar
unknown committed
1501
    { DBUG_ASSERT(fixed == 1); return (double) Item_hex_string::val_int(); }
unknown's avatar
unknown committed
1502
  longlong val_int();
unknown's avatar
unknown committed
1503
  bool basic_const_item() const { return 1; }
1504
  String *val_str(String*) { DBUG_ASSERT(fixed == 1); return &str_value; }
unknown's avatar
unknown committed
1505
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1506
  int save_in_field(Field *field, bool no_conversions);
1507
  enum Item_result result_type () const { return STRING_RESULT; }
1508
  enum Item_result cast_to_int_type() const { return INT_RESULT; }
1509
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
unknown's avatar
unknown committed
1510 1511
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
1512
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
1513
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
1514 1515 1516
};


unknown's avatar
unknown committed
1517 1518 1519 1520 1521 1522
class Item_bin_string: public Item_hex_string
{
public:
  Item_bin_string(const char *str,uint str_length);
};

unknown's avatar
unknown committed
1523 1524 1525 1526 1527
class Item_result_field :public Item	/* Item with result field */
{
public:
  Field *result_field;				/* Save result here */
  Item_result_field() :result_field(0) {}
1528
  // Constructor used for Item_sum/Item_cond_and/or (see Item comment)
1529 1530
  Item_result_field(THD *thd, Item_result_field *item):
    Item(thd, item), result_field(item->result_field)
1531
  {}
unknown's avatar
unknown committed
1532
  ~Item_result_field() {}			/* Required with gcc 2.95 */
1533
  Field *get_tmp_table_field() { return result_field; }
1534
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
unknown's avatar
unknown committed
1535
  table_map used_tables() const { return 1; }
unknown's avatar
unknown committed
1536
  virtual void fix_length_and_dec()=0;
unknown's avatar
unknown committed
1537 1538 1539 1540 1541 1542
  void set_result_field(Field *field) { result_field= field; }
  bool is_result_field() { return 1; }
  void save_in_result_field(bool no_conversions)
  {
    save_in_field(result_field, no_conversions);
  }
1543
  void cleanup();
unknown's avatar
unknown committed
1544 1545 1546 1547 1548
};


class Item_ref :public Item_ident
{
1549 1550
protected:
  void set_properties();
unknown's avatar
unknown committed
1551
public:
1552
  enum Ref_Type { REF, DIRECT_REF, VIEW_REF };
unknown's avatar
unknown committed
1553
  Field *result_field;			 /* Save result here */
unknown's avatar
unknown committed
1554
  Item **ref;
1555 1556 1557 1558 1559
  Item_ref(Name_resolution_context *context_arg,
           const char *db_arg, const char *table_name_arg,
           const char *field_name_arg)
    :Item_ident(context_arg, db_arg, table_name_arg, field_name_arg),
     result_field(0), ref(0) {}
1560
  /*
1561 1562 1563 1564 1565 1566 1567 1568 1569 1570
    This constructor is used in two scenarios:
    A) *item = NULL
      No initialization is performed, fix_fields() call will be necessary.
      
    B) *item points to an Item this Item_ref will refer to. This is 
      used for GROUP BY. fix_fields() will not be called in this case,
      so we call set_properties to make this item "fixed". set_properties
      performs a subset of action Item_ref::fix_fields does, and this subset
      is enough for Item_ref's used in GROUP BY.
    
1571 1572 1573
    TODO we probably fix a superset of problems like in BUG#6658. Check this 
         with Bar, and if we have a more broader set of problems like this.
  */
1574 1575
  Item_ref(Name_resolution_context *context_arg, Item **item,
           const char *table_name_arg, const char *field_name_arg);
1576

1577
  /* Constructor need to process subselect with temporary tables (see Item) */
1578 1579
  Item_ref(THD *thd, Item_ref *item)
    :Item_ident(thd, item), result_field(item->result_field), ref(item->ref) {}
unknown's avatar
unknown committed
1580
  enum Type type() const		{ return REF_ITEM; }
1581
  bool eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
1582 1583 1584 1585
  { 
    Item *it= ((Item *) item)->real_item();
    return ref && (*ref)->eq(it, binary_cmp);
  }
unknown's avatar
unknown committed
1586 1587 1588 1589 1590 1591 1592
  double val_real();
  longlong val_int();
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
  String *val_str(String* tmp);
  bool is_null();
  bool get_date(TIME *ltime,uint fuzzydate);
1593 1594 1595
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
unknown's avatar
unknown committed
1596 1597
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
1598
  bool send(Protocol *prot, String *tmp);
1599 1600
  void make_field(Send_field *field);
  bool fix_fields(THD *, Item **);
1601
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1602 1603
  void save_org_in_field(Field *field)	{ (*ref)->save_org_in_field(field); }
  enum Item_result result_type () const { return (*ref)->result_type(); }
1604
  enum_field_types field_type() const   { return (*ref)->field_type(); }
unknown's avatar
unknown committed
1605 1606 1607
  Field *get_tmp_table_field()
  { return result_field ? result_field : (*ref)->get_tmp_table_field(); }
  Item *get_tmp_table_item(THD *thd)
unknown's avatar
unknown committed
1608 1609 1610 1611
  { 
    return (result_field ? new Item_field(result_field) :
                          (*ref)->get_tmp_table_item(thd));
  }
1612 1613 1614 1615
  table_map used_tables() const		
  { 
    return depended_from ? OUTER_REF_TABLE_BIT : (*ref)->used_tables(); 
  }
1616
  table_map not_null_tables() const { return (*ref)->not_null_tables(); }
1617
  void set_result_field(Field *field)	{ result_field= field; }
unknown's avatar
unknown committed
1618 1619 1620 1621 1622
  bool is_result_field() { return 1; }
  void save_in_result_field(bool no_conversions)
  {
    (*ref)->save_in_field(result_field, no_conversions);
  }
unknown's avatar
unknown committed
1623 1624
  Item *real_item()
  {
1625
    return (ref && *ref) ? (*ref)->real_item() : this;
1626
  }
1627 1628
  bool walk(Item_processor processor, byte *arg)
  { return (*ref)->walk(processor, arg); }
unknown's avatar
unknown committed
1629
  void print(String *str);
unknown's avatar
unknown committed
1630
  void cleanup();
1631 1632
  Item_field *filed_for_view_update()
    { return (*ref)->filed_for_view_update(); }
1633
  virtual Ref_Type ref_type() { return REF; }
unknown's avatar
unknown committed
1634 1635
};

1636

unknown's avatar
unknown committed
1637 1638 1639 1640
/*
  The same as Item_ref, but get value from val_* family of method to get
  value of item on which it referred instead of result* family.
*/
1641 1642 1643
class Item_direct_ref :public Item_ref
{
public:
1644 1645 1646 1647
  Item_direct_ref(Name_resolution_context *context_arg, Item **item,
                  const char *table_name_arg,
                  const char *field_name_arg)
    :Item_ref(context_arg, item, table_name_arg, field_name_arg) {}
1648 1649
  /* Constructor need to process subselect with temporary tables (see Item) */
  Item_direct_ref(THD *thd, Item_direct_ref *item) : Item_ref(thd, item) {}
1650

unknown's avatar
unknown committed
1651 1652 1653 1654 1655 1656 1657
  double val_real();
  longlong val_int();
  String *val_str(String* tmp);
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
  bool is_null();
  bool get_date(TIME *ltime,uint fuzzydate);
1658
  virtual Ref_Type ref_type() { return DIRECT_REF; }
1659 1660
};

1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676
/*
  Class for view fields, the same as Item_direct_ref, but call fix_fields
  of reference if it is not called yet
*/
class Item_direct_view_ref :public Item_direct_ref
{
public:
  Item_direct_view_ref(Name_resolution_context *context_arg, Item **item,
                  const char *table_name_arg,
                  const char *field_name_arg)
    :Item_direct_ref(context_arg, item, table_name_arg, field_name_arg) {}
  /* Constructor need to process subselect with temporary tables (see Item) */
  Item_direct_view_ref(THD *thd, Item_direct_ref *item)
    :Item_direct_ref(thd, item) {}

  bool fix_fields(THD *, Item **);
1677
  bool eq(const Item *item, bool binary_cmp) const;
1678
  virtual Ref_Type ref_type() { return VIEW_REF; }
1679 1680
};

1681

1682
class Item_in_subselect;
1683

1684 1685 1686 1687 1688
class Item_ref_null_helper: public Item_ref
{
protected:
  Item_in_subselect* owner;
public:
1689 1690 1691 1692 1693
  Item_ref_null_helper(Name_resolution_context *context_arg,
                       Item_in_subselect* master, Item **item,
		       const char *table_name_arg, const char *field_name_arg)
    :Item_ref(context_arg, item, table_name_arg, field_name_arg),
     owner(master) {}
1694
  double val_real();
1695 1696
  longlong val_int();
  String* val_str(String* s);
unknown's avatar
unknown committed
1697 1698
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
1699
  bool get_date(TIME *ltime, uint fuzzydate);
unknown's avatar
unknown committed
1700
  void print(String *str);
1701 1702 1703 1704 1705 1706 1707 1708 1709
  /*
    we add RAND_TABLE_BIT to prevent moving this item from HAVING to WHERE
  */
  table_map used_tables() const
  {
    return (depended_from ?
            OUTER_REF_TABLE_BIT :
            (*ref)->used_tables() | RAND_TABLE_BIT);
  }
1710 1711
};

1712 1713 1714 1715
class Item_null_helper :public Item_ref_null_helper
{
  Item *store;
public:
1716 1717 1718 1719 1720
  Item_null_helper(Name_resolution_context *context_arg,
                   Item_in_subselect* master, Item *item,
		   const char *table_name_arg, const char *field_name_arg)
    :Item_ref_null_helper(context_arg, master, (store= 0, &store),
                          table_name_arg, field_name_arg),
1721
     store(item)
1722
    { ref= &store; }
unknown's avatar
unknown committed
1723
  void print(String *str);
1724
};
unknown's avatar
unknown committed
1725

1726

1727
/*
1728
  The following class is used to optimize comparing of date and bigint columns
1729 1730 1731 1732 1733
  We need to save the original item ('ref') to be able to call
  ref->save_in_field(). This is used to create index search keys.
  
  An instance of Item_int_with_ref may have signed or unsigned integer value.
  
1734 1735 1736 1737 1738 1739 1740
*/

class Item_int_with_ref :public Item_int
{
  Item *ref;
public:
  Item_int_with_ref(longlong i, Item *ref_arg) :Item_int(i), ref(ref_arg)
1741 1742 1743
  {
    unsigned_flag= ref_arg->unsigned_flag;
  }
unknown's avatar
unknown committed
1744
  int save_in_field(Field *field, bool no_conversions)
1745
  {
1746
    return ref->save_in_field(field, no_conversions);
1747
  }
1748
  Item *new_item();
1749 1750 1751
};


1752
#include "gstream.h"
unknown's avatar
unknown committed
1753
#include "spatial.h"
unknown's avatar
unknown committed
1754 1755
#include "item_sum.h"
#include "item_func.h"
1756
#include "item_row.h"
unknown's avatar
unknown committed
1757 1758
#include "item_cmpfunc.h"
#include "item_strfunc.h"
1759
#include "item_geofunc.h"
unknown's avatar
unknown committed
1760 1761
#include "item_timefunc.h"
#include "item_uniq.h"
1762
#include "item_subselect.h"
unknown's avatar
unknown committed
1763 1764 1765

class Item_copy_string :public Item
{
1766
  enum enum_field_types cached_field_type;
unknown's avatar
unknown committed
1767 1768 1769 1770 1771 1772 1773 1774
public:
  Item *item;
  Item_copy_string(Item *i) :item(i)
  {
    null_value=maybe_null=item->maybe_null;
    decimals=item->decimals;
    max_length=item->max_length;
    name=item->name;
1775
    cached_field_type= item->field_type();
unknown's avatar
unknown committed
1776 1777 1778
  }
  enum Type type() const { return COPY_STR_ITEM; }
  enum Item_result result_type () const { return STRING_RESULT; }
1779
  enum_field_types field_type() const { return cached_field_type; }
1780
  double val_real()
1781
  {
unknown's avatar
unknown committed
1782 1783
    int err_not_used;
    char *end_not_used;
1784 1785
    return (null_value ? 0.0 :
	    my_strntod(str_value.charset(), (char*) str_value.ptr(),
unknown's avatar
unknown committed
1786
		       str_value.length(), &end_not_used, &err_not_used));
1787
  }
unknown's avatar
unknown committed
1788
  longlong val_int()
unknown's avatar
unknown committed
1789
  {
1790
    int err;
unknown's avatar
unknown committed
1791 1792 1793
    return null_value ? LL(0) : my_strntoll(str_value.charset(),str_value.ptr(),
                                            str_value.length(),10, (char**) 0,
                                            &err); 
1794
  }
unknown's avatar
unknown committed
1795
  String *val_str(String*);
unknown's avatar
unknown committed
1796
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1797 1798
  void make_field(Send_field *field) { item->make_field(field); }
  void copy();
unknown's avatar
unknown committed
1799
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1800 1801
  table_map used_tables() const { return (table_map) 1L; }
  bool const_item() const { return 0; }
unknown's avatar
unknown committed
1802
  bool is_null() { return null_value; }
unknown's avatar
unknown committed
1803 1804 1805
};


unknown's avatar
unknown committed
1806
class Cached_item :public Sql_alloc
unknown's avatar
unknown committed
1807 1808 1809
{
public:
  my_bool null_value;
unknown's avatar
unknown committed
1810
  Cached_item() :null_value(0) {}
unknown's avatar
unknown committed
1811
  virtual bool cmp(void)=0;
unknown's avatar
unknown committed
1812
  virtual ~Cached_item(); /*line -e1509 */
unknown's avatar
unknown committed
1813 1814
};

unknown's avatar
unknown committed
1815
class Cached_item_str :public Cached_item
unknown's avatar
unknown committed
1816 1817 1818 1819
{
  Item *item;
  String value,tmp_value;
public:
unknown's avatar
unknown committed
1820
  Cached_item_str(THD *thd, Item *arg);
unknown's avatar
unknown committed
1821
  bool cmp(void);
unknown's avatar
unknown committed
1822
  ~Cached_item_str();                           // Deallocate String:s
unknown's avatar
unknown committed
1823 1824 1825
};


unknown's avatar
unknown committed
1826
class Cached_item_real :public Cached_item
unknown's avatar
unknown committed
1827 1828 1829 1830
{
  Item *item;
  double value;
public:
unknown's avatar
unknown committed
1831
  Cached_item_real(Item *item_par) :item(item_par),value(0.0) {}
unknown's avatar
unknown committed
1832 1833 1834
  bool cmp(void);
};

unknown's avatar
unknown committed
1835
class Cached_item_int :public Cached_item
unknown's avatar
unknown committed
1836 1837 1838 1839
{
  Item *item;
  longlong value;
public:
unknown's avatar
unknown committed
1840
  Cached_item_int(Item *item_par) :item(item_par),value(0) {}
unknown's avatar
unknown committed
1841 1842 1843 1844
  bool cmp(void);
};


unknown's avatar
unknown committed
1845
class Cached_item_decimal :public Cached_item
unknown's avatar
unknown committed
1846 1847 1848 1849
{
  Item *item;
  my_decimal value;
public:
unknown's avatar
unknown committed
1850
  Cached_item_decimal(Item *item_par);
unknown's avatar
unknown committed
1851 1852 1853
  bool cmp(void);
};

unknown's avatar
unknown committed
1854
class Cached_item_field :public Cached_item
unknown's avatar
unknown committed
1855 1856 1857 1858 1859 1860
{
  char *buff;
  Field *field;
  uint length;

public:
unknown's avatar
unknown committed
1861
  Cached_item_field(Item_field *item)
unknown's avatar
unknown committed
1862
  {
unknown's avatar
unknown committed
1863
    field= item->field;
unknown's avatar
unknown committed
1864 1865 1866 1867 1868
    buff= (char*) sql_calloc(length=field->pack_length());
  }
  bool cmp(void);
};

unknown's avatar
SCRUM  
unknown committed
1869 1870 1871 1872
class Item_default_value : public Item_field
{
public:
  Item *arg;
1873 1874 1875 1876 1877 1878 1879 1880
  Item_default_value(Name_resolution_context *context_arg)
    :Item_field(context_arg, (const char *)NULL, (const char *)NULL,
               (const char *)NULL),
     arg(NULL) {}
  Item_default_value(Name_resolution_context *context_arg, Item *a)
    :Item_field(context_arg, (const char *)NULL, (const char *)NULL,
                (const char *)NULL),
     arg(a) {}
unknown's avatar
SCRUM  
unknown committed
1881
  enum Type type() const { return DEFAULT_VALUE_ITEM; }
unknown's avatar
SCRUM  
unknown committed
1882
  bool eq(const Item *item, bool binary_cmp) const;
1883
  bool fix_fields(THD *, Item **);
unknown's avatar
SCRUM  
unknown committed
1884
  void print(String *str);
1885
  int save_in_field(Field *field_arg, bool no_conversions);
unknown's avatar
SCRUM  
unknown committed
1886
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
1887

unknown's avatar
unknown committed
1888 1889 1890 1891 1892
  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
      (this->*processor)(args);
  }
1893

unknown's avatar
unknown committed
1894 1895 1896 1897 1898
  /* 
     This method like the walk method traverses the item tree, but
     at the same time it can replace some nodes in the tree
  */ 
  Item *transform(Item_transformer transformer, byte *args)
1899
  {
unknown's avatar
unknown committed
1900
    Item *new_item= arg->transform(transformer, args);
1901 1902 1903
    if (!new_item)
      return 0;
    arg= new_item;
unknown's avatar
unknown committed
1904
    return (this->*transformer)(args);
1905
  }
unknown's avatar
unknown committed
1906
};
unknown's avatar
unknown committed
1907

unknown's avatar
unknown committed
1908 1909 1910 1911
class Item_insert_value : public Item_field
{
public:
  Item *arg;
1912 1913 1914 1915
  Item_insert_value(Name_resolution_context *context_arg, Item *a)
    :Item_field(context_arg, (const char *)NULL, (const char *)NULL,
               (const char *)NULL),
     arg(a) {}
unknown's avatar
unknown committed
1916
  bool eq(const Item *item, bool binary_cmp) const;
1917
  bool fix_fields(THD *, Item **);
unknown's avatar
unknown committed
1918
  void print(String *str);
1919
  int save_in_field(Field *field_arg, bool no_conversions)
unknown's avatar
unknown committed
1920
  {
1921
    return Item_field::save_in_field(field_arg, no_conversions);
unknown's avatar
unknown committed
1922 1923
  }
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
1924 1925 1926 1927 1928 1929

  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
	    (this->*processor)(args);
  }
unknown's avatar
unknown committed
1930 1931
};

1932 1933 1934 1935 1936 1937 1938 1939 1940 1941

/*
  We need this two enums here instead of sql_lex.h because
  at least one of them is used by Item_trigger_field interface.

  Time when trigger is invoked (i.e. before or after row actually
  inserted/updated/deleted).
*/
enum trg_action_time_type
{
1942
  TRG_ACTION_BEFORE= 0, TRG_ACTION_AFTER= 1, TRG_ACTION_MAX
1943 1944 1945 1946 1947 1948 1949
};

/*
  Event on which trigger is invoked.
*/
enum trg_event_type
{
1950
  TRG_EVENT_INSERT= 0 , TRG_EVENT_UPDATE= 1, TRG_EVENT_DELETE= 2, TRG_EVENT_MAX
1951 1952
};

unknown's avatar
unknown committed
1953 1954
class Table_triggers_list;

1955 1956 1957 1958
/*
  Represents NEW/OLD version of field of row which is
  changed/read in trigger.

unknown's avatar
unknown committed
1959 1960 1961 1962 1963 1964
  Note: For this item main part of actual binding to Field object happens
        not during fix_fields() call (like for Item_field) but right after
        parsing of trigger definition, when table is opened, with special
        setup_field() call. On fix_fields() stage we simply choose one of
        two Field instances representing either OLD or NEW version of this
        field.
1965 1966 1967 1968 1969 1970 1971
*/
class Item_trigger_field : public Item_field
{
public:
  /* Is this item represents row from NEW or OLD row ? */
  enum row_version_type {OLD_ROW, NEW_ROW};
  row_version_type row_version;
1972 1973
  /* Next in list of all Item_trigger_field's in trigger */
  Item_trigger_field *next_trg_field;
unknown's avatar
unknown committed
1974 1975 1976 1977
  /* Index of the field in the TABLE::field array */
  uint field_idx;
  /* Pointer to Table_trigger_list object for table of this trigger */
  Table_triggers_list *triggers;
1978

1979 1980 1981 1982 1983 1984
  Item_trigger_field(Name_resolution_context *context_arg,
                     row_version_type row_ver_arg,
                     const char *field_name_arg)
    :Item_field(context_arg,
               (const char *)NULL, (const char *)NULL, field_name_arg),
     row_version(row_ver_arg), field_idx((uint)-1)
1985
  {}
unknown's avatar
unknown committed
1986
  void setup_field(THD *thd, TABLE *table);
1987 1988
  enum Type type() const { return TRIGGER_FIELD_ITEM; }
  bool eq(const Item *item, bool binary_cmp) const;
1989
  bool fix_fields(THD *, Item **);
1990 1991 1992 1993 1994 1995
  void print(String *str);
  table_map used_tables() const { return (table_map)0L; }
  void cleanup();
};


1996 1997
class Item_cache: public Item
{
unknown's avatar
unknown committed
1998 1999
protected:
  Item *example;
2000
  table_map used_table_map;
2001
public:
unknown's avatar
unknown committed
2002
  Item_cache(): example(0), used_table_map(0) {fixed= 1; null_value= 1;}
2003 2004 2005

  void set_used_tables(table_map map) { used_table_map= map; }

unknown's avatar
unknown committed
2006
  virtual bool allocate(uint i) { return 0; }
2007
  virtual bool setup(Item *item)
2008
  {
2009 2010 2011 2012 2013 2014
    example= item;
    max_length= item->max_length;
    decimals= item->decimals;
    collation.set(item->collation);
    return 0;
  };
2015 2016
  virtual void store(Item *)= 0;
  enum Type type() const { return CACHE_ITEM; }
2017
  static Item_cache* get_cache(Item_result type);
2018
  table_map used_tables() const { return used_table_map; }
2019
  virtual void keep_array() {}
2020
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
2021
  void cleanup() {}
unknown's avatar
unknown committed
2022
  void print(String *str);
2023 2024
};

unknown's avatar
unknown committed
2025

2026 2027
class Item_cache_int: public Item_cache
{
unknown's avatar
unknown committed
2028
protected:
2029 2030
  longlong value;
public:
2031
  Item_cache_int(): Item_cache(), value(0) {}
unknown's avatar
unknown committed
2032

unknown's avatar
unknown committed
2033
  void store(Item *item);
2034
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
2035
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2036 2037
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
2038 2039 2040
  enum Item_result result_type() const { return INT_RESULT; }
};

unknown's avatar
unknown committed
2041

2042 2043 2044 2045
class Item_cache_real: public Item_cache
{
  double value;
public:
2046
  Item_cache_real(): Item_cache(), value(0) {}
2047

unknown's avatar
unknown committed
2048
  void store(Item *item);
2049
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2050 2051 2052
  longlong val_int();
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
2053 2054 2055
  enum Item_result result_type() const { return REAL_RESULT; }
};

unknown's avatar
unknown committed
2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072

class Item_cache_decimal: public Item_cache
{
protected:
  my_decimal decimal_value;
public:
  Item_cache_decimal(): Item_cache() {}

  void store(Item *item);
  double val_real();
  longlong val_int();
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
  enum Item_result result_type() const { return DECIMAL_RESULT; }
};


2073 2074
class Item_cache_str: public Item_cache
{
unknown's avatar
unknown committed
2075
  char buffer[STRING_BUFFER_USUAL_SIZE];
2076
  String *value, value_buff;
2077
public:
2078
  Item_cache_str(): Item_cache(), value(0) { }
unknown's avatar
unknown committed
2079

2080
  void store(Item *item);
2081
  double val_real();
2082
  longlong val_int();
2083
  String* val_str(String *) { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2084
  my_decimal *val_decimal(my_decimal *);
2085 2086 2087 2088
  enum Item_result result_type() const { return STRING_RESULT; }
  CHARSET_INFO *charset() const { return value->charset(); };
};

unknown's avatar
unknown committed
2089 2090 2091
class Item_cache_row: public Item_cache
{
  Item_cache  **values;
unknown's avatar
unknown committed
2092
  uint item_count;
2093
  bool save_array;
unknown's avatar
unknown committed
2094
public:
2095 2096
  Item_cache_row()
    :Item_cache(), values(0), item_count(2), save_array(0) {}
unknown's avatar
unknown committed
2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113
  
  /*
    'allocate' used only in row transformer, to preallocate space for row 
    cache.
  */
  bool allocate(uint num);
  /*
    'setup' is needed only by row => it not called by simple row subselect
    (only by IN subselect (in subselect optimizer))
  */
  bool setup(Item *item);
  void store(Item *item);
  void illegal_method_call(const char *);
  void make_field(Send_field *)
  {
    illegal_method_call((const char*)"make_field");
  };
2114
  double val_real()
unknown's avatar
unknown committed
2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128
  {
    illegal_method_call((const char*)"val");
    return 0;
  };
  longlong val_int()
  {
    illegal_method_call((const char*)"val_int");
    return 0;
  };
  String *val_str(String *)
  {
    illegal_method_call((const char*)"val_str");
    return 0;
  };
unknown's avatar
unknown committed
2129 2130 2131 2132 2133 2134
  my_decimal *val_decimal(my_decimal *val)
  {
    illegal_method_call((const char*)"val_decimal");
    return 0;
  };

unknown's avatar
unknown committed
2135 2136
  enum Item_result result_type() const { return ROW_RESULT; }
  
unknown's avatar
unknown committed
2137
  uint cols() { return item_count; }
unknown's avatar
unknown committed
2138 2139 2140 2141 2142
  Item* el(uint i) { return values[i]; }
  Item** addr(uint i) { return (Item **) (values + i); }
  bool check_cols(uint c);
  bool null_inside();
  void bring_value();
2143
  void keep_array() { save_array= 1; }
unknown's avatar
unknown committed
2144 2145
  void cleanup()
  {
unknown's avatar
unknown committed
2146
    DBUG_ENTER("Item_cache_row::cleanup");
unknown's avatar
unknown committed
2147
    Item_cache::cleanup();
2148 2149 2150 2151
    if (save_array)
      bzero(values, item_count*sizeof(Item**));
    else
      values= 0;
unknown's avatar
unknown committed
2152
    DBUG_VOID_RETURN;
unknown's avatar
unknown committed
2153
  }
unknown's avatar
unknown committed
2154 2155
};

2156 2157

/*
2158 2159 2160 2161 2162
  Item_type_holder used to store type. name, length of Item for UNIONS &
  derived tables.

  Item_type_holder do not need cleanup() because its time of live limited by
  single SP/PS execution.
2163 2164 2165 2166
*/
class Item_type_holder: public Item
{
protected:
2167 2168 2169 2170
  TYPELIB *enum_set_typelib;
  enum_field_types fld_type;

  void get_full_info(Item *item);
unknown's avatar
unknown committed
2171 2172 2173

  /* It is used to count decimal precision in join_types */
  int prev_decimal_int_part;
2174
public:
2175
  Item_type_holder(THD*, Item*);
2176

2177
  Item_result result_type() const;
2178
  enum_field_types field_type() const { return fld_type; };
2179
  enum Type type() const { return TYPE_HOLDER; }
2180
  double val_real();
2181
  longlong val_int();
unknown's avatar
unknown committed
2182
  my_decimal *val_decimal(my_decimal *);
2183
  String *val_str(String*);
2184 2185 2186 2187
  bool join_types(THD *thd, Item *);
  Field *make_field_by_type(TABLE *table);
  static uint32 display_length(Item *item);
  static enum_field_types get_real_type(Item *);
2188 2189
};

2190

2191 2192 2193
class st_select_lex;
void mark_select_range_as_dependent(THD *thd,
                                    st_select_lex *last_select,
unknown's avatar
unknown committed
2194
                                    st_select_lex *current_sel,
2195 2196
                                    Field *found_field, Item *found_item,
                                    Item_ident *resolved_item);
2197

unknown's avatar
unknown committed
2198
extern Cached_item *new_Cached_item(THD *thd, Item *item);
unknown's avatar
unknown committed
2199
extern Item_result item_cmp_type(Item_result a,Item_result b);
2200
extern void resolve_const_item(THD *thd, Item **ref, Item *cmp_item);
unknown's avatar
unknown committed
2201
extern bool field_is_equal_to_item(Field *field,Item *item);