item.h 79.8 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
  Flags for collation aggregation modes:
unknown's avatar
unknown committed
32 33 34 35
  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
36
                                 (combination of the above two)
unknown's avatar
unknown committed
37 38 39 40
  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
41 42 43 44
*/

#define MY_COLL_ALLOW_SUPERSET_CONV   1
#define MY_COLL_ALLOW_COERCIBLE_CONV  2
unknown's avatar
unknown committed
45 46 47
#define MY_COLL_ALLOW_CONV            3
#define MY_COLL_DISALLOW_NONE         4
#define MY_COLL_CMP_CONV              7
48

49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
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;
  }
64
  void set(DTCollation &dt)
65
  { 
66 67
    collation= dt.collation;
    derivation= dt.derivation;
68 69 70 71 72 73 74 75 76 77
  }
  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; }
78 79 80
  bool aggregate(DTCollation &dt, uint flags= 0);
  bool set(DTCollation &dt1, DTCollation &dt2, uint flags= 0)
  { set(dt1); return aggregate(dt2, flags); }
81 82 83 84
  const char *derivation_name() const
  {
    switch(derivation)
    {
85
      case DERIVATION_IGNORABLE: return "IGNORABLE";
86 87
      case DERIVATION_COERCIBLE: return "COERCIBLE";
      case DERIVATION_IMPLICIT:  return "IMPLICIT";
88
      case DERIVATION_SYSCONST:  return "SYSCONST";
89 90 91 92 93 94 95
      case DERIVATION_EXPLICIT:  return "EXPLICIT";
      case DERIVATION_NONE:      return "NONE";
      default: return "UNKNOWN";
    }
  }
};

96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149

/*************************************************************************/
/*
  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
150
  { return (longlong) rint(val->real); }
151 152 153 154
  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();
155 156
  Hybrid_type_traits() {}
  virtual ~Hybrid_type_traits() {}
157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177
};


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();
178
  Hybrid_type_traits_decimal() {};
179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208
};


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();
209
  Hybrid_type_traits_integer() {};
210 211
};

212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231

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.
*/
232
struct Name_resolution_context: Sql_alloc
233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248
{
  /*
    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
249 250 251 252 253 254 255 256 257 258 259 260 261
  /*
    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;
262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285

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

  /*
286 287
    Security context of this name resolution context. It's used for views
    and is non-zero only if the view is defined with SQL SECURITY DEFINER.
288
  */
289
  Security_context *security_ctx;
290 291 292 293

  Name_resolution_context()
    :outer_context(0), table_list(0), select_lex(0),
    error_processor_data(0),
294
    security_ctx(0)
295 296 297 298 299 300
    {}

  void init()
  {
    resolve_in_select_list= FALSE;
    error_processor= &dummy_error_processor;
unknown's avatar
unknown committed
301 302
    first_name_resolution_table= NULL;
    last_name_resolution_table= NULL;
303 304 305 306
  }

  void resolve_in_table_list_only(TABLE_LIST *tables)
  {
unknown's avatar
unknown committed
307
    table_list= first_name_resolution_table= tables;
308 309 310 311 312 313 314 315 316 317
    resolve_in_select_list= FALSE;
  }

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


318 319 320 321 322 323 324 325 326 327 328 329 330
/*
  Store and restore the current state of a name resolution context.
*/

class Name_resolution_context_state
{
private:
  TABLE_LIST *save_table_list;
  TABLE_LIST *save_first_name_resolution_table;
  TABLE_LIST *save_next_name_resolution_table;
  bool        save_resolve_in_select_list;

public:
331
  Name_resolution_context_state() {}          /* Remove gcc warning */
332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360
  TABLE_LIST *save_next_local;

public:
  /* Save the state of a name resolution context. */
  void save_state(Name_resolution_context *context, TABLE_LIST *table_list)
  {
    save_table_list=                  context->table_list;
    save_first_name_resolution_table= context->first_name_resolution_table;
    save_next_name_resolution_table=  (context->first_name_resolution_table) ?
                                      context->first_name_resolution_table->
                                               next_name_resolution_table :
                                      NULL;
    save_resolve_in_select_list=      context->resolve_in_select_list;
    save_next_local=                  table_list->next_local;
  }

  /* Restore a name resolution context from saved state. */
  void restore_state(Name_resolution_context *context, TABLE_LIST *table_list)
  {
    table_list->next_local=                save_next_local;
    context->table_list=                   save_table_list;
    context->first_name_resolution_table=  save_first_name_resolution_table;
    if (context->first_name_resolution_table)
      context->first_name_resolution_table->
               next_name_resolution_table= save_next_name_resolution_table;
    context->resolve_in_select_list=       save_resolve_in_select_list;
  }
};

361 362
/*************************************************************************/

363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378
class sp_rcontext;


class Settable_routine_parameter
{
public:
  /*
    Set required privileges for accessing the parameter.

    SYNOPSIS
      set_required_privilege()
        rw        if 'rw' is true then we are going to read and set the
                  parameter, so SELECT and UPDATE privileges might be
                  required, otherwise we only reading it and SELECT
                  privilege might be required.
  */
379 380
  Settable_routine_parameter() {}
  virtual ~Settable_routine_parameter() {}
381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396
  virtual void set_required_privilege(bool rw) {};

  /*
    Set parameter value.

    SYNOPSIS
      set_value()
        thd       thread handle
        ctx       context to which parameter belongs (if it is local
                  variable).
        it        item which represents new value

    RETURN
      FALSE if parameter value has been set,
      TRUE if error has occured.
  */
397
  virtual bool set_value(THD *thd, sp_rcontext *ctx, Item **it)= 0;
398 399 400
};


401
typedef bool (Item::*Item_processor) (byte *arg);
402 403 404 405 406 407 408 409 410 411 412
/*
  Analyzer function
    SYNOPSIS
      argp   in/out IN:  Analysis parameter
                    OUT: Parameter to be passed to the transformer

    RETURN 
      TRUE   Invoke the transformer
      FALSE  Don't do it

*/
413
typedef bool (Item::*Item_analyzer) (byte **argp);
unknown's avatar
unknown committed
414
typedef Item* (Item::*Item_transformer) (byte *arg);
415
typedef void (*Cond_traverser) (const Item *item, void *arg);
416

417

unknown's avatar
unknown committed
418
class Item {
unknown's avatar
unknown committed
419
  Item(const Item &);			/* Prevent use of these */
unknown's avatar
unknown committed
420 421
  void operator=(Item &);
public:
422 423
  static void *operator new(size_t size)
  { return (void*) sql_alloc((uint) size); }
424
  static void *operator new(size_t size, MEM_ROOT *mem_root)
425
  { return (void*) alloc_root(mem_root, (uint) size); }
unknown's avatar
unknown committed
426
  static void operator delete(void *ptr,size_t size) { TRASH(ptr, size); }
427
  static void operator delete(void *ptr, MEM_ROOT *mem_root) {}
unknown's avatar
unknown committed
428

429
  enum Type {FIELD_ITEM= 0, FUNC_ITEM, SUM_FUNC_ITEM, STRING_ITEM,
430
	     INT_ITEM, REAL_ITEM, NULL_ITEM, VARBIN_ITEM,
unknown's avatar
SCRUM  
unknown committed
431
	     COPY_STR_ITEM, FIELD_AVG_ITEM, DEFAULT_VALUE_ITEM,
unknown's avatar
unknown committed
432 433
	     PROC_ITEM,COND_ITEM, REF_ITEM, FIELD_STD_ITEM,
	     FIELD_VARIANCE_ITEM, INSERT_VALUE_ITEM,
434
             SUBSELECT_ITEM, ROW_ITEM, CACHE_ITEM, TYPE_HOLDER,
435 436
             PARAM_ITEM, TRIGGER_FIELD_ITEM, DECIMAL_ITEM,
             VIEW_FIXER_ITEM};
unknown's avatar
SCRUM  
unknown committed
437

unknown's avatar
unknown committed
438
  enum cond_result { COND_UNDEF,COND_OK,COND_TRUE,COND_FALSE };
439 440

  enum traverse_order { POSTFIX, PREFIX };
441
  
442 443 444
  /* Reuse size, only used by SP local variable assignment, otherwize 0 */
  uint rsize;

unknown's avatar
unknown committed
445 446 447 448 449
  /*
    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
450
  my_string name;			/* Name from select */
451 452
  /* Original item name (if it was renamed)*/
  my_string orig_name;
unknown's avatar
unknown committed
453 454
  Item *next;
  uint32 max_length;
455
  uint name_length;                     /* Length of name */
unknown's avatar
unknown committed
456
  uint8 marker, decimals;
unknown's avatar
unknown committed
457 458
  my_bool maybe_null;			/* If item may be null */
  my_bool null_value;			/* if item is null */
459
  my_bool unsigned_flag;
unknown's avatar
unknown committed
460
  my_bool with_sum_func;
461
  my_bool fixed;                        /* If item fixed with fix_fields */
462 463
  my_bool is_autogenerated_name;        /* indicate was name of this Item
                                           autogenerated or set by user */
464
  DTCollation collation;
465 466 467
  my_bool with_subselect;               /* If this item is a subselect or some
                                           of its arguments is or contains a
                                           subselect */
468
  Item_result cmp_context;              /* Comparison context */
unknown's avatar
unknown committed
469 470
  // alloc & destruct is done as start of select using sql_alloc
  Item();
471
  /*
unknown's avatar
unknown committed
472
     Constructor used by Item_field, Item_ref & aggregate (sum) functions.
473 474
     Used for duplicating lists in processing queries with temporary
     tables
475
     Also it used for Item_cond_and/Item_cond_or for creating
unknown's avatar
unknown committed
476
     top AND/OR structure of WHERE clause to protect it of
477
     optimisation changes in prepared statements
478
  */
479
  Item(THD *thd, Item *item);
unknown's avatar
unknown committed
480 481
  virtual ~Item()
  {
unknown's avatar
unknown committed
482
#ifdef EXTRA_DEBUG
unknown's avatar
unknown committed
483
    name=0;
unknown's avatar
unknown committed
484
#endif
unknown's avatar
unknown committed
485
  }		/*lint -e1509 */
486
  void set_name(const char *str, uint length, CHARSET_INFO *cs);
487
  void rename(char *new_name);
unknown's avatar
unknown committed
488
  void init_make_field(Send_field *tmp_field,enum enum_field_types type);
489
  virtual void cleanup();
490
  virtual void make_field(Send_field *field);
491
  Field *make_string_field(TABLE *table);
492
  virtual bool fix_fields(THD *, Item **);
unknown's avatar
unknown committed
493
  /*
unknown's avatar
unknown committed
494
    should be used in case where we are sure that we do not need
unknown's avatar
unknown committed
495 496 497
    complete fix_fields() procedure.
  */
  inline void quick_fix_field() { fixed= 1; }
unknown's avatar
unknown committed
498
  /* Function returns 1 on overflow and -1 on fatal errors */
499
  int save_in_field_no_warnings(Field *field, bool no_conversions);
unknown's avatar
unknown committed
500
  virtual int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
501
  virtual void save_org_in_field(Field *field)
502
  { (void) save_in_field(field, 1); }
unknown's avatar
unknown committed
503
  virtual int save_safe_in_field(Field *field)
504
  { return save_in_field(field, 1); }
505
  virtual bool send(Protocol *protocol, String *str);
506
  virtual bool eq(const Item *, bool binary_cmp) const;
507 508
  virtual Item_result result_type() const { return REAL_RESULT; }
  virtual Item_result cast_to_int_type() const { return result_type(); }
509
  virtual enum_field_types field_type() const;
unknown's avatar
unknown committed
510
  virtual enum Type type() const =0;
511
  /* valXXX methods must return NULL or 0 or 0.0 if null_value is set. */
unknown's avatar
unknown committed
512 513 514 515 516 517 518 519 520 521
  /*
    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.
  */
522
  virtual double val_real()=0;
unknown's avatar
unknown committed
523 524 525 526 527 528 529 530 531 532
  /*
    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
533
  virtual longlong val_int()=0;
534 535 536 537 538
  /*
    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(); }
539 540 541
  /*
    Return string representation of this item object.

unknown's avatar
unknown committed
542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598
    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)
599
  */
unknown's avatar
unknown committed
600
  virtual bool val_bool();
601 602 603 604 605 606 607
  /* 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);
608 609
  my_decimal *val_decimal_from_date(my_decimal *decimal_value);
  my_decimal *val_decimal_from_time(my_decimal *decimal_value);
610 611 612
  longlong val_int_from_decimal();
  double val_real_from_decimal();

613 614 615
  int save_time_in_field(Field *field);
  int save_date_in_field(Field *field);

616
  virtual Field *get_tmp_table_field() { return 0; }
unknown's avatar
unknown committed
617
  /* This is also used to create fields in CREATE ... SELECT: */
618
  virtual Field *tmp_table_field(TABLE *t_arg) { return 0; }
unknown's avatar
unknown committed
619
  virtual const char *full_name() const { return name ? name : "???"; }
unknown's avatar
unknown committed
620 621 622 623 624 625 626

  /*
    *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.
  */
627
  virtual double  val_result() { return val_real(); }
unknown's avatar
unknown committed
628 629
  virtual longlong val_int_result() { return val_int(); }
  virtual String *str_result(String* tmp) { return val_str(tmp); }
unknown's avatar
unknown committed
630 631 632 633
  virtual my_decimal *val_decimal_result(my_decimal *val)
  { return val_decimal(val); }
  virtual bool val_bool_result() { return val_bool(); }

634
  /* bit map of tables used by item */
unknown's avatar
unknown committed
635
  virtual table_map used_tables() const { return (table_map) 0L; }
636 637 638 639 640 641 642 643 644 645 646 647 648 649
  /*
    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
650
    a constant expression. Used in the optimizer to propagate basic constants.
651
  */
unknown's avatar
unknown committed
652
  virtual bool basic_const_item() const { return 0; }
unknown's avatar
unknown committed
653 654
  /* cloning of constant items (0 if it is not const) */
  virtual Item *new_item() { return 0; }
unknown's avatar
unknown committed
655 656 657
  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
658 659 660
  virtual uint decimal_precision() const;
  inline int decimal_int_part() const
  { return my_decimal_int_part(decimal_precision(), decimals); }
661 662 663 664
  /* 
    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
665
  virtual bool const_item() const { return used_tables() == 0; }
666 667 668 669 670 671
  /* 
    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; }
672 673 674 675 676 677 678 679 680 681 682 683
  /*
    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
684
  virtual void print(String *str_arg) { str_arg->append(full_name()); }
unknown's avatar
unknown committed
685
  void print_item_w_name(String *);
unknown's avatar
unknown committed
686
  virtual void update_used_tables() {}
687 688
  virtual void split_sum_func(THD *thd, Item **ref_pointer_array,
                              List<Item> &fields) {}
689 690
  /* Called for items that really have to be split */
  void split_sum_func2(THD *thd, Item **ref_pointer_array, List<Item> &fields,
unknown's avatar
unknown committed
691
                       Item **ref, bool skip_registered);
692
  virtual bool get_date(TIME *ltime,uint fuzzydate);
unknown's avatar
unknown committed
693
  virtual bool get_time(TIME *ltime);
694
  virtual bool get_date_result(TIME *ltime,uint fuzzydate)
695
  { return get_date(ltime,fuzzydate); }
696 697 698 699 700 701 702 703
  /*
    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.
  */
704
  virtual bool is_null() { return 0; }
705

706 707 708 709 710
  /*
   Make sure the null_value member has a correct value.
  */
  virtual void update_null_value () { (void) val_int(); }

unknown's avatar
unknown committed
711
  /*
712 713 714 715 716 717 718 719
    Inform the item that there will be no distinction between its result
    being FALSE or NULL.

    NOTE
      This function will be called for eg. Items that are top-level AND-parts
      of the WHERE clause. Items implementing this function (currently
      Item_cond_and and subquery-related item) enable special optimizations
      when they are "top level".
unknown's avatar
unknown committed
720
  */
721
  virtual void top_level_item() {}
unknown's avatar
unknown committed
722 723
  /*
    set field of temporary table for Item which can be switched on temporary
unknown's avatar
unknown committed
724
    table during query processing (grouping and so on)
unknown's avatar
unknown committed
725
  */
unknown's avatar
unknown committed
726 727
  virtual void set_result_field(Field *field) {}
  virtual bool is_result_field() { return 0; }
unknown's avatar
unknown committed
728
  virtual bool is_bool_func() { return 0; }
unknown's avatar
unknown committed
729
  virtual void save_in_result_field(bool no_conversions) {}
unknown's avatar
unknown committed
730
  /*
unknown's avatar
unknown committed
731
    set value of aggregate function in case of no rows for grouping were found
unknown's avatar
unknown committed
732
  */
unknown's avatar
unknown committed
733
  virtual void no_rows_in_result() {}
734
  virtual Item *copy_or_same(THD *thd) { return this; }
735
  virtual Item *copy_andor_structure(THD *thd) { return this; }
unknown's avatar
unknown committed
736
  virtual Item *real_item() { return this; }
737
  virtual Item *get_tmp_table_item(THD *thd) { return copy_or_same(thd); }
unknown's avatar
unknown committed
738

739
  static CHARSET_INFO *default_charset();
740
  virtual CHARSET_INFO *compare_collation() { return NULL; }
unknown's avatar
unknown committed
741 742 743 744 745 746

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

747
  virtual Item* transform(Item_transformer transformer, byte *arg);
748

749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764
  /*
    This function performs a generic "compilation" of the Item tree.
    The process of compilation is assumed to go as follows: 
    
    compile()
    { 
      if (this->*some_analyzer(...))
      {
        compile children if any;
        this->*some_transformer(...);
      }
    }

    i.e. analysis is performed top-down while transformation is done
    bottom-up.      
  */
765 766 767 768 769 770 771 772
  virtual Item* compile(Item_analyzer analyzer, byte **arg_p,
                        Item_transformer transformer, byte *arg_t)
  {
    if ((this->*analyzer) (arg_p))
      return ((this->*transformer) (arg_t));
    return 0;
  }

773 774
   virtual void traverse_cond(Cond_traverser traverser,
                              void *arg, traverse_order order)
775 776 777
   {
     (*traverser)(this, arg);
   }
778

unknown's avatar
unknown committed
779
  virtual bool remove_dependence_processor(byte * arg) { return 0; }
780
  virtual bool remove_fixed(byte * arg) { fixed= 0; return 0; }
unknown's avatar
unknown committed
781
  virtual bool cleanup_processor(byte *arg);
782
  virtual bool collect_item_field_processor(byte * arg) { return 0; }
unknown's avatar
unknown committed
783
  virtual bool find_item_in_field_list_processor(byte *arg) { return 0; }
784
  virtual bool change_context_processor(byte *context) { return 0; }
unknown's avatar
unknown committed
785
  virtual bool reset_query_id_processor(byte *query_id) { return 0; }
786
  virtual bool is_expensive_processor(byte *arg) { return 0; }
787 788 789 790 791 792
  virtual bool subst_argument_checker(byte **arg)
  { 
    if (*arg)
      *arg= NULL; 
    return TRUE;     
  }
793

794
  virtual Item *equal_fields_propagator(byte * arg) { return this; }
795
  virtual bool set_no_const_sub(byte *arg) { return FALSE; }
unknown's avatar
unknown committed
796
  virtual Item *replace_equal_field(byte * arg) { return this; }
797 798 799 800 801 802

  /*
    For SP local variable returns pointer to Item representing its
    current value and pointer to current Item otherwise.
  */
  virtual Item *this_item() { return this; }
803 804
  virtual const Item *this_item() const { return this; }

805 806 807 808 809
  /*
    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
810 811 812 813

  // Row emulation
  virtual uint cols() { return 1; }
  virtual Item* el(uint i) { return this; }
814
  virtual Item** addr(uint i) { return 0; }
unknown's avatar
unknown committed
815
  virtual bool check_cols(uint c);
unknown's avatar
unknown committed
816
  // It is not row => null inside is impossible
817 818 819
  virtual bool null_inside() { return 0; }
  // used in row subselects to get value of elements
  virtual void bring_value() {}
820 821

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

824
  virtual Item *neg_transformer(THD *thd) { return NULL; }
unknown's avatar
unknown committed
825
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
826 827 828 829
  void delete_self()
  {
    cleanup();
    delete this;
unknown's avatar
unknown committed
830
  }
831 832

  virtual bool is_splocal() { return 0; } /* Needed for error checking */
833 834 835 836 837 838 839 840 841

  /*
    Return Settable_routine_parameter interface of the Item.  Return 0
    if this Item is not Settable_routine_parameter.
  */
  virtual Settable_routine_parameter *get_settable_routine_parameter()
  {
    return 0;
  }
842 843 844 845 846 847 848 849
  /*
    result_as_longlong() must return TRUE for Items representing DATE/TIME
    functions and DATE/TIME table fields.
    Those Items have result_type()==STRING_RESULT (and not INT_RESULT), but
    their values should be compared as integers (because the integer
    representation is more precise than the string one).
  */
  virtual bool result_as_longlong() { return FALSE; }
unknown's avatar
unknown committed
850 851 852
};


853 854
class sp_head;

855

856 857 858 859 860 861 862 863
/*****************************************************************************
  The class is a base class for representation of stored routine variables in
  the Item-hierarchy. There are the following kinds of SP-vars:
    - local variables (Item_splocal);
    - CASE expression (Item_case_expr);
*****************************************************************************/

class Item_sp_variable :public Item
864
{
865 866 867 868 869 870 871 872 873 874
protected:
  /*
    THD, which is stored in fix_fields() and is used in this_item() to avoid
    current_thd use.
  */
  THD *m_thd;

public:
  LEX_STRING m_name;

875
public:
876 877 878 879 880
#ifndef DBUG_OFF
  /*
    Routine to which this Item_splocal belongs. Used for checking if correct
    runtime context is used for variable handling.
  */
881
  sp_head *m_sp;
882
#endif
883

884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940
public:
  Item_sp_variable(char *sp_var_name_str, uint sp_var_name_length);

public:
  bool fix_fields(THD *thd, Item **);

  double val_real();
  longlong val_int();
  String *val_str(String *sp);
  my_decimal *val_decimal(my_decimal *decimal_value);
  bool is_null();

public:
  inline void make_field(Send_field *field);
  
  inline bool const_item() const;
  
  inline int save_in_field(Field *field, bool no_conversions);
  inline bool send(Protocol *protocol, String *str);
}; 

/*****************************************************************************
  Item_sp_variable inline implementation.
*****************************************************************************/

inline void Item_sp_variable::make_field(Send_field *field)
{
  Item *it= this_item();

  if (name)
    it->set_name(name, (uint) strlen(name), system_charset_info);
  else
    it->set_name(m_name.str, m_name.length, system_charset_info);
  it->make_field(field);
}

inline bool Item_sp_variable::const_item() const
{
  return TRUE;
}

inline int Item_sp_variable::save_in_field(Field *field, bool no_conversions)
{
  return this_item()->save_in_field(field, no_conversions);
}

inline bool Item_sp_variable::send(Protocol *protocol, String *str)
{
  return this_item()->send(protocol, str);
}


/*****************************************************************************
  A reference to local SP variable (incl. reference to SP parameter), used in
  runtime.
*****************************************************************************/

941 942
class Item_splocal :public Item_sp_variable,
                    private Settable_routine_parameter
943 944 945 946 947 948 949
{
  uint m_var_idx;

  Type m_type;
  Item_result m_result_type;

public:
950 951 952 953 954 955 956 957 958 959
  /* 
    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.
  */
960
  uint pos_in_query;
961

962 963
  Item_splocal(const LEX_STRING &sp_var_name, uint sp_var_idx,
               enum_field_types sp_var_type, uint pos_in_q= 0);
964

965 966
  bool is_splocal() { return 1; } /* Needed for error checking */

967
  Item *this_item();
968
  const Item *this_item() const;
969
  Item **this_item_addr(THD *thd, Item **);
970

971
  void print(String *str);
unknown's avatar
unknown committed
972

973 974
public:
  inline const LEX_STRING *my_name() const;
975

976
  inline uint get_var_idx() const;
977

978 979
  inline enum Type type() const;
  inline Item_result result_type() const;
980 981

private:
982
  bool set_value(THD *thd, sp_rcontext *ctx, Item **it);
983 984 985 986 987 988

public:
  Settable_routine_parameter *get_settable_routine_parameter()
  {
    return this;
  }
989
};
990

991 992 993
/*****************************************************************************
  Item_splocal inline implementation.
*****************************************************************************/
994

995 996 997 998
inline const LEX_STRING *Item_splocal::my_name() const
{
  return &m_name;
}
999

1000 1001 1002 1003
inline uint Item_splocal::get_var_idx() const
{
  return m_var_idx;
}
1004

1005 1006 1007 1008
inline enum Item::Type Item_splocal::type() const
{
  return m_type;
}
1009

1010 1011 1012 1013
inline Item_result Item_splocal::result_type() const
{
  return m_result_type;
}
unknown's avatar
unknown committed
1014

1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042

/*****************************************************************************
  A reference to case expression in SP, used in runtime.
*****************************************************************************/

class Item_case_expr :public Item_sp_variable
{
public:
  Item_case_expr(int case_expr_id);

public:
  Item *this_item();
  const Item *this_item() const;
  Item **this_item_addr(THD *thd, Item **);

  inline enum Type type() const;
  inline Item_result result_type() const;

public:
  /*
    NOTE: print() is intended to be used from views and for debug.
    Item_case_expr can not occur in views, so here it is only for debug
    purposes.
  */
  void print(String *str);

private:
  int m_case_expr_id;
1043 1044
};

1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058
/*****************************************************************************
  Item_case_expr inline implementation.
*****************************************************************************/

inline enum Item::Type Item_case_expr::type() const
{
  return this_item()->type();
}

inline Item_result Item_case_expr::result_type() const
{
  return this_item()->result_type();
}

1059

1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108
/*
  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 **);

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

1109
  bool send(Protocol *protocol, String *str)
1110 1111 1112 1113 1114
  {
    return value_item->send(protocol, str);
  }
};

1115
bool agg_item_collations(DTCollation &c, const char *name,
1116
                         Item **items, uint nitems, uint flags, int item_sep);
1117
bool agg_item_collations_for_comparison(DTCollation &c, const char *name,
1118
                                        Item **items, uint nitems, uint flags);
1119
bool agg_item_charsets(DTCollation &c, const char *name,
1120
                       Item **items, uint nitems, uint flags, int item_sep);
1121 1122


1123 1124 1125
class Item_num: public Item
{
public:
1126
  Item_num() {}                               /* Remove gcc warning */
unknown's avatar
unknown committed
1127
  virtual Item_num *neg()= 0;
unknown's avatar
unknown committed
1128
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1129 1130
};

1131
#define NO_CACHED_FIELD_INDEX ((uint)(-1))
1132

unknown's avatar
unknown committed
1133
class st_select_lex;
unknown's avatar
unknown committed
1134 1135
class Item_ident :public Item
{
1136
protected:
1137 1138 1139 1140 1141 1142 1143 1144 1145
  /* 
    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;
1146

unknown's avatar
unknown committed
1147
public:
1148
  Name_resolution_context *context;
unknown's avatar
unknown committed
1149 1150 1151
  const char *db_name;
  const char *table_name;
  const char *field_name;
unknown's avatar
unknown committed
1152
  bool alias_name_used; /* true if item was resolved against alias */
1153 1154
  /* 
    Cached value of index for this field in table->field array, used by prep. 
1155 1156 1157 1158 1159 1160 1161 1162
    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.
1163
  */
1164
  TABLE_LIST *cached_table;
unknown's avatar
unknown committed
1165
  st_select_lex *depended_from;
1166 1167 1168
  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
1169
  Item_ident(THD *thd, Item_ident *item);
unknown's avatar
unknown committed
1170
  const char *full_name() const;
1171
  void cleanup();
unknown's avatar
unknown committed
1172
  bool remove_dependence_processor(byte * arg);
1173
  void print(String *str);
1174 1175
  virtual bool change_context_processor(byte *cntx)
    { context= (Name_resolution_context *)cntx; return FALSE; }
unknown's avatar
unknown committed
1176 1177 1178 1179
  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
1180 1181
};

1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203

class Item_ident_for_show :public Item
{
public:
  Field *field;
  const char *db_name;
  const char *table_name;

  Item_ident_for_show(Field *par_field, const char *db_arg,
                      const char *table_name_arg)
    :field(par_field), db_name(db_arg), table_name(table_name_arg)
  {}

  enum Type type() const { return FIELD_ITEM; }
  double val_real() { return field->val_real(); }
  longlong val_int() { return field->val_int(); }
  String *val_str(String *str) { return field->val_str(str); }
  my_decimal *val_decimal(my_decimal *dec) { return field->val_decimal(dec); }
  void make_field(Send_field *tmp_field);
};


1204 1205
class Item_equal;
class COND_EQUAL;
unknown's avatar
unknown committed
1206

unknown's avatar
unknown committed
1207 1208
class Item_field :public Item_ident
{
1209
protected:
unknown's avatar
unknown committed
1210 1211 1212
  void set_field(Field *field);
public:
  Field *field,*result_field;
unknown's avatar
unknown committed
1213 1214
  Item_equal *item_equal;
  bool no_const_subst;
unknown's avatar
VIEW  
unknown committed
1215 1216 1217 1218 1219 1220 1221
  /*
    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
1222

1223 1224 1225
  Item_field(Name_resolution_context *context_arg,
             const char *db_arg,const char *table_name_arg,
	     const char *field_name_arg);
1226 1227 1228
  /*
    Constructor needed to process subselect with temporary tables (see Item)
  */
1229
  Item_field(THD *thd, Item_field *item);
1230
  /*
1231 1232 1233
    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).
1234
  */
1235
  Item_field(THD *thd, Name_resolution_context *context_arg, Field *field);
1236 1237 1238
  /*
    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
1239
    reset_field() before fix_fields() for all fields created this way.
1240
  */
unknown's avatar
unknown committed
1241 1242
  Item_field(Field *field);
  enum Type type() const { return FIELD_ITEM; }
1243
  bool eq(const Item *item, bool binary_cmp) const;
1244
  double val_real();
unknown's avatar
unknown committed
1245
  longlong val_int();
unknown's avatar
unknown committed
1246
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1247 1248 1249 1250
  String *val_str(String*);
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
unknown's avatar
unknown committed
1251 1252
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
1253
  bool send(Protocol *protocol, String *str_arg);
1254
  void reset_field(Field *f);
1255
  bool fix_fields(THD *, Item **);
1256
  void make_field(Send_field *tmp_field);
unknown's avatar
unknown committed
1257
  int save_in_field(Field *field,bool no_conversions);
unknown's avatar
unknown committed
1258 1259 1260 1261 1262 1263
  void save_org_in_field(Field *field);
  table_map used_tables() const;
  enum Item_result result_type () const
  {
    return field->result_type();
  }
1264 1265 1266 1267
  Item_result cast_to_int_type() const
  {
    return field->cast_to_int_type();
  }
unknown's avatar
unknown committed
1268
  enum_field_types field_type() const
1269 1270 1271
  {
    return field->type();
  }
1272
  Field *get_tmp_table_field() { return result_field; }
1273
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
1274 1275
  bool get_date(TIME *ltime,uint fuzzydate);
  bool get_date_result(TIME *ltime,uint fuzzydate);
1276
  bool get_time(TIME *ltime);
unknown's avatar
unknown committed
1277
  bool is_null() { return field->is_null(); }
1278
  void update_null_value();
1279
  Item *get_tmp_table_item(THD *thd);
1280
  bool collect_item_field_processor(byte * arg);
unknown's avatar
unknown committed
1281
  bool find_item_in_field_list_processor(byte *arg);
unknown's avatar
unknown committed
1282 1283 1284 1285 1286 1287 1288
  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
1289
  void cleanup();
1290 1291 1292 1293
  bool result_as_longlong()
  {
    return field->can_be_compared_as_longlong();
  }
1294
  Item_equal *find_item_equal(COND_EQUAL *cond_equal);
1295
  bool subst_argument_checker(byte **arg);
1296
  Item *equal_fields_propagator(byte *arg);
1297
  bool set_no_const_sub(byte *arg);
unknown's avatar
unknown committed
1298
  Item *replace_equal_field(byte *arg);
unknown's avatar
unknown committed
1299
  inline uint32 max_disp_length() { return field->max_length(); }
1300
  Item_field *filed_for_view_update() { return this; }
unknown's avatar
unknown committed
1301
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1302
  int fix_outer_field(THD *thd, Field **field, Item **reference);
unknown's avatar
SCRUM  
unknown committed
1303
  friend class Item_default_value;
unknown's avatar
unknown committed
1304
  friend class Item_insert_value;
unknown's avatar
unknown committed
1305
  friend class st_select_lex_unit;
unknown's avatar
unknown committed
1306 1307 1308 1309 1310 1311
};

class Item_null :public Item
{
public:
  Item_null(char *name_par=0)
unknown's avatar
unknown committed
1312 1313 1314 1315 1316
  {
    maybe_null= null_value= TRUE;
    max_length= 0;
    name= name_par ? name_par : (char*) "NULL";
    fixed= 1;
1317
    collation.set(&my_charset_bin, DERIVATION_IGNORABLE);
unknown's avatar
unknown committed
1318
  }
unknown's avatar
unknown committed
1319
  enum Type type() const { return NULL_ITEM; }
1320
  bool eq(const Item *item, bool binary_cmp) const;
1321
  double val_real();
unknown's avatar
unknown committed
1322 1323
  longlong val_int();
  String *val_str(String *str);
unknown's avatar
unknown committed
1324
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1325
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1326
  int save_safe_in_field(Field *field);
unknown's avatar
unknown committed
1327
  bool send(Protocol *protocol, String *str);
1328 1329
  enum Item_result result_type () const { return STRING_RESULT; }
  enum_field_types field_type() const   { return MYSQL_TYPE_NULL; }
unknown's avatar
unknown committed
1330
  /* to prevent drop fixed flag (no need parent cleanup call) */
unknown's avatar
unknown committed
1331
  void cleanup() {}
unknown's avatar
unknown committed
1332 1333
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_null(name); }
unknown's avatar
unknown committed
1334
  bool is_null() { return 1; }
1335
  void print(String *str) { str->append(STRING_WITH_LEN("NULL")); }
unknown's avatar
unknown committed
1336
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
1337 1338
};

unknown's avatar
unknown committed
1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349
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);
  }
};  
1350 1351 1352

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

unknown's avatar
unknown committed
1353 1354
class Item_param :public Item
{
unknown's avatar
unknown committed
1355 1356 1357
  char cnvbuf[MAX_FIELD_WIDTH];
  String cnvstr;
  Item *cnvitem;
1358
public:
unknown's avatar
unknown committed
1359

1360 1361 1362
  enum enum_item_param_state
  {
    NO_VALUE, NULL_VALUE, INT_VALUE, REAL_VALUE,
unknown's avatar
unknown committed
1363 1364
    STRING_VALUE, TIME_VALUE, LONG_DATA_VALUE,
    DECIMAL_VALUE
1365 1366
  } state;

1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377
  /*
    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
1378
  my_decimal decimal_value;
1379 1380
  union
  {
1381 1382
    longlong integer;
    double   real;
1383 1384 1385 1386 1387 1388 1389 1390 1391
    /*
      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;
1392
      CHARSET_INFO *character_set_of_placeholder;
1393 1394 1395
      /*
        This points at character set of connection if conversion
        to it is required (i. e. if placeholder typecode is not BLOB).
1396
        Otherwise it's equal to character_set_client (to simplify
1397 1398 1399 1400 1401 1402 1403 1404
        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
1405 1406
  enum Item_result item_result_type;
  enum Type item_type;
1407 1408 1409 1410 1411 1412 1413 1414 1415 1416

  /*
    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;
1417
  /*
1418 1419
    Offset of placeholder inside statement text. Used to create
    no-placeholders version of this statement for the binary log.
1420
  */
1421
  uint pos_in_query;
unknown's avatar
unknown committed
1422

1423 1424 1425
  Item_param(uint pos_in_query_arg);

  enum Item_result result_type () const { return item_result_type; }
unknown's avatar
unknown committed
1426
  enum Type type() const { return item_type; }
1427
  enum_field_types field_type() const { return param_type; }
1428

1429
  double val_real();
unknown's avatar
unknown committed
1430
  longlong val_int();
unknown's avatar
unknown committed
1431
  my_decimal *val_decimal(my_decimal*);
unknown's avatar
unknown committed
1432
  String *val_str(String*);
1433
  bool get_time(TIME *tm);
1434
  bool get_date(TIME *tm, uint fuzzydate);
unknown's avatar
unknown committed
1435
  int  save_in_field(Field *field, bool no_conversions);
1436

unknown's avatar
unknown committed
1437
  void set_null();
1438
  void set_int(longlong i, uint32 max_length_arg);
unknown's avatar
unknown committed
1439
  void set_double(double i);
unknown's avatar
unknown committed
1440
  void set_decimal(const char *str, ulong length);
1441 1442 1443
  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);
1444
  bool set_from_user_var(THD *thd, const user_var_entry *entry);
1445
  void reset();
1446 1447 1448 1449 1450 1451 1452 1453
  /*
    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);

1454 1455 1456
  const String *query_val_str(String *str) const;

  bool convert_str_value(THD *thd);
1457 1458 1459 1460

  /*
    If value for parameter was not set we treat it as non-const
    so noone will use parameters value in fix_fields still
1461 1462 1463
    parameter is constant during execution.
  */
  virtual table_map used_tables() const
1464
  { return state != NO_VALUE ? (table_map)0 : PARAM_TABLE_BIT; }
1465
  void print(String *str);
1466 1467
  bool is_null()
  { DBUG_ASSERT(state != NO_VALUE); return state == NULL_VALUE; }
1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478
  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.
  */
1479
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1480 1481 1482 1483 1484 1485 1486
  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
1487
};
unknown's avatar
unknown committed
1488

1489

1490
class Item_int :public Item_num
unknown's avatar
unknown committed
1491 1492
{
public:
1493
  longlong value;
unknown's avatar
unknown committed
1494
  Item_int(int32 i,uint length=11) :value((longlong) i)
1495
    { max_length=length; fixed= 1; }
unknown's avatar
unknown committed
1496
  Item_int(longlong i,uint length=21) :value(i)
unknown's avatar
unknown committed
1497
    { max_length=length; fixed= 1; }
1498 1499
  Item_int(ulonglong i, uint length= 21) :value((longlong)i)
    { max_length=length; fixed= 1; unsigned_flag= 1; }
unknown's avatar
unknown committed
1500
  Item_int(const char *str_arg,longlong i,uint length) :value(i)
1501
    { max_length=length; name=(char*) str_arg; fixed= 1; }
unknown's avatar
unknown committed
1502
  Item_int(const char *str_arg, uint length=64);
unknown's avatar
unknown committed
1503
  enum Type type() const { return INT_ITEM; }
1504 1505
  enum Item_result result_type () const { return INT_RESULT; }
  enum_field_types field_type() const { return MYSQL_TYPE_LONGLONG; }
1506
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
1507
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
unknown's avatar
unknown committed
1508
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1509
  String *val_str(String*);
unknown's avatar
unknown committed
1510
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1511 1512
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_int(name,value,max_length); }
1513
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
1514
  void cleanup() {}
unknown's avatar
unknown committed
1515
  void print(String *str);
unknown's avatar
unknown committed
1516
  Item_num *neg() { value= -value; return this; }
unknown's avatar
unknown committed
1517 1518
  uint decimal_precision() const
  { return (uint)(max_length - test(value < 0)); }
1519
  bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
1520 1521 1522
};


unknown's avatar
unknown committed
1523 1524 1525
class Item_uint :public Item_int
{
public:
unknown's avatar
unknown committed
1526
  Item_uint(const char *str_arg, uint length);
1527
  Item_uint(ulonglong i) :Item_int((ulonglong) i, 10) {}
1528
  Item_uint(const char *str_arg, longlong i, uint length);
1529
  double val_real()
1530
    { DBUG_ASSERT(fixed == 1); return ulonglong2double((ulonglong)value); }
unknown's avatar
unknown committed
1531 1532
  String *val_str(String*);
  Item *new_item() { return new Item_uint(name,max_length); }
unknown's avatar
unknown committed
1533
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1534
  void print(String *str);
unknown's avatar
unknown committed
1535
  Item_num *neg ();
unknown's avatar
unknown committed
1536
  uint decimal_precision() const { return max_length; }
unknown's avatar
unknown committed
1537 1538 1539
};


unknown's avatar
unknown committed
1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575
/* 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
1576
  uint decimal_precision() const { return decimal_value.precision(); }
1577
  bool eq(const Item *, bool binary_cmp) const;
1578
  void set_decimal_value(my_decimal *value_par);
unknown's avatar
unknown committed
1579 1580
};

1581

unknown's avatar
unknown committed
1582
class Item_float :public Item_num
unknown's avatar
unknown committed
1583
{
1584
  char *presentation;
unknown's avatar
unknown committed
1585
public:
1586
  double value;
unknown's avatar
unknown committed
1587
  // Item_real() :value(0) {}
unknown's avatar
unknown committed
1588 1589
  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
1590 1591
    :value(val_arg)
  {
1592
    presentation= name=(char*) str;
unknown's avatar
unknown committed
1593
    decimals=(uint8) decimal_par;
unknown's avatar
unknown committed
1594
    max_length=length;
unknown's avatar
unknown committed
1595
    fixed= 1;
unknown's avatar
unknown committed
1596
  }
unknown's avatar
unknown committed
1597 1598
  Item_float(double value_par) :presentation(0), value(value_par) { fixed= 1; }

unknown's avatar
unknown committed
1599
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1600
  enum Type type() const { return REAL_ITEM; }
1601
  enum_field_types field_type() const { return MYSQL_TYPE_DOUBLE; }
1602
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1603 1604 1605
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
1606 1607 1608 1609 1610 1611 1612 1613
    if (value <= (double) LONGLONG_MIN)
    {
       return LONGLONG_MIN;
    }
    else if (value >= (double) (ulonglong) LONGLONG_MAX)
    {
      return LONGLONG_MAX;
    }
1614
    return (longlong) rint(value);
1615
  }
unknown's avatar
unknown committed
1616
  String *val_str(String*);
unknown's avatar
unknown committed
1617
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1618
  bool basic_const_item() const { return 1; }
unknown's avatar
unknown committed
1619 1620
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
1621 1622
  Item *new_item()
  { return new Item_float(name, value, decimals, max_length); }
unknown's avatar
unknown committed
1623
  Item_num *neg() { value= -value; return this; }
1624
  void print(String *str);
1625
  bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
1626 1627 1628
};


unknown's avatar
unknown committed
1629
class Item_static_float_func :public Item_float
1630 1631 1632
{
  const char *func_name;
public:
unknown's avatar
unknown committed
1633
  Item_static_float_func(const char *str, double val_arg, uint decimal_par,
1634
                        uint length)
unknown's avatar
unknown committed
1635
    :Item_float(NullS, val_arg, decimal_par, length), func_name(str)
1636 1637
  {}
  void print(String *str) { str->append(func_name); }
1638
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1639 1640 1641
};


unknown's avatar
unknown committed
1642 1643 1644
class Item_string :public Item
{
public:
unknown's avatar
unknown committed
1645
  Item_string(const char *str,uint length,
1646
  	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
1647
  {
1648
    collation.set(cs, dv);
unknown's avatar
unknown committed
1649
    str_value.set_or_copy_aligned(str,length,cs);
1650 1651 1652 1653 1654 1655 1656
    /*
      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).
    */
1657
    max_length= str_value.numchars()*cs->mbmaxlen;
unknown's avatar
unknown committed
1658
    set_name(str, length, cs);
unknown's avatar
unknown committed
1659
    decimals=NOT_FIXED_DEC;
1660 1661
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
1662
  }
1663 1664 1665 1666 1667 1668 1669 1670 1671
  /* 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;
  }
1672
  Item_string(const char *name_par, const char *str, uint length,
1673
	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
1674
  {
1675
    collation.set(cs, dv);
unknown's avatar
unknown committed
1676
    str_value.set_or_copy_aligned(str,length,cs);
1677
    max_length= str_value.numchars()*cs->mbmaxlen;
1678
    set_name(name_par, 0, cs);
unknown's avatar
unknown committed
1679
    decimals=NOT_FIXED_DEC;
1680 1681
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
1682
  }
1683 1684 1685 1686 1687 1688 1689 1690 1691
  /*
    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
1692
  enum Type type() const { return STRING_ITEM; }
1693 1694
  double val_real();
  longlong val_int();
1695 1696 1697 1698 1699
  String *val_str(String*)
  {
    DBUG_ASSERT(fixed == 1);
    return (String*) &str_value;
  }
unknown's avatar
unknown committed
1700
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1701
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1702
  enum Item_result result_type () const { return STRING_RESULT; }
1703
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
unknown's avatar
unknown committed
1704
  bool basic_const_item() const { return 1; }
1705
  bool eq(const Item *item, bool binary_cmp) const;
1706 1707
  Item *new_item() 
  {
1708
    return new Item_string(name, str_value.ptr(), 
unknown's avatar
unknown committed
1709
    			   str_value.length(), collation.collation);
1710
  }
unknown's avatar
unknown committed
1711
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1712
  inline void append(char *str, uint length) { str_value.append(str, length); }
unknown's avatar
unknown committed
1713
  void print(String *str);
unknown's avatar
unknown committed
1714 1715
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
1716 1717
};

1718 1719 1720 1721 1722 1723 1724 1725 1726 1727

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)
  {}
1728
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1729 1730 1731 1732
  void print(String *str) { str->append(func_name); }
};


unknown's avatar
unknown committed
1733 1734 1735 1736 1737
/* for show tables */

class Item_datetime :public Item_string
{
public:
unknown's avatar
unknown committed
1738
  Item_datetime(const char *item_name): Item_string(item_name,"",0,
unknown's avatar
unknown committed
1739
                                                    &my_charset_bin)
unknown's avatar
unknown committed
1740
  { max_length=19;}
1741
  enum_field_types field_type() const { return MYSQL_TYPE_DATETIME; }
unknown's avatar
unknown committed
1742 1743 1744 1745 1746
};

class Item_empty_string :public Item_string
{
public:
1747 1748
  Item_empty_string(const char *header,uint length, CHARSET_INFO *cs= NULL) :
    Item_string("",0, cs ? cs : &my_charset_bin)
1749
    { name=(char*) header; max_length= cs ? length * cs->mbmaxlen : length; }
1750
  void make_field(Send_field *field);
unknown's avatar
unknown committed
1751 1752
};

1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766
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
1767
class Item_hex_string: public Item
unknown's avatar
unknown committed
1768 1769
{
public:
unknown's avatar
unknown committed
1770 1771
  Item_hex_string(): Item() {}
  Item_hex_string(const char *str,uint str_length);
unknown's avatar
unknown committed
1772
  enum Type type() const { return VARBIN_ITEM; }
1773
  double val_real()
unknown's avatar
unknown committed
1774
    { DBUG_ASSERT(fixed == 1); return (double) Item_hex_string::val_int(); }
unknown's avatar
unknown committed
1775
  longlong val_int();
unknown's avatar
unknown committed
1776
  bool basic_const_item() const { return 1; }
1777
  String *val_str(String*) { DBUG_ASSERT(fixed == 1); return &str_value; }
unknown's avatar
unknown committed
1778
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1779
  int save_in_field(Field *field, bool no_conversions);
1780
  enum Item_result result_type () const { return STRING_RESULT; }
1781
  enum Item_result cast_to_int_type() const { return INT_RESULT; }
1782
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
unknown's avatar
unknown committed
1783 1784
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
1785
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
1786
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
1787 1788 1789
};


unknown's avatar
unknown committed
1790 1791 1792 1793 1794 1795
class Item_bin_string: public Item_hex_string
{
public:
  Item_bin_string(const char *str,uint str_length);
};

unknown's avatar
unknown committed
1796 1797 1798 1799 1800
class Item_result_field :public Item	/* Item with result field */
{
public:
  Field *result_field;				/* Save result here */
  Item_result_field() :result_field(0) {}
1801
  // Constructor used for Item_sum/Item_cond_and/or (see Item comment)
1802 1803
  Item_result_field(THD *thd, Item_result_field *item):
    Item(thd, item), result_field(item->result_field)
1804
  {}
unknown's avatar
unknown committed
1805
  ~Item_result_field() {}			/* Required with gcc 2.95 */
1806
  Field *get_tmp_table_field() { return result_field; }
1807
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
unknown's avatar
unknown committed
1808
  table_map used_tables() const { return 1; }
unknown's avatar
unknown committed
1809
  virtual void fix_length_and_dec()=0;
unknown's avatar
unknown committed
1810 1811 1812 1813 1814 1815
  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);
  }
1816
  void cleanup();
unknown's avatar
unknown committed
1817 1818 1819 1820 1821
};


class Item_ref :public Item_ident
{
1822 1823
protected:
  void set_properties();
unknown's avatar
unknown committed
1824
public:
1825
  enum Ref_Type { REF, DIRECT_REF, VIEW_REF };
unknown's avatar
unknown committed
1826
  Field *result_field;			 /* Save result here */
unknown's avatar
unknown committed
1827
  Item **ref;
1828 1829 1830 1831 1832
  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) {}
1833
  /*
1834 1835 1836 1837 1838 1839 1840 1841 1842 1843
    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.
    
1844 1845 1846
    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.
  */
1847 1848
  Item_ref(Name_resolution_context *context_arg, Item **item,
           const char *table_name_arg, const char *field_name_arg);
1849

1850
  /* Constructor need to process subselect with temporary tables (see Item) */
1851 1852
  Item_ref(THD *thd, Item_ref *item)
    :Item_ident(thd, item), result_field(item->result_field), ref(item->ref) {}
unknown's avatar
unknown committed
1853
  enum Type type() const		{ return REF_ITEM; }
1854
  bool eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
1855 1856 1857 1858
  { 
    Item *it= ((Item *) item)->real_item();
    return ref && (*ref)->eq(it, binary_cmp);
  }
unknown's avatar
unknown committed
1859 1860 1861 1862 1863 1864 1865
  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);
1866 1867 1868
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
unknown's avatar
unknown committed
1869 1870
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
1871
  bool send(Protocol *prot, String *tmp);
1872 1873
  void make_field(Send_field *field);
  bool fix_fields(THD *, Item **);
1874
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1875
  void save_org_in_field(Field *field);
unknown's avatar
unknown committed
1876
  enum Item_result result_type () const { return (*ref)->result_type(); }
1877
  enum_field_types field_type() const   { return (*ref)->field_type(); }
unknown's avatar
unknown committed
1878 1879 1880
  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
1881 1882 1883 1884
  { 
    return (result_field ? new Item_field(result_field) :
                          (*ref)->get_tmp_table_item(thd));
  }
1885 1886 1887 1888
  table_map used_tables() const		
  { 
    return depended_from ? OUTER_REF_TABLE_BIT : (*ref)->used_tables(); 
  }
1889
  table_map not_null_tables() const { return (*ref)->not_null_tables(); }
1890
  void set_result_field(Field *field)	{ result_field= field; }
unknown's avatar
unknown committed
1891 1892 1893 1894 1895
  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
1896 1897
  Item *real_item()
  {
unknown's avatar
unknown committed
1898
    return ref ? (*ref)->real_item() : this;
1899
  }
1900 1901
  bool walk(Item_processor processor, byte *arg)
  { return (*ref)->walk(processor, arg); }
unknown's avatar
unknown committed
1902
  void print(String *str);
1903 1904 1905 1906
  bool result_as_longlong()
  {
    return (*ref)->result_as_longlong();
  }
unknown's avatar
unknown committed
1907
  void cleanup();
1908 1909
  Item_field *filed_for_view_update()
    { return (*ref)->filed_for_view_update(); }
1910
  virtual Ref_Type ref_type() { return REF; }
unknown's avatar
unknown committed
1911 1912
};

1913

unknown's avatar
unknown committed
1914 1915 1916 1917
/*
  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.
*/
1918 1919 1920
class Item_direct_ref :public Item_ref
{
public:
1921 1922 1923 1924
  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) {}
1925 1926
  /* Constructor need to process subselect with temporary tables (see Item) */
  Item_direct_ref(THD *thd, Item_direct_ref *item) : Item_ref(thd, item) {}
1927

unknown's avatar
unknown committed
1928 1929 1930 1931 1932 1933 1934
  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);
1935
  virtual Ref_Type ref_type() { return DIRECT_REF; }
1936 1937
};

1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953
/*
  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 **);
1954
  bool eq(const Item *item, bool binary_cmp) const;
1955
  virtual Ref_Type ref_type() { return VIEW_REF; }
1956 1957
};

1958

1959
class Item_in_subselect;
1960

1961 1962 1963 1964 1965 1966 1967 1968 1969 1970

/*
  An object of this class:
   - Converts val_XXX() calls to ref->val_XXX_result() calls, like Item_ref.
   - Sets owner->was_null=TRUE if it has returned a NULL value from any
     val_XXX() function. This allows to inject an Item_ref_null_helper
     object into subquery and then check if the subquery has produced a row
     with NULL value.
*/

1971 1972 1973 1974 1975
class Item_ref_null_helper: public Item_ref
{
protected:
  Item_in_subselect* owner;
public:
1976 1977 1978 1979 1980
  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) {}
1981
  double val_real();
1982 1983
  longlong val_int();
  String* val_str(String* s);
unknown's avatar
unknown committed
1984 1985
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
1986
  bool get_date(TIME *ltime, uint fuzzydate);
unknown's avatar
unknown committed
1987
  void print(String *str);
1988 1989 1990 1991 1992 1993 1994 1995 1996
  /*
    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);
  }
1997 1998
};

1999
/*
2000
  The following class is used to optimize comparing of date and bigint columns
2001 2002 2003 2004 2005
  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.
  
2006 2007 2008 2009 2010 2011
*/

class Item_int_with_ref :public Item_int
{
  Item *ref;
public:
unknown's avatar
unknown committed
2012 2013
  Item_int_with_ref(longlong i, Item *ref_arg, my_bool unsigned_arg) :
    Item_int(i), ref(ref_arg)
2014
  {
unknown's avatar
unknown committed
2015
    unsigned_flag= unsigned_arg;
2016
  }
unknown's avatar
unknown committed
2017
  int save_in_field(Field *field, bool no_conversions)
2018
  {
2019
    return ref->save_in_field(field, no_conversions);
2020
  }
2021
  Item *new_item();
2022
  virtual Item *real_item() { return ref; }
2023 2024 2025
};


2026
#include "gstream.h"
unknown's avatar
unknown committed
2027
#include "spatial.h"
unknown's avatar
unknown committed
2028 2029
#include "item_sum.h"
#include "item_func.h"
2030
#include "item_row.h"
unknown's avatar
unknown committed
2031 2032
#include "item_cmpfunc.h"
#include "item_strfunc.h"
2033
#include "item_geofunc.h"
unknown's avatar
unknown committed
2034 2035
#include "item_timefunc.h"
#include "item_uniq.h"
2036
#include "item_subselect.h"
unknown's avatar
unknown committed
2037 2038 2039

class Item_copy_string :public Item
{
2040
  enum enum_field_types cached_field_type;
unknown's avatar
unknown committed
2041 2042 2043 2044 2045 2046 2047 2048
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;
2049
    cached_field_type= item->field_type();
unknown's avatar
unknown committed
2050 2051 2052
  }
  enum Type type() const { return COPY_STR_ITEM; }
  enum Item_result result_type () const { return STRING_RESULT; }
2053
  enum_field_types field_type() const { return cached_field_type; }
2054
  double val_real()
2055
  {
unknown's avatar
unknown committed
2056 2057
    int err_not_used;
    char *end_not_used;
2058 2059
    return (null_value ? 0.0 :
	    my_strntod(str_value.charset(), (char*) str_value.ptr(),
unknown's avatar
unknown committed
2060
		       str_value.length(), &end_not_used, &err_not_used));
2061
  }
unknown's avatar
unknown committed
2062
  longlong val_int()
unknown's avatar
unknown committed
2063
  {
2064
    int err;
unknown's avatar
unknown committed
2065 2066 2067
    return null_value ? LL(0) : my_strntoll(str_value.charset(),str_value.ptr(),
                                            str_value.length(),10, (char**) 0,
                                            &err); 
2068
  }
unknown's avatar
unknown committed
2069
  String *val_str(String*);
unknown's avatar
unknown committed
2070
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
2071 2072
  void make_field(Send_field *field) { item->make_field(field); }
  void copy();
unknown's avatar
unknown committed
2073
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
2074 2075
  table_map used_tables() const { return (table_map) 1L; }
  bool const_item() const { return 0; }
unknown's avatar
unknown committed
2076
  bool is_null() { return null_value; }
unknown's avatar
unknown committed
2077 2078 2079
};


unknown's avatar
unknown committed
2080
class Cached_item :public Sql_alloc
unknown's avatar
unknown committed
2081 2082 2083
{
public:
  my_bool null_value;
unknown's avatar
unknown committed
2084
  Cached_item() :null_value(0) {}
unknown's avatar
unknown committed
2085
  virtual bool cmp(void)=0;
unknown's avatar
unknown committed
2086
  virtual ~Cached_item(); /*line -e1509 */
unknown's avatar
unknown committed
2087 2088
};

unknown's avatar
unknown committed
2089
class Cached_item_str :public Cached_item
unknown's avatar
unknown committed
2090 2091 2092 2093
{
  Item *item;
  String value,tmp_value;
public:
unknown's avatar
unknown committed
2094
  Cached_item_str(THD *thd, Item *arg);
unknown's avatar
unknown committed
2095
  bool cmp(void);
unknown's avatar
unknown committed
2096
  ~Cached_item_str();                           // Deallocate String:s
unknown's avatar
unknown committed
2097 2098 2099
};


unknown's avatar
unknown committed
2100
class Cached_item_real :public Cached_item
unknown's avatar
unknown committed
2101 2102 2103 2104
{
  Item *item;
  double value;
public:
unknown's avatar
unknown committed
2105
  Cached_item_real(Item *item_par) :item(item_par),value(0.0) {}
unknown's avatar
unknown committed
2106 2107 2108
  bool cmp(void);
};

unknown's avatar
unknown committed
2109
class Cached_item_int :public Cached_item
unknown's avatar
unknown committed
2110 2111 2112 2113
{
  Item *item;
  longlong value;
public:
unknown's avatar
unknown committed
2114
  Cached_item_int(Item *item_par) :item(item_par),value(0) {}
unknown's avatar
unknown committed
2115 2116 2117 2118
  bool cmp(void);
};


unknown's avatar
unknown committed
2119
class Cached_item_decimal :public Cached_item
unknown's avatar
unknown committed
2120 2121 2122 2123
{
  Item *item;
  my_decimal value;
public:
unknown's avatar
unknown committed
2124
  Cached_item_decimal(Item *item_par);
unknown's avatar
unknown committed
2125 2126 2127
  bool cmp(void);
};

unknown's avatar
unknown committed
2128
class Cached_item_field :public Cached_item
unknown's avatar
unknown committed
2129 2130 2131 2132 2133 2134
{
  char *buff;
  Field *field;
  uint length;

public:
unknown's avatar
unknown committed
2135
  Cached_item_field(Item_field *item)
unknown's avatar
unknown committed
2136
  {
unknown's avatar
unknown committed
2137
    field= item->field;
unknown's avatar
unknown committed
2138 2139 2140 2141 2142
    buff= (char*) sql_calloc(length=field->pack_length());
  }
  bool cmp(void);
};

unknown's avatar
SCRUM  
unknown committed
2143 2144 2145 2146
class Item_default_value : public Item_field
{
public:
  Item *arg;
2147 2148 2149 2150 2151 2152 2153 2154
  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
2155
  enum Type type() const { return DEFAULT_VALUE_ITEM; }
unknown's avatar
SCRUM  
unknown committed
2156
  bool eq(const Item *item, bool binary_cmp) const;
2157
  bool fix_fields(THD *, Item **);
unknown's avatar
SCRUM  
unknown committed
2158
  void print(String *str);
2159
  int save_in_field(Field *field_arg, bool no_conversions);
unknown's avatar
SCRUM  
unknown committed
2160
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
2161

unknown's avatar
unknown committed
2162 2163 2164 2165 2166
  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
      (this->*processor)(args);
  }
2167

2168
  Item *transform(Item_transformer transformer, byte *args);
unknown's avatar
unknown committed
2169
};
unknown's avatar
unknown committed
2170

2171 2172 2173 2174 2175 2176 2177 2178 2179 2180
/*
  Item_insert_value -- an implementation of VALUES() function.
  You can use the VALUES(col_name) function in the UPDATE clause
  to refer to column values from the INSERT portion of the INSERT
  ... UPDATE statement. In other words, VALUES(col_name) in the
  UPDATE clause refers to the value of col_name that would be
  inserted, had no duplicate-key conflict occurred.
  In all other places this function returns NULL.
*/

unknown's avatar
unknown committed
2181 2182 2183 2184
class Item_insert_value : public Item_field
{
public:
  Item *arg;
2185 2186 2187 2188
  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
2189
  bool eq(const Item *item, bool binary_cmp) const;
2190
  bool fix_fields(THD *, Item **);
unknown's avatar
unknown committed
2191
  void print(String *str);
2192
  int save_in_field(Field *field_arg, bool no_conversions)
unknown's avatar
unknown committed
2193
  {
2194
    return Item_field::save_in_field(field_arg, no_conversions);
unknown's avatar
unknown committed
2195
  }
2196 2197 2198 2199 2200
  /* 
   We use RAND_TABLE_BIT to prevent Item_insert_value from
   being treated as a constant and precalculated before execution
  */
  table_map used_tables() const { return RAND_TABLE_BIT; }
unknown's avatar
unknown committed
2201 2202 2203 2204 2205 2206

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

2209 2210 2211 2212 2213 2214 2215 2216 2217 2218

/*
  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
{
2219
  TRG_ACTION_BEFORE= 0, TRG_ACTION_AFTER= 1, TRG_ACTION_MAX
2220 2221 2222 2223 2224 2225 2226
};

/*
  Event on which trigger is invoked.
*/
enum trg_event_type
{
2227
  TRG_EVENT_INSERT= 0 , TRG_EVENT_UPDATE= 1, TRG_EVENT_DELETE= 2, TRG_EVENT_MAX
2228 2229
};

unknown's avatar
unknown committed
2230 2231
class Table_triggers_list;

2232 2233 2234 2235
/*
  Represents NEW/OLD version of field of row which is
  changed/read in trigger.

unknown's avatar
unknown committed
2236 2237 2238 2239 2240 2241
  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.
2242
*/
2243 2244
class Item_trigger_field : public Item_field,
                           private Settable_routine_parameter
2245 2246 2247 2248 2249
{
public:
  /* Is this item represents row from NEW or OLD row ? */
  enum row_version_type {OLD_ROW, NEW_ROW};
  row_version_type row_version;
2250 2251
  /* Next in list of all Item_trigger_field's in trigger */
  Item_trigger_field *next_trg_field;
unknown's avatar
unknown committed
2252 2253 2254 2255
  /* 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;
2256

2257 2258
  Item_trigger_field(Name_resolution_context *context_arg,
                     row_version_type row_ver_arg,
unknown's avatar
unknown committed
2259
                     const char *field_name_arg,
2260
                     ulong priv, const bool ro)
2261 2262
    :Item_field(context_arg,
               (const char *)NULL, (const char *)NULL, field_name_arg),
2263 2264
     row_version(row_ver_arg), field_idx((uint)-1), original_privilege(priv),
     want_privilege(priv), table_grants(NULL), read_only (ro)
2265
  {}
unknown's avatar
unknown committed
2266
  void setup_field(THD *thd, TABLE *table, GRANT_INFO *table_grant_info);
2267 2268
  enum Type type() const { return TRIGGER_FIELD_ITEM; }
  bool eq(const Item *item, bool binary_cmp) const;
2269
  bool fix_fields(THD *, Item **);
2270 2271 2272
  void print(String *str);
  table_map used_tables() const { return (table_map)0L; }
  void cleanup();
unknown's avatar
unknown committed
2273 2274

private:
2275
  void set_required_privilege(bool rw);
2276
  bool set_value(THD *thd, sp_rcontext *ctx, Item **it);
2277 2278 2279 2280 2281 2282 2283

public:
  Settable_routine_parameter *get_settable_routine_parameter()
  {
    return (read_only ? 0 : this);
  }

2284
  bool set_value(THD *thd, Item **it)
2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301
  {
    return set_value(thd, NULL, it);
  }

private:
  /*
    'want_privilege' holds privileges required to perform operation on
    this trigger field (SELECT_ACL if we are going to read it and
    UPDATE_ACL if we are going to update it).  It is initialized at
    parse time but can be updated later if this trigger field is used
    as OUT or INOUT parameter of stored routine (in this case
    set_required_privilege() is called to appropriately update
    want_privilege and cleanup() is responsible for restoring of
    original want_privilege once parameter's value is updated).
  */
  ulong original_privilege;
  ulong want_privilege;
unknown's avatar
unknown committed
2302
  GRANT_INFO *table_grants;
2303 2304 2305 2306 2307
  /*
    Trigger field is read-only unless it belongs to the NEW row in a
    BEFORE INSERT of BEFORE UPDATE trigger.
  */
  bool read_only;
2308 2309 2310
};


2311 2312
class Item_cache: public Item
{
unknown's avatar
unknown committed
2313 2314
protected:
  Item *example;
2315
  table_map used_table_map;
2316
public:
unknown's avatar
unknown committed
2317
  Item_cache(): example(0), used_table_map(0) {fixed= 1; null_value= 1;}
2318 2319 2320

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

unknown's avatar
unknown committed
2321
  virtual bool allocate(uint i) { return 0; }
2322
  virtual bool setup(Item *item)
2323
  {
2324 2325 2326 2327
    example= item;
    max_length= item->max_length;
    decimals= item->decimals;
    collation.set(item->collation);
2328
    unsigned_flag= item->unsigned_flag;
2329 2330
    return 0;
  };
2331 2332
  virtual void store(Item *)= 0;
  enum Type type() const { return CACHE_ITEM; }
2333
  static Item_cache* get_cache(Item_result type);
2334
  table_map used_tables() const { return used_table_map; }
2335
  virtual void keep_array() {}
2336
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
2337
  void cleanup() {}
unknown's avatar
unknown committed
2338
  void print(String *str);
2339 2340
};

unknown's avatar
unknown committed
2341

2342 2343
class Item_cache_int: public Item_cache
{
unknown's avatar
unknown committed
2344
protected:
2345 2346
  longlong value;
public:
2347
  Item_cache_int(): Item_cache(), value(0) {}
unknown's avatar
unknown committed
2348

unknown's avatar
unknown committed
2349
  void store(Item *item);
2350
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
2351
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2352 2353
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
2354 2355 2356
  enum Item_result result_type() const { return INT_RESULT; }
};

unknown's avatar
unknown committed
2357

2358 2359 2360 2361
class Item_cache_real: public Item_cache
{
  double value;
public:
2362
  Item_cache_real(): Item_cache(), value(0) {}
2363

unknown's avatar
unknown committed
2364
  void store(Item *item);
2365
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2366 2367 2368
  longlong val_int();
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
2369 2370 2371
  enum Item_result result_type() const { return REAL_RESULT; }
};

unknown's avatar
unknown committed
2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388

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


2389 2390
class Item_cache_str: public Item_cache
{
unknown's avatar
unknown committed
2391
  char buffer[STRING_BUFFER_USUAL_SIZE];
2392
  String *value, value_buff;
2393
public:
2394
  Item_cache_str(): Item_cache(), value(0) { }
unknown's avatar
unknown committed
2395

2396
  void store(Item *item);
2397
  double val_real();
2398
  longlong val_int();
2399
  String* val_str(String *) { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2400
  my_decimal *val_decimal(my_decimal *);
2401 2402 2403 2404
  enum Item_result result_type() const { return STRING_RESULT; }
  CHARSET_INFO *charset() const { return value->charset(); };
};

unknown's avatar
unknown committed
2405 2406 2407
class Item_cache_row: public Item_cache
{
  Item_cache  **values;
unknown's avatar
unknown committed
2408
  uint item_count;
2409
  bool save_array;
unknown's avatar
unknown committed
2410
public:
2411 2412
  Item_cache_row()
    :Item_cache(), values(0), item_count(2), save_array(0) {}
unknown's avatar
unknown committed
2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429
  
  /*
    '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");
  };
2430
  double val_real()
unknown's avatar
unknown committed
2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444
  {
    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
2445 2446 2447 2448 2449 2450
  my_decimal *val_decimal(my_decimal *val)
  {
    illegal_method_call((const char*)"val_decimal");
    return 0;
  };

unknown's avatar
unknown committed
2451 2452
  enum Item_result result_type() const { return ROW_RESULT; }
  
unknown's avatar
unknown committed
2453
  uint cols() { return item_count; }
unknown's avatar
unknown committed
2454 2455 2456 2457 2458
  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();
2459
  void keep_array() { save_array= 1; }
unknown's avatar
unknown committed
2460 2461
  void cleanup()
  {
unknown's avatar
unknown committed
2462
    DBUG_ENTER("Item_cache_row::cleanup");
unknown's avatar
unknown committed
2463
    Item_cache::cleanup();
2464 2465 2466 2467
    if (save_array)
      bzero(values, item_count*sizeof(Item**));
    else
      values= 0;
unknown's avatar
unknown committed
2468
    DBUG_VOID_RETURN;
unknown's avatar
unknown committed
2469
  }
unknown's avatar
unknown committed
2470 2471
};

2472 2473

/*
2474 2475 2476 2477 2478
  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.
2479 2480 2481 2482
*/
class Item_type_holder: public Item
{
protected:
2483 2484 2485 2486
  TYPELIB *enum_set_typelib;
  enum_field_types fld_type;

  void get_full_info(Item *item);
unknown's avatar
unknown committed
2487 2488 2489

  /* It is used to count decimal precision in join_types */
  int prev_decimal_int_part;
2490
public:
2491
  Item_type_holder(THD*, Item*);
2492

2493
  Item_result result_type() const;
2494
  enum_field_types field_type() const { return fld_type; };
2495
  enum Type type() const { return TYPE_HOLDER; }
2496
  double val_real();
2497
  longlong val_int();
unknown's avatar
unknown committed
2498
  my_decimal *val_decimal(my_decimal *);
2499
  String *val_str(String*);
2500 2501 2502 2503
  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 *);
2504 2505
};

2506

2507 2508 2509
class st_select_lex;
void mark_select_range_as_dependent(THD *thd,
                                    st_select_lex *last_select,
unknown's avatar
unknown committed
2510
                                    st_select_lex *current_sel,
2511 2512
                                    Field *found_field, Item *found_item,
                                    Item_ident *resolved_item);
2513

unknown's avatar
unknown committed
2514
extern Cached_item *new_Cached_item(THD *thd, Item *item);
unknown's avatar
unknown committed
2515
extern Item_result item_cmp_type(Item_result a,Item_result b);
2516
extern void resolve_const_item(THD *thd, Item **ref, Item *cmp_item);
unknown's avatar
unknown committed
2517
extern bool field_is_equal_to_item(Field *field,Item *item);