item.h 64.5 KB
Newer Older
1
/* Copyright (C) 2000-2003 MySQL AB & MySQL Finland AB & TCX DataKonsult AB
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
2

bk@work.mysql.com's avatar
bk@work.mysql.com committed
3 4 5 6
   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2 of the License, or
   (at your option) any later version.
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
7

bk@work.mysql.com's avatar
bk@work.mysql.com committed
8 9 10 11
   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
12

bk@work.mysql.com's avatar
bk@work.mysql.com committed
13 14 15 16 17
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA */


18
#ifdef USE_PRAGMA_INTERFACE
bk@work.mysql.com's avatar
bk@work.mysql.com committed
19 20 21
#pragma interface			/* gcc class implementation */
#endif

22
class Protocol;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
23
struct st_table_list;
24
void item_init(void);			/* Init item functions */
25
class Item_field;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
26

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

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

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

#define MY_COLL_ALLOW_SUPERSET_CONV   1
#define MY_COLL_ALLOW_COERCIBLE_CONV  2
bar@mysql.com's avatar
bar@mysql.com committed
57 58 59
#define MY_COLL_ALLOW_CONV            3
#define MY_COLL_DISALLOW_NONE         4
#define MY_COLL_CMP_CONV              7
60

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

108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219

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

struct Hybrid_type_traits;

struct Hybrid_type
{
  longlong integer;

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

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

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


/* Hybryd_type_traits interface + default implementation for REAL_RESULT */

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

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

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

  virtual longlong val_int(Hybrid_type *val, bool unsigned_flag) const
  { return (longlong) val->real; }
  virtual double val_real(Hybrid_type *val) const { return val->real; }
  virtual my_decimal *val_decimal(Hybrid_type *val, my_decimal *buf) const;
  virtual String *val_str(Hybrid_type *val, String *buf, uint8 decimals) const;
  static const Hybrid_type_traits *instance();
};


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


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

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

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

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

220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310

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.
*/
struct Name_resolution_context
{
  /*
    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;

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

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

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

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

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

  void init()
  {
    resolve_in_select_list= FALSE;
    error_processor= &dummy_error_processor;
  }

  void resolve_in_table_list_only(TABLE_LIST *tables)
  {
    table_list= tables;
    resolve_in_select_list= FALSE;
  }

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


311 312
/*************************************************************************/

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
313
typedef bool (Item::*Item_processor)(byte *arg);
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
314
typedef Item* (Item::*Item_transformer) (byte *arg);
315
typedef void (*Cond_traverser) (const Item *item, void *arg);
316

317

bk@work.mysql.com's avatar
bk@work.mysql.com committed
318
class Item {
319
  Item(const Item &);			/* Prevent use of these */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
320 321
  void operator=(Item &);
public:
322 323
  static void *operator new(size_t size)
  { return (void*) sql_alloc((uint) size); }
324
  static void *operator new(size_t size, MEM_ROOT *mem_root)
325
  { return (void*) alloc_root(mem_root, (uint) size); }
326
  /* Special for SP local variable assignment - reusing slots */
327
  static void *operator new(size_t size, Item *reuse, uint *rsize);
328
  static void operator delete(void *ptr,size_t size) { TRASH(ptr, size); }
329
  static void operator delete(void *ptr, MEM_ROOT *mem_root) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
330

331
  enum Type {FIELD_ITEM= 0, FUNC_ITEM, SUM_FUNC_ITEM, STRING_ITEM,
332
	     INT_ITEM, REAL_ITEM, NULL_ITEM, VARBIN_ITEM,
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
333
	     COPY_STR_ITEM, FIELD_AVG_ITEM, DEFAULT_VALUE_ITEM,
334 335
	     PROC_ITEM,COND_ITEM, REF_ITEM, FIELD_STD_ITEM,
	     FIELD_VARIANCE_ITEM, INSERT_VALUE_ITEM,
336
             SUBSELECT_ITEM, ROW_ITEM, CACHE_ITEM, TYPE_HOLDER,
337 338
             PARAM_ITEM, TRIGGER_FIELD_ITEM, DECIMAL_ITEM,
             VIEW_FIXER_ITEM};
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
339

bk@work.mysql.com's avatar
bk@work.mysql.com committed
340
  enum cond_result { COND_UNDEF,COND_OK,COND_TRUE,COND_FALSE };
341 342

  enum traverse_order { POSTFIX, PREFIX };
343
  
344 345 346
  /* Reuse size, only used by SP local variable assignment, otherwize 0 */
  uint rsize;

monty@mysql.com's avatar
monty@mysql.com committed
347 348 349 350 351
  /*
    str_values's main purpose is to be used to cache the value in
    save_in_field
  */
  String str_value;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
352
  my_string name;			/* Name from select */
353 354
  /* Original item name (if it was renamed)*/
  my_string orig_name;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
355 356
  Item *next;
  uint32 max_length;
357
  uint name_length;                     /* Length of name */
358
  uint8 marker, decimals;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
359 360
  my_bool maybe_null;			/* If item may be null */
  my_bool null_value;			/* if item is null */
361
  my_bool unsigned_flag;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
362
  my_bool with_sum_func;
363
  my_bool fixed;                        /* If item fixed with fix_fields */
364 365
  my_bool is_autogenerated_name;        /* indicate was name of this Item
                                           autogenerated or set by user */
366
  DTCollation collation;
367

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

441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497
    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)
498
  */
499
  virtual bool val_bool();
500 501 502 503 504 505 506 507 508 509
  /* Helper functions, see item_sum.cc */
  String *val_string_from_real(String *str);
  String *val_string_from_int(String *str);
  String *val_string_from_decimal(String *str);
  my_decimal *val_decimal_from_real(my_decimal *decimal_value);
  my_decimal *val_decimal_from_int(my_decimal *decimal_value);
  my_decimal *val_decimal_from_string(my_decimal *decimal_value);
  longlong val_int_from_decimal();
  double val_real_from_decimal();

510
  virtual Field *get_tmp_table_field() { return 0; }
511
  virtual Field *tmp_table_field(TABLE *t_arg) { return 0; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
512
  virtual const char *full_name() const { return name ? name : "???"; }
513 514 515 516 517 518 519

  /*
    *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.
  */
520
  virtual double  val_result() { return val_real(); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
521 522
  virtual longlong val_int_result() { return val_int(); }
  virtual String *str_result(String* tmp) { return val_str(tmp); }
523 524 525 526
  virtual my_decimal *val_decimal_result(my_decimal *val)
  { return val_decimal(val); }
  virtual bool val_bool_result() { return val_bool(); }

527
  /* bit map of tables used by item */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
528
  virtual table_map used_tables() const { return (table_map) 0L; }
529 530 531 532 533 534 535 536 537 538 539 540 541 542
  /*
    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
543
    a constant expression. Used in the optimizer to propagate basic constants.
544
  */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
545
  virtual bool basic_const_item() const { return 0; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
546 547
  /* cloning of constant items (0 if it is not const) */
  virtual Item *new_item() { return 0; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
548 549 550
  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;}
551 552 553
  virtual uint decimal_precision() const;
  inline int decimal_int_part() const
  { return my_decimal_int_part(decimal_precision(), decimals); }
554 555 556 557
  /* 
    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.
  */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
558
  virtual bool const_item() const { return used_tables() == 0; }
559 560 561 562 563 564
  /* 
    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; }
565 566 567 568 569 570 571 572 573 574 575 576
  /*
    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.
  */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
577
  virtual void print(String *str_arg) { str_arg->append(full_name()); }
578
  void print_item_w_name(String *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
579
  virtual void update_used_tables() {}
580 581
  virtual void split_sum_func(THD *thd, Item **ref_pointer_array,
                              List<Item> &fields) {}
582 583 584
  /* Called for items that really have to be split */
  void split_sum_func2(THD *thd, Item **ref_pointer_array, List<Item> &fields,
                       Item **ref);
585
  virtual bool get_date(TIME *ltime,uint fuzzydate);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
586
  virtual bool get_time(TIME *ltime);
587
  virtual bool get_date_result(TIME *ltime,uint fuzzydate)
588
  { return get_date(ltime,fuzzydate); }
589 590 591 592 593 594 595 596
  /*
    This function is used only in Item_func_isnull/Item_func_isnotnull
    (implementations of IS NULL/IS NOT NULL clauses). Item_func_is{not}null
    calls this method instead of one of val/result*() methods, which
    normally will set null_value. This allows to determine nullness of
    a complex expression without fully evaluating it.
    Any new item which can be NULL must implement this call.
  */
597
  virtual bool is_null() { return 0; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
598 599 600 601
  /*
    it is "top level" item of WHERE clause and we do not need correct NULL
    handling
  */
602
  virtual void top_level_item() {}
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
603 604
  /*
    set field of temporary table for Item which can be switched on temporary
605
    table during query processing (grouping and so on)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
606
  */
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
607 608
  virtual void set_result_field(Field *field) {}
  virtual bool is_result_field() { return 0; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
609
  virtual bool is_bool_func() { return 0; }
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
610
  virtual void save_in_result_field(bool no_conversions) {}
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
611
  /*
612
    set value of aggregate function in case of no rows for grouping were found
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
613
  */
614
  virtual void no_rows_in_result() {}
615
  virtual Item *copy_or_same(THD *thd) { return this; }
616
  virtual Item *copy_andor_structure(THD *thd) { return this; }
617
  virtual Item *real_item() { return this; }
618
  virtual Item *get_tmp_table_item(THD *thd) { return copy_or_same(thd); }
619

620
  static CHARSET_INFO *default_charset();
621
  virtual CHARSET_INFO *compare_collation() { return NULL; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
622 623 624 625 626 627

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

628
  virtual Item* transform(Item_transformer transformer, byte *arg)
629
  {
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
630
    return (this->*transformer)(arg);
631
  }
632

633 634
   virtual void traverse_cond(Cond_traverser traverser,
                              void *arg, traverse_order order)
635 636 637
   {
     (*traverser)(this, arg);
   }
638

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
639
  virtual bool remove_dependence_processor(byte * arg) { return 0; }
640
  virtual bool remove_fixed(byte * arg) { fixed= 0; return 0; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
641
  virtual bool cleanup_processor(byte *arg);
642
  virtual bool collect_item_field_processor(byte * arg) { return 0; }
643
  virtual bool change_context_processor(byte *context) { return 0; }
644
  virtual bool reset_query_id_processor(byte *query_id) { return 0; }
645

646
  virtual Item *equal_fields_propagator(byte * arg) { return this; }
monty@mysql.com's avatar
monty@mysql.com committed
647
  virtual Item *set_no_const_sub(byte *arg) { return this; }
648
  virtual Item *replace_equal_field(byte * arg) { return this; }
649 650 651 652 653 654 655 656 657 658 659

  /*
    For SP local variable returns pointer to Item representing its
    current value and pointer to current Item otherwise.
  */
  virtual Item *this_item() { return this; }
  /*
    For SP local variable returns address of pointer to Item representing its
    current value and pointer passed via parameter otherwise.
  */
  virtual Item **this_item_addr(THD *thd, Item **addr) { return addr; }
660
  virtual Item *this_const_item() const { return const_cast<Item*>(this); } /* For SPs mostly. */
661 662 663 664

  // Row emulation
  virtual uint cols() { return 1; }
  virtual Item* el(uint i) { return this; }
665
  virtual Item** addr(uint i) { return 0; }
666
  virtual bool check_cols(uint c);
667
  // It is not row => null inside is impossible
668 669 670
  virtual bool null_inside() { return 0; }
  // used in row subselects to get value of elements
  virtual void bring_value() {}
671 672

  Field *tmp_table_field_from_field_type(TABLE *table);
673
  virtual Item_field *filed_for_view_update() { return 0; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
674

675
  virtual Item *neg_transformer(THD *thd) { return NULL; }
bar@mysql.com's avatar
bar@mysql.com committed
676
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
677 678 679 680
  void delete_self()
  {
    cleanup();
    delete this;
pem@mysql.comhem.se's avatar
pem@mysql.comhem.se committed
681
  }
682 683

  virtual bool is_splocal() { return 0; } /* Needed for error checking */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
684 685 686
};


687 688 689 690 691 692
// A local SP variable (incl. parameters), used in runtime
class Item_splocal : public Item
{
private:
  
  uint m_offset;
693
  LEX_STRING m_name;
694 695 696

public:

697 698
  Item_splocal(LEX_STRING name, uint offset)
    : m_offset(offset), m_name(name)
699 700 701
  {
    Item::maybe_null= TRUE;
  }
702

703
  /* For error printing */
704
  inline LEX_STRING *my_name(LEX_STRING *get_name)
705
  {
706 707 708 709
    if (!get_name)
      return &m_name;
    (*get_name)= m_name;
    return get_name;
710 711
  }

712 713
  bool is_splocal() { return 1; } /* Needed for error checking */

714
  Item *this_item();
715
  Item **this_item_addr(THD *thd, Item **);
716 717
  Item *this_const_item() const;

718
  bool fix_fields(THD *, Item **);
719 720
  void cleanup();

721 722 723 724 725 726 727
  inline uint get_offset()
  {
    return m_offset;
  }

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

730 731 732 733
  double val_real();
  longlong val_int();
  String *val_str(String *sp);
  my_decimal *val_decimal(my_decimal *);
734
  bool is_null();
735
  void print(String *str);
736 737 738

  inline void make_field(Send_field *field)
  {
739 740
    Item *it= this_item();

741
    if (name)
742
      it->set_name(name, (uint) strlen(name), system_charset_info);
743 744
    else
      it->set_name(m_name.str, m_name.length, system_charset_info);
745
    it->make_field(field);
746 747
  }

748 749 750 751 752 753 754
  inline Item_result result_type() const
  {
    return this_const_item()->result_type();
  }

  inline bool const_item() const
  {
755
    return TRUE;
756 757
  }

758 759 760 761
  inline int save_in_field(Field *field, bool no_conversions)
  {
    return this_item()->save_in_field(field, no_conversions);
  }
762

763 764 765 766
  inline bool send(Protocol *protocol, String *str)
  {
    return this_item()->send(protocol, str);
  }
767 768 769
};


770 771 772
class Item_num: public Item
{
public:
monty@mysql.com's avatar
monty@mysql.com committed
773
  virtual Item_num *neg()= 0;
774 775
};

776
#define NO_CACHED_FIELD_INDEX ((uint)(-1))
777

778
class st_select_lex;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
779 780
class Item_ident :public Item
{
781
protected:
782 783 784 785 786 787 788 789 790
  /* 
    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;
791

bk@work.mysql.com's avatar
bk@work.mysql.com committed
792
public:
793
  Name_resolution_context *context;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
794 795 796
  const char *db_name;
  const char *table_name;
  const char *field_name;
797
  bool alias_name_used; /* true if item was resolved against alias */
798 799
  /* 
    Cached value of index for this field in table->field array, used by prep. 
800 801 802 803 804 805 806 807
    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.
808
  */
809
  TABLE_LIST *cached_table;
810
  st_select_lex *depended_from;
811 812 813
  Item_ident(Name_resolution_context *context_arg,
             const char *db_name_arg, const char *table_name_arg,
             const char *field_name_arg);
pem@mysql.com's avatar
pem@mysql.com committed
814
  Item_ident(THD *thd, Item_ident *item);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
815
  const char *full_name() const;
816
  void cleanup();
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
817
  bool remove_dependence_processor(byte * arg);
818
  void print(String *str);
819 820
  virtual bool change_context_processor(byte *cntx)
    { context= (Name_resolution_context *)cntx; return FALSE; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
821 822
};

823 824
class Item_equal;
class COND_EQUAL;
825

bk@work.mysql.com's avatar
bk@work.mysql.com committed
826 827
class Item_field :public Item_ident
{
828
protected:
bk@work.mysql.com's avatar
bk@work.mysql.com committed
829 830 831
  void set_field(Field *field);
public:
  Field *field,*result_field;
832 833
  Item_equal *item_equal;
  bool no_const_subst;
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
834 835 836 837 838 839 840
  /*
    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;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
841

842 843 844
  Item_field(Name_resolution_context *context_arg,
             const char *db_arg,const char *table_name_arg,
	     const char *field_name_arg);
845 846 847
  /*
    Constructor needed to process subselect with temporary tables (see Item)
  */
848
  Item_field(THD *thd, Item_field *item);
849
  /*
850 851 852
    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).
853
  */
854
  Item_field(THD *thd, Name_resolution_context *context_arg, Field *field);
855 856 857
  /*
    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
858
    reset_field() before fix_fields() for all fields created this way.
859
  */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
860 861
  Item_field(Field *field);
  enum Type type() const { return FIELD_ITEM; }
862
  bool eq(const Item *item, bool binary_cmp) const;
863
  double val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
864
  longlong val_int();
865
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
866 867 868 869
  String *val_str(String*);
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
870 871
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
872
  bool send(Protocol *protocol, String *str_arg);
873
  void reset_field(Field *f);
874
  bool fix_fields(THD *, Item **);
875
  void make_field(Send_field *tmp_field);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
876
  int save_in_field(Field *field,bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
877 878 879 880 881 882
  void save_org_in_field(Field *field);
  table_map used_tables() const;
  enum Item_result result_type () const
  {
    return field->result_type();
  }
883 884 885 886
  Item_result cast_to_int_type() const
  {
    return field->cast_to_int_type();
  }
887
  enum_field_types field_type() const
888 889 890
  {
    return field->type();
  }
891
  Field *get_tmp_table_field() { return result_field; }
892
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
893 894
  bool get_date(TIME *ltime,uint fuzzydate);
  bool get_date_result(TIME *ltime,uint fuzzydate);
895
  bool get_time(TIME *ltime);
896
  bool is_null() { return field->is_null(); }
897
  Item *get_tmp_table_item(THD *thd);
898
  bool collect_item_field_processor(byte * arg);
899 900 901 902 903 904 905
  bool reset_query_id_processor(byte *arg)
  {
    field->query_id= *((query_id_t *) arg);
    if (result_field)
      result_field->query_id= field->query_id;
    return 0;
  }
hf@deer.(none)'s avatar
hf@deer.(none) committed
906
  void cleanup();
907 908
  Item_equal *find_item_equal(COND_EQUAL *cond_equal);
  Item *equal_fields_propagator(byte *arg);
monty@mysql.com's avatar
monty@mysql.com committed
909
  Item *set_no_const_sub(byte *arg);
910
  Item *replace_equal_field(byte *arg);
911
  inline uint32 max_disp_length() { return field->max_length(); }
912
  Item_field *filed_for_view_update() { return this; }
monty@mysql.com's avatar
monty@mysql.com committed
913
  Item *safe_charset_converter(CHARSET_INFO *tocs);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
914
  friend class Item_default_value;
915
  friend class Item_insert_value;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
916
  friend class st_select_lex_unit;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
917 918 919 920 921 922
};

class Item_null :public Item
{
public:
  Item_null(char *name_par=0)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
923 924 925 926 927
  {
    maybe_null= null_value= TRUE;
    max_length= 0;
    name= name_par ? name_par : (char*) "NULL";
    fixed= 1;
928
    collation.set(&my_charset_bin, DERIVATION_IGNORABLE);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
929
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
930
  enum Type type() const { return NULL_ITEM; }
931
  bool eq(const Item *item, bool binary_cmp) const;
932
  double val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
933 934
  longlong val_int();
  String *val_str(String *str);
935
  my_decimal *val_decimal(my_decimal *);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
936
  int save_in_field(Field *field, bool no_conversions);
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
937
  int save_safe_in_field(Field *field);
hf@deer.mysql.r18.ru's avatar
hf@deer.mysql.r18.ru committed
938
  bool send(Protocol *protocol, String *str);
939 940
  enum Item_result result_type () const { return STRING_RESULT; }
  enum_field_types field_type() const   { return MYSQL_TYPE_NULL; }
941
  /* to prevent drop fixed flag (no need parent cleanup call) */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
942
  void cleanup() {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
943 944
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_null(name); }
945
  bool is_null() { return 1; }
946
  void print(String *str) { str->append("NULL", 4); }
bar@mysql.com's avatar
bar@mysql.com committed
947
  Item *safe_charset_converter(CHARSET_INFO *tocs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
948 949
};

950 951 952 953 954 955 956 957 958 959 960
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);
  }
};  
961 962 963

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

964 965
class Item_param :public Item
{
966
public:
967 968 969
  enum enum_item_param_state
  {
    NO_VALUE, NULL_VALUE, INT_VALUE, REAL_VALUE,
970 971
    STRING_VALUE, TIME_VALUE, LONG_DATA_VALUE,
    DECIMAL_VALUE
972 973
  } state;

974 975 976 977 978 979 980 981 982 983 984
  /*
    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;
985
  my_decimal decimal_value;
986 987
  union
  {
988 989
    longlong integer;
    double   real;
990 991 992 993 994 995 996 997 998 999 1000 1001
    /*
      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;
      /*
        This points at character set of connection if conversion
        to it is required (i. e. if placeholder typecode is not BLOB).
1002
        Otherwise it's equal to character_set_client (to simplify
1003 1004 1005 1006 1007 1008 1009 1010
        check in convert_str_value()).
      */
      CHARSET_INFO *final_character_set_of_str_value;
    } cs_info;
    TIME     time;
  } value;

  /* Cached values for virtual methods to save us one switch.  */
1011 1012
  enum Item_result item_result_type;
  enum Type item_type;
1013 1014 1015 1016 1017 1018 1019 1020 1021 1022

  /*
    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;
1023
  /*
1024 1025
    Offset of placeholder inside statement text. Used to create
    no-placeholders version of this statement for the binary log.
1026
  */
1027
  uint pos_in_query;
1028

1029 1030 1031
  Item_param(uint pos_in_query_arg);

  enum Item_result result_type () const { return item_result_type; }
1032
  enum Type type() const { return item_type; }
1033
  enum_field_types field_type() const { return param_type; }
1034

1035
  double val_real();
1036
  longlong val_int();
1037
  my_decimal *val_decimal(my_decimal*);
1038
  String *val_str(String*);
1039
  bool get_time(TIME *tm);
1040
  bool get_date(TIME *tm, uint fuzzydate);
venu@myvenu.com's avatar
venu@myvenu.com committed
1041
  int  save_in_field(Field *field, bool no_conversions);
1042
  bool fix_fields(THD *, Item **);
1043

1044
  void set_null();
1045
  void set_int(longlong i, uint32 max_length_arg);
1046
  void set_double(double i);
1047
  void set_decimal(const char *str, ulong length);
1048 1049 1050
  bool set_str(const char *str, ulong length);
  bool set_longdata(const char *str, ulong length);
  void set_time(TIME *tm, timestamp_type type, uint32 max_length_arg);
1051
  bool set_from_user_var(THD *thd, const user_var_entry *entry);
1052
  void reset();
1053 1054 1055 1056 1057 1058 1059 1060
  /*
    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);

1061 1062 1063
  const String *query_val_str(String *str) const;

  bool convert_str_value(THD *thd);
1064 1065 1066 1067

  /*
    If value for parameter was not set we treat it as non-const
    so noone will use parameters value in fix_fields still
1068 1069 1070
    parameter is constant during execution.
  */
  virtual table_map used_tables() const
1071
  { return state != NO_VALUE ? (table_map)0 : PARAM_TABLE_BIT; }
1072
  void print(String *str);
1073 1074
  bool is_null()
  { DBUG_ASSERT(state != NO_VALUE); return state == NULL_VALUE; }
1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092
  bool basic_const_item() const;
  /*
    This method is used to make a copy of a basic constant item when
    propagating constants in the optimizer. The reason to create a new
    item and not use the existing one is not precisely known (2005/04/16).
    Probably we are trying to preserve tree structure of items, in other
    words, avoid pointing at one item from two different nodes of the tree.
    Return a new basic constant item if parameter value is a basic
    constant, assert otherwise. This method is called only if
    basic_const_item returned TRUE.
  */
  Item *new_item();
  /*
    Implement by-value equality evaluation if parameter value
    is set and is a basic constant (integer, real or string).
    Otherwise return FALSE.
  */
  bool eq(const Item *item, bool binary_cmp) const;
1093
};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1094

1095

1096
class Item_int :public Item_num
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1097 1098
{
public:
1099
  longlong value;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1100
  Item_int(int32 i,uint length=11) :value((longlong) i)
1101
    { max_length=length; fixed= 1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1102
  Item_int(longlong i,uint length=21) :value(i)
1103
    { max_length=length; fixed= 1; }
1104 1105
  Item_int(ulonglong i, uint length= 21) :value((longlong)i)
    { max_length=length; fixed= 1; unsigned_flag= 1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1106
  Item_int(const char *str_arg,longlong i,uint length) :value(i)
1107
    { max_length=length; name=(char*) str_arg; fixed= 1; }
monty@mysql.com's avatar
monty@mysql.com committed
1108
  Item_int(const char *str_arg, uint length=64);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1109
  enum Type type() const { return INT_ITEM; }
1110 1111
  enum Item_result result_type () const { return INT_RESULT; }
  enum_field_types field_type() const { return MYSQL_TYPE_LONGLONG; }
1112
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
1113
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
1114
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1115
  String *val_str(String*);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1116
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1117 1118
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_int(name,value,max_length); }
1119
  // to prevent drop fixed flag (no need parent cleanup call)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1120
  void cleanup() {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1121
  void print(String *str);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1122
  Item_num *neg() { value= -value; return this; }
1123
  uint decimal_precision() const { return (uint)(max_length - test(value < 0)); }
1124
  bool eq(const Item *, bool binary_cmp) const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1125 1126 1127
};


1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138
class Item_static_int_func :public Item_int
{
  const char *func_name;
public:
  Item_static_int_func(const char *str_arg, longlong i, uint length)
    :Item_int(NullS, i, length), func_name(str_arg)
  {}
  void print(String *str) { str->append(func_name); }
};


1139 1140 1141
class Item_uint :public Item_int
{
public:
monty@mysql.com's avatar
monty@mysql.com committed
1142
  Item_uint(const char *str_arg, uint length);
1143
  Item_uint(uint32 i) :Item_int((ulonglong) i, 10) {}
1144
  Item_uint(const char *str_arg, longlong i, uint length);
1145
  double val_real()
1146
    { DBUG_ASSERT(fixed == 1); return ulonglong2double((ulonglong)value); }
1147 1148
  String *val_str(String*);
  Item *new_item() { return new Item_uint(name,max_length); }
monty@mysql.com's avatar
monty@mysql.com committed
1149
  int save_in_field(Field *field, bool no_conversions);
1150
  void print(String *str);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1151
  Item_num *neg ();
1152
  uint decimal_precision() const { return max_length; }
1153 1154 1155
};


1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191
/* decimal (fixed point) constant */
class Item_decimal :public Item_num
{
protected:
  my_decimal decimal_value;
public:
  Item_decimal(const char *str_arg, uint length, CHARSET_INFO *charset);
  Item_decimal(const char *str, const my_decimal *val_arg,
               uint decimal_par, uint length);
  Item_decimal(my_decimal *value_par);
  Item_decimal(longlong val, bool unsig);
  Item_decimal(double val, int precision, int scale);
  Item_decimal(const char *bin, int precision, int scale);

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

1196

1197
class Item_float :public Item_num
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1198
{
1199
  char *presentation;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1200
public:
1201
  double value;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1202
  // Item_real() :value(0) {}
1203 1204
  Item_float(const char *str_arg, uint length);
  Item_float(const char *str,double val_arg,uint decimal_par,uint length)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1205 1206
    :value(val_arg)
  {
1207
    presentation= name=(char*) str;
1208
    decimals=(uint8) decimal_par;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1209
    max_length=length;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1210
    fixed= 1;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1211
  }
1212 1213
  Item_float(double value_par) :presentation(0), value(value_par) { fixed= 1; }

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1214
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1215
  enum Type type() const { return REAL_ITEM; }
1216
  enum_field_types field_type() const { return MYSQL_TYPE_DOUBLE; }
1217
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1218 1219 1220 1221 1222
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
    return (longlong) (value+(value > 0 ? 0.5 : -0.5));
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1223
  String *val_str(String*);
1224
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1225
  bool basic_const_item() const { return 1; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1226 1227
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
1228 1229
  Item *new_item()
  { return new Item_float(name, value, decimals, max_length); }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1230
  Item_num *neg() { value= -value; return this; }
1231
  void print(String *str);
1232
  bool eq(const Item *, bool binary_cmp) const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1233 1234 1235
};


1236
class Item_static_float_func :public Item_float
1237 1238 1239
{
  const char *func_name;
public:
1240
  Item_static_float_func(const char *str, double val_arg, uint decimal_par,
1241
                        uint length)
1242
    :Item_float(NullS, val_arg, decimal_par, length), func_name(str)
1243 1244 1245 1246 1247
  {}
  void print(String *str) { str->append(func_name); }
};


bk@work.mysql.com's avatar
bk@work.mysql.com committed
1248 1249 1250
class Item_string :public Item
{
public:
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
1251
  Item_string(const char *str,uint length,
1252
  	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1253
  {
1254
    collation.set(cs, dv);
1255
    str_value.set_or_copy_aligned(str,length,cs);
1256 1257 1258 1259 1260 1261 1262
    /*
      We have to have a different max_length than 'length' here to
      ensure that we get the right length if we do use the item
      to create a new table. In this case max_length must be the maximum
      number of chars for a string of this type because we in create_field::
      divide the max_length with mbmaxlen).
    */
1263
    max_length= str_value.numchars()*cs->mbmaxlen;
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
1264
    set_name(str, length, cs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1265
    decimals=NOT_FIXED_DEC;
1266 1267
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1268
  }
1269
  Item_string(const char *name_par, const char *str, uint length,
1270
	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1271
  {
1272
    collation.set(cs, dv);
1273
    str_value.set_or_copy_aligned(str,length,cs);
1274
    max_length= str_value.numchars()*cs->mbmaxlen;
1275
    set_name(name_par, 0, cs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1276
    decimals=NOT_FIXED_DEC;
1277 1278
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1279 1280
  }
  enum Type type() const { return STRING_ITEM; }
1281 1282
  double val_real();
  longlong val_int();
1283 1284 1285 1286 1287
  String *val_str(String*)
  {
    DBUG_ASSERT(fixed == 1);
    return (String*) &str_value;
  }
1288
  my_decimal *val_decimal(my_decimal *);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1289
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1290
  enum Item_result result_type () const { return STRING_RESULT; }
1291
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1292
  bool basic_const_item() const { return 1; }
1293
  bool eq(const Item *item, bool binary_cmp) const;
1294 1295
  Item *new_item() 
  {
1296
    return new Item_string(name, str_value.ptr(), 
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1297
    			   str_value.length(), collation.collation);
1298
  }
bar@mysql.com's avatar
bar@mysql.com committed
1299
  Item *safe_charset_converter(CHARSET_INFO *tocs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1300
  String *const_string() { return &str_value; }
1301
  inline void append(char *str, uint length) { str_value.append(str, length); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1302
  void print(String *str);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1303 1304
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1305 1306
};

1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320

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


bk@work.mysql.com's avatar
bk@work.mysql.com committed
1321 1322 1323 1324 1325
/* for show tables */

class Item_datetime :public Item_string
{
public:
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
1326
  Item_datetime(const char *item_name): Item_string(item_name,"",0,
1327
                                                    &my_charset_bin)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1328
  { max_length=19;}
1329
  enum_field_types field_type() const { return MYSQL_TYPE_DATETIME; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1330 1331 1332 1333 1334
};

class Item_empty_string :public Item_string
{
public:
1335 1336
  Item_empty_string(const char *header,uint length, CHARSET_INFO *cs= NULL) :
    Item_string("",0, cs ? cs : &my_charset_bin)
1337
    { name=(char*) header; max_length= cs ? length * cs->mbmaxlen : length; }
1338
  void make_field(Send_field *field);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1339 1340
};

1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354
class Item_return_int :public Item_int
{
  enum_field_types int_field_type;
public:
  Item_return_int(const char *name, uint length,
		  enum_field_types field_type_arg)
    :Item_int(name, 0, length), int_field_type(field_type_arg)
  {
    unsigned_flag=1;
  }
  enum_field_types field_type() const { return int_field_type; }
};


ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
1355
class Item_hex_string: public Item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1356 1357
{
public:
ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
1358 1359
  Item_hex_string(): Item() {}
  Item_hex_string(const char *str,uint str_length);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1360
  enum Type type() const { return VARBIN_ITEM; }
1361
  double val_real()
ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
1362
    { DBUG_ASSERT(fixed == 1); return (double) Item_hex_string::val_int(); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1363
  longlong val_int();
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1364
  bool basic_const_item() const { return 1; }
1365
  String *val_str(String*) { DBUG_ASSERT(fixed == 1); return &str_value; }
1366
  my_decimal *val_decimal(my_decimal *);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1367
  int save_in_field(Field *field, bool no_conversions);
1368
  enum Item_result result_type () const { return STRING_RESULT; }
1369
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1370 1371
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
1372
  bool eq(const Item *item, bool binary_cmp) const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1373 1374 1375
};


ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
1376 1377 1378 1379 1380 1381
class Item_bin_string: public Item_hex_string
{
public:
  Item_bin_string(const char *str,uint str_length);
};

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1382 1383 1384 1385 1386
class Item_result_field :public Item	/* Item with result field */
{
public:
  Field *result_field;				/* Save result here */
  Item_result_field() :result_field(0) {}
1387
  // Constructor used for Item_sum/Item_cond_and/or (see Item comment)
1388 1389
  Item_result_field(THD *thd, Item_result_field *item):
    Item(thd, item), result_field(item->result_field)
1390
  {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1391
  ~Item_result_field() {}			/* Required with gcc 2.95 */
1392
  Field *get_tmp_table_field() { return result_field; }
1393
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
1394
  table_map used_tables() const { return 1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1395
  virtual void fix_length_and_dec()=0;
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1396 1397 1398 1399 1400 1401
  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);
  }
1402
  void cleanup();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1403 1404 1405 1406 1407
};


class Item_ref :public Item_ident
{
1408 1409
protected:
  void set_properties();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1410
public:
hf@deer.(none)'s avatar
hf@deer.(none) committed
1411
  Field *result_field;			 /* Save result here */
serg@serg.mysql.com's avatar
serg@serg.mysql.com committed
1412
  Item **ref;
1413 1414 1415 1416 1417
  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) {}
1418
  /*
1419 1420 1421 1422 1423 1424 1425 1426 1427 1428
    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.
    
1429 1430 1431
    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.
  */
1432 1433
  Item_ref(Name_resolution_context *context_arg, Item **item,
           const char *table_name_arg, const char *field_name_arg);
1434

1435
  /* Constructor need to process subselect with temporary tables (see Item) */
1436 1437
  Item_ref(THD *thd, Item_ref *item)
    :Item_ident(thd, item), result_field(item->result_field), ref(item->ref) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1438
  enum Type type() const		{ return REF_ITEM; }
1439
  bool eq(const Item *item, bool binary_cmp) const
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1440 1441 1442 1443
  { 
    Item *it= ((Item *) item)->real_item();
    return ref && (*ref)->eq(it, binary_cmp);
  }
1444 1445 1446 1447 1448 1449 1450
  double val_real();
  longlong val_int();
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
  String *val_str(String* tmp);
  bool is_null();
  bool get_date(TIME *ltime,uint fuzzydate);
1451 1452 1453
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
1454 1455
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
1456
  bool send(Protocol *prot, String *tmp);
1457 1458
  void make_field(Send_field *field);
  bool fix_fields(THD *, Item **);
1459
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1460 1461
  void save_org_in_field(Field *field)	{ (*ref)->save_org_in_field(field); }
  enum Item_result result_type () const { return (*ref)->result_type(); }
1462
  enum_field_types field_type() const   { return (*ref)->field_type(); }
1463
  Field *get_tmp_table_field() { return result_field; }
1464 1465 1466 1467
  table_map used_tables() const		
  { 
    return depended_from ? OUTER_REF_TABLE_BIT : (*ref)->used_tables(); 
  }
1468
  table_map not_null_tables() const { return (*ref)->not_null_tables(); }
1469
  void set_result_field(Field *field)	{ result_field= field; }
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1470 1471 1472 1473 1474
  bool is_result_field() { return 1; }
  void save_in_result_field(bool no_conversions)
  {
    (*ref)->save_in_field(result_field, no_conversions);
  }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1475 1476 1477
  Item *real_item()
  {
    return (*ref)->real_item();
1478
  }
1479 1480
  bool walk(Item_processor processor, byte *arg)
  { return (*ref)->walk(processor, arg); }
1481
  void print(String *str);
monty@mysql.com's avatar
monty@mysql.com committed
1482
  void cleanup();
1483 1484
  Item_field *filed_for_view_update()
    { return (*ref)->filed_for_view_update(); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1485 1486
};

1487

1488 1489 1490 1491
/*
  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.
*/
1492 1493 1494
class Item_direct_ref :public Item_ref
{
public:
1495 1496 1497 1498
  Item_direct_ref(Name_resolution_context *context_arg, Item **item,
                  const char *table_name_arg,
                  const char *field_name_arg)
    :Item_ref(context_arg, item, table_name_arg, field_name_arg) {}
1499 1500
  /* Constructor need to process subselect with temporary tables (see Item) */
  Item_direct_ref(THD *thd, Item_direct_ref *item) : Item_ref(thd, item) {}
1501

1502 1503 1504 1505 1506 1507 1508
  double val_real();
  longlong val_int();
  String *val_str(String* tmp);
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
  bool is_null();
  bool get_date(TIME *ltime,uint fuzzydate);
1509 1510
};

1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526
/*
  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 **);
1527
  bool eq(const Item *item, bool binary_cmp) const;
1528 1529
};

1530

1531
class Item_in_subselect;
1532

1533 1534 1535 1536 1537
class Item_ref_null_helper: public Item_ref
{
protected:
  Item_in_subselect* owner;
public:
1538 1539 1540 1541 1542
  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) {}
1543
  double val_real();
1544 1545
  longlong val_int();
  String* val_str(String* s);
1546 1547
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
1548
  bool get_date(TIME *ltime, uint fuzzydate);
1549
  void print(String *str);
1550 1551
};

1552 1553 1554 1555
class Item_null_helper :public Item_ref_null_helper
{
  Item *store;
public:
1556 1557 1558 1559 1560
  Item_null_helper(Name_resolution_context *context_arg,
                   Item_in_subselect* master, Item *item,
		   const char *table_name_arg, const char *field_name_arg)
    :Item_ref_null_helper(context_arg, master, (store= 0, &store),
                          table_name_arg, field_name_arg),
1561
     store(item)
1562
    { ref= &store; }
1563
  void print(String *str);
1564
};
1565

1566

1567
/*
1568
  The following class is used to optimize comparing of date and bigint columns
1569 1570 1571 1572 1573
  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.
  
1574 1575 1576 1577 1578 1579 1580
*/

class Item_int_with_ref :public Item_int
{
  Item *ref;
public:
  Item_int_with_ref(longlong i, Item *ref_arg) :Item_int(i), ref(ref_arg)
1581 1582 1583
  {
    unsigned_flag= ref_arg->unsigned_flag;
  }
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1584
  int save_in_field(Field *field, bool no_conversions)
1585
  {
1586
    return ref->save_in_field(field, no_conversions);
1587
  }
1588
  Item *new_item();
1589 1590 1591
};


1592
#include "gstream.h"
1593
#include "spatial.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1594 1595
#include "item_sum.h"
#include "item_func.h"
1596
#include "item_row.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1597 1598
#include "item_cmpfunc.h"
#include "item_strfunc.h"
1599
#include "item_geofunc.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1600 1601
#include "item_timefunc.h"
#include "item_uniq.h"
1602
#include "item_subselect.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1603 1604 1605

class Item_copy_string :public Item
{
1606
  enum enum_field_types cached_field_type;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1607 1608 1609 1610 1611 1612 1613 1614
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;
1615
    cached_field_type= item->field_type();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1616 1617 1618
  }
  enum Type type() const { return COPY_STR_ITEM; }
  enum Item_result result_type () const { return STRING_RESULT; }
1619
  enum_field_types field_type() const { return cached_field_type; }
1620
  double val_real()
1621
  {
monty@mysql.com's avatar
monty@mysql.com committed
1622 1623
    int err_not_used;
    char *end_not_used;
1624 1625
    return (null_value ? 0.0 :
	    my_strntod(str_value.charset(), (char*) str_value.ptr(),
monty@mysql.com's avatar
monty@mysql.com committed
1626
		       str_value.length(), &end_not_used, &err_not_used));
1627
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1628
  longlong val_int()
serg@serg.mylan's avatar
serg@serg.mylan committed
1629
  {
1630 1631 1632
    int err;
    return null_value ? LL(0) : my_strntoll(str_value.charset(),str_value.ptr(),str_value.length(),10, (char**) 0,&err); 
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1633
  String *val_str(String*);
1634
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1635 1636
  void make_field(Send_field *field) { item->make_field(field); }
  void copy();
monty@mysql.com's avatar
monty@mysql.com committed
1637
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1638 1639
  table_map used_tables() const { return (table_map) 1L; }
  bool const_item() const { return 0; }
1640
  bool is_null() { return null_value; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1641 1642 1643
};


serg@serg.mylan's avatar
serg@serg.mylan committed
1644
class Cached_item :public Sql_alloc
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1645 1646 1647
{
public:
  my_bool null_value;
serg@serg.mylan's avatar
serg@serg.mylan committed
1648
  Cached_item() :null_value(0) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1649
  virtual bool cmp(void)=0;
serg@serg.mylan's avatar
serg@serg.mylan committed
1650
  virtual ~Cached_item(); /*line -e1509 */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1651 1652
};

serg@serg.mylan's avatar
serg@serg.mylan committed
1653
class Cached_item_str :public Cached_item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1654 1655 1656 1657
{
  Item *item;
  String value,tmp_value;
public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1658
  Cached_item_str(THD *thd, Item *arg);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1659
  bool cmp(void);
serg@serg.mylan's avatar
serg@serg.mylan committed
1660
  ~Cached_item_str();                           // Deallocate String:s
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1661 1662 1663
};


serg@serg.mylan's avatar
serg@serg.mylan committed
1664
class Cached_item_real :public Cached_item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1665 1666 1667 1668
{
  Item *item;
  double value;
public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1669
  Cached_item_real(Item *item_par) :item(item_par),value(0.0) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1670 1671 1672
  bool cmp(void);
};

serg@serg.mylan's avatar
serg@serg.mylan committed
1673
class Cached_item_int :public Cached_item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1674 1675 1676 1677
{
  Item *item;
  longlong value;
public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1678
  Cached_item_int(Item *item_par) :item(item_par),value(0) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1679 1680 1681 1682
  bool cmp(void);
};


serg@serg.mylan's avatar
serg@serg.mylan committed
1683
class Cached_item_decimal :public Cached_item
1684 1685 1686 1687
{
  Item *item;
  my_decimal value;
public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1688
  Cached_item_decimal(Item *item_par);
1689 1690 1691
  bool cmp(void);
};

serg@serg.mylan's avatar
serg@serg.mylan committed
1692
class Cached_item_field :public Cached_item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1693 1694 1695 1696 1697 1698
{
  char *buff;
  Field *field;
  uint length;

public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1699
  Cached_item_field(Item_field *item)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1700 1701 1702 1703 1704 1705 1706
  {
    field=item->field;
    buff= (char*) sql_calloc(length=field->pack_length());
  }
  bool cmp(void);
};

hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1707 1708 1709 1710
class Item_default_value : public Item_field
{
public:
  Item *arg;
1711 1712 1713 1714 1715 1716 1717 1718
  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) {}
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1719
  enum Type type() const { return DEFAULT_VALUE_ITEM; }
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1720
  bool eq(const Item *item, bool binary_cmp) const;
1721
  bool fix_fields(THD *, Item **);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1722
  void print(String *str);
1723
  int save_in_field(Field *field_arg, bool no_conversions);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1724
  table_map used_tables() const { return (table_map)0L; }
serg@serg.mylan's avatar
serg@serg.mylan committed
1725

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1726 1727 1728 1729 1730
  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
      (this->*processor)(args);
  }
1731

igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1732 1733 1734 1735 1736
  /* 
     This method like the walk method traverses the item tree, but
     at the same time it can replace some nodes in the tree
  */ 
  Item *transform(Item_transformer transformer, byte *args)
1737
  {
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1738
    Item *new_item= arg->transform(transformer, args);
1739 1740 1741
    if (!new_item)
      return 0;
    arg= new_item;
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1742
    return (this->*transformer)(args);
1743
  }
hf@deer.mysql.r18.ru's avatar
hf@deer.mysql.r18.ru committed
1744
};
hf@deer.mysql.r18.ru's avatar
hf@deer.mysql.r18.ru committed
1745

1746 1747 1748 1749
class Item_insert_value : public Item_field
{
public:
  Item *arg;
1750 1751 1752 1753
  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) {}
1754
  bool eq(const Item *item, bool binary_cmp) const;
1755
  bool fix_fields(THD *, Item **);
1756
  void print(String *str);
1757
  int save_in_field(Field *field_arg, bool no_conversions)
1758
  {
1759
    return Item_field::save_in_field(field_arg, no_conversions);
1760 1761
  }
  table_map used_tables() const { return (table_map)0L; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1762 1763 1764 1765 1766 1767

  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
	    (this->*processor)(args);
  }
1768 1769
};

1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790

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

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

1791 1792
class Table_triggers_list;

1793 1794 1795 1796
/*
  Represents NEW/OLD version of field of row which is
  changed/read in trigger.

1797 1798 1799 1800 1801 1802
  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.
1803 1804 1805 1806 1807 1808 1809
*/
class Item_trigger_field : public Item_field
{
public:
  /* Is this item represents row from NEW or OLD row ? */
  enum row_version_type {OLD_ROW, NEW_ROW};
  row_version_type row_version;
1810 1811
  /* Next in list of all Item_trigger_field's in trigger */
  Item_trigger_field *next_trg_field;
1812 1813 1814 1815
  /* 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;
1816

1817 1818 1819 1820 1821 1822
  Item_trigger_field(Name_resolution_context *context_arg,
                     row_version_type row_ver_arg,
                     const char *field_name_arg)
    :Item_field(context_arg,
               (const char *)NULL, (const char *)NULL, field_name_arg),
     row_version(row_ver_arg), field_idx((uint)-1)
1823
  {}
1824
  void setup_field(THD *thd, TABLE *table);
1825 1826
  enum Type type() const { return TRIGGER_FIELD_ITEM; }
  bool eq(const Item *item, bool binary_cmp) const;
1827
  bool fix_fields(THD *, Item **);
1828 1829 1830 1831 1832 1833
  void print(String *str);
  table_map used_tables() const { return (table_map)0L; }
  void cleanup();
};


1834 1835
class Item_cache: public Item
{
1836 1837
protected:
  Item *example;
1838
  table_map used_table_map;
1839
public:
1840
  Item_cache(): example(0), used_table_map(0) {fixed= 1; null_value= 1;}
1841 1842 1843

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

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1844
  virtual bool allocate(uint i) { return 0; }
1845
  virtual bool setup(Item *item)
1846
  {
1847 1848 1849 1850 1851 1852
    example= item;
    max_length= item->max_length;
    decimals= item->decimals;
    collation.set(item->collation);
    return 0;
  };
1853 1854
  virtual void store(Item *)= 0;
  enum Type type() const { return CACHE_ITEM; }
1855
  static Item_cache* get_cache(Item_result type);
1856
  table_map used_tables() const { return used_table_map; }
1857
  virtual void keep_array() {}
1858
  // to prevent drop fixed flag (no need parent cleanup call)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1859
  void cleanup() {}
1860
  void print(String *str);
1861 1862
};

1863

1864 1865
class Item_cache_int: public Item_cache
{
1866
protected:
1867 1868
  longlong value;
public:
1869
  Item_cache_int(): Item_cache(), value(0) {}
1870

1871
  void store(Item *item);
1872
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
1873
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
1874 1875
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
1876 1877 1878
  enum Item_result result_type() const { return INT_RESULT; }
};

1879

1880 1881 1882 1883
class Item_cache_real: public Item_cache
{
  double value;
public:
1884
  Item_cache_real(): Item_cache(), value(0) {}
1885

1886
  void store(Item *item);
1887
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1888 1889 1890
  longlong val_int();
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
1891 1892 1893
  enum Item_result result_type() const { return REAL_RESULT; }
};

1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910

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


1911 1912
class Item_cache_str: public Item_cache
{
1913
  char buffer[STRING_BUFFER_USUAL_SIZE];
1914
  String *value, value_buff;
1915
public:
1916
  Item_cache_str(): Item_cache(), value(0) { }
1917

1918
  void store(Item *item);
1919
  double val_real();
1920
  longlong val_int();
1921
  String* val_str(String *) { DBUG_ASSERT(fixed == 1); return value; }
1922
  my_decimal *val_decimal(my_decimal *);
1923 1924 1925 1926
  enum Item_result result_type() const { return STRING_RESULT; }
  CHARSET_INFO *charset() const { return value->charset(); };
};

1927 1928 1929
class Item_cache_row: public Item_cache
{
  Item_cache  **values;
1930
  uint item_count;
1931
  bool save_array;
1932
public:
1933 1934
  Item_cache_row()
    :Item_cache(), values(0), item_count(2), save_array(0) {}
1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951
  
  /*
    '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");
  };
1952
  double val_real()
1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966
  {
    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;
  };
1967 1968 1969 1970 1971 1972
  my_decimal *val_decimal(my_decimal *val)
  {
    illegal_method_call((const char*)"val_decimal");
    return 0;
  };

1973 1974
  enum Item_result result_type() const { return ROW_RESULT; }
  
1975
  uint cols() { return item_count; }
1976 1977 1978 1979 1980
  Item* el(uint i) { return values[i]; }
  Item** addr(uint i) { return (Item **) (values + i); }
  bool check_cols(uint c);
  bool null_inside();
  void bring_value();
1981
  void keep_array() { save_array= 1; }
hf@deer.(none)'s avatar
hf@deer.(none) committed
1982 1983
  void cleanup()
  {
1984
    DBUG_ENTER("Item_cache_row::cleanup");
hf@deer.(none)'s avatar
hf@deer.(none) committed
1985
    Item_cache::cleanup();
1986 1987 1988 1989
    if (save_array)
      bzero(values, item_count*sizeof(Item**));
    else
      values= 0;
1990
    DBUG_VOID_RETURN;
hf@deer.(none)'s avatar
hf@deer.(none) committed
1991
  }
1992 1993
};

1994 1995

/*
1996 1997 1998 1999 2000
  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.
2001 2002 2003 2004
*/
class Item_type_holder: public Item
{
protected:
2005 2006 2007 2008
  TYPELIB *enum_set_typelib;
  enum_field_types fld_type;

  void get_full_info(Item *item);
2009 2010 2011

  /* It is used to count decimal precision in join_types */
  int prev_decimal_int_part;
2012
public:
2013
  Item_type_holder(THD*, Item*);
2014

2015
  Item_result result_type() const;
2016
  enum_field_types field_type() const { return fld_type; };
2017
  enum Type type() const { return TYPE_HOLDER; }
2018
  double val_real();
2019
  longlong val_int();
2020
  my_decimal *val_decimal(my_decimal *);
2021
  String *val_str(String*);
2022 2023 2024 2025
  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 *);
2026 2027
};

2028

2029 2030 2031
class st_select_lex;
void mark_select_range_as_dependent(THD *thd,
                                    st_select_lex *last_select,
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
2032
                                    st_select_lex *current_sel,
2033 2034
                                    Field *found_field, Item *found_item,
                                    Item_ident *resolved_item);
2035

serg@serg.mylan's avatar
serg@serg.mylan committed
2036
extern Cached_item *new_Cached_item(THD *thd, Item *item);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
2037
extern Item_result item_cmp_type(Item_result a,Item_result b);
2038
extern void resolve_const_item(THD *thd, Item **ref, Item *cmp_item);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
2039
extern bool field_is_equal_to_item(Field *field,Item *item);