item.h 60.2 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 29

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

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

43 44
/*
  Flags for collation aggregation modes:
bar@mysql.com's avatar
bar@mysql.com committed
45 46 47 48
  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
49
                                 (combination of the above two)
bar@mysql.com's avatar
bar@mysql.com committed
50 51 52 53
  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
54 55 56 57
*/

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

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

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 220 221 222

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

/*************************************************************************/

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
223
typedef bool (Item::*Item_processor)(byte *arg);
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
224
typedef Item* (Item::*Item_transformer) (byte *arg);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
225

226
typedef void (*Cond_traverser) (const Item *item, void *arg);
227

bk@work.mysql.com's avatar
bk@work.mysql.com committed
228
class Item {
229
  Item(const Item &);			/* Prevent use of these */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
230 231
  void operator=(Item &);
public:
232
  static void *operator new(size_t size) {return (void*) sql_alloc((uint) size); }
233
  static void *operator new(size_t size, MEM_ROOT *mem_root)
234
  { return (void*) alloc_root(mem_root, (uint) size); }
235
  /* Special for SP local variable assignment - reusing slots */
236
  static void *operator new(size_t size, Item *reuse, uint *rsize);
237
  static void operator delete(void *ptr,size_t size) { TRASH(ptr, size); }
238
  static void operator delete(void *ptr, MEM_ROOT *mem_root) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
239

240
  enum Type {FIELD_ITEM= 0, FUNC_ITEM, SUM_FUNC_ITEM, STRING_ITEM,
241
	     INT_ITEM, REAL_ITEM, NULL_ITEM, VARBIN_ITEM,
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
242
	     COPY_STR_ITEM, FIELD_AVG_ITEM, DEFAULT_VALUE_ITEM,
243 244
	     PROC_ITEM,COND_ITEM, REF_ITEM, FIELD_STD_ITEM,
	     FIELD_VARIANCE_ITEM, INSERT_VALUE_ITEM,
245
             SUBSELECT_ITEM, ROW_ITEM, CACHE_ITEM, TYPE_HOLDER,
246
             PARAM_ITEM, TRIGGER_FIELD_ITEM, DECIMAL_ITEM};
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
247

bk@work.mysql.com's avatar
bk@work.mysql.com committed
248
  enum cond_result { COND_UNDEF,COND_OK,COND_TRUE,COND_FALSE };
249 250

  enum traverse_order { POSTFIX, PREFIX };
251
  
252 253 254
  /* Reuse size, only used by SP local variable assignment, otherwize 0 */
  uint rsize;

monty@mysql.com's avatar
monty@mysql.com committed
255 256 257 258 259
  /*
    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
260
  my_string name;			/* Name from select */
261 262
  /* Original item name (if it was renamed)*/
  my_string orig_name;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
263 264
  Item *next;
  uint32 max_length;
265
  uint name_length;                     /* Length of name */
266
  uint8 marker, decimals;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
267 268
  my_bool maybe_null;			/* If item may be null */
  my_bool null_value;			/* if item is null */
269
  my_bool unsigned_flag;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
270
  my_bool with_sum_func;
271
  my_bool fixed;                        /* If item fixed with fix_fields */
272 273
  my_bool is_autogenerated_name;        /* indicate was name of this Item
                                           autogenerated or set by user */
274
  DTCollation collation;
275

bk@work.mysql.com's avatar
bk@work.mysql.com committed
276 277
  // alloc & destruct is done as start of select using sql_alloc
  Item();
278
  /*
279
     Constructor used by Item_field, Item_ref & aggregate (sum) functions.
280 281
     Used for duplicating lists in processing queries with temporary
     tables
282
     Also it used for Item_cond_and/Item_cond_or for creating
283
     top AND/OR structure of WHERE clause to protect it of
284
     optimisation changes in prepared statements
285
  */
286
  Item(THD *thd, Item *item);
monty@mysql.com's avatar
monty@mysql.com committed
287 288
  virtual ~Item()
  {
monty@mysql.com's avatar
monty@mysql.com committed
289
#ifdef EXTRA_DEBUG
monty@mysql.com's avatar
monty@mysql.com committed
290
    name=0;
monty@mysql.com's avatar
monty@mysql.com committed
291
#endif
monty@mysql.com's avatar
monty@mysql.com committed
292
  }		/*lint -e1509 */
293
  void set_name(const char *str, uint length, CHARSET_INFO *cs);
294
  void rename(char *new_name);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
295
  void init_make_field(Send_field *tmp_field,enum enum_field_types type);
296
  virtual void cleanup();
297
  virtual void make_field(Send_field *field);
298
  Field *make_string_field(TABLE *table);
299
  virtual bool fix_fields(THD *, struct st_table_list *, Item **);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
300
  /*
monty@mysql.com's avatar
monty@mysql.com committed
301
    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
302 303 304
    complete fix_fields() procedure.
  */
  inline void quick_fix_field() { fixed= 1; }
monty@mysql.com's avatar
monty@mysql.com committed
305
  /* Function returns 1 on overflow and -1 on fatal errors */
306
  int save_in_field_no_warnings(Field *field, bool no_conversions);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
307
  virtual int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
308
  virtual void save_org_in_field(Field *field)
309
  { (void) save_in_field(field, 1); }
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
310
  virtual int save_safe_in_field(Field *field)
311
  { return save_in_field(field, 1); }
312
  virtual bool send(Protocol *protocol, String *str);
313
  virtual bool eq(const Item *, bool binary_cmp) const;
314 315
  virtual Item_result result_type() const { return REAL_RESULT; }
  virtual Item_result cast_to_int_type() const { return result_type(); }
316
  virtual enum_field_types field_type() const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
317
  virtual enum Type type() const =0;
318
  /* valXXX methods must return NULL or 0 or 0.0 if null_value is set. */
319 320 321 322 323 324 325 326 327 328
  /*
    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.
  */
329
  virtual double val_real()=0;
330 331 332 333 334 335 336 337 338 339
  /*
    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
340
  virtual longlong val_int()=0;
341 342 343 344 345
  /*
    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(); }
346 347 348
  /*
    Return string representation of this item object.

349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405
    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)
406
  */
407
  virtual bool val_bool();
408 409 410 411 412 413 414 415 416 417
  /* 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();

418
  virtual Field *get_tmp_table_field() { return 0; }
419
  virtual Field *tmp_table_field(TABLE *t_arg) { return 0; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
420
  virtual const char *full_name() const { return name ? name : "???"; }
421 422 423 424 425 426 427

  /*
    *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.
  */
428
  virtual double  val_result() { return val_real(); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
429 430
  virtual longlong val_int_result() { return val_int(); }
  virtual String *str_result(String* tmp) { return val_str(tmp); }
431 432 433 434
  virtual my_decimal *val_decimal_result(my_decimal *val)
  { return val_decimal(val); }
  virtual bool val_bool_result() { return val_bool(); }

435
  /* bit map of tables used by item */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
436
  virtual table_map used_tables() const { return (table_map) 0L; }
437 438 439 440 441 442 443 444 445 446 447 448 449 450
  /*
    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
451
    a constant expression. Used in the optimizer to propagate basic constants.
452
  */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
453
  virtual bool basic_const_item() const { return 0; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
454 455
  /* 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
456 457 458
  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;}
459 460 461
  virtual uint decimal_precision() const;
  inline int decimal_int_part() const
  { return my_decimal_int_part(decimal_precision(), decimals); }
462 463 464 465
  /* 
    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
466
  virtual bool const_item() const { return used_tables() == 0; }
467 468 469 470 471 472
  /* 
    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; }
473 474 475 476 477 478 479 480 481 482 483 484
  /*
    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
485
  virtual void print(String *str_arg) { str_arg->append(full_name()); }
486
  void print_item_w_name(String *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
487
  virtual void update_used_tables() {}
488 489
  virtual void split_sum_func(THD *thd, Item **ref_pointer_array,
                              List<Item> &fields) {}
490 491 492
  /* Called for items that really have to be split */
  void split_sum_func2(THD *thd, Item **ref_pointer_array, List<Item> &fields,
                       Item **ref);
493
  virtual bool get_date(TIME *ltime,uint fuzzydate);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
494
  virtual bool get_time(TIME *ltime);
495
  virtual bool get_date_result(TIME *ltime,uint fuzzydate)
496
  { return get_date(ltime,fuzzydate); }
497 498 499 500 501 502 503 504
  /*
    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.
  */
505
  virtual bool is_null() { return 0; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
506 507 508 509
  /*
    it is "top level" item of WHERE clause and we do not need correct NULL
    handling
  */
510
  virtual void top_level_item() {}
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
511 512
  /*
    set field of temporary table for Item which can be switched on temporary
513
    table during query processing (grouping and so on)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
514
  */
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
515 516
  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
517
  virtual bool is_bool_func() { return 0; }
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
518
  virtual void save_in_result_field(bool no_conversions) {}
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
519
  /*
520
    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
521
  */
522
  virtual void no_rows_in_result() {}
523
  virtual Item *copy_or_same(THD *thd) { return this; }
524
  virtual Item *copy_andor_structure(THD *thd) { return this; }
525
  virtual Item *real_item() { return this; }
526
  virtual Item *get_tmp_table_item(THD *thd) { return copy_or_same(thd); }
527

528
  static CHARSET_INFO *default_charset();
529
  virtual CHARSET_INFO *compare_collation() { return NULL; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
530 531 532 533 534 535

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

536
  virtual Item* transform(Item_transformer transformer, byte *arg)
537
  {
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
538
    return (this->*transformer)(arg);
539
  }
540

541 542
   virtual void traverse_cond(Cond_traverser traverser,
                              void *arg, traverse_order order)
543 544 545
   {
     (*traverser)(this, arg);
   }
546

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
547
  virtual bool remove_dependence_processor(byte * arg) { return 0; }
548
  virtual bool remove_fixed(byte * arg) { fixed= 0; return 0; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
549
  virtual bool cleanup_processor(byte *arg);
550
  virtual bool collect_item_field_processor(byte * arg) { return 0; }
551
  virtual Item *equal_fields_propagator(byte * arg) { return this; }
monty@mysql.com's avatar
monty@mysql.com committed
552
  virtual Item *set_no_const_sub(byte *arg) { return this; }
553
  virtual Item *replace_equal_field(byte * arg) { return this; }
554 555 556 557 558 559 560 561 562 563 564

  /*
    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; }
565
  virtual Item *this_const_item() const { return const_cast<Item*>(this); } /* For SPs mostly. */
566 567 568 569

  // Row emulation
  virtual uint cols() { return 1; }
  virtual Item* el(uint i) { return this; }
570
  virtual Item** addr(uint i) { return 0; }
571
  virtual bool check_cols(uint c);
572
  // It is not row => null inside is impossible
573 574 575
  virtual bool null_inside() { return 0; }
  // used in row subselects to get value of elements
  virtual void bring_value() {}
576 577

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

580
  virtual Item *neg_transformer(THD *thd) { return NULL; }
bar@mysql.com's avatar
bar@mysql.com committed
581
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
582 583 584 585
  void delete_self()
  {
    cleanup();
    delete this;
pem@mysql.comhem.se's avatar
pem@mysql.comhem.se committed
586
  }
587 588

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


592 593 594 595 596 597
// A local SP variable (incl. parameters), used in runtime
class Item_splocal : public Item
{
private:
  
  uint m_offset;
598
  LEX_STRING m_name;
599 600 601

public:

602 603
  Item_splocal(LEX_STRING name, uint offset)
    : m_offset(offset), m_name(name)
604 605 606
  {
    Item::maybe_null= TRUE;
  }
607

608
  /* For error printing */
609
  inline LEX_STRING *my_name(LEX_STRING *get_name)
610
  {
611 612 613 614
    if (!get_name)
      return &m_name;
    (*get_name)= m_name;
    return get_name;
615 616
  }

617 618
  bool is_splocal() { return 1; } /* Needed for error checking */

619
  Item *this_item();
620
  Item **this_item_addr(THD *thd, Item **);
621 622
  Item *this_const_item() const;

623 624 625
  bool fix_fields(THD *, struct st_table_list *, Item **);
  void cleanup();

626 627 628 629 630 631 632
  inline uint get_offset()
  {
    return m_offset;
  }

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

635 636 637 638
  double val_real();
  longlong val_int();
  String *val_str(String *sp);
  my_decimal *val_decimal(my_decimal *);
639
  bool is_null();
640
  void print(String *str);
641 642 643

  inline void make_field(Send_field *field)
  {
644 645
    Item *it= this_item();

646
    if (name)
647
      it->set_name(name, (uint) strlen(name), system_charset_info);
648 649
    else
      it->set_name(m_name.str, m_name.length, system_charset_info);
650
    it->make_field(field);
651 652
  }

653 654 655 656 657 658 659
  inline Item_result result_type() const
  {
    return this_const_item()->result_type();
  }

  inline bool const_item() const
  {
660
    return TRUE;
661 662
  }

663 664 665 666
  inline int save_in_field(Field *field, bool no_conversions)
  {
    return this_item()->save_in_field(field, no_conversions);
  }
667

668 669 670 671
  inline bool send(Protocol *protocol, String *str)
  {
    return this_item()->send(protocol, str);
  }
672 673 674
};


675 676 677
class Item_num: public Item
{
public:
monty@mysql.com's avatar
monty@mysql.com committed
678
  virtual Item_num *neg()= 0;
679 680
};

681
#define NO_CACHED_FIELD_INDEX ((uint)(-1))
682

683
class st_select_lex;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
684 685
class Item_ident :public Item
{
686
protected:
687 688 689 690 691 692 693 694 695
  /* 
    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;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
696 697 698 699
public:
  const char *db_name;
  const char *table_name;
  const char *field_name;
700
  bool alias_name_used; /* true if item was resolved against alias */
701 702
  /* 
    Cached value of index for this field in table->field array, used by prep. 
703 704 705 706 707 708 709 710
    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.
711
  */
712
  TABLE_LIST *cached_table;
713
  st_select_lex *depended_from;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
714
  Item_ident(const char *db_name_par,const char *table_name_par,
715
	     const char *field_name_par);
pem@mysql.com's avatar
pem@mysql.com committed
716
  Item_ident(THD *thd, Item_ident *item);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
717
  const char *full_name() const;
718
  void cleanup();
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
719
  bool remove_dependence_processor(byte * arg);
720
  void print(String *str);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
721 722
};

723 724
class Item_equal;
class COND_EQUAL;
725

bk@work.mysql.com's avatar
bk@work.mysql.com committed
726 727
class Item_field :public Item_ident
{
728
protected:
bk@work.mysql.com's avatar
bk@work.mysql.com committed
729 730 731
  void set_field(Field *field);
public:
  Field *field,*result_field;
732 733
  Item_equal *item_equal;
  bool no_const_subst;
bell@sanja.is.com.ua's avatar
VIEW  
bell@sanja.is.com.ua committed
734 735 736 737 738 739 740
  /*
    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
741 742 743

  Item_field(const char *db_par,const char *table_name_par,
	     const char *field_name_par)
744
    :Item_ident(db_par,table_name_par,field_name_par),
745
    field(0), result_field(0), item_equal(0), no_const_subst(0),
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
746
     have_privileges(0), any_privileges(0)
747
  { collation.set(DERIVATION_IMPLICIT); }
748 749 750
  /*
    Constructor needed to process subselect with temporary tables (see Item)
  */
751
  Item_field(THD *thd, Item_field *item);
752
  /*
753 754 755
    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).
756 757
  */
  Item_field(THD *thd, Field *field);
758 759 760
  /*
    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
761
    reset_field() before fix_fields() for all fields created this way.
762
  */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
763 764
  Item_field(Field *field);
  enum Type type() const { return FIELD_ITEM; }
765
  bool eq(const Item *item, bool binary_cmp) const;
766
  double val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
767
  longlong val_int();
768
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
769 770 771 772
  String *val_str(String*);
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
773 774
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
775
  bool send(Protocol *protocol, String *str_arg);
776
  void reset_field(Field *f);
777
  bool fix_fields(THD *, struct st_table_list *, Item **);
778
  void make_field(Send_field *tmp_field);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
779
  int save_in_field(Field *field,bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
780 781 782 783 784 785
  void save_org_in_field(Field *field);
  table_map used_tables() const;
  enum Item_result result_type () const
  {
    return field->result_type();
  }
786 787 788 789
  Item_result cast_to_int_type() const
  {
    return field->cast_to_int_type();
  }
790
  enum_field_types field_type() const
791 792 793
  {
    return field->type();
  }
794
  Field *get_tmp_table_field() { return result_field; }
795
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
796 797
  bool get_date(TIME *ltime,uint fuzzydate);
  bool get_date_result(TIME *ltime,uint fuzzydate);
798
  bool get_time(TIME *ltime);
799
  bool is_null() { return field->is_null(); }
800
  Item *get_tmp_table_item(THD *thd);
801
  bool collect_item_field_processor(byte * arg);
hf@deer.(none)'s avatar
hf@deer.(none) committed
802
  void cleanup();
803 804
  Item_equal *find_item_equal(COND_EQUAL *cond_equal);
  Item *equal_fields_propagator(byte *arg);
monty@mysql.com's avatar
monty@mysql.com committed
805
  Item *set_no_const_sub(byte *arg);
806
  Item *replace_equal_field(byte *arg);
807
  inline uint32 max_disp_length() { return field->max_length(); }
808
  Item_field *filed_for_view_update() { return this; }
monty@mysql.com's avatar
monty@mysql.com committed
809
  Item *safe_charset_converter(CHARSET_INFO *tocs);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
810
  friend class Item_default_value;
811
  friend class Item_insert_value;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
812
  friend class st_select_lex_unit;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
813 814 815 816 817 818
};

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
819 820 821 822 823
  {
    maybe_null= null_value= TRUE;
    max_length= 0;
    name= name_par ? name_par : (char*) "NULL";
    fixed= 1;
824
    collation.set(&my_charset_bin, DERIVATION_IGNORABLE);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
825
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
826
  enum Type type() const { return NULL_ITEM; }
827
  bool eq(const Item *item, bool binary_cmp) const;
828
  double val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
829 830
  longlong val_int();
  String *val_str(String *str);
831
  my_decimal *val_decimal(my_decimal *);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
832
  int save_in_field(Field *field, bool no_conversions);
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
833
  int save_safe_in_field(Field *field);
hf@deer.mysql.r18.ru's avatar
hf@deer.mysql.r18.ru committed
834
  bool send(Protocol *protocol, String *str);
835 836
  enum Item_result result_type () const { return STRING_RESULT; }
  enum_field_types field_type() const   { return MYSQL_TYPE_NULL; }
837
  /* to prevent drop fixed flag (no need parent cleanup call) */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
838
  void cleanup() {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
839 840
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_null(name); }
841
  bool is_null() { return 1; }
842
  void print(String *str) { str->append("NULL", 4); }
bar@mysql.com's avatar
bar@mysql.com committed
843
  Item *safe_charset_converter(CHARSET_INFO *tocs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
844 845
};

846 847 848 849 850 851 852 853 854 855 856
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);
  }
};  
857 858 859

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

860 861
class Item_param :public Item
{
862
public:
863 864 865
  enum enum_item_param_state
  {
    NO_VALUE, NULL_VALUE, INT_VALUE, REAL_VALUE,
866 867
    STRING_VALUE, TIME_VALUE, LONG_DATA_VALUE,
    DECIMAL_VALUE
868 869
  } state;

870 871 872 873 874 875 876 877 878 879 880
  /*
    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;
881
  my_decimal decimal_value;
882 883
  union
  {
884 885
    longlong integer;
    double   real;
886 887 888 889 890 891 892 893 894 895 896 897
    /*
      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).
898
        Otherwise it's equal to character_set_client (to simplify
899 900 901 902 903 904 905 906
        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.  */
907 908
  enum Item_result item_result_type;
  enum Type item_type;
909 910 911 912 913 914 915 916 917 918

  /*
    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;
919
  /*
920 921
    Offset of placeholder inside statement text. Used to create
    no-placeholders version of this statement for the binary log.
922
  */
923
  uint pos_in_query;
924

925 926 927
  Item_param(uint pos_in_query_arg);

  enum Item_result result_type () const { return item_result_type; }
928
  enum Type type() const { return item_type; }
929
  enum_field_types field_type() const { return param_type; }
930

931
  double val_real();
932
  longlong val_int();
933
  my_decimal *val_decimal(my_decimal*);
934
  String *val_str(String*);
935
  bool get_time(TIME *tm);
936
  bool get_date(TIME *tm, uint fuzzydate);
venu@myvenu.com's avatar
venu@myvenu.com committed
937
  int  save_in_field(Field *field, bool no_conversions);
938
  bool fix_fields(THD *, struct st_table_list *, Item **);
939

940
  void set_null();
941
  void set_int(longlong i, uint32 max_length_arg);
942
  void set_double(double i);
943
  void set_decimal(const char *str, ulong length);
944 945 946
  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);
947
  bool set_from_user_var(THD *thd, const user_var_entry *entry);
948
  void reset();
949 950 951 952 953 954 955 956
  /*
    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);

957 958 959
  const String *query_val_str(String *str) const;

  bool convert_str_value(THD *thd);
960 961 962 963

  /*
    If value for parameter was not set we treat it as non-const
    so noone will use parameters value in fix_fields still
964 965 966
    parameter is constant during execution.
  */
  virtual table_map used_tables() const
967
  { return state != NO_VALUE ? (table_map)0 : PARAM_TABLE_BIT; }
968
  void print(String *str);
969 970
  bool is_null()
  { DBUG_ASSERT(state != NO_VALUE); return state == NULL_VALUE; }
971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988
  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;
989
};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
990

991

992
class Item_int :public Item_num
bk@work.mysql.com's avatar
bk@work.mysql.com committed
993 994
{
public:
995
  longlong value;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
996
  Item_int(int32 i,uint length=11) :value((longlong) i)
997
    { max_length=length; fixed= 1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
998
  Item_int(longlong i,uint length=21) :value(i)
999
    { max_length=length; fixed= 1; }
1000 1001
  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
1002
  Item_int(const char *str_arg,longlong i,uint length) :value(i)
1003
    { max_length=length; name=(char*) str_arg; fixed= 1; }
monty@mysql.com's avatar
monty@mysql.com committed
1004
  Item_int(const char *str_arg, uint length=64);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1005
  enum Type type() const { return INT_ITEM; }
1006 1007
  enum Item_result result_type () const { return INT_RESULT; }
  enum_field_types field_type() const { return MYSQL_TYPE_LONGLONG; }
1008
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
1009
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
1010
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1011
  String *val_str(String*);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1012
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1013 1014
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_int(name,value,max_length); }
1015
  // to prevent drop fixed flag (no need parent cleanup call)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1016
  void cleanup() {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1017
  void print(String *str);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1018
  Item_num *neg() { value= -value; return this; }
1019
  uint decimal_precision() const { return (uint)(max_length - test(value < 0)); }
1020
  bool eq(const Item *, bool binary_cmp) const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1021 1022 1023
};


1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034
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); }
};


1035 1036 1037
class Item_uint :public Item_int
{
public:
monty@mysql.com's avatar
monty@mysql.com committed
1038
  Item_uint(const char *str_arg, uint length);
1039
  Item_uint(uint32 i) :Item_int((ulonglong) i, 10) {}
1040
  Item_uint(const char *str_arg, longlong i, uint length);
1041
  double val_real()
1042
    { DBUG_ASSERT(fixed == 1); return ulonglong2double((ulonglong)value); }
1043 1044
  String *val_str(String*);
  Item *new_item() { return new Item_uint(name,max_length); }
monty@mysql.com's avatar
monty@mysql.com committed
1045
  int save_in_field(Field *field, bool no_conversions);
1046
  void print(String *str);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1047
  Item_num *neg ();
1048
  uint decimal_precision() const { return max_length; }
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
/* 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;
  }
1088
  uint decimal_precision() const { return decimal_value.precision(); }
1089
  bool eq(const Item *, bool binary_cmp) const;
1090 1091
};

1092

1093
class Item_float :public Item_num
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1094
{
1095
  char *presentation;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1096
public:
1097
  double value;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1098
  // Item_real() :value(0) {}
1099 1100
  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
1101 1102
    :value(val_arg)
  {
1103
    presentation= name=(char*) str;
1104
    decimals=(uint8) decimal_par;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1105
    max_length=length;
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1106
    fixed= 1;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1107
  }
1108 1109
  Item_float(double value_par) :presentation(0), value(value_par) { fixed= 1; }

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1110
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1111
  enum Type type() const { return REAL_ITEM; }
1112
  enum_field_types field_type() const { return MYSQL_TYPE_DOUBLE; }
1113
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1114 1115 1116 1117 1118
  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
1119
  String *val_str(String*);
1120
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1121
  bool basic_const_item() const { return 1; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1122 1123
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
1124 1125
  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
1126
  Item_num *neg() { value= -value; return this; }
1127
  void print(String *str);
1128
  bool eq(const Item *, bool binary_cmp) const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1129 1130 1131
};


1132
class Item_static_float_func :public Item_float
1133 1134 1135
{
  const char *func_name;
public:
1136
  Item_static_float_func(const char *str, double val_arg, uint decimal_par,
1137
                        uint length)
1138
    :Item_float(NullS, val_arg, decimal_par, length), func_name(str)
1139 1140 1141 1142 1143
  {}
  void print(String *str) { str->append(func_name); }
};


bk@work.mysql.com's avatar
bk@work.mysql.com committed
1144 1145 1146
class Item_string :public Item
{
public:
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
1147
  Item_string(const char *str,uint length,
1148
  	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1149
  {
1150
    collation.set(cs, dv);
1151
    str_value.set_or_copy_aligned(str,length,cs);
1152 1153 1154 1155 1156 1157 1158
    /*
      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).
    */
1159
    max_length= str_value.numchars()*cs->mbmaxlen;
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
1160
    set_name(str, length, cs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1161
    decimals=NOT_FIXED_DEC;
1162 1163
    // 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
1164
  }
1165
  Item_string(const char *name_par, const char *str, uint length,
1166
	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1167
  {
1168
    collation.set(cs, dv);
1169
    str_value.set_or_copy_aligned(str,length,cs);
1170
    max_length= str_value.numchars()*cs->mbmaxlen;
1171
    set_name(name_par, 0, cs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1172
    decimals=NOT_FIXED_DEC;
1173 1174
    // 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
1175 1176
  }
  enum Type type() const { return STRING_ITEM; }
1177 1178
  double val_real();
  longlong val_int();
1179 1180 1181 1182 1183
  String *val_str(String*)
  {
    DBUG_ASSERT(fixed == 1);
    return (String*) &str_value;
  }
1184
  my_decimal *val_decimal(my_decimal *);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1185
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1186
  enum Item_result result_type () const { return STRING_RESULT; }
1187
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1188
  bool basic_const_item() const { return 1; }
1189
  bool eq(const Item *item, bool binary_cmp) const;
1190 1191
  Item *new_item() 
  {
1192
    return new Item_string(name, str_value.ptr(), 
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1193
    			   str_value.length(), collation.collation);
1194
  }
bar@mysql.com's avatar
bar@mysql.com committed
1195
  Item *safe_charset_converter(CHARSET_INFO *tocs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1196
  String *const_string() { return &str_value; }
1197
  inline void append(char *str, uint length) { str_value.append(str, length); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1198
  void print(String *str);
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1199 1200
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1201 1202
};

1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216

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
1217 1218 1219 1220 1221
/* for show tables */

class Item_datetime :public Item_string
{
public:
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
1222
  Item_datetime(const char *item_name): Item_string(item_name,"",0,
1223
                                                    &my_charset_bin)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1224
  { max_length=19;}
1225
  enum_field_types field_type() const { return MYSQL_TYPE_DATETIME; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1226 1227 1228 1229 1230
};

class Item_empty_string :public Item_string
{
public:
1231 1232
  Item_empty_string(const char *header,uint length, CHARSET_INFO *cs= NULL) :
    Item_string("",0, cs ? cs : &my_charset_bin)
1233
    { name=(char*) header; max_length= cs ? length * cs->mbmaxlen : length; }
1234
  void make_field(Send_field *field);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1235 1236
};

1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250
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
1251
class Item_hex_string: public Item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1252 1253
{
public:
ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
1254 1255
  Item_hex_string(): Item() {}
  Item_hex_string(const char *str,uint str_length);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1256
  enum Type type() const { return VARBIN_ITEM; }
1257
  double val_real()
ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
1258
    { DBUG_ASSERT(fixed == 1); return (double) Item_hex_string::val_int(); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1259
  longlong val_int();
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1260
  bool basic_const_item() const { return 1; }
1261
  String *val_str(String*) { DBUG_ASSERT(fixed == 1); return &str_value; }
1262
  my_decimal *val_decimal(my_decimal *);
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1263
  int save_in_field(Field *field, bool no_conversions);
1264
  enum Item_result result_type () const { return STRING_RESULT; }
1265
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1266 1267
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
1268
  bool eq(const Item *item, bool binary_cmp) const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1269 1270 1271
};


ram@gw.mysql.r18.ru's avatar
ram@gw.mysql.r18.ru committed
1272 1273 1274 1275 1276 1277
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
1278 1279 1280 1281 1282
class Item_result_field :public Item	/* Item with result field */
{
public:
  Field *result_field;				/* Save result here */
  Item_result_field() :result_field(0) {}
1283
  // Constructor used for Item_sum/Item_cond_and/or (see Item comment)
1284 1285
  Item_result_field(THD *thd, Item_result_field *item):
    Item(thd, item), result_field(item->result_field)
1286
  {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1287
  ~Item_result_field() {}			/* Required with gcc 2.95 */
1288
  Field *get_tmp_table_field() { return result_field; }
1289
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
1290
  table_map used_tables() const { return 1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1291
  virtual void fix_length_and_dec()=0;
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1292 1293 1294 1295 1296 1297
  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);
  }
1298
  void cleanup();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1299 1300 1301 1302 1303
};


class Item_ref :public Item_ident
{
1304 1305
protected:
  void set_properties();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1306
public:
hf@deer.(none)'s avatar
hf@deer.(none) committed
1307
  Field *result_field;			 /* Save result here */
serg@serg.mysql.com's avatar
serg@serg.mysql.com committed
1308
  Item **ref;
1309 1310
  Item_ref(const char *db_par, const char *table_name_par,
           const char *field_name_par)
monty@mysql.com's avatar
monty@mysql.com committed
1311
    :Item_ident(db_par, table_name_par, field_name_par), result_field(0), ref(0) {}
1312
  /*
1313 1314 1315 1316 1317 1318 1319 1320 1321 1322
    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.
    
1323 1324 1325
    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.
  */
1326
  Item_ref(Item **item, const char *table_name_par, const char *field_name_par);
1327

1328
  /* Constructor need to process subselect with temporary tables (see Item) */
monty@mysql.com's avatar
monty@mysql.com committed
1329
  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
1330
  enum Type type() const		{ return REF_ITEM; }
1331
  bool eq(const Item *item, bool binary_cmp) const
1332
  { return ref && (*ref)->eq(item, binary_cmp); }
1333 1334 1335 1336 1337 1338 1339
  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);
1340 1341 1342
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
1343 1344
  my_decimal *val_decimal_result(my_decimal *);
  bool val_bool_result();
1345
  bool send(Protocol *prot, String *tmp);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1346
  void make_field(Send_field *field)	{ (*ref)->make_field(field); }
1347
  bool fix_fields(THD *, struct st_table_list *, Item **);
1348
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1349 1350
  void save_org_in_field(Field *field)	{ (*ref)->save_org_in_field(field); }
  enum Item_result result_type () const { return (*ref)->result_type(); }
1351
  enum_field_types field_type() const   { return (*ref)->field_type(); }
1352
  Field *get_tmp_table_field() { return result_field; }
1353 1354 1355 1356
  table_map used_tables() const		
  { 
    return depended_from ? OUTER_REF_TABLE_BIT : (*ref)->used_tables(); 
  }
1357
  table_map not_null_tables() const { return (*ref)->not_null_tables(); }
1358
  void set_result_field(Field *field)	{ result_field= field; }
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1359 1360 1361 1362 1363
  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
1364 1365 1366
  Item *real_item()
  {
    return (*ref)->real_item();
1367
  }
1368 1369
  bool walk(Item_processor processor, byte *arg)
  { return (*ref)->walk(processor, arg); }
1370
  void print(String *str);
monty@mysql.com's avatar
monty@mysql.com committed
1371
  void cleanup();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1372 1373
};

1374

1375 1376 1377 1378
/*
  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.
*/
1379 1380 1381 1382 1383 1384 1385 1386
class Item_direct_ref :public Item_ref
{
public:
  Item_direct_ref(Item **item, const char *table_name_par,
                  const char *field_name_par)
    :Item_ref(item, table_name_par, field_name_par) {}
  /* Constructor need to process subselect with temporary tables (see Item) */
  Item_direct_ref(THD *thd, Item_direct_ref *item) : Item_ref(thd, item) {}
1387

1388 1389 1390 1391 1392 1393 1394
  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);
1395 1396 1397
};


1398
class Item_in_subselect;
1399

1400 1401 1402 1403 1404 1405
class Item_ref_null_helper: public Item_ref
{
protected:
  Item_in_subselect* owner;
public:
  Item_ref_null_helper(Item_in_subselect* master, Item **item,
1406
		       const char *table_name_par, const char *field_name_par):
1407
    Item_ref(item, table_name_par, field_name_par), owner(master) {}
1408
  double val_real();
1409 1410
  longlong val_int();
  String* val_str(String* s);
1411 1412
  my_decimal *val_decimal(my_decimal *);
  bool val_bool();
1413
  bool get_date(TIME *ltime, uint fuzzydate);
1414
  void print(String *str);
1415 1416
};

1417 1418 1419 1420 1421 1422
class Item_null_helper :public Item_ref_null_helper
{
  Item *store;
public:
  Item_null_helper(Item_in_subselect* master, Item *item,
		   const char *table_name_par, const char *field_name_par)
1423 1424
    :Item_ref_null_helper(master, (store= 0, &store), table_name_par,
                          field_name_par),
1425
     store(item)
1426
    { ref= &store; }
1427
  void print(String *str);
1428
};
1429

1430

1431
/*
1432
  The following class is used to optimize comparing of date and bigint columns
1433 1434 1435 1436 1437
  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.
  
1438 1439 1440 1441 1442 1443 1444
*/

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)
1445 1446 1447
  {
    unsigned_flag= ref_arg->unsigned_flag;
  }
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1448
  int save_in_field(Field *field, bool no_conversions)
1449
  {
1450
    return ref->save_in_field(field, no_conversions);
1451
  }
1452
  Item *new_item();
1453 1454 1455
};


1456
#include "gstream.h"
1457
#include "spatial.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1458 1459
#include "item_sum.h"
#include "item_func.h"
1460
#include "item_row.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1461 1462
#include "item_cmpfunc.h"
#include "item_strfunc.h"
1463
#include "item_geofunc.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1464 1465
#include "item_timefunc.h"
#include "item_uniq.h"
1466
#include "item_subselect.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1467 1468 1469

class Item_copy_string :public Item
{
1470
  enum enum_field_types cached_field_type;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1471 1472 1473 1474 1475 1476 1477 1478
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;
1479
    cached_field_type= item->field_type();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1480 1481 1482
  }
  enum Type type() const { return COPY_STR_ITEM; }
  enum Item_result result_type () const { return STRING_RESULT; }
1483
  enum_field_types field_type() const { return cached_field_type; }
1484
  double val_real()
1485
  {
monty@mysql.com's avatar
monty@mysql.com committed
1486 1487
    int err_not_used;
    char *end_not_used;
1488 1489
    return (null_value ? 0.0 :
	    my_strntod(str_value.charset(), (char*) str_value.ptr(),
monty@mysql.com's avatar
monty@mysql.com committed
1490
		       str_value.length(), &end_not_used, &err_not_used));
1491
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1492
  longlong val_int()
serg@serg.mylan's avatar
serg@serg.mylan committed
1493
  {
1494 1495 1496
    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
1497
  String *val_str(String*);
1498
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1499 1500
  void make_field(Send_field *field) { item->make_field(field); }
  void copy();
monty@mysql.com's avatar
monty@mysql.com committed
1501
  int save_in_field(Field *field, bool no_conversions);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1502 1503
  table_map used_tables() const { return (table_map) 1L; }
  bool const_item() const { return 0; }
1504
  bool is_null() { return null_value; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1505 1506 1507
};


serg@serg.mylan's avatar
serg@serg.mylan committed
1508
class Cached_item :public Sql_alloc
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1509 1510 1511
{
public:
  my_bool null_value;
serg@serg.mylan's avatar
serg@serg.mylan committed
1512
  Cached_item() :null_value(0) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1513
  virtual bool cmp(void)=0;
serg@serg.mylan's avatar
serg@serg.mylan committed
1514
  virtual ~Cached_item(); /*line -e1509 */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1515 1516
};

serg@serg.mylan's avatar
serg@serg.mylan committed
1517
class Cached_item_str :public Cached_item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1518 1519 1520 1521
{
  Item *item;
  String value,tmp_value;
public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1522
  Cached_item_str(THD *thd, Item *arg);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1523
  bool cmp(void);
serg@serg.mylan's avatar
serg@serg.mylan committed
1524
  ~Cached_item_str();                           // Deallocate String:s
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1525 1526 1527
};


serg@serg.mylan's avatar
serg@serg.mylan committed
1528
class Cached_item_real :public Cached_item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1529 1530 1531 1532
{
  Item *item;
  double value;
public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1533
  Cached_item_real(Item *item_par) :item(item_par),value(0.0) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1534 1535 1536
  bool cmp(void);
};

serg@serg.mylan's avatar
serg@serg.mylan committed
1537
class Cached_item_int :public Cached_item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1538 1539 1540 1541
{
  Item *item;
  longlong value;
public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1542
  Cached_item_int(Item *item_par) :item(item_par),value(0) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1543 1544 1545 1546
  bool cmp(void);
};


serg@serg.mylan's avatar
serg@serg.mylan committed
1547
class Cached_item_decimal :public Cached_item
1548 1549 1550 1551
{
  Item *item;
  my_decimal value;
public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1552
  Cached_item_decimal(Item *item_par);
1553 1554 1555
  bool cmp(void);
};

serg@serg.mylan's avatar
serg@serg.mylan committed
1556
class Cached_item_field :public Cached_item
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1557 1558 1559 1560 1561 1562
{
  char *buff;
  Field *field;
  uint length;

public:
serg@serg.mylan's avatar
serg@serg.mylan committed
1563
  Cached_item_field(Item_field *item)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1564 1565 1566 1567 1568 1569 1570
  {
    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
1571 1572 1573 1574
class Item_default_value : public Item_field
{
public:
  Item *arg;
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1575 1576
  Item_default_value() :
    Item_field((const char *)NULL, (const char *)NULL, (const char *)NULL), arg(NULL) {}
1577
  Item_default_value(Item *a) :
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1578
    Item_field((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
1579
  enum Type type() const { return DEFAULT_VALUE_ITEM; }
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1580 1581
  bool eq(const Item *item, bool binary_cmp) const;
  bool fix_fields(THD *, struct st_table_list *, Item **);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1582
  void print(String *str);
1583
  int save_in_field(Field *field_arg, bool no_conversions);
hf@deer.mysql.r18.ru's avatar
SCRUM  
hf@deer.mysql.r18.ru committed
1584
  table_map used_tables() const { return (table_map)0L; }
serg@serg.mylan's avatar
serg@serg.mylan committed
1585

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1586 1587 1588 1589 1590
  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
      (this->*processor)(args);
  }
1591

igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1592 1593 1594 1595 1596
  /* 
     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)
1597
  {
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1598
    Item *new_item= arg->transform(transformer, args);
1599 1600 1601
    if (!new_item)
      return 0;
    arg= new_item;
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1602
    return (this->*transformer)(args);
1603
  }
hf@deer.mysql.r18.ru's avatar
hf@deer.mysql.r18.ru committed
1604
};
hf@deer.mysql.r18.ru's avatar
hf@deer.mysql.r18.ru committed
1605

1606 1607 1608 1609 1610 1611 1612 1613 1614
class Item_insert_value : public Item_field
{
public:
  Item *arg;
  Item_insert_value(Item *a) :
    Item_field((const char *)NULL, (const char *)NULL, (const char *)NULL), arg(a) {}
  bool eq(const Item *item, bool binary_cmp) const;
  bool fix_fields(THD *, struct st_table_list *, Item **);
  void print(String *str);
1615
  int save_in_field(Field *field_arg, bool no_conversions)
1616
  {
1617
    return Item_field::save_in_field(field_arg, no_conversions);
1618 1619
  }
  table_map used_tables() const { return (table_map)0L; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1620 1621 1622 1623 1624 1625

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

1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648

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

1649 1650
class Table_triggers_list;

1651 1652 1653 1654
/*
  Represents NEW/OLD version of field of row which is
  changed/read in trigger.

1655 1656 1657 1658 1659 1660
  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.
1661 1662 1663 1664 1665 1666 1667
*/
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;
1668 1669
  /* Next in list of all Item_trigger_field's in trigger */
  Item_trigger_field *next_trg_field;
1670 1671 1672 1673
  /* 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;
1674 1675 1676 1677

  Item_trigger_field(row_version_type row_ver_par,
                     const char *field_name_par):
    Item_field((const char *)NULL, (const char *)NULL, field_name_par),
1678
    row_version(row_ver_par), field_idx((uint)-1)
1679
  {}
1680
  void setup_field(THD *thd, TABLE *table);
1681 1682 1683 1684 1685 1686 1687 1688 1689
  enum Type type() const { return TRIGGER_FIELD_ITEM; }
  bool eq(const Item *item, bool binary_cmp) const;
  bool fix_fields(THD *, struct st_table_list *, Item **);
  void print(String *str);
  table_map used_tables() const { return (table_map)0L; }
  void cleanup();
};


1690 1691
class Item_cache: public Item
{
1692 1693
protected:
  Item *example;
1694
  table_map used_table_map;
1695
public:
1696
  Item_cache(): example(0), used_table_map(0) {fixed= 1; null_value= 1;}
1697 1698 1699

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

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1700
  virtual bool allocate(uint i) { return 0; }
1701
  virtual bool setup(Item *item)
1702
  {
1703 1704 1705 1706 1707 1708
    example= item;
    max_length= item->max_length;
    decimals= item->decimals;
    collation.set(item->collation);
    return 0;
  };
1709 1710
  virtual void store(Item *)= 0;
  enum Type type() const { return CACHE_ITEM; }
1711
  static Item_cache* get_cache(Item_result type);
1712
  table_map used_tables() const { return used_table_map; }
1713
  virtual void keep_array() {}
1714
  // to prevent drop fixed flag (no need parent cleanup call)
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1715
  void cleanup() {}
1716
  void print(String *str);
1717 1718
};

1719

1720 1721
class Item_cache_int: public Item_cache
{
1722
protected:
1723 1724
  longlong value;
public:
1725
  Item_cache_int(): Item_cache(), value(0) {}
1726

1727
  void store(Item *item);
1728
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
1729
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
1730 1731
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
1732 1733 1734
  enum Item_result result_type() const { return INT_RESULT; }
};

1735

1736 1737 1738 1739
class Item_cache_real: public Item_cache
{
  double value;
public:
1740
  Item_cache_real(): Item_cache(), value(0) {}
1741

1742
  void store(Item *item);
1743
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1744 1745 1746
  longlong val_int();
  String* val_str(String *str);
  my_decimal *val_decimal(my_decimal *);
1747 1748 1749
  enum Item_result result_type() const { return REAL_RESULT; }
};

1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766

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


1767 1768
class Item_cache_str: public Item_cache
{
1769
  char buffer[STRING_BUFFER_USUAL_SIZE];
1770
  String *value, value_buff;
1771
public:
1772
  Item_cache_str(): Item_cache(), value(0) { }
1773

1774
  void store(Item *item);
1775
  double val_real();
1776
  longlong val_int();
1777
  String* val_str(String *) { DBUG_ASSERT(fixed == 1); return value; }
1778
  my_decimal *val_decimal(my_decimal *);
1779 1780 1781 1782
  enum Item_result result_type() const { return STRING_RESULT; }
  CHARSET_INFO *charset() const { return value->charset(); };
};

1783 1784 1785
class Item_cache_row: public Item_cache
{
  Item_cache  **values;
1786
  uint item_count;
1787
  bool save_array;
1788
public:
1789 1790
  Item_cache_row()
    :Item_cache(), values(0), item_count(2), save_array(0) {}
1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807
  
  /*
    '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");
  };
1808
  double val_real()
1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822
  {
    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;
  };
1823 1824 1825 1826 1827 1828
  my_decimal *val_decimal(my_decimal *val)
  {
    illegal_method_call((const char*)"val_decimal");
    return 0;
  };

1829 1830
  enum Item_result result_type() const { return ROW_RESULT; }
  
1831
  uint cols() { return item_count; }
1832 1833 1834 1835 1836
  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();
1837
  void keep_array() { save_array= 1; }
hf@deer.(none)'s avatar
hf@deer.(none) committed
1838 1839
  void cleanup()
  {
1840
    DBUG_ENTER("Item_cache_row::cleanup");
hf@deer.(none)'s avatar
hf@deer.(none) committed
1841
    Item_cache::cleanup();
1842 1843 1844 1845
    if (save_array)
      bzero(values, item_count*sizeof(Item**));
    else
      values= 0;
1846
    DBUG_VOID_RETURN;
hf@deer.(none)'s avatar
hf@deer.(none) committed
1847
  }
1848 1849
};

1850 1851

/*
1852 1853 1854 1855 1856
  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.
1857 1858 1859 1860
*/
class Item_type_holder: public Item
{
protected:
1861 1862 1863 1864
  TYPELIB *enum_set_typelib;
  enum_field_types fld_type;

  void get_full_info(Item *item);
1865 1866 1867

  /* It is used to count decimal precision in join_types */
  int prev_decimal_int_part;
1868
public:
1869
  Item_type_holder(THD*, Item*);
1870

1871 1872
  Item_result result_type() const;
  virtual enum_field_types field_type() const { return fld_type; };
1873
  enum Type type() const { return TYPE_HOLDER; }
1874
  double val_real();
1875
  longlong val_int();
1876
  my_decimal *val_decimal(my_decimal *);
1877
  String *val_str(String*);
1878 1879 1880 1881
  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 *);
1882 1883
};

1884 1885 1886
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
1887
                                    st_select_lex *current_sel,
1888 1889
                                    Field *found_field, Item *found_item,
                                    Item_ident *resolved_item);
1890

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