item.h 93.2 KB
Newer Older
unknown's avatar
unknown committed
1
/* Copyright (C) 2000-2006 MySQL AB
unknown's avatar
unknown committed
2

unknown's avatar
unknown committed
3 4
   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
unknown's avatar
unknown committed
5
   the Free Software Foundation; version 2 of the License.
unknown's avatar
unknown committed
6

unknown's avatar
unknown committed
7 8 9 10
   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
11

unknown's avatar
unknown committed
12 13 14 15 16
   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 */


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

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

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

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

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

48 49 50 51
class DTCollation {
public:
  CHARSET_INFO     *collation;
  enum Derivation derivation;
52
  uint repertoire;
53
  
54 55 56 57 58
  void set_repertoire_from_charset(CHARSET_INFO *cs)
  {
    repertoire= cs->state & MY_CS_PUREASCII ?
                MY_REPERTOIRE_ASCII : MY_REPERTOIRE_UNICODE30;
  }
59 60 61 62
  DTCollation()
  {
    collation= &my_charset_bin;
    derivation= DERIVATION_NONE;
63
    repertoire= MY_REPERTOIRE_UNICODE30;
64 65 66 67 68
  }
  DTCollation(CHARSET_INFO *collation_arg, Derivation derivation_arg)
  {
    collation= collation_arg;
    derivation= derivation_arg;
69
    set_repertoire_from_charset(collation_arg);
70
  }
71
  void set(DTCollation &dt)
72
  { 
73 74
    collation= dt.collation;
    derivation= dt.derivation;
75
    repertoire= dt.repertoire;
76 77 78 79 80
  }
  void set(CHARSET_INFO *collation_arg, Derivation derivation_arg)
  {
    collation= collation_arg;
    derivation= derivation_arg;
81 82 83 84 85 86 87 88 89
    set_repertoire_from_charset(collation_arg);
  }
  void set(CHARSET_INFO *collation_arg,
           Derivation derivation_arg,
           uint repertoire_arg)
  {
    collation= collation_arg;
    derivation= derivation_arg;
    repertoire= repertoire_arg;
90 91
  }
  void set(CHARSET_INFO *collation_arg)
92 93 94 95
  {
    collation= collation_arg;
    set_repertoire_from_charset(collation_arg);
  }
96 97
  void set(Derivation derivation_arg)
  { derivation= derivation_arg; }
98 99 100
  bool aggregate(DTCollation &dt, uint flags= 0);
  bool set(DTCollation &dt1, DTCollation &dt2, uint flags= 0)
  { set(dt1); return aggregate(dt2, flags); }
101 102 103 104
  const char *derivation_name() const
  {
    switch(derivation)
    {
105
      case DERIVATION_IGNORABLE: return "IGNORABLE";
106 107
      case DERIVATION_COERCIBLE: return "COERCIBLE";
      case DERIVATION_IMPLICIT:  return "IMPLICIT";
108
      case DERIVATION_SYSCONST:  return "SYSCONST";
109 110 111 112 113 114 115
      case DERIVATION_EXPLICIT:  return "EXPLICIT";
      case DERIVATION_NONE:      return "NONE";
      default: return "UNKNOWN";
    }
  }
};

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

/*************************************************************************/
/*
  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
170
  { return (longlong) rint(val->real); }
171 172 173 174
  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();
175 176
  Hybrid_type_traits() {}
  virtual ~Hybrid_type_traits() {}
177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197
};


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();
198
  Hybrid_type_traits_decimal() {};
199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228
};


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();
229
  Hybrid_type_traits_integer() {};
230 231
};

232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251

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.
*/
252
struct Name_resolution_context: Sql_alloc
253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268
{
  /*
    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
269 270 271 272 273 274 275 276 277 278 279 280 281
  /*
    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;
282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305

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

  /*
306 307
    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.
308
  */
309
  Security_context *security_ctx;
310 311 312 313

  Name_resolution_context()
    :outer_context(0), table_list(0), select_lex(0),
    error_processor_data(0),
314
    security_ctx(0)
315 316 317 318 319 320
    {}

  void init()
  {
    resolve_in_select_list= FALSE;
    error_processor= &dummy_error_processor;
unknown's avatar
unknown committed
321 322
    first_name_resolution_table= NULL;
    last_name_resolution_table= NULL;
323 324 325 326
  }

  void resolve_in_table_list_only(TABLE_LIST *tables)
  {
unknown's avatar
unknown committed
327
    table_list= first_name_resolution_table= tables;
328 329 330 331 332 333 334 335 336 337
    resolve_in_select_list= FALSE;
  }

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


338 339 340 341 342 343 344 345 346 347 348
/*
  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;
349
  TABLE_LIST *save_next_local;
350 351

public:
352
  Name_resolution_context_state() {}          /* Remove gcc warning */
353 354 355 356 357 358 359 360 361

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_resolve_in_select_list=      context->resolve_in_select_list;
    save_next_local=                  table_list->next_local;
362
    save_next_name_resolution_table=  table_list->next_name_resolution_table;
363 364 365 366 367 368
  }

  /* 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;
369
    table_list->next_name_resolution_table= save_next_name_resolution_table;
370 371 372 373
    context->table_list=                   save_table_list;
    context->first_name_resolution_table=  save_first_name_resolution_table;
    context->resolve_in_select_list=       save_resolve_in_select_list;
  }
374 375 376 377 378

  TABLE_LIST *get_first_name_resolution_table()
  {
    return save_first_name_resolution_table;
  }
379 380
};

unknown's avatar
unknown committed
381 382 383 384 385 386 387 388 389 390 391 392 393

/*
  This enum is used to report information about monotonicity of function
  represented by Item* tree.
  Monotonicity is defined only for Item* trees that represent table
  partitioning expressions (i.e. have no subselects/user vars/PS parameters
  etc etc). An Item* tree is assumed to have the same monotonicity properties
  as its correspoinding function F:

  [signed] longlong F(field1, field2, ...) {
    put values of field_i into table record buffer;
    return item->val_int(); 
  }
394 395 396 397 398 399 400

  NOTE
  At the moment function monotonicity is not well defined (and so may be
  incorrect) for Item trees with parameters/return types that are different
  from INT_RESULT, may be NULL, or are unsigned.
  It will be possible to address this issue once the related partitioning bugs
  (BUG#16002, BUG#15447, BUG#13436) are fixed.
unknown's avatar
unknown committed
401 402 403 404 405
*/

typedef enum monotonicity_info 
{
   NON_MONOTONIC,              /* none of the below holds */
406 407
   MONOTONIC_INCREASING,       /* F() is unary and (x < y) => (F(x) <= F(y)) */
   MONOTONIC_STRICT_INCREASING /* F() is unary and (x < y) => (F(x) <  F(y)) */
unknown's avatar
unknown committed
408 409
} enum_monotonicity_info;

410 411
/*************************************************************************/

412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427
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.
  */
428 429
  Settable_routine_parameter() {}
  virtual ~Settable_routine_parameter() {}
430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445
  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.
  */
446
  virtual bool set_value(THD *thd, sp_rcontext *ctx, Item **it)= 0;
447 448 449
};


450
typedef bool (Item::*Item_processor) (uchar *arg);
451 452 453 454 455 456 457 458 459 460 461
/*
  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

*/
462 463
typedef bool (Item::*Item_analyzer) (uchar **argp);
typedef Item* (Item::*Item_transformer) (uchar *arg);
464
typedef void (*Cond_traverser) (const Item *item, void *arg);
465

466

unknown's avatar
unknown committed
467
class Item {
unknown's avatar
unknown committed
468
  Item(const Item &);			/* Prevent use of these */
unknown's avatar
unknown committed
469 470
  void operator=(Item &);
public:
471
  static void *operator new(size_t size)
472
  { return sql_alloc(size); }
473
  static void *operator new(size_t size, MEM_ROOT *mem_root)
474
  { return alloc_root(mem_root, size); }
unknown's avatar
unknown committed
475
  static void operator delete(void *ptr,size_t size) { TRASH(ptr, size); }
476
  static void operator delete(void *ptr, MEM_ROOT *mem_root) {}
unknown's avatar
unknown committed
477

478
  enum Type {FIELD_ITEM= 0, FUNC_ITEM, SUM_FUNC_ITEM, STRING_ITEM,
479
	     INT_ITEM, REAL_ITEM, NULL_ITEM, VARBIN_ITEM,
unknown's avatar
SCRUM  
unknown committed
480
	     COPY_STR_ITEM, FIELD_AVG_ITEM, DEFAULT_VALUE_ITEM,
unknown's avatar
unknown committed
481 482
	     PROC_ITEM,COND_ITEM, REF_ITEM, FIELD_STD_ITEM,
	     FIELD_VARIANCE_ITEM, INSERT_VALUE_ITEM,
483
             SUBSELECT_ITEM, ROW_ITEM, CACHE_ITEM, TYPE_HOLDER,
484
             PARAM_ITEM, TRIGGER_FIELD_ITEM, DECIMAL_ITEM,
485
             XPATH_NODESET, XPATH_NODESET_CMP,
486
             VIEW_FIXER_ITEM};
unknown's avatar
SCRUM  
unknown committed
487

unknown's avatar
unknown committed
488
  enum cond_result { COND_UNDEF,COND_OK,COND_TRUE,COND_FALSE };
489 490

  enum traverse_order { POSTFIX, PREFIX };
491
  
492 493 494
  /* Reuse size, only used by SP local variable assignment, otherwize 0 */
  uint rsize;

unknown's avatar
unknown committed
495 496 497 498 499
  /*
    str_values's main purpose is to be used to cache the value in
    save_in_field
  */
  String str_value;
500
  char * name;			/* Name from select */
501
  /* Original item name (if it was renamed)*/
502
  char * orig_name;
unknown's avatar
unknown committed
503 504
  Item *next;
  uint32 max_length;
505
  uint name_length;                     /* Length of name */
506 507
  int8 marker;
  uint8 decimals;
unknown's avatar
unknown committed
508 509
  my_bool maybe_null;			/* If item may be null */
  my_bool null_value;			/* if item is null */
510
  my_bool unsigned_flag;
unknown's avatar
unknown committed
511
  my_bool with_sum_func;
512
  my_bool fixed;                        /* If item fixed with fix_fields */
513 514
  my_bool is_autogenerated_name;        /* indicate was name of this Item
                                           autogenerated or set by user */
515
  DTCollation collation;
516 517 518
  my_bool with_subselect;               /* If this item is a subselect or some
                                           of its arguments is or contains a
                                           subselect */
519
  Item_result cmp_context;              /* Comparison context */
unknown's avatar
unknown committed
520 521
  // alloc & destruct is done as start of select using sql_alloc
  Item();
522
  /*
unknown's avatar
unknown committed
523
     Constructor used by Item_field, Item_ref & aggregate (sum) functions.
524 525
     Used for duplicating lists in processing queries with temporary
     tables
526
     Also it used for Item_cond_and/Item_cond_or for creating
unknown's avatar
unknown committed
527
     top AND/OR structure of WHERE clause to protect it of
528
     optimisation changes in prepared statements
529
  */
530
  Item(THD *thd, Item *item);
unknown's avatar
unknown committed
531 532
  virtual ~Item()
  {
unknown's avatar
unknown committed
533
#ifdef EXTRA_DEBUG
unknown's avatar
unknown committed
534
    name=0;
unknown's avatar
unknown committed
535
#endif
unknown's avatar
unknown committed
536
  }		/*lint -e1509 */
537
  void set_name(const char *str, uint length, CHARSET_INFO *cs);
538
  void rename(char *new_name);
unknown's avatar
unknown committed
539
  void init_make_field(Send_field *tmp_field,enum enum_field_types type);
540
  virtual void cleanup();
541
  virtual void make_field(Send_field *field);
542
  Field *make_string_field(TABLE *table);
543
  virtual bool fix_fields(THD *, Item **);
unknown's avatar
unknown committed
544
  /*
unknown's avatar
unknown committed
545
    should be used in case where we are sure that we do not need
unknown's avatar
unknown committed
546 547 548
    complete fix_fields() procedure.
  */
  inline void quick_fix_field() { fixed= 1; }
unknown's avatar
unknown committed
549
  /* Function returns 1 on overflow and -1 on fatal errors */
550
  int save_in_field_no_warnings(Field *field, bool no_conversions);
unknown's avatar
unknown committed
551
  virtual int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
552
  virtual void save_org_in_field(Field *field)
553
  { (void) save_in_field(field, 1); }
unknown's avatar
unknown committed
554
  virtual int save_safe_in_field(Field *field)
555
  { return save_in_field(field, 1); }
556
  virtual bool send(Protocol *protocol, String *str);
557
  virtual bool eq(const Item *, bool binary_cmp) const;
558 559
  virtual Item_result result_type() const { return REAL_RESULT; }
  virtual Item_result cast_to_int_type() const { return result_type(); }
560
  virtual enum_field_types string_field_type() const;
561
  virtual enum_field_types field_type() const;
unknown's avatar
unknown committed
562
  virtual enum Type type() const =0;
unknown's avatar
unknown committed
563 564 565 566 567 568 569 570 571
  
  /*
    Return information about function monotonicity. See comment for
    enum_monotonicity_info for details. This function can only be called
    after fix_fields() call.
  */
  virtual enum_monotonicity_info get_monotonicity_info() const
  { return NON_MONOTONIC; }

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 599 600 601 602 603 604 605
  /*
    Convert "func_arg $CMP$ const" half-interval into "FUNC(func_arg) $CMP2$ const2"

    SYNOPSIS
      val_int_endpoint()
        left_endp  FALSE  <=> The interval is "x < const" or "x <= const"
                   TRUE   <=> The interval is "x > const" or "x >= const"

        incl_endp  IN   TRUE <=> the comparison is '<' or '>'
                        FALSE <=> the comparison is '<=' or '>='
                   OUT  The same but for the "F(x) $CMP$ F(const)" comparison

    DESCRIPTION
      This function is defined only for unary monotonic functions. The caller
      supplies the source half-interval

         x $CMP$ const

      The value of const is supplied implicitly as the value this item's
      argument, the form of $CMP$ comparison is specified through the
      function's arguments. The calle returns the result interval
         
         F(x) $CMP2$ F(const)
      
      passing back F(const) as the return value, and the form of $CMP2$ 
      through the out parameter. NULL values are assumed to be comparable and
      be less than any non-NULL values.

    RETURN
      The output range bound, which equal to the value of val_int()
        - If the value of the function is NULL then the bound is the 
          smallest possible value of LONGLONG_MIN 
  */
  virtual longlong val_int_endpoint(bool left_endp, bool *incl_endp)
unknown's avatar
unknown committed
606
  { DBUG_ASSERT(0); return 0; }
607 608


609
  /* valXXX methods must return NULL or 0 or 0.0 if null_value is set. */
unknown's avatar
unknown committed
610 611 612 613 614 615 616 617 618 619
  /*
    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.
  */
620
  virtual double val_real()=0;
unknown's avatar
unknown committed
621 622 623 624 625 626 627 628 629 630
  /*
    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
631
  virtual longlong val_int()=0;
632 633 634 635 636
  /*
    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(); }
637 638 639
  /*
    Return string representation of this item object.

unknown's avatar
unknown committed
640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696
    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)
697
  */
unknown's avatar
unknown committed
698
  virtual bool val_bool();
699
  virtual String *val_nodeset(String*) { return 0; }
700 701 702 703 704 705 706
  /* 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);
707 708
  my_decimal *val_decimal_from_date(my_decimal *decimal_value);
  my_decimal *val_decimal_from_time(my_decimal *decimal_value);
709 710 711
  longlong val_int_from_decimal();
  double val_real_from_decimal();

712 713
  int save_time_in_field(Field *field);
  int save_date_in_field(Field *field);
714
  int save_str_value_in_field(Field *field, String *result);
715

716
  virtual Field *get_tmp_table_field() { return 0; }
unknown's avatar
unknown committed
717
  /* This is also used to create fields in CREATE ... SELECT: */
718
  virtual Field *tmp_table_field(TABLE *t_arg) { return 0; }
unknown's avatar
unknown committed
719
  virtual const char *full_name() const { return name ? name : "???"; }
unknown's avatar
unknown committed
720 721 722 723 724 725 726

  /*
    *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.
  */
727
  virtual double  val_result() { return val_real(); }
unknown's avatar
unknown committed
728 729
  virtual longlong val_int_result() { return val_int(); }
  virtual String *str_result(String* tmp) { return val_str(tmp); }
unknown's avatar
unknown committed
730 731 732 733
  virtual my_decimal *val_decimal_result(my_decimal *val)
  { return val_decimal(val); }
  virtual bool val_bool_result() { return val_bool(); }

734
  /* bit map of tables used by item */
unknown's avatar
unknown committed
735
  virtual table_map used_tables() const { return (table_map) 0L; }
736 737 738 739 740 741 742 743 744 745 746 747 748 749
  /*
    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
750
    a constant expression. Used in the optimizer to propagate basic constants.
751
  */
unknown's avatar
unknown committed
752
  virtual bool basic_const_item() const { return 0; }
unknown's avatar
unknown committed
753
  /* cloning of constant items (0 if it is not const) */
754
  virtual Item *clone_item() { return 0; }
unknown's avatar
unknown committed
755 756 757
  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
758 759 760
  virtual uint decimal_precision() const;
  inline int decimal_int_part() const
  { return my_decimal_int_part(decimal_precision(), decimals); }
761 762 763 764
  /* 
    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
765
  virtual bool const_item() const { return used_tables() == 0; }
766 767 768 769 770 771
  /* 
    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; }
772 773 774 775 776 777 778 779 780 781 782 783
  /*
    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
784
  virtual void print(String *str_arg) { str_arg->append(full_name()); }
unknown's avatar
unknown committed
785
  void print_item_w_name(String *);
unknown's avatar
unknown committed
786
  virtual void update_used_tables() {}
787 788
  virtual void split_sum_func(THD *thd, Item **ref_pointer_array,
                              List<Item> &fields) {}
789 790
  /* 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
791
                       Item **ref, bool skip_registered);
792 793 794
  virtual bool get_date(MYSQL_TIME *ltime,uint fuzzydate);
  virtual bool get_time(MYSQL_TIME *ltime);
  virtual bool get_date_result(MYSQL_TIME *ltime,uint fuzzydate)
795
  { return get_date(ltime,fuzzydate); }
796
  /*
797 798 799 800 801
    The method allows to determine nullness of a complex expression 
    without fully evaluating it, instead of calling val/result*() then 
    checking null_value. Used in Item_func_isnull/Item_func_isnotnull
    and Item_sum_count/Item_sum_count_distinct.
    Any new item which can be NULL must implement this method.
802
  */
803
  virtual bool is_null() { return 0; }
804

805 806 807 808 809
  /*
   Make sure the null_value member has a correct value.
  */
  virtual void update_null_value () { (void) val_int(); }

unknown's avatar
unknown committed
810
  /*
811 812 813 814 815 816 817 818
    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
819
  */
820
  virtual void top_level_item() {}
unknown's avatar
unknown committed
821 822
  /*
    set field of temporary table for Item which can be switched on temporary
unknown's avatar
unknown committed
823
    table during query processing (grouping and so on)
unknown's avatar
unknown committed
824
  */
unknown's avatar
unknown committed
825 826
  virtual void set_result_field(Field *field) {}
  virtual bool is_result_field() { return 0; }
unknown's avatar
unknown committed
827
  virtual bool is_bool_func() { return 0; }
unknown's avatar
unknown committed
828
  virtual void save_in_result_field(bool no_conversions) {}
unknown's avatar
unknown committed
829
  /*
unknown's avatar
unknown committed
830
    set value of aggregate function in case of no rows for grouping were found
unknown's avatar
unknown committed
831
  */
unknown's avatar
unknown committed
832
  virtual void no_rows_in_result() {}
833
  virtual Item *copy_or_same(THD *thd) { return this; }
834
  virtual Item *copy_andor_structure(THD *thd) { return this; }
unknown's avatar
unknown committed
835
  virtual Item *real_item() { return this; }
836
  virtual Item *get_tmp_table_item(THD *thd) { return copy_or_same(thd); }
unknown's avatar
unknown committed
837

838
  static CHARSET_INFO *default_charset();
839
  virtual CHARSET_INFO *compare_collation() { return NULL; }
unknown's avatar
unknown committed
840

841
  virtual bool walk(Item_processor processor, bool walk_subquery, uchar *arg)
unknown's avatar
unknown committed
842 843 844 845
  {
    return (this->*processor)(arg);
  }

846
  virtual Item* transform(Item_transformer transformer, uchar *arg);
847

848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863
  /*
    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.      
  */
864 865
  virtual Item* compile(Item_analyzer analyzer, uchar **arg_p,
                        Item_transformer transformer, uchar *arg_t)
866 867 868 869 870 871
  {
    if ((this->*analyzer) (arg_p))
      return ((this->*transformer) (arg_t));
    return 0;
  }

872 873
   virtual void traverse_cond(Cond_traverser traverser,
                              void *arg, traverse_order order)
874 875 876
   {
     (*traverser)(this, arg);
   }
877

878 879 880 881 882 883 884 885 886
  virtual bool remove_dependence_processor(uchar * arg) { return 0; }
  virtual bool remove_fixed(uchar * arg) { fixed= 0; return 0; }
  virtual bool cleanup_processor(uchar *arg);
  virtual bool collect_item_field_processor(uchar * arg) { return 0; }
  virtual bool find_item_in_field_list_processor(uchar *arg) { return 0; }
  virtual bool change_context_processor(uchar *context) { return 0; }
  virtual bool reset_query_id_processor(uchar *query_id_arg) { return 0; }
  virtual bool is_expensive_processor(uchar *arg) { return 0; }
  virtual bool register_field_in_read_map(uchar *arg) { return 0; }
887
  /*
888 889 890
    Check if a partition function is allowed
    SYNOPSIS
      check_partition_func_processor()
891
      int_arg                        Ignored
892
    RETURN VALUE
893 894 895
      TRUE                           Partition function not accepted
      FALSE                          Partition function accepted

896
    DESCRIPTION
897
    check_partition_func_processor is used to check if a partition function
898 899 900 901 902 903 904
    uses an allowed function. An allowed function will always ensure that
    X=Y guarantees that also part_function(X)=part_function(Y) where X is
    a set of partition fields and so is Y. The problems comes mainly from
    character sets where two equal strings can be quite unequal. E.g. the
    german character for double s is equal to 2 s.

    The default is that an item is not allowed
unknown's avatar
unknown committed
905
    in a partition function. Allowed functions
906 907 908 909 910 911 912 913
    can never depend on server version, they cannot depend on anything
    related to the environment. They can also only depend on a set of
    fields in the table itself. They cannot depend on other tables and
    cannot contain any queries and cannot contain udf's or similar.
    If a new Item class is defined and it inherits from a class that is
    allowed in a partition function then it is very important to consider
    whether this should be inherited to the new class. If not the function
    below should be defined in the new Item class.
unknown's avatar
unknown committed
914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936

    The general behaviour is that most integer functions are allowed.
    If the partition function contains any multi-byte collations then
    the function check_part_func_fields will report an error on the
    partition function independent of what functions are used. So the
    only character sets allowed are single character collation and
    even for those only a limited set of functions are allowed. The
    problem with multi-byte collations is that almost every string
    function has the ability to change things such that two strings
    that are equal will not be equal after manipulated by a string
    function. E.g. two strings one contains a double s, there is a
    special german character that is equal to two s. Now assume a
    string function removes one character at this place, then in
    one the double s will be removed and in the other there will
    still be one s remaining and the strings are no longer equal
    and thus the partition function will not sort equal strings into
    the same partitions.

    So the check if a partition function is valid is two steps. First
    check that the field types are valid, next check that the partition
    function is valid. The current set of partition functions valid
    assumes that there are no multi-byte collations amongst the partition
    fields.
937
  */
938 939
  virtual bool check_partition_func_processor(uchar *bool_arg) { return TRUE;}
  virtual bool subst_argument_checker(uchar **arg)
940 941 942 943 944
  { 
    if (*arg)
      *arg= NULL; 
    return TRUE;     
  }
945

946 947 948
  virtual Item *equal_fields_propagator(uchar * arg) { return this; }
  virtual bool set_no_const_sub(uchar *arg) { return FALSE; }
  virtual Item *replace_equal_field(uchar * arg) { return this; }
949 950 951 952 953 954

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

957 958 959 960
  /*
    For SP local variable returns address of pointer to Item representing its
    current value and pointer passed via parameter otherwise.
  */
961
  virtual Item **this_item_addr(THD *thd, Item **addr_arg) { return addr_arg; }
unknown's avatar
unknown committed
962 963 964

  // Row emulation
  virtual uint cols() { return 1; }
965
  virtual Item* element_index(uint i) { return this; }
966
  virtual Item** addr(uint i) { return 0; }
unknown's avatar
unknown committed
967
  virtual bool check_cols(uint c);
unknown's avatar
unknown committed
968
  // It is not row => null inside is impossible
969 970 971
  virtual bool null_inside() { return 0; }
  // used in row subselects to get value of elements
  virtual void bring_value() {}
972

unknown's avatar
unknown committed
973
  Field *tmp_table_field_from_field_type(TABLE *table, bool fixed_length);
974
  virtual Item_field *filed_for_view_update() { return 0; }
unknown's avatar
unknown committed
975

976
  virtual Item *neg_transformer(THD *thd) { return NULL; }
977
  virtual Item *update_value_transformer(uchar *select_arg) { return this; }
unknown's avatar
unknown committed
978
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
979 980 981 982
  void delete_self()
  {
    cleanup();
    delete this;
unknown's avatar
unknown committed
983
  }
984 985

  virtual bool is_splocal() { return 0; } /* Needed for error checking */
986 987 988 989 990 991 992 993 994

  /*
    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;
  }
995 996 997 998 999 1000 1001 1002
  /*
    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; }
1003
  bool is_datetime();
1004 1005
  virtual Field::geometry_type get_geometry_type() const
    { return Field::GEOM_GEOMETRY; };
1006
  String *check_well_formed_result(String *str, bool send_error= 0);
unknown's avatar
unknown committed
1007 1008 1009
};


1010 1011
class sp_head;

1012

1013 1014 1015 1016 1017 1018 1019 1020
/*****************************************************************************
  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
1021
{
1022 1023 1024 1025 1026 1027 1028 1029 1030 1031
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;

1032
public:
1033 1034 1035 1036 1037
#ifndef DBUG_OFF
  /*
    Routine to which this Item_splocal belongs. Used for checking if correct
    runtime context is used for variable handling.
  */
1038
  sp_head *m_sp;
1039
#endif
1040

1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 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
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.
*****************************************************************************/

1098 1099
class Item_splocal :public Item_sp_variable,
                    private Settable_routine_parameter
1100 1101 1102 1103 1104
{
  uint m_var_idx;

  Type m_type;
  Item_result m_result_type;
1105
  enum_field_types m_field_type;
1106
public:
1107 1108 1109 1110 1111 1112 1113 1114 1115 1116
  /* 
    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.
  */
1117
  uint pos_in_query;
unknown's avatar
unknown committed
1118 1119 1120 1121 1122 1123 1124 1125
  /*
    Byte length of SP variable name in the statement (see pos_in_query).
    The value of this field may differ from the name_length value because
    name_length contains byte length of UTF8-encoded item name, but
    the query string (see sp_instr_stmt::m_query) is currently stored with
    a charset from the SET NAMES statement.
  */
  uint len_in_query;
1126

1127
  Item_splocal(const LEX_STRING &sp_var_name, uint sp_var_idx,
unknown's avatar
unknown committed
1128 1129
               enum_field_types sp_var_type,
               uint pos_in_q= 0, uint len_in_q= 0);
1130

1131 1132
  bool is_splocal() { return 1; } /* Needed for error checking */

1133
  Item *this_item();
1134
  const Item *this_item() const;
1135
  Item **this_item_addr(THD *thd, Item **);
1136

1137
  void print(String *str);
unknown's avatar
unknown committed
1138

1139 1140
public:
  inline const LEX_STRING *my_name() const;
1141

1142
  inline uint get_var_idx() const;
1143

1144 1145
  inline enum Type type() const;
  inline Item_result result_type() const;
1146
  inline enum_field_types field_type() const { return m_field_type; }
1147 1148

private:
1149
  bool set_value(THD *thd, sp_rcontext *ctx, Item **it);
1150 1151 1152 1153 1154 1155

public:
  Settable_routine_parameter *get_settable_routine_parameter()
  {
    return this;
  }
1156
};
1157

1158 1159 1160
/*****************************************************************************
  Item_splocal inline implementation.
*****************************************************************************/
1161

1162 1163 1164 1165
inline const LEX_STRING *Item_splocal::my_name() const
{
  return &m_name;
}
1166

1167 1168 1169 1170
inline uint Item_splocal::get_var_idx() const
{
  return m_var_idx;
}
1171

1172 1173 1174 1175
inline enum Item::Type Item_splocal::type() const
{
  return m_type;
}
1176

1177 1178 1179 1180
inline Item_result Item_splocal::result_type() const
{
  return m_result_type;
}
unknown's avatar
unknown committed
1181

1182 1183 1184 1185 1186 1187 1188 1189

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

class Item_case_expr :public Item_sp_variable
{
public:
1190
  Item_case_expr(uint case_expr_id);
1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208

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:
1209
  uint m_case_expr_id;
1210 1211
};

1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225
/*****************************************************************************
  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();
}

1226

1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244
/*
  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;
1245
  bool valid_args;
1246
public:
1247 1248
  Item_name_const(Item *name_arg, Item *val):
    value_item(val), name_item(name_arg)
1249
  {
1250 1251
    if (!(valid_args= name_item->basic_const_item() & 
                      value_item->basic_const_item()))
1252
      my_error(ER_WRONG_ARGUMENTS, MYF(0), "NAME_CONST");
1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280
    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);
  }

1281
  bool send(Protocol *protocol, String *str)
1282 1283 1284 1285 1286
  {
    return value_item->send(protocol, str);
  }
};

1287
bool agg_item_collations(DTCollation &c, const char *name,
1288
                         Item **items, uint nitems, uint flags, int item_sep);
1289
bool agg_item_collations_for_comparison(DTCollation &c, const char *name,
1290
                                        Item **items, uint nitems, uint flags);
1291
bool agg_item_charsets(DTCollation &c, const char *name,
1292
                       Item **items, uint nitems, uint flags, int item_sep);
1293 1294


1295 1296 1297
class Item_num: public Item
{
public:
1298
  Item_num() {}                               /* Remove gcc warning */
unknown's avatar
unknown committed
1299
  virtual Item_num *neg()= 0;
unknown's avatar
unknown committed
1300
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1301
  bool check_partition_func_processor(uchar *int_arg) { return FALSE;}
1302 1303
};

1304
#define NO_CACHED_FIELD_INDEX ((uint)(-1))
1305

unknown's avatar
unknown committed
1306
class st_select_lex;
unknown's avatar
unknown committed
1307 1308
class Item_ident :public Item
{
1309
protected:
1310 1311 1312 1313 1314 1315 1316 1317 1318
  /* 
    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;
1319

unknown's avatar
unknown committed
1320
public:
1321
  Name_resolution_context *context;
unknown's avatar
unknown committed
1322 1323 1324
  const char *db_name;
  const char *table_name;
  const char *field_name;
unknown's avatar
unknown committed
1325
  bool alias_name_used; /* true if item was resolved against alias */
1326 1327
  /* 
    Cached value of index for this field in table->field array, used by prep. 
1328 1329 1330 1331 1332 1333 1334 1335
    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.
1336
  */
1337
  TABLE_LIST *cached_table;
unknown's avatar
unknown committed
1338
  st_select_lex *depended_from;
1339 1340 1341
  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
1342
  Item_ident(THD *thd, Item_ident *item);
unknown's avatar
unknown committed
1343
  const char *full_name() const;
1344
  void cleanup();
1345
  bool remove_dependence_processor(uchar * arg);
1346
  void print(String *str);
1347
  virtual bool change_context_processor(uchar *cntx)
1348
    { context= (Name_resolution_context *)cntx; return FALSE; }
unknown's avatar
unknown committed
1349 1350 1351 1352
  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
1353 1354
};

1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376

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


1377 1378
class Item_equal;
class COND_EQUAL;
unknown's avatar
unknown committed
1379

unknown's avatar
unknown committed
1380 1381
class Item_field :public Item_ident
{
1382
protected:
unknown's avatar
unknown committed
1383 1384 1385
  void set_field(Field *field);
public:
  Field *field,*result_field;
unknown's avatar
unknown committed
1386 1387
  Item_equal *item_equal;
  bool no_const_subst;
unknown's avatar
VIEW  
unknown committed
1388 1389 1390 1391 1392 1393 1394
  /*
    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;
1395 1396 1397
  Item_field(Name_resolution_context *context_arg,
             const char *db_arg,const char *table_name_arg,
	     const char *field_name_arg);
1398 1399 1400
  /*
    Constructor needed to process subselect with temporary tables (see Item)
  */
1401
  Item_field(THD *thd, Item_field *item);
1402
  /*
1403 1404 1405
    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).
1406
  */
1407
  Item_field(THD *thd, Name_resolution_context *context_arg, Field *field);
1408 1409 1410
  /*
    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
1411
    reset_field() before fix_fields() for all fields created this way.
1412
  */
unknown's avatar
unknown committed
1413 1414
  Item_field(Field *field);
  enum Type type() const { return FIELD_ITEM; }
1415
  bool eq(const Item *item, bool binary_cmp) const;
1416
  double val_real();
unknown's avatar
unknown committed
1417
  longlong val_int();
unknown's avatar
unknown committed
1418
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1419 1420 1421 1422
  String *val_str(String*);
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
unknown's avatar
unknown committed
1423 1424
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
1425
  bool send(Protocol *protocol, String *str_arg);
1426
  void reset_field(Field *f);
1427
  bool fix_fields(THD *, Item **);
1428
  void make_field(Send_field *tmp_field);
unknown's avatar
unknown committed
1429
  int save_in_field(Field *field,bool no_conversions);
unknown's avatar
unknown committed
1430 1431 1432 1433 1434 1435
  void save_org_in_field(Field *field);
  table_map used_tables() const;
  enum Item_result result_type () const
  {
    return field->result_type();
  }
1436 1437 1438 1439
  Item_result cast_to_int_type() const
  {
    return field->cast_to_int_type();
  }
unknown's avatar
unknown committed
1440
  enum_field_types field_type() const
1441 1442 1443
  {
    return field->type();
  }
unknown's avatar
unknown committed
1444 1445 1446 1447
  enum_monotonicity_info get_monotonicity_info() const
  {
    return MONOTONIC_STRICT_INCREASING;
  }
1448
  longlong val_int_endpoint(bool left_endp, bool *incl_endp);
1449
  Field *get_tmp_table_field() { return result_field; }
1450
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
1451 1452 1453
  bool get_date(MYSQL_TIME *ltime,uint fuzzydate);
  bool get_date_result(MYSQL_TIME *ltime,uint fuzzydate);
  bool get_time(MYSQL_TIME *ltime);
unknown's avatar
unknown committed
1454
  bool is_null() { return field->is_null(); }
1455
  void update_null_value();
1456
  Item *get_tmp_table_item(THD *thd);
1457 1458 1459 1460
  bool collect_item_field_processor(uchar * arg);
  bool find_item_in_field_list_processor(uchar *arg);
  bool register_field_in_read_map(uchar *arg);
  bool check_partition_func_processor(uchar *int_arg) {return FALSE;}
unknown's avatar
unknown committed
1461
  void cleanup();
1462 1463 1464 1465
  bool result_as_longlong()
  {
    return field->can_be_compared_as_longlong();
  }
1466
  Item_equal *find_item_equal(COND_EQUAL *cond_equal);
1467 1468 1469 1470
  bool subst_argument_checker(uchar **arg);
  Item *equal_fields_propagator(uchar *arg);
  bool set_no_const_sub(uchar *arg);
  Item *replace_equal_field(uchar *arg);
1471
  inline uint32 max_disp_length() { return field->max_display_length(); }
1472
  Item_field *filed_for_view_update() { return this; }
unknown's avatar
unknown committed
1473
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1474
  int fix_outer_field(THD *thd, Field **field, Item **reference);
1475
  virtual Item *update_value_transformer(uchar *select_arg);
1476
  void print(String *str);
1477
  Field::geometry_type get_geometry_type() const
1478 1479 1480 1481
  {
    DBUG_ASSERT(field_type() == MYSQL_TYPE_GEOMETRY);
    return field->get_geometry_type();
  }
unknown's avatar
SCRUM  
unknown committed
1482
  friend class Item_default_value;
unknown's avatar
unknown committed
1483
  friend class Item_insert_value;
unknown's avatar
unknown committed
1484
  friend class st_select_lex_unit;
unknown's avatar
unknown committed
1485 1486 1487 1488 1489 1490
};

class Item_null :public Item
{
public:
  Item_null(char *name_par=0)
unknown's avatar
unknown committed
1491 1492 1493 1494 1495
  {
    maybe_null= null_value= TRUE;
    max_length= 0;
    name= name_par ? name_par : (char*) "NULL";
    fixed= 1;
1496
    collation.set(&my_charset_bin, DERIVATION_IGNORABLE);
unknown's avatar
unknown committed
1497
  }
unknown's avatar
unknown committed
1498
  enum Type type() const { return NULL_ITEM; }
1499
  bool eq(const Item *item, bool binary_cmp) const;
1500
  double val_real();
unknown's avatar
unknown committed
1501 1502
  longlong val_int();
  String *val_str(String *str);
unknown's avatar
unknown committed
1503
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1504
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1505
  int save_safe_in_field(Field *field);
unknown's avatar
unknown committed
1506
  bool send(Protocol *protocol, String *str);
1507 1508
  enum Item_result result_type () const { return STRING_RESULT; }
  enum_field_types field_type() const   { return MYSQL_TYPE_NULL; }
unknown's avatar
unknown committed
1509
  /* to prevent drop fixed flag (no need parent cleanup call) */
unknown's avatar
unknown committed
1510
  void cleanup() {}
unknown's avatar
unknown committed
1511
  bool basic_const_item() const { return 1; }
1512
  Item *clone_item() { return new Item_null(name); }
unknown's avatar
unknown committed
1513
  bool is_null() { return 1; }
1514
  void print(String *str) { str->append(STRING_WITH_LEN("NULL")); }
unknown's avatar
unknown committed
1515
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1516
  bool check_partition_func_processor(uchar *int_arg) {return FALSE;}
unknown's avatar
unknown committed
1517 1518
};

unknown's avatar
unknown committed
1519 1520 1521 1522 1523 1524 1525 1526 1527 1528
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);
  }
1529
  bool check_partition_func_processor(uchar *int_arg) {return TRUE;}
unknown's avatar
unknown committed
1530
};  
1531 1532 1533

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

unknown's avatar
unknown committed
1534 1535
class Item_param :public Item
{
unknown's avatar
unknown committed
1536 1537 1538
  char cnvbuf[MAX_FIELD_WIDTH];
  String cnvstr;
  Item *cnvitem;
1539 1540
  bool strict_type;
  enum Item_result required_result_type;
unknown's avatar
unknown committed
1541

1542
public:
1543 1544 1545
  enum enum_item_param_state
  {
    NO_VALUE, NULL_VALUE, INT_VALUE, REAL_VALUE,
unknown's avatar
unknown committed
1546 1547
    STRING_VALUE, TIME_VALUE, LONG_DATA_VALUE,
    DECIMAL_VALUE
1548 1549
  } state;

1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560
  /*
    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
1561
  my_decimal decimal_value;
1562 1563
  union
  {
1564 1565
    longlong integer;
    double   real;
1566 1567 1568 1569 1570 1571 1572 1573 1574
    /*
      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;
1575
      CHARSET_INFO *character_set_of_placeholder;
1576 1577 1578
      /*
        This points at character set of connection if conversion
        to it is required (i. e. if placeholder typecode is not BLOB).
1579
        Otherwise it's equal to character_set_client (to simplify
1580 1581 1582 1583
        check in convert_str_value()).
      */
      CHARSET_INFO *final_character_set_of_str_value;
    } cs_info;
1584
    MYSQL_TIME     time;
1585 1586 1587
  } value;

  /* Cached values for virtual methods to save us one switch.  */
unknown's avatar
unknown committed
1588 1589
  enum Item_result item_result_type;
  enum Type item_type;
1590 1591 1592 1593 1594 1595 1596 1597 1598 1599

  /*
    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;
1600
  /*
1601 1602
    Offset of placeholder inside statement text. Used to create
    no-placeholders version of this statement for the binary log.
1603
  */
1604
  uint pos_in_query;
unknown's avatar
unknown committed
1605

1606 1607 1608
  Item_param(uint pos_in_query_arg);

  enum Item_result result_type () const { return item_result_type; }
unknown's avatar
unknown committed
1609
  enum Type type() const { return item_type; }
1610
  enum_field_types field_type() const { return param_type; }
1611

1612
  double val_real();
unknown's avatar
unknown committed
1613
  longlong val_int();
unknown's avatar
unknown committed
1614
  my_decimal *val_decimal(my_decimal*);
unknown's avatar
unknown committed
1615
  String *val_str(String*);
1616 1617
  bool get_time(MYSQL_TIME *tm);
  bool get_date(MYSQL_TIME *tm, uint fuzzydate);
unknown's avatar
unknown committed
1618
  int  save_in_field(Field *field, bool no_conversions);
1619

unknown's avatar
unknown committed
1620
  void set_null();
1621
  void set_int(longlong i, uint32 max_length_arg);
unknown's avatar
unknown committed
1622
  void set_double(double i);
unknown's avatar
unknown committed
1623
  void set_decimal(const char *str, ulong length);
1624 1625
  bool set_str(const char *str, ulong length);
  bool set_longdata(const char *str, ulong length);
1626
  void set_time(MYSQL_TIME *tm, timestamp_type type, uint32 max_length_arg);
1627
  bool set_from_user_var(THD *thd, const user_var_entry *entry);
1628
  void reset();
1629 1630 1631 1632 1633 1634 1635 1636
  /*
    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);

1637 1638 1639
  const String *query_val_str(String *str) const;

  bool convert_str_value(THD *thd);
1640 1641 1642 1643

  /*
    If value for parameter was not set we treat it as non-const
    so noone will use parameters value in fix_fields still
1644 1645 1646
    parameter is constant during execution.
  */
  virtual table_map used_tables() const
1647
  { return state != NO_VALUE ? (table_map)0 : PARAM_TABLE_BIT; }
1648
  void print(String *str);
1649 1650
  bool is_null()
  { DBUG_ASSERT(state != NO_VALUE); return state == NULL_VALUE; }
1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661
  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.
  */
1662
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1663
  Item *clone_item();
1664 1665 1666 1667 1668 1669
  /*
    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;
1670 1671 1672 1673 1674
  void set_strict_type(enum Item_result result_type_arg)
  {
    strict_type= TRUE;
    required_result_type= result_type_arg;
  }
unknown's avatar
unknown committed
1675
};
unknown's avatar
unknown committed
1676

1677

1678
class Item_int :public Item_num
unknown's avatar
unknown committed
1679 1680
{
public:
1681
  longlong value;
1682 1683
  Item_int(int32 i,uint length= MY_INT32_NUM_DECIMAL_DIGITS)
    :value((longlong) i)
1684
    { max_length=length; fixed= 1; }
1685 1686
  Item_int(longlong i,uint length= MY_INT64_NUM_DECIMAL_DIGITS)
    :value(i)
unknown's avatar
unknown committed
1687
    { max_length=length; fixed= 1; }
1688 1689
  Item_int(ulonglong i, uint length= MY_INT64_NUM_DECIMAL_DIGITS)
    :value((longlong)i)
1690
    { max_length=length; fixed= 1; unsigned_flag= 1; }
unknown's avatar
unknown committed
1691
  Item_int(const char *str_arg,longlong i,uint length) :value(i)
1692
    { max_length=length; name=(char*) str_arg; fixed= 1; }
unknown's avatar
unknown committed
1693
  Item_int(const char *str_arg, uint length=64);
unknown's avatar
unknown committed
1694
  enum Type type() const { return INT_ITEM; }
1695 1696
  enum Item_result result_type () const { return INT_RESULT; }
  enum_field_types field_type() const { return MYSQL_TYPE_LONGLONG; }
1697
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
1698
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
unknown's avatar
unknown committed
1699
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1700
  String *val_str(String*);
unknown's avatar
unknown committed
1701
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1702
  bool basic_const_item() const { return 1; }
1703
  Item *clone_item() { return new Item_int(name,value,max_length); }
1704
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
1705
  void cleanup() {}
unknown's avatar
unknown committed
1706
  void print(String *str);
unknown's avatar
unknown committed
1707
  Item_num *neg() { value= -value; return this; }
unknown's avatar
unknown committed
1708 1709
  uint decimal_precision() const
  { return (uint)(max_length - test(value < 0)); }
1710
  bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
1711
  bool check_partition_func_processor(uchar *bool_arg) { return FALSE;}
unknown's avatar
unknown committed
1712 1713 1714
};


unknown's avatar
unknown committed
1715 1716 1717
class Item_uint :public Item_int
{
public:
unknown's avatar
unknown committed
1718
  Item_uint(const char *str_arg, uint length);
1719
  Item_uint(ulonglong i) :Item_int((ulonglong) i, 10) {}
1720
  Item_uint(const char *str_arg, longlong i, uint length);
1721
  double val_real()
1722
    { DBUG_ASSERT(fixed == 1); return ulonglong2double((ulonglong)value); }
unknown's avatar
unknown committed
1723
  String *val_str(String*);
1724
  Item *clone_item() { return new Item_uint(name, value, max_length); }
unknown's avatar
unknown committed
1725
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1726
  void print(String *str);
unknown's avatar
unknown committed
1727
  Item_num *neg ();
unknown's avatar
unknown committed
1728
  uint decimal_precision() const { return max_length; }
unknown's avatar
unknown committed
1729
  bool check_partition_func_processor(uchar *bool_arg) { return FALSE;}
unknown's avatar
unknown committed
1730 1731 1732
};


unknown's avatar
unknown committed
1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744
/* 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);
1745
  Item_decimal(const uchar *bin, int precision, int scale);
unknown's avatar
unknown committed
1746 1747 1748 1749 1750 1751 1752 1753 1754 1755

  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; }
1756
  Item *clone_item()
unknown's avatar
unknown committed
1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768
  {
    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
1769
  uint decimal_precision() const { return decimal_value.precision(); }
1770
  bool eq(const Item *, bool binary_cmp) const;
1771
  void set_decimal_value(my_decimal *value_par);
unknown's avatar
unknown committed
1772
  bool check_partition_func_processor(uchar *bool_arg) { return FALSE;}
unknown's avatar
unknown committed
1773 1774
};

1775

unknown's avatar
unknown committed
1776
class Item_float :public Item_num
unknown's avatar
unknown committed
1777
{
1778
  char *presentation;
unknown's avatar
unknown committed
1779
public:
1780
  double value;
unknown's avatar
unknown committed
1781
  // Item_real() :value(0) {}
unknown's avatar
unknown committed
1782 1783
  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
1784 1785
    :value(val_arg)
  {
1786
    presentation= name=(char*) str;
unknown's avatar
unknown committed
1787
    decimals=(uint8) decimal_par;
unknown's avatar
unknown committed
1788
    max_length=length;
unknown's avatar
unknown committed
1789
    fixed= 1;
unknown's avatar
unknown committed
1790
  }
1791 1792 1793 1794 1795
  Item_float(double value_par, uint decimal_par) :presentation(0), value(value_par)
  {
    decimals= (uint8) decimal_par;
    fixed= 1;
  }
unknown's avatar
unknown committed
1796
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1797
  enum Type type() const { return REAL_ITEM; }
1798
  enum_field_types field_type() const { return MYSQL_TYPE_DOUBLE; }
1799
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1800 1801 1802
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
1803 1804 1805 1806 1807 1808 1809 1810
    if (value <= (double) LONGLONG_MIN)
    {
       return LONGLONG_MIN;
    }
    else if (value >= (double) (ulonglong) LONGLONG_MAX)
    {
      return LONGLONG_MAX;
    }
1811
    return (longlong) rint(value);
1812
  }
unknown's avatar
unknown committed
1813
  String *val_str(String*);
unknown's avatar
unknown committed
1814
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1815
  bool basic_const_item() const { return 1; }
unknown's avatar
unknown committed
1816 1817
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
1818
  Item *clone_item()
unknown's avatar
unknown committed
1819
  { return new Item_float(name, value, decimals, max_length); }
unknown's avatar
unknown committed
1820
  Item_num *neg() { value= -value; return this; }
1821
  void print(String *str);
1822
  bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
1823 1824 1825
};


unknown's avatar
unknown committed
1826
class Item_static_float_func :public Item_float
1827 1828 1829
{
  const char *func_name;
public:
unknown's avatar
unknown committed
1830
  Item_static_float_func(const char *str, double val_arg, uint decimal_par,
1831
                        uint length)
unknown's avatar
unknown committed
1832
    :Item_float(NullS, val_arg, decimal_par, length), func_name(str)
1833 1834
  {}
  void print(String *str) { str->append(func_name); }
1835
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1836 1837 1838
};


unknown's avatar
unknown committed
1839 1840 1841
class Item_string :public Item
{
public:
unknown's avatar
unknown committed
1842
  Item_string(const char *str,uint length,
1843 1844
              CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE,
              uint repertoire= MY_REPERTOIRE_UNICODE30)
unknown's avatar
unknown committed
1845
  {
1846 1847
    str_value.set_or_copy_aligned(str, length, cs);
    collation.set(cs, dv, repertoire);
1848 1849 1850 1851
    /*
      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
unknown's avatar
unknown committed
1852
      number of chars for a string of this type because we in Create_field::
1853 1854
      divide the max_length with mbmaxlen).
    */
1855
    max_length= str_value.numchars()*cs->mbmaxlen;
unknown's avatar
unknown committed
1856
    set_name(str, length, cs);
unknown's avatar
unknown committed
1857
    decimals=NOT_FIXED_DEC;
1858 1859
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
1860
  }
1861 1862 1863 1864 1865 1866 1867 1868 1869
  /* 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;
  }
1870
  Item_string(const char *name_par, const char *str, uint length,
1871 1872
              CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE,
              uint repertoire= MY_REPERTOIRE_UNICODE30)
unknown's avatar
unknown committed
1873
  {
1874 1875
    str_value.set_or_copy_aligned(str, length, cs);
    collation.set(cs, dv, repertoire);
1876
    max_length= str_value.numchars()*cs->mbmaxlen;
1877
    set_name(name_par, 0, cs);
unknown's avatar
unknown committed
1878
    decimals=NOT_FIXED_DEC;
1879 1880
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
1881
  }
1882 1883 1884 1885 1886 1887 1888 1889 1890
  /*
    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;
  }
1891 1892 1893 1894 1895 1896
  void set_repertoire_from_value()
  {
    collation.repertoire= my_string_repertoire(str_value.charset(),
                                               str_value.ptr(),
                                               str_value.length());
  }
unknown's avatar
unknown committed
1897
  enum Type type() const { return STRING_ITEM; }
1898 1899
  double val_real();
  longlong val_int();
1900 1901 1902 1903 1904
  String *val_str(String*)
  {
    DBUG_ASSERT(fixed == 1);
    return (String*) &str_value;
  }
unknown's avatar
unknown committed
1905
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
1906
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1907
  enum Item_result result_type () const { return STRING_RESULT; }
1908
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
unknown's avatar
unknown committed
1909
  bool basic_const_item() const { return 1; }
1910
  bool eq(const Item *item, bool binary_cmp) const;
1911
  Item *clone_item() 
1912
  {
1913
    return new Item_string(name, str_value.ptr(), 
unknown's avatar
unknown committed
1914
    			   str_value.length(), collation.collation);
1915
  }
unknown's avatar
unknown committed
1916
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1917 1918 1919 1920 1921
  inline void append(char *str, uint length)
  {
    str_value.append(str, length);
    max_length= str_value.numchars() * collation.collation->mbmaxlen;
  }
unknown's avatar
unknown committed
1922
  void print(String *str);
unknown's avatar
unknown committed
1923 1924
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
1925
  bool check_partition_func_processor(uchar *int_arg) {return FALSE;}
unknown's avatar
unknown committed
1926 1927
};

1928 1929 1930 1931 1932 1933 1934 1935 1936 1937

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)
  {}
1938
  Item *safe_charset_converter(CHARSET_INFO *tocs);
1939
  void print(String *str) { str->append(func_name); }
1940
  bool check_partition_func_processor(uchar *int_arg) {return TRUE;}
1941 1942 1943
};


unknown's avatar
unknown committed
1944
/* for show tables */
1945
class Item_partition_func_safe_string: public Item_string
unknown's avatar
unknown committed
1946 1947
{
public:
1948 1949 1950 1951
  Item_partition_func_safe_string(const char *name, uint length,
                                  CHARSET_INFO *cs= NULL):
    Item_string(name, length, cs)
  {}
unknown's avatar
unknown committed
1952 1953
};

1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977

class Item_return_date_time :public Item_partition_func_safe_string
{
  enum_field_types date_time_field_type;
public:
  Item_return_date_time(const char *name_arg, enum_field_types field_type_arg)
    :Item_partition_func_safe_string(name_arg, 0, &my_charset_bin),
     date_time_field_type(field_type_arg)
  { }
  enum_field_types field_type() const { return date_time_field_type; }
};


class Item_blob :public Item_partition_func_safe_string
{
public:
  Item_blob(const char *name, uint length) :
    Item_partition_func_safe_string(name, length, &my_charset_bin)
  { max_length= length; }
  enum Type type() const { return TYPE_HOLDER; }
  enum_field_types field_type() const { return MYSQL_TYPE_BLOB; }
};


1978 1979 1980 1981 1982 1983
/**
  Item_empty_string -- is a utility class to put an item into List<Item>
  which is then used in protocol.send_fields() when sending SHOW output to
  the client.
*/

1984
class Item_empty_string :public Item_partition_func_safe_string
unknown's avatar
unknown committed
1985 1986
{
public:
1987
  Item_empty_string(const char *header,uint length, CHARSET_INFO *cs= NULL) :
1988
    Item_partition_func_safe_string("",0, cs ? cs : &my_charset_utf8_general_ci)
1989
    { name=(char*) header; max_length= cs ? length * cs->mbmaxlen : length; }
1990
  void make_field(Send_field *field);
unknown's avatar
unknown committed
1991 1992
};

1993

1994 1995 1996 1997
class Item_return_int :public Item_int
{
  enum_field_types int_field_type;
public:
1998
  Item_return_int(const char *name_arg, uint length,
1999 2000
		  enum_field_types field_type_arg, longlong value= 0)
    :Item_int(name_arg, value, length), int_field_type(field_type_arg)
2001 2002 2003 2004 2005 2006 2007
  {
    unsigned_flag=1;
  }
  enum_field_types field_type() const { return int_field_type; }
};


unknown's avatar
unknown committed
2008
class Item_hex_string: public Item
unknown's avatar
unknown committed
2009 2010
{
public:
unknown's avatar
unknown committed
2011 2012
  Item_hex_string(): Item() {}
  Item_hex_string(const char *str,uint str_length);
unknown's avatar
unknown committed
2013
  enum Type type() const { return VARBIN_ITEM; }
2014
  double val_real()
unknown's avatar
unknown committed
2015 2016 2017 2018
  { 
    DBUG_ASSERT(fixed == 1); 
    return (double) (ulonglong) Item_hex_string::val_int();
  }
unknown's avatar
unknown committed
2019
  longlong val_int();
unknown's avatar
unknown committed
2020
  bool basic_const_item() const { return 1; }
2021
  String *val_str(String*) { DBUG_ASSERT(fixed == 1); return &str_value; }
unknown's avatar
unknown committed
2022
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
2023
  int save_in_field(Field *field, bool no_conversions);
2024
  enum Item_result result_type () const { return STRING_RESULT; }
2025
  enum Item_result cast_to_int_type() const { return INT_RESULT; }
2026
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
unknown's avatar
unknown committed
2027 2028
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
2029
  void print(String *str);
2030
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
2031
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
2032
  bool check_partition_func_processor(uchar *int_arg) {return FALSE;}
unknown's avatar
unknown committed
2033 2034 2035
};


unknown's avatar
unknown committed
2036 2037 2038 2039 2040 2041
class Item_bin_string: public Item_hex_string
{
public:
  Item_bin_string(const char *str,uint str_length);
};

unknown's avatar
unknown committed
2042 2043 2044 2045 2046
class Item_result_field :public Item	/* Item with result field */
{
public:
  Field *result_field;				/* Save result here */
  Item_result_field() :result_field(0) {}
2047
  // Constructor used for Item_sum/Item_cond_and/or (see Item comment)
2048 2049
  Item_result_field(THD *thd, Item_result_field *item):
    Item(thd, item), result_field(item->result_field)
2050
  {}
unknown's avatar
unknown committed
2051
  ~Item_result_field() {}			/* Required with gcc 2.95 */
2052
  Field *get_tmp_table_field() { return result_field; }
2053
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
unknown's avatar
unknown committed
2054
  table_map used_tables() const { return 1; }
unknown's avatar
unknown committed
2055
  virtual void fix_length_and_dec()=0;
unknown's avatar
unknown committed
2056 2057 2058 2059 2060 2061
  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);
  }
2062
  void cleanup();
unknown's avatar
unknown committed
2063 2064 2065 2066 2067
};


class Item_ref :public Item_ident
{
2068 2069
protected:
  void set_properties();
unknown's avatar
unknown committed
2070
public:
2071
  enum Ref_Type { REF, DIRECT_REF, VIEW_REF, OUTER_REF };
unknown's avatar
unknown committed
2072
  Field *result_field;			 /* Save result here */
unknown's avatar
unknown committed
2073
  Item **ref;
2074 2075 2076 2077 2078
  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) {}
2079
  /*
2080 2081 2082 2083 2084 2085 2086 2087 2088 2089
    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.
    
2090 2091 2092
    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.
  */
2093
  Item_ref(Name_resolution_context *context_arg, Item **item,
unknown's avatar
unknown committed
2094 2095
           const char *table_name_arg, const char *field_name_arg,
           bool alias_name_used_arg= FALSE);
2096

2097
  /* Constructor need to process subselect with temporary tables (see Item) */
2098 2099
  Item_ref(THD *thd, Item_ref *item)
    :Item_ident(thd, item), result_field(item->result_field), ref(item->ref) {}
unknown's avatar
unknown committed
2100
  enum Type type() const		{ return REF_ITEM; }
2101
  bool eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
2102 2103 2104 2105
  { 
    Item *it= ((Item *) item)->real_item();
    return ref && (*ref)->eq(it, binary_cmp);
  }
unknown's avatar
unknown committed
2106 2107 2108 2109 2110 2111
  double val_real();
  longlong val_int();
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
  String *val_str(String* tmp);
  bool is_null();
2112
  bool get_date(MYSQL_TIME *ltime,uint fuzzydate);
2113 2114 2115
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
unknown's avatar
unknown committed
2116 2117
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
2118
  bool send(Protocol *prot, String *tmp);
2119 2120
  void make_field(Send_field *field);
  bool fix_fields(THD *, Item **);
2121
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
2122
  void save_org_in_field(Field *field);
unknown's avatar
unknown committed
2123
  enum Item_result result_type () const { return (*ref)->result_type(); }
2124
  enum_field_types field_type() const   { return (*ref)->field_type(); }
unknown's avatar
unknown committed
2125 2126
  Field *get_tmp_table_field()
  { return result_field ? result_field : (*ref)->get_tmp_table_field(); }
unknown's avatar
unknown committed
2127
  Item *get_tmp_table_item(THD *thd);
2128
  table_map used_tables() const		
2129
  {
2130 2131
    return depended_from ? OUTER_REF_TABLE_BIT : (*ref)->used_tables(); 
  }
unknown's avatar
unknown committed
2132 2133 2134 2135 2136
  void update_used_tables() 
  { 
    if (!depended_from) 
      (*ref)->update_used_tables(); 
  }
2137
  table_map not_null_tables() const { return (*ref)->not_null_tables(); }
2138
  void set_result_field(Field *field)	{ result_field= field; }
unknown's avatar
unknown committed
2139 2140 2141 2142 2143
  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
2144 2145
  Item *real_item()
  {
unknown's avatar
unknown committed
2146
    return ref ? (*ref)->real_item() : this;
2147
  }
2148
  bool walk(Item_processor processor, bool walk_subquery, uchar *arg)
2149
  { return (*ref)->walk(processor, walk_subquery, arg); }
unknown's avatar
unknown committed
2150
  void print(String *str);
2151 2152 2153 2154
  bool result_as_longlong()
  {
    return (*ref)->result_as_longlong();
  }
unknown's avatar
unknown committed
2155
  void cleanup();
2156 2157
  Item_field *filed_for_view_update()
    { return (*ref)->filed_for_view_update(); }
2158
  virtual Ref_Type ref_type() { return REF; }
unknown's avatar
unknown committed
2159 2160
};

2161

unknown's avatar
unknown committed
2162 2163 2164 2165
/*
  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.
*/
2166 2167 2168
class Item_direct_ref :public Item_ref
{
public:
2169 2170
  Item_direct_ref(Name_resolution_context *context_arg, Item **item,
                  const char *table_name_arg,
unknown's avatar
unknown committed
2171 2172 2173 2174 2175
                  const char *field_name_arg,
                  bool alias_name_used_arg= FALSE)
    :Item_ref(context_arg, item, table_name_arg,
              field_name_arg, alias_name_used_arg)
  {}
2176 2177
  /* Constructor need to process subselect with temporary tables (see Item) */
  Item_direct_ref(THD *thd, Item_direct_ref *item) : Item_ref(thd, item) {}
2178

unknown's avatar
unknown committed
2179 2180 2181 2182 2183 2184
  double val_real();
  longlong val_int();
  String *val_str(String* tmp);
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
  bool is_null();
2185
  bool get_date(MYSQL_TIME *ltime,uint fuzzydate);
2186
  virtual Ref_Type ref_type() { return DIRECT_REF; }
2187 2188
};

2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204
/*
  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 **);
2205
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
2206 2207 2208 2209 2210 2211
  Item *get_tmp_table_item(THD *thd)
  {
    Item *item= Item_ref::get_tmp_table_item(thd);
    item->name= name;
    return item;
  }
2212
  virtual Ref_Type ref_type() { return VIEW_REF; }
2213 2214
};

2215

2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226
/*
  Class for outer fields.
  An object of this class is created when the select where the outer field was
  resolved is a grouping one. After it has been fixed the ref field will point
  to either an Item_ref or an Item_direct_ref object which will be used to
  access the field.
  See also comments for the fix_inner_refs() and the
  Item_field::fix_outer_field() functions.
*/

class Item_sum;
2227 2228 2229
class Item_outer_ref :public Item_direct_ref
{
public:
2230 2231 2232 2233 2234 2235 2236 2237
  Item *outer_ref;
  /* The aggregate function under which this outer ref is used, if any. */
  Item_sum *in_sum_func;
  /*
    TRUE <=> that the outer_ref is already present in the select list
    of the outer select.
  */
  bool found_in_select_list;
2238 2239 2240
  Item_outer_ref(Name_resolution_context *context_arg,
                 Item_field *outer_field_arg)
    :Item_direct_ref(context_arg, 0, outer_field_arg->table_name,
2241 2242 2243
                     outer_field_arg->field_name),
    outer_ref(outer_field_arg), in_sum_func(0),
    found_in_select_list(0)
2244
  {
2245
    ref= &outer_ref;
2246 2247 2248
    set_properties();
    fixed= 0;
  }
2249 2250 2251 2252 2253 2254 2255
  Item_outer_ref(Name_resolution_context *context_arg, Item **item,
                 const char *table_name_arg, const char *field_name_arg,
                 bool alias_name_used_arg)
    :Item_direct_ref(context_arg, item, table_name_arg, field_name_arg,
                     alias_name_used_arg),
    outer_ref(0), in_sum_func(0), found_in_select_list(1)
  {}
2256 2257
  void save_in_result_field(bool no_conversions)
  {
2258
    outer_ref->save_org_in_field(result_field);
2259 2260 2261 2262 2263 2264 2265 2266 2267 2268
  }
  bool fix_fields(THD *, Item **);
  table_map used_tables() const
  {
    return (*ref)->const_item() ? 0 : OUTER_REF_TABLE_BIT;
  }
  virtual Ref_Type ref_type() { return OUTER_REF; }
};


2269
class Item_in_subselect;
2270

2271 2272 2273 2274 2275 2276 2277 2278 2279 2280

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

2281 2282 2283 2284 2285
class Item_ref_null_helper: public Item_ref
{
protected:
  Item_in_subselect* owner;
public:
2286 2287 2288 2289 2290
  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) {}
2291
  double val_real();
2292 2293
  longlong val_int();
  String* val_str(String* s);
unknown's avatar
unknown committed
2294 2295
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
2296
  bool get_date(MYSQL_TIME *ltime, uint fuzzydate);
unknown's avatar
unknown committed
2297
  void print(String *str);
2298 2299 2300 2301 2302 2303 2304 2305 2306
  /*
    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);
  }
2307 2308
};

2309
/*
2310
  The following class is used to optimize comparing of date and bigint columns
2311 2312 2313 2314 2315
  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.
  
2316 2317 2318 2319 2320 2321
*/

class Item_int_with_ref :public Item_int
{
  Item *ref;
public:
unknown's avatar
unknown committed
2322 2323
  Item_int_with_ref(longlong i, Item *ref_arg, my_bool unsigned_arg) :
    Item_int(i), ref(ref_arg)
2324
  {
unknown's avatar
unknown committed
2325
    unsigned_flag= unsigned_arg;
2326
  }
unknown's avatar
unknown committed
2327
  int save_in_field(Field *field, bool no_conversions)
2328
  {
2329
    return ref->save_in_field(field, no_conversions);
2330
  }
2331
  Item *clone_item();
2332
  virtual Item *real_item() { return ref; }
2333 2334
};

2335
#ifdef MYSQL_SERVER
2336
#include "gstream.h"
unknown's avatar
unknown committed
2337
#include "spatial.h"
unknown's avatar
unknown committed
2338 2339
#include "item_sum.h"
#include "item_func.h"
2340
#include "item_row.h"
unknown's avatar
unknown committed
2341 2342
#include "item_cmpfunc.h"
#include "item_strfunc.h"
2343
#include "item_geofunc.h"
unknown's avatar
unknown committed
2344
#include "item_timefunc.h"
2345
#include "item_subselect.h"
2346
#include "item_xmlfunc.h"
2347
#endif
unknown's avatar
unknown committed
2348 2349 2350

class Item_copy_string :public Item
{
2351
  enum enum_field_types cached_field_type;
unknown's avatar
unknown committed
2352 2353 2354 2355 2356 2357 2358 2359
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;
2360
    cached_field_type= item->field_type();
unknown's avatar
unknown committed
2361 2362 2363
  }
  enum Type type() const { return COPY_STR_ITEM; }
  enum Item_result result_type () const { return STRING_RESULT; }
2364
  enum_field_types field_type() const { return cached_field_type; }
2365
  double val_real()
2366
  {
unknown's avatar
unknown committed
2367 2368
    int err_not_used;
    char *end_not_used;
2369 2370
    return (null_value ? 0.0 :
	    my_strntod(str_value.charset(), (char*) str_value.ptr(),
unknown's avatar
unknown committed
2371
		       str_value.length(), &end_not_used, &err_not_used));
2372
  }
unknown's avatar
unknown committed
2373
  longlong val_int()
unknown's avatar
unknown committed
2374
  {
2375
    int err;
unknown's avatar
unknown committed
2376 2377 2378
    return null_value ? LL(0) : my_strntoll(str_value.charset(),str_value.ptr(),
                                            str_value.length(),10, (char**) 0,
                                            &err); 
2379
  }
unknown's avatar
unknown committed
2380
  String *val_str(String*);
unknown's avatar
unknown committed
2381
  my_decimal *val_decimal(my_decimal *);
unknown's avatar
unknown committed
2382 2383
  void make_field(Send_field *field) { item->make_field(field); }
  void copy();
2384 2385 2386 2387
  int save_in_field(Field *field, bool no_conversions)
  {
    return save_str_value_in_field(field, &str_value);
  }
unknown's avatar
unknown committed
2388 2389
  table_map used_tables() const { return (table_map) 1L; }
  bool const_item() const { return 0; }
unknown's avatar
unknown committed
2390
  bool is_null() { return null_value; }
unknown's avatar
unknown committed
2391 2392 2393
};


unknown's avatar
unknown committed
2394
class Cached_item :public Sql_alloc
unknown's avatar
unknown committed
2395 2396 2397
{
public:
  my_bool null_value;
unknown's avatar
unknown committed
2398
  Cached_item() :null_value(0) {}
unknown's avatar
unknown committed
2399
  virtual bool cmp(void)=0;
unknown's avatar
unknown committed
2400
  virtual ~Cached_item(); /*line -e1509 */
unknown's avatar
unknown committed
2401 2402
};

unknown's avatar
unknown committed
2403
class Cached_item_str :public Cached_item
unknown's avatar
unknown committed
2404 2405 2406 2407
{
  Item *item;
  String value,tmp_value;
public:
unknown's avatar
unknown committed
2408
  Cached_item_str(THD *thd, Item *arg);
unknown's avatar
unknown committed
2409
  bool cmp(void);
unknown's avatar
unknown committed
2410
  ~Cached_item_str();                           // Deallocate String:s
unknown's avatar
unknown committed
2411 2412 2413
};


unknown's avatar
unknown committed
2414
class Cached_item_real :public Cached_item
unknown's avatar
unknown committed
2415 2416 2417 2418
{
  Item *item;
  double value;
public:
unknown's avatar
unknown committed
2419
  Cached_item_real(Item *item_par) :item(item_par),value(0.0) {}
unknown's avatar
unknown committed
2420 2421 2422
  bool cmp(void);
};

unknown's avatar
unknown committed
2423
class Cached_item_int :public Cached_item
unknown's avatar
unknown committed
2424 2425 2426 2427
{
  Item *item;
  longlong value;
public:
unknown's avatar
unknown committed
2428
  Cached_item_int(Item *item_par) :item(item_par),value(0) {}
unknown's avatar
unknown committed
2429 2430 2431 2432
  bool cmp(void);
};


unknown's avatar
unknown committed
2433
class Cached_item_decimal :public Cached_item
unknown's avatar
unknown committed
2434 2435 2436 2437
{
  Item *item;
  my_decimal value;
public:
unknown's avatar
unknown committed
2438
  Cached_item_decimal(Item *item_par);
unknown's avatar
unknown committed
2439 2440 2441
  bool cmp(void);
};

unknown's avatar
unknown committed
2442
class Cached_item_field :public Cached_item
unknown's avatar
unknown committed
2443
{
2444
  uchar *buff;
unknown's avatar
unknown committed
2445 2446 2447 2448
  Field *field;
  uint length;

public:
unknown's avatar
unknown committed
2449
  Cached_item_field(Item_field *item)
unknown's avatar
unknown committed
2450
  {
unknown's avatar
unknown committed
2451
    field= item->field;
2452
    buff= (uchar*) sql_calloc(length=field->pack_length());
unknown's avatar
unknown committed
2453 2454 2455 2456
  }
  bool cmp(void);
};

unknown's avatar
SCRUM  
unknown committed
2457 2458 2459 2460
class Item_default_value : public Item_field
{
public:
  Item *arg;
2461 2462 2463 2464 2465 2466 2467 2468
  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
2469
  enum Type type() const { return DEFAULT_VALUE_ITEM; }
unknown's avatar
SCRUM  
unknown committed
2470
  bool eq(const Item *item, bool binary_cmp) const;
2471
  bool fix_fields(THD *, Item **);
unknown's avatar
SCRUM  
unknown committed
2472
  void print(String *str);
2473
  int save_in_field(Field *field_arg, bool no_conversions);
unknown's avatar
SCRUM  
unknown committed
2474
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
2475

2476
  bool walk(Item_processor processor, bool walk_subquery, uchar *args)
unknown's avatar
unknown committed
2477
  {
2478
    return arg->walk(processor, walk_subquery, args) ||
unknown's avatar
unknown committed
2479 2480
      (this->*processor)(args);
  }
2481

2482
  Item *transform(Item_transformer transformer, uchar *args);
unknown's avatar
unknown committed
2483
};
unknown's avatar
unknown committed
2484

2485 2486 2487 2488 2489 2490 2491 2492 2493 2494
/*
  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
2495 2496 2497 2498
class Item_insert_value : public Item_field
{
public:
  Item *arg;
2499 2500 2501 2502
  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
2503
  bool eq(const Item *item, bool binary_cmp) const;
2504
  bool fix_fields(THD *, Item **);
unknown's avatar
unknown committed
2505
  void print(String *str);
2506
  int save_in_field(Field *field_arg, bool no_conversions)
unknown's avatar
unknown committed
2507
  {
2508
    return Item_field::save_in_field(field_arg, no_conversions);
unknown's avatar
unknown committed
2509
  }
2510 2511 2512 2513 2514
  /* 
   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
2515

2516
  bool walk(Item_processor processor, bool walk_subquery, uchar *args)
unknown's avatar
unknown committed
2517
  {
2518
    return arg->walk(processor, walk_subquery, args) ||
unknown's avatar
unknown committed
2519 2520
	    (this->*processor)(args);
  }
unknown's avatar
unknown committed
2521 2522
};

2523 2524 2525 2526 2527 2528 2529 2530 2531 2532

/*
  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
{
2533
  TRG_ACTION_BEFORE= 0, TRG_ACTION_AFTER= 1, TRG_ACTION_MAX
2534 2535
};

unknown's avatar
unknown committed
2536 2537
class Table_triggers_list;

2538 2539 2540 2541
/*
  Represents NEW/OLD version of field of row which is
  changed/read in trigger.

unknown's avatar
unknown committed
2542 2543 2544 2545 2546 2547
  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.
2548
*/
2549 2550
class Item_trigger_field : public Item_field,
                           private Settable_routine_parameter
2551 2552 2553 2554 2555
{
public:
  /* Is this item represents row from NEW or OLD row ? */
  enum row_version_type {OLD_ROW, NEW_ROW};
  row_version_type row_version;
2556 2557
  /* Next in list of all Item_trigger_field's in trigger */
  Item_trigger_field *next_trg_field;
unknown's avatar
unknown committed
2558 2559 2560 2561
  /* 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;
2562

2563 2564
  Item_trigger_field(Name_resolution_context *context_arg,
                     row_version_type row_ver_arg,
unknown's avatar
unknown committed
2565
                     const char *field_name_arg,
2566
                     ulong priv, const bool ro)
2567 2568
    :Item_field(context_arg,
               (const char *)NULL, (const char *)NULL, field_name_arg),
2569 2570
     row_version(row_ver_arg), field_idx((uint)-1), original_privilege(priv),
     want_privilege(priv), table_grants(NULL), read_only (ro)
2571
  {}
unknown's avatar
unknown committed
2572
  void setup_field(THD *thd, TABLE *table, GRANT_INFO *table_grant_info);
2573 2574
  enum Type type() const { return TRIGGER_FIELD_ITEM; }
  bool eq(const Item *item, bool binary_cmp) const;
2575
  bool fix_fields(THD *, Item **);
2576 2577
  void print(String *str);
  table_map used_tables() const { return (table_map)0L; }
2578 2579 2580
  Field *get_tmp_table_field() { return 0; }
  Item *copy_or_same(THD *thd) { return this; }
  Item *get_tmp_table_item(THD *thd) { return copy_or_same(thd); }
2581
  void cleanup();
unknown's avatar
unknown committed
2582 2583

private:
2584
  void set_required_privilege(bool rw);
2585
  bool set_value(THD *thd, sp_rcontext *ctx, Item **it);
2586 2587 2588 2589 2590 2591 2592

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

2593
  bool set_value(THD *thd, Item **it)
2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610
  {
    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
2611
  GRANT_INFO *table_grants;
2612 2613 2614 2615 2616
  /*
    Trigger field is read-only unless it belongs to the NEW row in a
    BEFORE INSERT of BEFORE UPDATE trigger.
  */
  bool read_only;
2617 2618 2619
};


2620 2621
class Item_cache: public Item
{
unknown's avatar
unknown committed
2622 2623
protected:
  Item *example;
2624
  table_map used_table_map;
2625 2626 2627 2628 2629 2630 2631
  /*
    Field that this object will get value from. This is set/used by 
    index-based subquery engines to detect and remove the equality injected 
    by IN->EXISTS transformation.
    For all other uses of Item_cache, cached_field doesn't matter.
  */  
  Field *cached_field;
2632
  enum enum_field_types cached_field_type;
2633
public:
2634
  Item_cache(): 
2635
    example(0), used_table_map(0), cached_field(0), cached_field_type(MYSQL_TYPE_STRING) 
2636 2637 2638 2639 2640
  {
    fixed= 1; 
    null_value= 1;
  }
  Item_cache(enum_field_types field_type_arg):
2641
    example(0), used_table_map(0), cached_field(0), cached_field_type(field_type_arg)
2642 2643 2644 2645
  {
    fixed= 1;
    null_value= 1;
  }
2646 2647 2648

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

unknown's avatar
unknown committed
2649
  virtual bool allocate(uint i) { return 0; }
2650
  virtual bool setup(Item *item)
2651
  {
2652 2653 2654 2655
    example= item;
    max_length= item->max_length;
    decimals= item->decimals;
    collation.set(item->collation);
2656
    unsigned_flag= item->unsigned_flag;
2657 2658
    if (item->type() == FIELD_ITEM)
      cached_field= ((Item_field *)item)->field;
2659 2660
    return 0;
  };
2661 2662
  virtual void store(Item *)= 0;
  enum Type type() const { return CACHE_ITEM; }
2663
  enum_field_types field_type() const { return cached_field_type; }
2664
  static Item_cache* get_cache(const Item *item);
2665
  table_map used_tables() const { return used_table_map; }
2666
  virtual void keep_array() {}
2667
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
2668
  void cleanup() {}
unknown's avatar
unknown committed
2669
  void print(String *str);
2670 2671 2672 2673 2674 2675 2676 2677
  bool eq_def(Field *field) 
  { 
    return cached_field ? cached_field->eq_def (field) : FALSE;
  }
  bool eq(const Item *item, bool binary_cmp) const
  {
    return this == item;
  }
2678 2679
};

unknown's avatar
unknown committed
2680

2681 2682
class Item_cache_int: public Item_cache
{
unknown's avatar
unknown committed
2683
protected:
2684 2685
  longlong value;
public:
2686
  Item_cache_int(): Item_cache(), value(0) {}
2687 2688
  Item_cache_int(enum_field_types field_type_arg):
    Item_cache(field_type_arg), value(0) {}
unknown's avatar
unknown committed
2689

unknown's avatar
unknown committed
2690
  void store(Item *item);
2691
  void store(Item *item, longlong val_arg);
2692
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
2693
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2694 2695
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
2696
  enum Item_result result_type() const { return INT_RESULT; }
2697
  bool result_as_longlong() { return TRUE; }
2698 2699
};

unknown's avatar
unknown committed
2700

2701 2702 2703 2704
class Item_cache_real: public Item_cache
{
  double value;
public:
2705
  Item_cache_real(): Item_cache(), value(0) {}
2706

unknown's avatar
unknown committed
2707
  void store(Item *item);
2708
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2709 2710 2711
  longlong val_int();
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
2712 2713 2714
  enum Item_result result_type() const { return REAL_RESULT; }
};

unknown's avatar
unknown committed
2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727 2728 2729 2730 2731

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


2732 2733
class Item_cache_str: public Item_cache
{
unknown's avatar
unknown committed
2734
  char buffer[STRING_BUFFER_USUAL_SIZE];
2735
  String *value, value_buff;
2736 2737
  bool is_varbinary;
  
2738
public:
2739 2740 2741 2742 2743 2744 2745
  Item_cache_str(const Item *item) :
    Item_cache(), value(0),
    is_varbinary(item->type() == FIELD_ITEM &&
                 ((const Item_field *) item)->field->type() ==
                   MYSQL_TYPE_VARCHAR &&
                 !((const Item_field *) item)->field->has_charset())
  {}
2746
  void store(Item *item);
2747
  double val_real();
2748
  longlong val_int();
2749
  String* val_str(String *) { DBUG_ASSERT(fixed == 1); return value; }
unknown's avatar
unknown committed
2750
  my_decimal *val_decimal(my_decimal *);
2751 2752
  enum Item_result result_type() const { return STRING_RESULT; }
  CHARSET_INFO *charset() const { return value->charset(); };
2753
  int save_in_field(Field *field, bool no_conversions);
2754 2755
};

unknown's avatar
unknown committed
2756 2757 2758
class Item_cache_row: public Item_cache
{
  Item_cache  **values;
unknown's avatar
unknown committed
2759
  uint item_count;
2760
  bool save_array;
unknown's avatar
unknown committed
2761
public:
2762 2763
  Item_cache_row()
    :Item_cache(), values(0), item_count(2), save_array(0) {}
unknown's avatar
unknown committed
2764 2765 2766 2767 2768 2769 2770 2771 2772 2773 2774 2775 2776 2777 2778 2779 2780
  
  /*
    '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");
  };
2781
  double val_real()
unknown's avatar
unknown committed
2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795
  {
    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
2796 2797 2798 2799 2800 2801
  my_decimal *val_decimal(my_decimal *val)
  {
    illegal_method_call((const char*)"val_decimal");
    return 0;
  };

unknown's avatar
unknown committed
2802 2803
  enum Item_result result_type() const { return ROW_RESULT; }
  
unknown's avatar
unknown committed
2804
  uint cols() { return item_count; }
2805 2806
  Item *element_index(uint i) { return values[i]; }
  Item **addr(uint i) { return (Item **) (values + i); }
unknown's avatar
unknown committed
2807 2808 2809
  bool check_cols(uint c);
  bool null_inside();
  void bring_value();
2810
  void keep_array() { save_array= 1; }
unknown's avatar
unknown committed
2811 2812
  void cleanup()
  {
unknown's avatar
unknown committed
2813
    DBUG_ENTER("Item_cache_row::cleanup");
unknown's avatar
unknown committed
2814
    Item_cache::cleanup();
2815 2816 2817 2818
    if (save_array)
      bzero(values, item_count*sizeof(Item**));
    else
      values= 0;
unknown's avatar
unknown committed
2819
    DBUG_VOID_RETURN;
unknown's avatar
unknown committed
2820
  }
unknown's avatar
unknown committed
2821 2822
};

2823 2824

/*
2825 2826 2827 2828 2829
  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.
2830 2831 2832 2833
*/
class Item_type_holder: public Item
{
protected:
2834 2835
  TYPELIB *enum_set_typelib;
  enum_field_types fld_type;
2836
  Field::geometry_type geometry_type;
2837 2838

  void get_full_info(Item *item);
unknown's avatar
unknown committed
2839 2840 2841

  /* It is used to count decimal precision in join_types */
  int prev_decimal_int_part;
2842
public:
2843
  Item_type_holder(THD*, Item*);
2844

2845
  Item_result result_type() const;
2846
  enum_field_types field_type() const { return fld_type; };
2847
  enum Type type() const { return TYPE_HOLDER; }
2848
  double val_real();
2849
  longlong val_int();
unknown's avatar
unknown committed
2850
  my_decimal *val_decimal(my_decimal *);
2851
  String *val_str(String*);
2852 2853 2854 2855
  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 *);
2856
  Field::geometry_type get_geometry_type() const { return geometry_type; };
2857 2858
};

2859

2860 2861 2862
class st_select_lex;
void mark_select_range_as_dependent(THD *thd,
                                    st_select_lex *last_select,
unknown's avatar
unknown committed
2863
                                    st_select_lex *current_sel,
2864 2865
                                    Field *found_field, Item *found_item,
                                    Item_ident *resolved_item);
2866

unknown's avatar
unknown committed
2867
extern Cached_item *new_Cached_item(THD *thd, Item *item);
unknown's avatar
unknown committed
2868
extern Item_result item_cmp_type(Item_result a,Item_result b);
2869
extern void resolve_const_item(THD *thd, Item **ref, Item *cmp_item);
unknown's avatar
unknown committed
2870
extern bool field_is_equal_to_item(Field *field,Item *item);