item.h 48.7 KB
Newer Older
1
/* Copyright (C) 2000-2003 MySQL AB & MySQL Finland AB & TCX DataKonsult AB
unknown's avatar
unknown committed
2

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

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

unknown's avatar
unknown committed
13 14 15 16 17 18 19 20 21
   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 */


#ifdef __GNUC__
#pragma interface			/* gcc class implementation */
#endif

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

27 28 29 30 31 32 33 34

/*
   "Declared Type Collation"
   A combination of collation and its deriviation.
*/

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

42 43
/*
  Flags for collation aggregation modes:
unknown's avatar
unknown committed
44 45 46 47 48 49 50 51 52
  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
                                 (combintion of the above two)
  MY_COLL_DISALLOW_NONE        - don't allow return DERIVATION_NONE
                                 (e.g. when aggregating for comparison)
  MY_COLL_CMP_CONV             - combination of MY_COLL_ALLOW_CONV
                                 and MY_COLL_DISALLOW_NONE
53 54 55 56
*/

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

61 62 63 64
class DTCollation {
public:
  CHARSET_INFO     *collation;
  enum Derivation derivation;
65 66
  uint nagg;    // Total number of aggregated collations.
  uint strong;  // Number of the strongest collation.
67 68 69 70 71
  
  DTCollation()
  {
    collation= &my_charset_bin;
    derivation= DERIVATION_NONE;
72 73
    nagg= 0;
    strong= 0;
74 75 76 77 78
  }
  DTCollation(CHARSET_INFO *collation_arg, Derivation derivation_arg)
  {
    collation= collation_arg;
    derivation= derivation_arg;
79 80
    nagg= 0;
    strong= 0;
81
  }
82
  void set(DTCollation &dt)
83
  { 
84 85
    collation= dt.collation;
    derivation= dt.derivation;
86 87 88 89 90 91 92 93 94 95
  }
  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; }
96 97 98
  bool aggregate(DTCollation &dt, uint flags= 0);
  bool set(DTCollation &dt1, DTCollation &dt2, uint flags= 0)
  { set(dt1); return aggregate(dt2, flags); }
99 100 101 102
  const char *derivation_name() const
  {
    switch(derivation)
    {
103
      case DERIVATION_IGNORABLE: return "IGNORABLE";
104 105 106 107 108 109 110 111 112
      case DERIVATION_COERCIBLE: return "COERCIBLE";
      case DERIVATION_IMPLICIT:  return "IMPLICIT";
      case DERIVATION_EXPLICIT:  return "EXPLICIT";
      case DERIVATION_NONE:      return "NONE";
      default: return "UNKNOWN";
    }
  }
};

unknown's avatar
unknown committed
113
typedef bool (Item::*Item_processor)(byte *arg);
unknown's avatar
unknown committed
114
typedef Item* (Item::*Item_transformer) (byte *arg);
unknown's avatar
unknown committed
115

unknown's avatar
unknown committed
116
class Item {
unknown's avatar
unknown committed
117
  Item(const Item &);			/* Prevent use of these */
unknown's avatar
unknown committed
118 119
  void operator=(Item &);
public:
unknown's avatar
unknown committed
120
  static void *operator new(size_t size) {return (void*) sql_alloc((uint) size); }
121 122
  static void *operator new(size_t size, MEM_ROOT *mem_root)
  { return (void*) alloc_root(mem_root, (uint) size); }
unknown's avatar
unknown committed
123 124 125
  static void operator delete(void *ptr,size_t size) { TRASH(ptr, size); }
  static void operator delete(void *ptr,size_t size, MEM_ROOT *mem_root)
  { TRASH(ptr, size); }
unknown's avatar
unknown committed
126

127 128
  enum Type {FIELD_ITEM, FUNC_ITEM, SUM_FUNC_ITEM, STRING_ITEM,
	     INT_ITEM, REAL_ITEM, NULL_ITEM, VARBIN_ITEM,
unknown's avatar
SCRUM  
unknown committed
129
	     COPY_STR_ITEM, FIELD_AVG_ITEM, DEFAULT_VALUE_ITEM,
unknown's avatar
unknown committed
130 131
	     PROC_ITEM,COND_ITEM, REF_ITEM, FIELD_STD_ITEM,
	     FIELD_VARIANCE_ITEM, INSERT_VALUE_ITEM,
132
             SUBSELECT_ITEM, ROW_ITEM, CACHE_ITEM, TYPE_HOLDER,
133
             PARAM_ITEM, TRIGGER_FIELD_ITEM};
unknown's avatar
SCRUM  
unknown committed
134

unknown's avatar
unknown committed
135
  enum cond_result { COND_UNDEF,COND_OK,COND_TRUE,COND_FALSE };
136
  
unknown's avatar
unknown committed
137 138 139 140 141
  /*
    str_values's main purpose is to be used to cache the value in
    save_in_field
  */
  String str_value;
unknown's avatar
unknown committed
142
  my_string name;			/* Name from select */
143 144
  /* Original item name (if it was renamed)*/
  my_string orig_name;
unknown's avatar
unknown committed
145 146
  Item *next;
  uint32 max_length;
147
  uint name_length;                     /* Length of name */
unknown's avatar
unknown committed
148 149 150
  uint8 marker,decimals;
  my_bool maybe_null;			/* If item may be null */
  my_bool null_value;			/* if item is null */
151
  my_bool unsigned_flag;
unknown's avatar
unknown committed
152
  my_bool with_sum_func;
153
  my_bool fixed;                        /* If item fixed with fix_fields */
154
  DTCollation collation;
155

unknown's avatar
unknown committed
156 157
  // alloc & destruct is done as start of select using sql_alloc
  Item();
158 159 160 161
  /*
     Constructor used by Item_field, Item_ref & agregate (sum) functions.
     Used for duplicating lists in processing queries with temporary
     tables
162 163 164
     Also it used for Item_cond_and/Item_cond_or for creating
     top AND/OR ctructure of WHERE clause to protect it of
     optimisation changes in prepared statements
165
  */
166
  Item(THD *thd, Item *item);
unknown's avatar
unknown committed
167 168 169 170
  virtual ~Item()
  {
    name=0;
  }		/*lint -e1509 */
unknown's avatar
unknown committed
171
  void set_name(const char *str,uint length, CHARSET_INFO *cs);
172
  void rename(char *new_name);
unknown's avatar
unknown committed
173
  void init_make_field(Send_field *tmp_field,enum enum_field_types type);
174
  virtual void cleanup();
175
  virtual void make_field(Send_field *field);
176
  Field *make_string_field(TABLE *table);
unknown's avatar
unknown committed
177
  virtual bool fix_fields(THD *, struct st_table_list *, Item **);
unknown's avatar
unknown committed
178
  /*
unknown's avatar
unknown committed
179
    should be used in case where we are sure that we do not need
unknown's avatar
unknown committed
180 181 182
    complete fix_fields() procedure.
  */
  inline void quick_fix_field() { fixed= 1; }
unknown's avatar
unknown committed
183
  /* Function returns 1 on overflow and -1 on fatal errors */
184
  int save_in_field_no_warnings(Field *field, bool no_conversions);
unknown's avatar
unknown committed
185
  virtual int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
186
  virtual void save_org_in_field(Field *field)
187
  { (void) save_in_field(field, 1); }
unknown's avatar
unknown committed
188
  virtual int save_safe_in_field(Field *field)
189
  { return save_in_field(field, 1); }
190
  virtual bool send(Protocol *protocol, String *str);
191
  virtual bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
192
  virtual Item_result result_type () const { return REAL_RESULT; }
193
  virtual enum_field_types field_type() const;
unknown's avatar
unknown committed
194
  virtual enum Type type() const =0;
195
  /* valXXX methods must return NULL or 0 or 0.0 if null_value is set. */
196
  virtual double val_real()=0;
unknown's avatar
unknown committed
197
  virtual longlong val_int()=0;
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
  /*
    Return string representation of this item object.

    The argument to val_str() is an allocated buffer this or any
    nested Item object can use to store return value of this method.
    This buffer 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 preferrable 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 agrument, 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.
  */
unknown's avatar
unknown committed
223
  virtual String *val_str(String*)=0;
224
  virtual Field *get_tmp_table_field() { return 0; }
225
  virtual Field *tmp_table_field(TABLE *t_arg) { return 0; }
unknown's avatar
unknown committed
226
  virtual const char *full_name() const { return name ? name : "???"; }
227
  virtual double  val_result() { return val_real(); }
unknown's avatar
unknown committed
228 229
  virtual longlong val_int_result() { return val_int(); }
  virtual String *str_result(String* tmp) { return val_str(tmp); }
230
  /* bit map of tables used by item */
unknown's avatar
unknown committed
231
  virtual table_map used_tables() const { return (table_map) 0L; }
232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247
  /*
    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
    a constant expression
  */
unknown's avatar
unknown committed
248
  virtual bool basic_const_item() const { return 0; }
unknown's avatar
unknown committed
249 250
  /* cloning of constant items (0 if it is not const) */
  virtual Item *new_item() { return 0; }
unknown's avatar
unknown committed
251 252 253
  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;}
254 255 256 257
  /* 
    Returns true if this is constant (during query execution, i.e. its value
    will not change until next fix_fields) and its value is known.
  */
unknown's avatar
unknown committed
258
  virtual bool const_item() const { return used_tables() == 0; }
259 260 261 262 263 264
  /* 
    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; }
unknown's avatar
unknown committed
265
  virtual void print(String *str_arg) { str_arg->append(full_name()); }
unknown's avatar
unknown committed
266
  void print_item_w_name(String *);
unknown's avatar
unknown committed
267
  virtual void update_used_tables() {}
268 269
  virtual void split_sum_func(THD *thd, Item **ref_pointer_array,
                              List<Item> &fields) {}
270
  virtual bool get_date(TIME *ltime,uint fuzzydate);
unknown's avatar
unknown committed
271
  virtual bool get_time(TIME *ltime);
272
  virtual bool get_date_result(TIME *ltime,uint fuzzydate)
273
  { return get_date(ltime,fuzzydate); }
274 275 276 277 278 279 280 281
  /*
    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.
  */
282
  virtual bool is_null() { return 0; }
unknown's avatar
unknown committed
283 284 285 286
  /*
    it is "top level" item of WHERE clause and we do not need correct NULL
    handling
  */
287
  virtual void top_level_item() {}
unknown's avatar
unknown committed
288 289 290 291
  /*
    set field of temporary table for Item which can be switched on temporary
    table during query processing (groupping and so on)
  */
unknown's avatar
unknown committed
292 293
  virtual void set_result_field(Field *field) {}
  virtual bool is_result_field() { return 0; }
unknown's avatar
unknown committed
294
  virtual bool is_bool_func() { return 0; }
unknown's avatar
unknown committed
295
  virtual void save_in_result_field(bool no_conversions) {}
unknown's avatar
unknown committed
296 297 298
  /*
    set value of aggegate function in case of no rows for groupping were found
  */
unknown's avatar
unknown committed
299
  virtual void no_rows_in_result() {}
300
  virtual Item *copy_or_same(THD *thd) { return this; }
301
  virtual Item *copy_andor_structure(THD *thd) { return this; }
unknown's avatar
unknown committed
302
  virtual Item *real_item() { return this; }
303
  virtual Item *get_tmp_table_item(THD *thd) { return copy_or_same(thd); }
unknown's avatar
unknown committed
304

305
  static CHARSET_INFO *default_charset();
306
  virtual CHARSET_INFO *compare_collation() { return NULL; }
unknown's avatar
unknown committed
307 308 309 310 311 312

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

unknown's avatar
unknown committed
313
   virtual Item* transform(Item_transformer transformer, byte *arg)
314
  {
unknown's avatar
unknown committed
315
    return (this->*transformer)(arg);
316 317
  }
 
unknown's avatar
unknown committed
318
  virtual bool remove_dependence_processor(byte * arg) { return 0; }
319
  virtual bool remove_fixed(byte * arg) { fixed= 0; return 0; }
unknown's avatar
unknown committed
320
  virtual bool cleanup_processor(byte *arg);
321
  virtual bool collect_item_field_processor(byte * arg) { return 0; }
322
  virtual Item *equal_fields_propagator(byte * arg) { return this; }
unknown's avatar
unknown committed
323
  virtual Item *set_no_const_sub(byte *arg) { return this; }
324
  virtual bool replace_equal_field_processor(byte * arg) { return 0; }
325
  
326 327
  virtual Item *this_item() { return this; } /* For SPs mostly. */
  virtual Item *this_const_item() const { return const_cast<Item*>(this); } /* For SPs mostly. */
unknown's avatar
unknown committed
328 329 330 331

  // Row emulation
  virtual uint cols() { return 1; }
  virtual Item* el(uint i) { return this; }
332
  virtual Item** addr(uint i) { return 0; }
unknown's avatar
unknown committed
333
  virtual bool check_cols(uint c);
unknown's avatar
unknown committed
334
  // It is not row => null inside is impossible
335 336 337
  virtual bool null_inside() { return 0; }
  // used in row subselects to get value of elements
  virtual void bring_value() {}
338 339

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

342
  virtual Item *neg_transformer(THD *thd) { return NULL; }
unknown's avatar
unknown committed
343
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
344 345 346 347
  void delete_self()
  {
    cleanup();
    delete this;
unknown's avatar
unknown committed
348
  }
unknown's avatar
unknown committed
349 350 351
};


352 353 354 355 356 357
// A local SP variable (incl. parameters), used in runtime
class Item_splocal : public Item
{
private:
  
  uint m_offset;
unknown's avatar
unknown committed
358
  LEX_STRING m_name;
359 360 361

public:

unknown's avatar
unknown committed
362 363
  Item_splocal(LEX_STRING name, uint offset)
    : m_offset(offset), m_name(name)
364 365 366
  {
    Item::maybe_null= TRUE;
  }
367 368 369 370 371 372 373 374 375 376 377

  Item *this_item();
  Item *this_const_item() const;

  inline uint get_offset()
  {
    return m_offset;
  }

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

380
  inline double val_real()
381
  {
382
    Item *it= this_item();
383
    double ret= it->val_real();
384 385
    Item::null_value= it->null_value;
    return ret;
386 387 388 389
  }

  inline longlong val_int()
  {
390 391 392 393
    Item *it= this_item();
    longlong ret= it->val_int();
    Item::null_value= it->null_value;
    return ret;
394 395 396 397
  }

  inline String *val_str(String *sp)
  {
398 399 400 401 402 403 404 405 406 407 408 409
    Item *it= this_item();
    String *ret= it->val_str(sp);
    Item::null_value= it->null_value;
    return ret;
  }

  inline bool is_null()
  {
    Item *it= this_item();
    bool ret= it->is_null();
    Item::null_value= it->null_value;
    return ret;
410 411 412 413
  }

  inline void make_field(Send_field *field)
  {
414 415 416 417
    Item *it= this_item();

    it->set_name(m_name.str, m_name.length, system_charset_info);
    it->make_field(field);
418 419
  }

420 421 422 423 424 425 426
  inline Item_result result_type() const
  {
    return this_const_item()->result_type();
  }

  inline bool const_item() const
  {
427
    return TRUE;
428 429
  }

430 431 432 433
  inline int save_in_field(Field *field, bool no_conversions)
  {
    return this_item()->save_in_field(field, no_conversions);
  }
unknown's avatar
unknown committed
434

435
  void print(String *str)
unknown's avatar
unknown committed
436
  {
437
    str->reserve(m_name.length+8);
unknown's avatar
unknown committed
438
    str->append(m_name.str, m_name.length);
439 440
    str->append('@');
    str->qs_append(m_offset);
unknown's avatar
unknown committed
441
  }
442 443 444 445 446

  inline bool send(Protocol *protocol, String *str)
  {
    return this_item()->send(protocol, str);
  }
447 448 449
};


450 451 452
class Item_num: public Item
{
public:
unknown's avatar
unknown committed
453
  virtual Item_num *neg()= 0;
454 455
};

456
#define NO_CACHED_FIELD_INDEX ((uint)(-1))
457

unknown's avatar
unknown committed
458
class st_select_lex;
unknown's avatar
unknown committed
459 460
class Item_ident :public Item
{
461
protected:
462 463 464 465 466 467 468 469 470
  /* 
    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;
unknown's avatar
unknown committed
471 472 473 474
public:
  const char *db_name;
  const char *table_name;
  const char *field_name;
unknown's avatar
unknown committed
475
  bool alias_name_used; /* true if item was resolved against alias */
476 477
  /* 
    Cached value of index for this field in table->field array, used by prep. 
478 479 480 481 482 483 484 485
    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.
486
  */
487
  TABLE_LIST *cached_table;
unknown's avatar
unknown committed
488
  st_select_lex *depended_from;
unknown's avatar
unknown committed
489
  Item_ident(const char *db_name_par,const char *table_name_par,
490
	     const char *field_name_par);
unknown's avatar
unknown committed
491
  Item_ident(THD *thd, Item_ident *item);
unknown's avatar
unknown committed
492
  const char *full_name() const;
493
  void cleanup();
unknown's avatar
unknown committed
494
  bool remove_dependence_processor(byte * arg);
495
  void print(String *str);
unknown's avatar
VIEW  
unknown committed
496 497 498

  friend bool insert_fields(THD *thd,TABLE_LIST *tables, const char *db_name,
                            const char *table_name, List_iterator<Item> *it,
unknown's avatar
unknown committed
499
                            bool any_privileges, bool allocate_view_names);
unknown's avatar
unknown committed
500 501
};

502 503
class Item_equal;
class COND_EQUAL;
unknown's avatar
unknown committed
504

unknown's avatar
unknown committed
505 506
class Item_field :public Item_ident
{
507
protected:
unknown's avatar
unknown committed
508 509 510
  void set_field(Field *field);
public:
  Field *field,*result_field;
unknown's avatar
unknown committed
511 512
  Item_equal *item_equal;
  bool no_const_subst;
unknown's avatar
VIEW  
unknown committed
513 514 515 516 517 518 519
  /*
    if any_privileges set to TRUE then here real effective privileges will
    be stored
  */
  uint have_privileges;
  /* field need any privileges (for VIEW creation) */
  bool any_privileges;
unknown's avatar
unknown committed
520 521 522

  Item_field(const char *db_par,const char *table_name_par,
	     const char *field_name_par)
523
    :Item_ident(db_par,table_name_par,field_name_par),
unknown's avatar
unknown committed
524
    field(0), result_field(0), item_equal(0), no_const_subst(0),
unknown's avatar
unknown committed
525
     have_privileges(0), any_privileges(0)
526
  { collation.set(DERIVATION_IMPLICIT); }
527 528 529
  /*
    Constructor needed to process subselect with temporary tables (see Item)
  */
530
  Item_field(THD *thd, Item_field *item);
531
  /*
532 533 534
    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).
535 536
  */
  Item_field(THD *thd, Field *field);
537 538 539
  /*
    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
540
    reset_field() before fix_fields() for all fields created this way.
541
  */
unknown's avatar
unknown committed
542 543
  Item_field(Field *field);
  enum Type type() const { return FIELD_ITEM; }
544
  bool eq(const Item *item, bool binary_cmp) const;
545
  double val_real();
unknown's avatar
unknown committed
546 547 548 549 550
  longlong val_int();
  String *val_str(String*);
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
551
  bool send(Protocol *protocol, String *str_arg);
552
  void reset_field(Field *f);
unknown's avatar
unknown committed
553
  bool fix_fields(THD *, struct st_table_list *, Item **);
554
  void make_field(Send_field *tmp_field);
unknown's avatar
unknown committed
555
  int save_in_field(Field *field,bool no_conversions);
unknown's avatar
unknown committed
556 557 558 559 560 561
  void save_org_in_field(Field *field);
  table_map used_tables() const;
  enum Item_result result_type () const
  {
    return field->result_type();
  }
unknown's avatar
unknown committed
562
  enum_field_types field_type() const
563 564 565
  {
    return field->type();
  }
566
  Field *get_tmp_table_field() { return result_field; }
567
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
568 569
  bool get_date(TIME *ltime,uint fuzzydate);
  bool get_date_result(TIME *ltime,uint fuzzydate);
570
  bool get_time(TIME *ltime);
unknown's avatar
unknown committed
571
  bool is_null() { return field->is_null(); }
572
  Item *get_tmp_table_item(THD *thd);
573
  bool collect_item_field_processor(byte * arg);
unknown's avatar
unknown committed
574
  void cleanup();
575 576
  Item_equal *find_item_equal(COND_EQUAL *cond_equal);
  Item *equal_fields_propagator(byte *arg);
unknown's avatar
unknown committed
577
  Item *set_no_const_sub(byte *arg);
578
  bool replace_equal_field_processor(byte *arg);
unknown's avatar
unknown committed
579
  inline uint32 max_disp_length() { return field->max_length(); }
580
  Item_field *filed_for_view_update() { return this; }
unknown's avatar
unknown committed
581
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
SCRUM  
unknown committed
582
  friend class Item_default_value;
unknown's avatar
unknown committed
583
  friend class Item_insert_value;
unknown's avatar
unknown committed
584
  friend class st_select_lex_unit;
unknown's avatar
unknown committed
585 586 587 588 589 590
};

class Item_null :public Item
{
public:
  Item_null(char *name_par=0)
unknown's avatar
unknown committed
591 592 593 594 595
  {
    maybe_null= null_value= TRUE;
    max_length= 0;
    name= name_par ? name_par : (char*) "NULL";
    fixed= 1;
596
    collation.set(&my_charset_bin, DERIVATION_IGNORABLE);
unknown's avatar
unknown committed
597
  }
unknown's avatar
unknown committed
598
  enum Type type() const { return NULL_ITEM; }
599
  bool eq(const Item *item, bool binary_cmp) const;
600
  double val_real();
unknown's avatar
unknown committed
601 602
  longlong val_int();
  String *val_str(String *str);
unknown's avatar
unknown committed
603
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
604
  int save_safe_in_field(Field *field);
unknown's avatar
unknown committed
605
  bool send(Protocol *protocol, String *str);
606 607
  enum Item_result result_type () const { return STRING_RESULT; }
  enum_field_types field_type() const   { return MYSQL_TYPE_NULL; }
unknown's avatar
unknown committed
608 609
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
610 611
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_null(name); }
unknown's avatar
unknown committed
612
  bool is_null() { return 1; }
613
  void print(String *str) { str->append("NULL", 4); }
unknown's avatar
unknown committed
614
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
615 616
};

617 618 619

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

unknown's avatar
unknown committed
620 621
class Item_param :public Item
{
622
public:
623 624 625 626 627 628
  enum enum_item_param_state
  {
    NO_VALUE, NULL_VALUE, INT_VALUE, REAL_VALUE,
    STRING_VALUE, TIME_VALUE, LONG_DATA_VALUE
  } state;

629 630 631 632 633 634 635 636 637 638 639
  /*
    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;
640 641
  union
  {
642 643
    longlong integer;
    double   real;
644 645 646 647 648 649 650 651 652 653 654 655
    /*
      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).
656
        Otherwise it's equal to character_set_client (to simplify
657 658 659 660 661 662 663 664
        check in convert_str_value()).
      */
      CHARSET_INFO *final_character_set_of_str_value;
    } cs_info;
    TIME     time;
  } value;

  /* Cached values for virtual methods to save us one switch.  */
unknown's avatar
unknown committed
665 666
  enum Item_result item_result_type;
  enum Type item_type;
667 668 669 670 671 672 673 674 675 676

  /*
    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;
677
  /*
678 679
    Offset of placeholder inside statement text. Used to create
    no-placeholders version of this statement for the binary log.
680
  */
681
  uint pos_in_query;
unknown's avatar
unknown committed
682

683 684 685
  Item_param(uint pos_in_query_arg);

  enum Item_result result_type () const { return item_result_type; }
unknown's avatar
unknown committed
686
  enum Type type() const { return item_type; }
687
  enum_field_types field_type() const { return param_type; }
688

689
  double val_real();
unknown's avatar
unknown committed
690 691
  longlong val_int();
  String *val_str(String*);
692
  bool get_time(TIME *tm);
693
  bool get_date(TIME *tm, uint fuzzydate);
unknown's avatar
unknown committed
694
  int  save_in_field(Field *field, bool no_conversions);
695

unknown's avatar
unknown committed
696
  void set_null();
697
  void set_int(longlong i, uint32 max_length_arg);
unknown's avatar
unknown committed
698
  void set_double(double i);
699 700 701
  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);
702
  bool set_from_user_var(THD *thd, const user_var_entry *entry);
703
  void reset();
704 705 706 707 708 709 710 711
  /*
    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);

712 713 714
  const String *query_val_str(String *str) const;

  bool convert_str_value(THD *thd);
715

716
  Item *new_item() { return new Item_param(pos_in_query); }
717 718 719
  /*
    If value for parameter was not set we treat it as non-const
    so noone will use parameters value in fix_fields still
720 721 722
    parameter is constant during execution.
  */
  virtual table_map used_tables() const
723
  { return state != NO_VALUE ? (table_map)0 : PARAM_TABLE_BIT; }
724
  void print(String *str);
725 726
  /* parameter never equal to other parameter of other item */
  bool eq(const Item *item, bool binary_cmp) const { return 0; }
727 728
  bool is_null()
  { DBUG_ASSERT(state != NO_VALUE); return state == NULL_VALUE; }
unknown's avatar
unknown committed
729
};
unknown's avatar
unknown committed
730

731
class Item_int :public Item_num
unknown's avatar
unknown committed
732 733
{
public:
734
  longlong value;
unknown's avatar
unknown committed
735
  Item_int(int32 i,uint length=11) :value((longlong) i)
736
    { max_length=length; fixed= 1; }
unknown's avatar
unknown committed
737 738
#ifdef HAVE_LONG_LONG
  Item_int(longlong i,uint length=21) :value(i)
739
    { max_length=length; fixed= 1;}
unknown's avatar
unknown committed
740 741
#endif
  Item_int(const char *str_arg,longlong i,uint length) :value(i)
742
    { max_length=length; name=(char*) str_arg; fixed= 1; }
unknown's avatar
unknown committed
743
  Item_int(const char *str_arg, uint length=64);
unknown's avatar
unknown committed
744
  enum Type type() const { return INT_ITEM; }
745 746
  enum Item_result result_type () const { return INT_RESULT; }
  enum_field_types field_type() const { return MYSQL_TYPE_LONGLONG; }
747
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
748
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
unknown's avatar
unknown committed
749
  String *val_str(String*);
unknown's avatar
unknown committed
750
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
751 752
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_int(name,value,max_length); }
753
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
754
  void cleanup() {}
unknown's avatar
unknown committed
755
  void print(String *str);
unknown's avatar
unknown committed
756
  Item_num *neg() { value= -value; return this; }
unknown's avatar
unknown committed
757 758 759
};


760 761 762 763 764 765 766 767 768 769 770
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); }
};


unknown's avatar
unknown committed
771 772 773
class Item_uint :public Item_int
{
public:
unknown's avatar
unknown committed
774
  Item_uint(const char *str_arg, uint length);
775
  Item_uint(uint32 i) :Item_int((longlong) i, 10) 
unknown's avatar
unknown committed
776
    { unsigned_flag= 1; }
777
  double val_real()
778
    { DBUG_ASSERT(fixed == 1); return ulonglong2double((ulonglong)value); }
unknown's avatar
unknown committed
779 780
  String *val_str(String*);
  Item *new_item() { return new Item_uint(name,max_length); }
unknown's avatar
unknown committed
781
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
782
  void print(String *str);
unknown's avatar
unknown committed
783
  Item_num *neg ();
unknown's avatar
unknown committed
784 785 786
};


787
class Item_real :public Item_num
unknown's avatar
unknown committed
788
{
789
  char *presentation;
unknown's avatar
unknown committed
790
public:
791
  double value;
unknown's avatar
unknown committed
792
  // Item_real() :value(0) {}
unknown's avatar
unknown committed
793
  Item_real(const char *str_arg, uint length);
unknown's avatar
unknown committed
794 795 796
  Item_real(const char *str,double val_arg,uint decimal_par,uint length)
    :value(val_arg)
  {
797
    presentation= name=(char*) str;
unknown's avatar
unknown committed
798
    decimals=(uint8) decimal_par;
unknown's avatar
unknown committed
799
    max_length=length;
unknown's avatar
unknown committed
800
    fixed= 1;
unknown's avatar
unknown committed
801
  }
802
  Item_real(double value_par) :presentation(0), value(value_par) { fixed= 1; }
unknown's avatar
unknown committed
803
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
804
  enum Type type() const { return REAL_ITEM; }
805
  enum_field_types field_type() const { return MYSQL_TYPE_DOUBLE; }
806
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
807 808 809 810 811
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
    return (longlong) (value+(value > 0 ? 0.5 : -0.5));
  }
unknown's avatar
unknown committed
812 813
  String *val_str(String*);
  bool basic_const_item() const { return 1; }
unknown's avatar
unknown committed
814 815
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
816
  Item *new_item() { return new Item_real(name,value,decimals,max_length); }
unknown's avatar
unknown committed
817
  Item_num *neg() { value= -value; return this; }
818
  void print(String *str);
unknown's avatar
unknown committed
819 820 821
};


822 823 824 825 826 827 828 829 830 831 832 833
class Item_static_real_func :public Item_real
{
  const char *func_name;
public:
  Item_static_real_func(const char *str, double val_arg, uint decimal_par,
                        uint length)
    :Item_real(NullS, val_arg, decimal_par, length), func_name(str)
  {}
  void print(String *str) { str->append(func_name); }
};


unknown's avatar
unknown committed
834 835 836 837 838 839 840 841 842 843 844 845 846
class Item_float :public Item_real
{
public:
  Item_float(const char *str,uint length) :Item_real(str,length)
  {
    decimals=NOT_FIXED_DEC;
    max_length=DBL_DIG+8;
  }
};

class Item_string :public Item
{
public:
unknown's avatar
unknown committed
847
  Item_string(const char *str,uint length,
848
  	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
849
  {
850
    collation.set(cs, dv);
unknown's avatar
unknown committed
851
    str_value.set_or_copy_aligned(str,length,cs);
852 853 854 855 856 857 858
    /*
      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).
    */
859
    max_length= str_value.numchars()*cs->mbmaxlen;
unknown's avatar
unknown committed
860
    set_name(str, length, cs);
unknown's avatar
unknown committed
861
    decimals=NOT_FIXED_DEC;
862 863
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
864
  }
865
  Item_string(const char *name_par, const char *str, uint length,
866
	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
867
  {
868
    collation.set(cs, dv);
unknown's avatar
unknown committed
869
    str_value.set_or_copy_aligned(str,length,cs);
870
    max_length= str_value.numchars()*cs->mbmaxlen;
unknown's avatar
unknown committed
871
    set_name(name_par,0,cs);
unknown's avatar
unknown committed
872
    decimals=NOT_FIXED_DEC;
873 874
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
875 876
  }
  enum Type type() const { return STRING_ITEM; }
877
  double val_real()
878 879
  {
    DBUG_ASSERT(fixed == 1);
880
    int err;
881
    return my_strntod(str_value.charset(), (char*) str_value.ptr(),
882
		      str_value.length(), (char**) 0, &err);
883 884 885
  }
  longlong val_int()
  {
886
    DBUG_ASSERT(fixed == 1);
887
    int err;
888
    return my_strntoll(str_value.charset(), str_value.ptr(),
889
		       str_value.length(), 10, (char**) 0, &err);
890
  }
891 892 893 894 895
  String *val_str(String*)
  {
    DBUG_ASSERT(fixed == 1);
    return (String*) &str_value;
  }
unknown's avatar
unknown committed
896
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
897
  enum Item_result result_type () const { return STRING_RESULT; }
898
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
unknown's avatar
unknown committed
899
  bool basic_const_item() const { return 1; }
900
  bool eq(const Item *item, bool binary_cmp) const;
901 902
  Item *new_item() 
  {
903 904
    return new Item_string(name, str_value.ptr(), 
    			   str_value.length(), &my_charset_bin);
905
  }
unknown's avatar
unknown committed
906
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
907
  String *const_string() { return &str_value; }
908
  inline void append(char *str, uint length) { str_value.append(str, length); }
unknown's avatar
unknown committed
909
  void print(String *str);
unknown's avatar
unknown committed
910 911
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
912 913
};

914 915 916 917 918 919 920 921 922 923 924 925 926 927

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


unknown's avatar
unknown committed
928 929 930 931 932
/* for show tables */

class Item_datetime :public Item_string
{
public:
unknown's avatar
unknown committed
933 934
  Item_datetime(const char *item_name): Item_string(item_name,"",0,
  						    &my_charset_bin)
unknown's avatar
unknown committed
935
  { max_length=19;}
936
  enum_field_types field_type() const { return MYSQL_TYPE_DATETIME; }
unknown's avatar
unknown committed
937 938 939 940 941
};

class Item_empty_string :public Item_string
{
public:
942 943
  Item_empty_string(const char *header,uint length, CHARSET_INFO *cs= NULL) :
    Item_string("",0, cs ? cs : &my_charset_bin)
944
    { name=(char*) header; max_length= cs ? length * cs->mbmaxlen : length; }
945
  void make_field(Send_field *field);
unknown's avatar
unknown committed
946 947
};

948 949 950 951 952 953 954 955 956 957 958 959 960 961
class Item_return_int :public Item_int
{
  enum_field_types int_field_type;
public:
  Item_return_int(const char *name, uint length,
		  enum_field_types field_type_arg)
    :Item_int(name, 0, length), int_field_type(field_type_arg)
  {
    unsigned_flag=1;
  }
  enum_field_types field_type() const { return int_field_type; }
};


unknown's avatar
unknown committed
962
class Item_hex_string: public Item
unknown's avatar
unknown committed
963 964
{
public:
unknown's avatar
unknown committed
965 966
  Item_hex_string(): Item() {}
  Item_hex_string(const char *str,uint str_length);
unknown's avatar
unknown committed
967
  enum Type type() const { return VARBIN_ITEM; }
968
  double val_real()
unknown's avatar
unknown committed
969
    { DBUG_ASSERT(fixed == 1); return (double) Item_hex_string::val_int(); }
unknown's avatar
unknown committed
970
  longlong val_int();
unknown's avatar
unknown committed
971
  bool basic_const_item() const { return 1; }
972
  String *val_str(String*) { DBUG_ASSERT(fixed == 1); return &str_value; }
unknown's avatar
unknown committed
973
  int save_in_field(Field *field, bool no_conversions);
974
  enum Item_result result_type () const { return STRING_RESULT; }
975
  enum_field_types field_type() const { return MYSQL_TYPE_VARCHAR; }
unknown's avatar
unknown committed
976 977
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
978 979 980
};


unknown's avatar
unknown committed
981 982 983 984 985 986
class Item_bin_string: public Item_hex_string
{
public:
  Item_bin_string(const char *str,uint str_length);
};

unknown's avatar
unknown committed
987 988 989 990 991
class Item_result_field :public Item	/* Item with result field */
{
public:
  Field *result_field;				/* Save result here */
  Item_result_field() :result_field(0) {}
992
  // Constructor used for Item_sum/Item_cond_and/or (see Item comment)
993 994
  Item_result_field(THD *thd, Item_result_field *item):
    Item(thd, item), result_field(item->result_field)
995
  {}
unknown's avatar
unknown committed
996
  ~Item_result_field() {}			/* Required with gcc 2.95 */
997
  Field *get_tmp_table_field() { return result_field; }
998
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
unknown's avatar
unknown committed
999
  table_map used_tables() const { return 1; }
unknown's avatar
unknown committed
1000
  virtual void fix_length_and_dec()=0;
unknown's avatar
unknown committed
1001 1002 1003 1004 1005 1006
  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);
  }
1007
  void cleanup();
unknown's avatar
unknown committed
1008 1009 1010 1011 1012
};


class Item_ref :public Item_ident
{
1013 1014
protected:
  void set_properties();
unknown's avatar
unknown committed
1015
public:
unknown's avatar
unknown committed
1016
  Field *result_field;			 /* Save result here */
unknown's avatar
unknown committed
1017
  Item **ref;
1018 1019
  Item_ref(const char *db_par, const char *table_name_par,
           const char *field_name_par)
unknown's avatar
unknown committed
1020
    :Item_ident(db_par, table_name_par, field_name_par), result_field(0), ref(0) {}
1021
  /*
1022 1023 1024 1025 1026 1027 1028 1029 1030 1031
    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.
    
1032 1033 1034
    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.
  */
1035
  Item_ref(Item **item, const char *table_name_par, const char *field_name_par)
unknown's avatar
unknown committed
1036
    :Item_ident(NullS, table_name_par, field_name_par), result_field(0), ref(item)
1037
  {
unknown's avatar
unknown committed
1038
    DBUG_ASSERT(item);
1039 1040
    if (*item)
      set_properties();
1041
  }
1042

1043
  /* Constructor need to process subselect with temporary tables (see Item) */
unknown's avatar
unknown committed
1044
  Item_ref(THD *thd, Item_ref *item) :Item_ident(thd, item), result_field(item->result_field), ref(item->ref) {}
unknown's avatar
unknown committed
1045
  enum Type type() const		{ return REF_ITEM; }
1046
  bool eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
1047
  { return ref && (*ref)->eq(item, binary_cmp); }
1048
  double val_real()
unknown's avatar
unknown committed
1049
  {
1050
    DBUG_ASSERT(fixed);
unknown's avatar
unknown committed
1051
    double tmp=(*ref)->val_result();
unknown's avatar
unknown committed
1052
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
1053 1054 1055 1056
    return tmp;
  }
  longlong val_int()
  {
1057
    DBUG_ASSERT(fixed);
unknown's avatar
unknown committed
1058
    longlong tmp=(*ref)->val_int_result();
unknown's avatar
unknown committed
1059
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
1060 1061 1062 1063
    return tmp;
  }
  String *val_str(String* tmp)
  {
1064
    DBUG_ASSERT(fixed);
unknown's avatar
unknown committed
1065
    tmp=(*ref)->str_result(tmp);
unknown's avatar
unknown committed
1066
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
1067 1068
    return tmp;
  }
1069 1070
  bool is_null()
  {
1071
    DBUG_ASSERT(fixed);
1072
    (void) (*ref)->val_int_result();
unknown's avatar
unknown committed
1073
    return (*ref)->null_value;
1074
  }
1075
  bool get_date(TIME *ltime,uint fuzzydate)
1076
  {
1077
    DBUG_ASSERT(fixed);
1078
    return (null_value=(*ref)->get_date_result(ltime,fuzzydate));
unknown's avatar
unknown committed
1079
  }
1080 1081 1082
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
1083
  bool send(Protocol *prot, String *tmp);
unknown's avatar
unknown committed
1084
  void make_field(Send_field *field)	{ (*ref)->make_field(field); }
unknown's avatar
unknown committed
1085
  bool fix_fields(THD *, struct st_table_list *, Item **);
unknown's avatar
unknown committed
1086
  int save_in_field(Field *field, bool no_conversions)
1087
  { return (*ref)->save_in_field(field, no_conversions); }
unknown's avatar
unknown committed
1088 1089
  void save_org_in_field(Field *field)	{ (*ref)->save_org_in_field(field); }
  enum Item_result result_type () const { return (*ref)->result_type(); }
1090
  enum_field_types field_type() const   { return (*ref)->field_type(); }
1091 1092 1093 1094
  table_map used_tables() const		
  { 
    return depended_from ? OUTER_REF_TABLE_BIT : (*ref)->used_tables(); 
  }
1095
  void set_result_field(Field *field)	{ result_field= field; }
unknown's avatar
unknown committed
1096
  Field *get_tmp_table_field() { return result_field; }
unknown's avatar
unknown committed
1097 1098 1099 1100 1101
  bool is_result_field() { return 1; }
  void save_in_result_field(bool no_conversions)
  {
    (*ref)->save_in_field(result_field, no_conversions);
  }
unknown's avatar
unknown committed
1102
  Item *real_item() { return *ref; }
1103 1104
  bool walk(Item_processor processor, byte *arg)
  { return (*ref)->walk(processor, arg); }
unknown's avatar
unknown committed
1105
  void print(String *str);
unknown's avatar
unknown committed
1106
  void cleanup();
unknown's avatar
unknown committed
1107 1108
};

1109

unknown's avatar
unknown committed
1110 1111 1112 1113
/*
  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.
*/
1114 1115 1116 1117 1118 1119 1120 1121
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) {}
1122

unknown's avatar
unknown committed
1123
  double val_real()
1124
  {
unknown's avatar
unknown committed
1125
    double tmp=(*ref)->val_real();
1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152
    null_value=(*ref)->null_value;
    return tmp;
  }
  longlong val_int()
  {
    longlong tmp=(*ref)->val_int();
    null_value=(*ref)->null_value;
    return tmp;
  }
  String *val_str(String* tmp)
  {
    tmp=(*ref)->val_str(tmp);
    null_value=(*ref)->null_value;
    return tmp;
  }
  bool is_null()
  {
    (void) (*ref)->val_int();
    return (*ref)->null_value;
  }
  bool get_date(TIME *ltime,uint fuzzydate)
  {
    return (null_value=(*ref)->get_date(ltime,fuzzydate));
  }
};


1153
class Item_in_subselect;
1154

1155 1156 1157 1158 1159 1160
class Item_ref_null_helper: public Item_ref
{
protected:
  Item_in_subselect* owner;
public:
  Item_ref_null_helper(Item_in_subselect* master, Item **item,
unknown's avatar
unknown committed
1161
		       const char *table_name_par, const char *field_name_par):
1162
    Item_ref(item, table_name_par, field_name_par), owner(master) {}
1163
  double val_real();
1164 1165
  longlong val_int();
  String* val_str(String* s);
1166
  bool get_date(TIME *ltime, uint fuzzydate);
unknown's avatar
unknown committed
1167
  void print(String *str);
1168 1169
};

1170 1171 1172 1173 1174 1175
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)
1176
    :Item_ref_null_helper(master, &item, table_name_par, field_name_par),
1177
     store(item)
1178
    { ref= &store; }
unknown's avatar
unknown committed
1179
  void print(String *str);
1180
};
unknown's avatar
unknown committed
1181

1182
/*
1183
  The following class is used to optimize comparing of date and bigint columns
1184 1185 1186 1187 1188 1189 1190 1191 1192
  We need to save the original item, to be able to set the field to the
  original value in 'opt_range'.
*/

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)
1193 1194 1195
  {
    unsigned_flag= ref_arg->unsigned_flag;
  }
unknown's avatar
unknown committed
1196
  int save_in_field(Field *field, bool no_conversions)
1197
  {
1198
    return ref->save_in_field(field, no_conversions);
1199 1200 1201 1202
  }
};


1203
#include "gstream.h"
unknown's avatar
unknown committed
1204
#include "spatial.h"
unknown's avatar
unknown committed
1205 1206
#include "item_sum.h"
#include "item_func.h"
1207
#include "item_row.h"
unknown's avatar
unknown committed
1208 1209
#include "item_cmpfunc.h"
#include "item_strfunc.h"
1210
#include "item_geofunc.h"
unknown's avatar
unknown committed
1211 1212
#include "item_timefunc.h"
#include "item_uniq.h"
1213
#include "item_subselect.h"
unknown's avatar
unknown committed
1214 1215 1216

class Item_copy_string :public Item
{
1217
  enum enum_field_types cached_field_type;
unknown's avatar
unknown committed
1218 1219 1220 1221 1222 1223 1224 1225
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;
1226
    cached_field_type= item->field_type();
unknown's avatar
unknown committed
1227 1228 1229
  }
  enum Type type() const { return COPY_STR_ITEM; }
  enum Item_result result_type () const { return STRING_RESULT; }
1230
  enum_field_types field_type() const { return cached_field_type; }
1231
  double val_real()
1232
  {
1233
    int err;
1234 1235
    return (null_value ? 0.0 :
	    my_strntod(str_value.charset(), (char*) str_value.ptr(),
1236
		       str_value.length(),NULL,&err));
1237
  }
unknown's avatar
unknown committed
1238
  longlong val_int()
1239 1240 1241 1242
  { 
    int err;
    return null_value ? LL(0) : my_strntoll(str_value.charset(),str_value.ptr(),str_value.length(),10, (char**) 0,&err); 
  }
unknown's avatar
unknown committed
1243 1244 1245
  String *val_str(String*);
  void make_field(Send_field *field) { item->make_field(field); }
  void copy();
unknown's avatar
unknown committed
1246
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1247 1248
  table_map used_tables() const { return (table_map) 1L; }
  bool const_item() const { return 0; }
unknown's avatar
unknown committed
1249
  bool is_null() { return null_value; }
unknown's avatar
unknown committed
1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306
};


class Item_buff :public Sql_alloc
{
public:
  my_bool null_value;
  Item_buff() :null_value(0) {}
  virtual bool cmp(void)=0;
  virtual ~Item_buff(); /*line -e1509 */
};

class Item_str_buff :public Item_buff
{
  Item *item;
  String value,tmp_value;
public:
  Item_str_buff(Item *arg) :item(arg),value(arg->max_length) {}
  bool cmp(void);
  ~Item_str_buff();				// Deallocate String:s
};


class Item_real_buff :public Item_buff
{
  Item *item;
  double value;
public:
  Item_real_buff(Item *item_par) :item(item_par),value(0.0) {}
  bool cmp(void);
};

class Item_int_buff :public Item_buff
{
  Item *item;
  longlong value;
public:
  Item_int_buff(Item *item_par) :item(item_par),value(0) {}
  bool cmp(void);
};


class Item_field_buff :public Item_buff
{
  char *buff;
  Field *field;
  uint length;

public:
  Item_field_buff(Item_field *item)
  {
    field=item->field;
    buff= (char*) sql_calloc(length=field->pack_length());
  }
  bool cmp(void);
};

unknown's avatar
SCRUM  
unknown committed
1307 1308 1309 1310
class Item_default_value : public Item_field
{
public:
  Item *arg;
unknown's avatar
SCRUM  
unknown committed
1311 1312
  Item_default_value() :
    Item_field((const char *)NULL, (const char *)NULL, (const char *)NULL), arg(NULL) {}
unknown's avatar
unknown committed
1313
  Item_default_value(Item *a) :
unknown's avatar
SCRUM  
unknown committed
1314
    Item_field((const char *)NULL, (const char *)NULL, (const char *)NULL), arg(a) {}
unknown's avatar
SCRUM  
unknown committed
1315
  enum Type type() const { return DEFAULT_VALUE_ITEM; }
unknown's avatar
SCRUM  
unknown committed
1316 1317
  bool eq(const Item *item, bool binary_cmp) const;
  bool fix_fields(THD *, struct st_table_list *, Item **);
unknown's avatar
SCRUM  
unknown committed
1318
  void print(String *str);
1319
  int save_in_field(Field *field_arg, bool no_conversions);
unknown's avatar
SCRUM  
unknown committed
1320
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
1321 1322 1323 1324 1325 1326
  
  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
      (this->*processor)(args);
  }
1327

unknown's avatar
unknown committed
1328 1329 1330 1331 1332
  /* 
     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)
1333
  {
unknown's avatar
unknown committed
1334
    Item *new_item= arg->transform(transformer, args);
1335 1336 1337
    if (!new_item)
      return 0;
    arg= new_item;
unknown's avatar
unknown committed
1338
    return (this->*transformer)(args);
1339
  }
unknown's avatar
unknown committed
1340
};
unknown's avatar
unknown committed
1341

unknown's avatar
unknown committed
1342 1343 1344 1345 1346 1347 1348 1349 1350
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);
1351
  int save_in_field(Field *field_arg, bool no_conversions)
unknown's avatar
unknown committed
1352
  {
1353
    return Item_field::save_in_field(field_arg, no_conversions);
unknown's avatar
unknown committed
1354 1355
  }
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
1356 1357 1358 1359 1360 1361

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

1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398

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

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

  Note: For this item actual binding to Field object happens not during
        fix_fields() (like for Item_field) but during parsing of trigger
        definition, when table is opened, with special setup_field() call.
*/
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;
1399 1400
  /* Next in list of all Item_trigger_field's in trigger */
  Item_trigger_field *next_trg_field;
1401 1402 1403 1404 1405 1406

  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),
    row_version(row_ver_par)
  {}
1407
  void setup_field(THD *thd, TABLE *table, enum trg_event_type event);
1408 1409 1410 1411 1412 1413 1414 1415 1416
  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();
};


1417 1418
class Item_cache: public Item
{
unknown's avatar
unknown committed
1419 1420
protected:
  Item *example;
1421
  table_map used_table_map;
1422
public:
unknown's avatar
unknown committed
1423
  Item_cache(): example(0), used_table_map(0) {fixed= 1; null_value= 1;}
1424 1425 1426

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

unknown's avatar
unknown committed
1427
  virtual bool allocate(uint i) { return 0; }
1428
  virtual bool setup(Item *item)
1429
  {
1430 1431 1432 1433 1434 1435
    example= item;
    max_length= item->max_length;
    decimals= item->decimals;
    collation.set(item->collation);
    return 0;
  };
1436 1437
  virtual void store(Item *)= 0;
  enum Type type() const { return CACHE_ITEM; }
1438
  static Item_cache* get_cache(Item_result type);
1439
  table_map used_tables() const { return used_table_map; }
1440
  virtual void keep_array() {}
1441
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
1442
  void cleanup() {}
unknown's avatar
unknown committed
1443
  void print(String *str);
1444 1445 1446 1447 1448 1449
};

class Item_cache_int: public Item_cache
{
  longlong value;
public:
1450
  Item_cache_int(): Item_cache(), value(0) {}
1451
  
unknown's avatar
unknown committed
1452
  void store(Item *item);
1453
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
1454 1455 1456 1457 1458 1459 1460
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
  String* val_str(String *str)
  {
    DBUG_ASSERT(fixed == 1);
    str->set(value, default_charset());
    return str;
  }
1461 1462 1463 1464 1465 1466 1467
  enum Item_result result_type() const { return INT_RESULT; }
};

class Item_cache_real: public Item_cache
{
  double value;
public:
1468
  Item_cache_real(): Item_cache(), value(0) {}
1469

unknown's avatar
unknown committed
1470
  void store(Item *item);
1471
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1472 1473 1474 1475 1476
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
    return (longlong) (value+(value > 0 ? 0.5 : -0.5));
  }
1477 1478
  String* val_str(String *str)
  {
1479
    str->set(value, decimals, default_charset());
1480 1481 1482 1483 1484 1485 1486 1487
    return str;
  }
  enum Item_result result_type() const { return REAL_RESULT; }
};

class Item_cache_str: public Item_cache
{
  char buffer[80];
1488
  String *value, value_buff;
1489
public:
1490
  Item_cache_str(): Item_cache(), value(0) { }
1491
  
1492
  void store(Item *item);
1493
  double val_real();
1494
  longlong val_int();
1495
  String* val_str(String *) { DBUG_ASSERT(fixed == 1); return value; }
1496 1497 1498 1499
  enum Item_result result_type() const { return STRING_RESULT; }
  CHARSET_INFO *charset() const { return value->charset(); };
};

unknown's avatar
unknown committed
1500 1501 1502
class Item_cache_row: public Item_cache
{
  Item_cache  **values;
unknown's avatar
unknown committed
1503
  uint item_count;
1504
  bool save_array;
unknown's avatar
unknown committed
1505
public:
1506 1507
  Item_cache_row()
    :Item_cache(), values(0), item_count(2), save_array(0) {}
unknown's avatar
unknown committed
1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524
  
  /*
    '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");
  };
1525
  double val_real()
unknown's avatar
unknown committed
1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541
  {
    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;
  };
  enum Item_result result_type() const { return ROW_RESULT; }
  
unknown's avatar
unknown committed
1542
  uint cols() { return item_count; }
unknown's avatar
unknown committed
1543 1544 1545 1546 1547
  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();
1548
  void keep_array() { save_array= 1; }
unknown's avatar
unknown committed
1549 1550
  void cleanup()
  {
unknown's avatar
unknown committed
1551
    DBUG_ENTER("Item_cache_row::cleanup");
unknown's avatar
unknown committed
1552
    Item_cache::cleanup();
1553 1554 1555 1556
    if (save_array)
      bzero(values, item_count*sizeof(Item**));
    else
      values= 0;
unknown's avatar
unknown committed
1557
    DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1558
  }
unknown's avatar
unknown committed
1559 1560
};

1561 1562 1563 1564 1565 1566 1567 1568

/*
  Used to store type. name, length of Item for UNIONS & derived table
*/
class Item_type_holder: public Item
{
protected:
  Item_result item_type;
1569
  Item_result orig_type;
1570 1571 1572 1573 1574 1575
  Field *field_example;
public:
  Item_type_holder(THD*, Item*);

  Item_result result_type () const { return item_type; }
  enum Type type() const { return TYPE_HOLDER; }
1576
  double val_real();
1577 1578
  longlong val_int();
  String *val_str(String*);
1579
  bool join_types(THD *thd, Item *);
1580
  Field *example() { return field_example; }
1581
  static uint32 real_length(Item *item);
1582 1583
  void cleanup()
  {
unknown's avatar
unknown committed
1584
    DBUG_ENTER("Item_type_holder::cleanup");
1585 1586
    Item::cleanup();
    item_type= orig_type;
unknown's avatar
unknown committed
1587
    DBUG_VOID_RETURN;
1588
  }
1589 1590 1591
};


unknown's avatar
unknown committed
1592 1593
extern Item_buff *new_Item_buff(Item *item);
extern Item_result item_cmp_type(Item_result a,Item_result b);
1594
extern void resolve_const_item(THD *thd, Item **ref, Item *cmp_item);
unknown's avatar
unknown committed
1595
extern bool field_is_equal_to_item(Field *field,Item *item);