item.h 46.4 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); }
123 124
  static void operator delete(void *ptr,size_t size) {}
  static void operator delete(void *ptr,size_t size, MEM_ROOT *mem_root) {}
unknown's avatar
unknown committed
125

126 127
  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
128
	     COPY_STR_ITEM, FIELD_AVG_ITEM, DEFAULT_VALUE_ITEM,
unknown's avatar
unknown committed
129 130
	     PROC_ITEM,COND_ITEM, REF_ITEM, FIELD_STD_ITEM,
	     FIELD_VARIANCE_ITEM, INSERT_VALUE_ITEM,
131
             SUBSELECT_ITEM, ROW_ITEM, CACHE_ITEM, TYPE_HOLDER,
132
             PARAM_ITEM, TRIGGER_FIELD_ITEM};
unknown's avatar
SCRUM  
unknown committed
133

unknown's avatar
unknown committed
134
  enum cond_result { COND_UNDEF,COND_OK,COND_TRUE,COND_FALSE };
135
  
unknown's avatar
unknown committed
136 137 138 139 140
  /*
    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
141 142 143
  my_string name;			/* Name from select */
  Item *next;
  uint32 max_length;
144
  uint name_length;                     /* Length of name */
unknown's avatar
unknown committed
145 146 147
  uint8 marker,decimals;
  my_bool maybe_null;			/* If item may be null */
  my_bool null_value;			/* if item is null */
148
  my_bool unsigned_flag;
unknown's avatar
unknown committed
149
  my_bool with_sum_func;
150
  my_bool fixed;                        /* If item fixed with fix_fields */
151
  DTCollation collation;
152

unknown's avatar
unknown committed
153 154
  // alloc & destruct is done as start of select using sql_alloc
  Item();
155 156 157 158
  /*
     Constructor used by Item_field, Item_ref & agregate (sum) functions.
     Used for duplicating lists in processing queries with temporary
     tables
159 160 161
     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
162
  */
163
  Item(THD *thd, Item *item);
unknown's avatar
unknown committed
164 165 166 167
  virtual ~Item()
  {
    name=0;
  }		/*lint -e1509 */
unknown's avatar
unknown committed
168
  void set_name(const char *str,uint length, CHARSET_INFO *cs);
unknown's avatar
unknown committed
169
  void init_make_field(Send_field *tmp_field,enum enum_field_types type);
170
  virtual void cleanup();
171
  virtual void make_field(Send_field *field);
unknown's avatar
unknown committed
172
  virtual bool fix_fields(THD *, struct st_table_list *, Item **);
unknown's avatar
unknown committed
173
  /*
unknown's avatar
unknown committed
174
    should be used in case where we are sure that we do not need
unknown's avatar
unknown committed
175 176 177
    complete fix_fields() procedure.
  */
  inline void quick_fix_field() { fixed= 1; }
unknown's avatar
unknown committed
178
  /* Function returns 1 on overflow and -1 on fatal errors */
179
  int save_in_field_no_warnings(Field *field, bool no_conversions);
unknown's avatar
unknown committed
180
  virtual int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
181
  virtual void save_org_in_field(Field *field)
182
  { (void) save_in_field(field, 1); }
unknown's avatar
unknown committed
183
  virtual int save_safe_in_field(Field *field)
184
  { return save_in_field(field, 1); }
185
  virtual bool send(Protocol *protocol, String *str);
186
  virtual bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
187
  virtual Item_result result_type () const { return REAL_RESULT; }
188
  virtual enum_field_types field_type() const;
unknown's avatar
unknown committed
189
  virtual enum Type type() const =0;
190
  /* valXXX methods must return NULL or 0 or 0.0 if null_value is set. */
191
  virtual double val_real()=0;
unknown's avatar
unknown committed
192
  virtual longlong val_int()=0;
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
  /*
    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
218
  virtual String *val_str(String*)=0;
219
  virtual Field *get_tmp_table_field() { return 0; }
220
  virtual Field *tmp_table_field(TABLE *t_arg) { return 0; }
unknown's avatar
unknown committed
221
  virtual const char *full_name() const { return name ? name : "???"; }
222
  virtual double  val_result() { return val_real(); }
unknown's avatar
unknown committed
223 224
  virtual longlong val_int_result() { return val_int(); }
  virtual String *str_result(String* tmp) { return val_str(tmp); }
225
  /* bit map of tables used by item */
unknown's avatar
unknown committed
226
  virtual table_map used_tables() const { return (table_map) 0L; }
227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242
  /*
    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
243
  virtual bool basic_const_item() const { return 0; }
unknown's avatar
unknown committed
244 245
  /* cloning of constant items (0 if it is not const) */
  virtual Item *new_item() { return 0; }
unknown's avatar
unknown committed
246 247 248
  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;}
249 250 251 252
  /* 
    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
253
  virtual bool const_item() const { return used_tables() == 0; }
254 255 256 257 258 259
  /* 
    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
260
  virtual void print(String *str_arg) { str_arg->append(full_name()); }
unknown's avatar
unknown committed
261
  void print_item_w_name(String *);
unknown's avatar
unknown committed
262
  virtual void update_used_tables() {}
263 264
  virtual void split_sum_func(THD *thd, Item **ref_pointer_array,
                              List<Item> &fields) {}
265
  virtual bool get_date(TIME *ltime,uint fuzzydate);
unknown's avatar
unknown committed
266
  virtual bool get_time(TIME *ltime);
267
  virtual bool get_date_result(TIME *ltime,uint fuzzydate)
268
  { return get_date(ltime,fuzzydate); }
269 270 271 272 273 274 275 276
  /*
    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.
  */
277
  virtual bool is_null() { return 0; }
unknown's avatar
unknown committed
278 279 280 281
  /*
    it is "top level" item of WHERE clause and we do not need correct NULL
    handling
  */
282
  virtual void top_level_item() {}
unknown's avatar
unknown committed
283 284 285 286
  /*
    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
287 288
  virtual void set_result_field(Field *field) {}
  virtual bool is_result_field() { return 0; }
unknown's avatar
unknown committed
289
  virtual bool is_bool_func() { return 0; }
unknown's avatar
unknown committed
290
  virtual void save_in_result_field(bool no_conversions) {}
unknown's avatar
unknown committed
291 292 293
  /*
    set value of aggegate function in case of no rows for groupping were found
  */
unknown's avatar
unknown committed
294
  virtual void no_rows_in_result() {}
295
  virtual Item *copy_or_same(THD *thd) { return this; }
296
  virtual Item *copy_andor_structure(THD *thd) { return this; }
unknown's avatar
unknown committed
297
  virtual Item *real_item() { return this; }
298
  virtual Item *get_tmp_table_item(THD *thd) { return copy_or_same(thd); }
unknown's avatar
unknown committed
299

300
  static CHARSET_INFO *default_charset();
301
  virtual CHARSET_INFO *compare_collation() { return NULL; }
unknown's avatar
unknown committed
302 303 304 305 306 307

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

unknown's avatar
unknown committed
308
   virtual Item* transform(Item_transformer transformer, byte *arg)
309
  {
unknown's avatar
unknown committed
310
    return (this->*transformer)(arg);
311 312
  }
 
unknown's avatar
unknown committed
313
  virtual bool remove_dependence_processor(byte * arg) { return 0; }
314
  virtual bool remove_fixed(byte * arg) { fixed= 0; return 0; }
unknown's avatar
unknown committed
315
  virtual bool cleanup_processor(byte *arg);
316
  virtual bool collect_item_field_processor(byte * arg) { return 0; }
317
  virtual Item *equal_fields_propagator(byte * arg) { return this; }
unknown's avatar
unknown committed
318
  virtual Item *set_no_const_sub(byte *arg) { return this; }
319
  virtual bool replace_equal_field_processor(byte * arg) { return 0; }
320
  
321 322
  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
323 324 325 326

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

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

337
  virtual Item *neg_transformer(THD *thd) { return NULL; }
unknown's avatar
unknown committed
338
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
339 340 341 342
  void delete_self()
  {
    cleanup();
    delete this;
unknown's avatar
unknown committed
343
  }
unknown's avatar
unknown committed
344 345 346
};


347 348 349 350 351 352
// A local SP variable (incl. parameters), used in runtime
class Item_splocal : public Item
{
private:
  
  uint m_offset;
unknown's avatar
unknown committed
353
  LEX_STRING m_name;
354 355 356

public:

unknown's avatar
unknown committed
357 358
  Item_splocal(LEX_STRING name, uint offset)
    : m_offset(offset), m_name(name)
359 360 361
  {
    Item::maybe_null= TRUE;
  }
362 363 364 365 366 367 368 369 370 371 372

  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
373
  enum Type type() const;
374

375
  inline double val_real()
376
  {
377
    Item *it= this_item();
378
    double ret= it->val_real();
379 380
    Item::null_value= it->null_value;
    return ret;
381 382 383 384
  }

  inline longlong val_int()
  {
385 386 387 388
    Item *it= this_item();
    longlong ret= it->val_int();
    Item::null_value= it->null_value;
    return ret;
389 390 391 392
  }

  inline String *val_str(String *sp)
  {
393 394 395 396 397 398 399 400 401 402 403 404
    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;
405 406 407 408
  }

  inline void make_field(Send_field *field)
  {
409 410 411 412
    Item *it= this_item();

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

415 416 417 418 419 420 421
  inline Item_result result_type() const
  {
    return this_const_item()->result_type();
  }

  inline bool const_item() const
  {
422
    return TRUE;
423 424
  }

425 426 427 428
  inline int save_in_field(Field *field, bool no_conversions)
  {
    return this_item()->save_in_field(field, no_conversions);
  }
unknown's avatar
unknown committed
429

430
  void print(String *str)
unknown's avatar
unknown committed
431
  {
432
    str->reserve(m_name.length+8);
unknown's avatar
unknown committed
433
    str->append(m_name.str, m_name.length);
434 435
    str->append('@');
    str->qs_append(m_offset);
unknown's avatar
unknown committed
436
  }
437 438 439 440 441

  inline bool send(Protocol *protocol, String *str)
  {
    return this_item()->send(protocol, str);
  }
442 443 444
};


445 446 447
class Item_num: public Item
{
public:
unknown's avatar
unknown committed
448
  virtual Item_num *neg()= 0;
449 450
};

451
#define NO_CACHED_FIELD_INDEX ((uint)(-1))
452

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

  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
493
                            bool any_privileges, bool allocate_view_names);
unknown's avatar
unknown committed
494 495
};

496 497
class Item_equal;
class COND_EQUAL;
unknown's avatar
unknown committed
498

unknown's avatar
unknown committed
499 500
class Item_field :public Item_ident
{
501
protected:
unknown's avatar
unknown committed
502 503 504
  void set_field(Field *field);
public:
  Field *field,*result_field;
unknown's avatar
unknown committed
505 506
  Item_equal *item_equal;
  bool no_const_subst;
unknown's avatar
VIEW  
unknown committed
507 508 509 510 511 512 513
  /*
    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
514 515 516

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

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

611 612 613

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

unknown's avatar
unknown committed
614 615
class Item_param :public Item
{
616
public:
617 618 619 620 621 622
  enum enum_item_param_state
  {
    NO_VALUE, NULL_VALUE, INT_VALUE, REAL_VALUE,
    STRING_VALUE, TIME_VALUE, LONG_DATA_VALUE
  } state;

623 624 625 626 627 628 629 630 631 632 633
  /*
    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;
634 635
  union
  {
636 637
    longlong integer;
    double   real;
638 639 640 641 642 643 644 645 646 647 648 649
    /*
      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).
650
        Otherwise it's equal to character_set_client (to simplify
651 652 653 654 655 656 657 658
        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
659 660
  enum Item_result item_result_type;
  enum Type item_type;
661 662 663 664 665 666 667 668 669 670

  /*
    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;
671
  /*
672 673
    Offset of placeholder inside statement text. Used to create
    no-placeholders version of this statement for the binary log.
674
  */
675
  uint pos_in_query;
unknown's avatar
unknown committed
676

677 678 679
  Item_param(uint pos_in_query_arg);

  enum Item_result result_type () const { return item_result_type; }
unknown's avatar
unknown committed
680
  enum Type type() const { return item_type; }
681
  enum_field_types field_type() const { return param_type; }
682

683
  double val_real();
unknown's avatar
unknown committed
684 685
  longlong val_int();
  String *val_str(String*);
686
  bool get_time(TIME *tm);
687
  bool get_date(TIME *tm, uint fuzzydate);
unknown's avatar
unknown committed
688
  int  save_in_field(Field *field, bool no_conversions);
689

unknown's avatar
unknown committed
690
  void set_null();
691
  void set_int(longlong i, uint32 max_length_arg);
unknown's avatar
unknown committed
692
  void set_double(double i);
693 694 695
  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);
696
  bool set_from_user_var(THD *thd, const user_var_entry *entry);
697
  void reset();
698 699 700 701 702 703 704 705
  /*
    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);

706 707 708
  const String *query_val_str(String *str) const;

  bool convert_str_value(THD *thd);
709

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

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


754 755 756 757 758 759 760 761 762 763 764
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
765 766 767
class Item_uint :public Item_int
{
public:
unknown's avatar
unknown committed
768
  Item_uint(const char *str_arg, uint length);
769
  Item_uint(uint32 i) :Item_int((longlong) i, 10) 
unknown's avatar
unknown committed
770
    { unsigned_flag= 1; }
771
  double val_real()
772
    { DBUG_ASSERT(fixed == 1); return ulonglong2double((ulonglong)value); }
unknown's avatar
unknown committed
773 774
  String *val_str(String*);
  Item *new_item() { return new Item_uint(name,max_length); }
unknown's avatar
unknown committed
775
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
776
  void print(String *str);
unknown's avatar
unknown committed
777
  Item_num *neg ();
unknown's avatar
unknown committed
778 779 780
};


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


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

908 909 910 911 912 913 914 915 916 917 918 919 920 921

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
922 923 924 925 926
/* for show tables */

class Item_datetime :public Item_string
{
public:
unknown's avatar
unknown committed
927 928
  Item_datetime(const char *item_name): Item_string(item_name,"",0,
  						    &my_charset_bin)
unknown's avatar
unknown committed
929
  { max_length=19;}
930
  enum_field_types field_type() const { return MYSQL_TYPE_DATETIME; }
unknown's avatar
unknown committed
931 932 933 934 935
};

class Item_empty_string :public Item_string
{
public:
936 937
  Item_empty_string(const char *header,uint length, CHARSET_INFO *cs= NULL) :
    Item_string("",0, cs ? cs : &my_charset_bin)
unknown's avatar
unknown committed
938
    { name=(char*) header; max_length=length;}
939
  void make_field(Send_field *field);
unknown's avatar
unknown committed
940 941
};

942 943 944 945 946 947 948 949 950 951 952 953 954 955
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
956 957 958
class Item_varbinary :public Item
{
public:
959
  Item_varbinary(const char *str,uint str_length);
unknown's avatar
unknown committed
960
  enum Type type() const { return VARBIN_ITEM; }
961
  double val_real()
962
    { DBUG_ASSERT(fixed == 1); return (double) Item_varbinary::val_int(); }
unknown's avatar
unknown committed
963
  longlong val_int();
unknown's avatar
unknown committed
964
  bool basic_const_item() const { return 1; }
965
  String *val_str(String*) { DBUG_ASSERT(fixed == 1); return &str_value; }
unknown's avatar
unknown committed
966
  int save_in_field(Field *field, bool no_conversions);
967
  enum Item_result result_type () const { return STRING_RESULT; }
968
  enum_field_types field_type() const { return MYSQL_TYPE_STRING; }
unknown's avatar
unknown committed
969 970
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
971 972 973 974 975 976 977 978
};


class Item_result_field :public Item	/* Item with result field */
{
public:
  Field *result_field;				/* Save result here */
  Item_result_field() :result_field(0) {}
979
  // Constructor used for Item_sum/Item_cond_and/or (see Item comment)
980 981
  Item_result_field(THD *thd, Item_result_field *item):
    Item(thd, item), result_field(item->result_field)
982
  {}
unknown's avatar
unknown committed
983
  ~Item_result_field() {}			/* Required with gcc 2.95 */
984
  Field *get_tmp_table_field() { return result_field; }
985
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
unknown's avatar
unknown committed
986
  table_map used_tables() const { return 1; }
unknown's avatar
unknown committed
987
  virtual void fix_length_and_dec()=0;
unknown's avatar
unknown committed
988 989 990 991 992 993
  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);
  }
994
  void cleanup();
unknown's avatar
unknown committed
995 996 997 998 999 1000
};


class Item_ref :public Item_ident
{
public:
unknown's avatar
unknown committed
1001
  Field *result_field;			 /* Save result here */
unknown's avatar
unknown committed
1002
  Item **ref;
1003 1004
  Item_ref(const char *db_par, const char *table_name_par,
           const char *field_name_par)
unknown's avatar
unknown committed
1005
    :Item_ident(db_par, table_name_par, field_name_par), result_field(0), ref(0) {}
1006
  Item_ref(Item **item, const char *table_name_par, const char *field_name_par)
unknown's avatar
unknown committed
1007
    :Item_ident(NullS, table_name_par, field_name_par), result_field(0), ref(item) {}
1008
  /* Constructor need to process subselect with temporary tables (see Item) */
unknown's avatar
unknown committed
1009
  Item_ref(THD *thd, Item_ref *item) :Item_ident(thd, item), result_field(item->result_field), ref(item->ref) {}
unknown's avatar
unknown committed
1010
  enum Type type() const		{ return REF_ITEM; }
1011
  bool eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
1012
  { return ref && (*ref)->eq(item, binary_cmp); }
1013
  double val_real()
unknown's avatar
unknown committed
1014 1015
  {
    double tmp=(*ref)->val_result();
unknown's avatar
unknown committed
1016
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
1017 1018 1019 1020 1021
    return tmp;
  }
  longlong val_int()
  {
    longlong tmp=(*ref)->val_int_result();
unknown's avatar
unknown committed
1022
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
1023 1024 1025 1026 1027
    return tmp;
  }
  String *val_str(String* tmp)
  {
    tmp=(*ref)->str_result(tmp);
unknown's avatar
unknown committed
1028
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
1029 1030
    return tmp;
  }
1031 1032 1033
  bool is_null()
  {
    (void) (*ref)->val_int_result();
unknown's avatar
unknown committed
1034
    return (*ref)->null_value;
1035
  }
1036
  bool get_date(TIME *ltime,uint fuzzydate)
1037 1038
  {
    return (null_value=(*ref)->get_date_result(ltime,fuzzydate));
unknown's avatar
unknown committed
1039
  }
1040 1041 1042
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
1043
  bool send(Protocol *prot, String *tmp);
unknown's avatar
unknown committed
1044
  void make_field(Send_field *field)	{ (*ref)->make_field(field); }
unknown's avatar
unknown committed
1045
  bool fix_fields(THD *, struct st_table_list *, Item **);
unknown's avatar
unknown committed
1046
  int save_in_field(Field *field, bool no_conversions)
1047
  { return (*ref)->save_in_field(field, no_conversions); }
unknown's avatar
unknown committed
1048 1049
  void save_org_in_field(Field *field)	{ (*ref)->save_org_in_field(field); }
  enum Item_result result_type () const { return (*ref)->result_type(); }
1050
  enum_field_types field_type() const   { return (*ref)->field_type(); }
1051 1052 1053 1054
  table_map used_tables() const		
  { 
    return depended_from ? OUTER_REF_TABLE_BIT : (*ref)->used_tables(); 
  }
1055
  void set_result_field(Field *field)	{ result_field= field; }
unknown's avatar
unknown committed
1056
  Field *get_tmp_table_field() { return result_field; }
unknown's avatar
unknown committed
1057 1058 1059 1060 1061
  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
1062
  Item *real_item() { return *ref; }
1063 1064
  bool walk(Item_processor processor, byte *arg)
  { return (*ref)->walk(processor, arg); }
unknown's avatar
unknown committed
1065
  void print(String *str);
unknown's avatar
unknown committed
1066
  void cleanup();
unknown's avatar
unknown committed
1067 1068
};

1069 1070 1071 1072 1073 1074 1075
class Item_in_subselect;
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
1076
		       const char *table_name_par, const char *field_name_par):
1077
    Item_ref(item, table_name_par, field_name_par), owner(master) {}
1078
  double val_real();
1079 1080
  longlong val_int();
  String* val_str(String* s);
1081
  bool get_date(TIME *ltime, uint fuzzydate);
unknown's avatar
unknown committed
1082
  void print(String *str);
1083 1084
};

1085 1086 1087 1088 1089 1090 1091 1092 1093
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)
    :Item_ref_null_helper(master, &store, table_name_par, field_name_par),
     store(item)
    {}
unknown's avatar
unknown committed
1094
  void print(String *str);
1095
};
unknown's avatar
unknown committed
1096

1097
/*
1098
  The following class is used to optimize comparing of date and bigint columns
1099 1100 1101 1102 1103 1104 1105 1106 1107
  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)
1108 1109 1110
  {
    unsigned_flag= ref_arg->unsigned_flag;
  }
unknown's avatar
unknown committed
1111
  int save_in_field(Field *field, bool no_conversions)
1112
  {
1113
    return ref->save_in_field(field, no_conversions);
1114 1115 1116 1117
  }
};


1118
#include "gstream.h"
unknown's avatar
unknown committed
1119
#include "spatial.h"
unknown's avatar
unknown committed
1120 1121
#include "item_sum.h"
#include "item_func.h"
1122
#include "item_row.h"
unknown's avatar
unknown committed
1123 1124
#include "item_cmpfunc.h"
#include "item_strfunc.h"
1125
#include "item_geofunc.h"
unknown's avatar
unknown committed
1126 1127
#include "item_timefunc.h"
#include "item_uniq.h"
1128
#include "item_subselect.h"
unknown's avatar
unknown committed
1129 1130 1131

class Item_copy_string :public Item
{
1132
  enum enum_field_types cached_field_type;
unknown's avatar
unknown committed
1133 1134 1135 1136 1137 1138 1139 1140
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;
1141
    cached_field_type= item->field_type();
unknown's avatar
unknown committed
1142 1143 1144
  }
  enum Type type() const { return COPY_STR_ITEM; }
  enum Item_result result_type () const { return STRING_RESULT; }
1145
  enum_field_types field_type() const { return cached_field_type; }
1146
  double val_real()
1147
  {
1148
    int err;
1149 1150
    return (null_value ? 0.0 :
	    my_strntod(str_value.charset(), (char*) str_value.ptr(),
1151
		       str_value.length(),NULL,&err));
1152
  }
unknown's avatar
unknown committed
1153
  longlong val_int()
1154 1155 1156 1157
  { 
    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
1158 1159 1160
  String *val_str(String*);
  void make_field(Send_field *field) { item->make_field(field); }
  void copy();
unknown's avatar
unknown committed
1161
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1162 1163
  table_map used_tables() const { return (table_map) 1L; }
  bool const_item() const { return 0; }
unknown's avatar
unknown committed
1164
  bool is_null() { return null_value; }
unknown's avatar
unknown committed
1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221
};


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
1222 1223 1224 1225
class Item_default_value : public Item_field
{
public:
  Item *arg;
unknown's avatar
SCRUM  
unknown committed
1226 1227
  Item_default_value() :
    Item_field((const char *)NULL, (const char *)NULL, (const char *)NULL), arg(NULL) {}
unknown's avatar
unknown committed
1228
  Item_default_value(Item *a) :
unknown's avatar
SCRUM  
unknown committed
1229
    Item_field((const char *)NULL, (const char *)NULL, (const char *)NULL), arg(a) {}
unknown's avatar
SCRUM  
unknown committed
1230
  enum Type type() const { return DEFAULT_VALUE_ITEM; }
unknown's avatar
SCRUM  
unknown committed
1231 1232
  bool eq(const Item *item, bool binary_cmp) const;
  bool fix_fields(THD *, struct st_table_list *, Item **);
unknown's avatar
SCRUM  
unknown committed
1233
  void print(String *str);
1234
  int save_in_field(Field *field_arg, bool no_conversions)
unknown's avatar
SCRUM  
unknown committed
1235 1236 1237
  {
    if (!arg)
    {
1238
      field_arg->set_default();
unknown's avatar
SCRUM  
unknown committed
1239 1240
      return 0;
    }
1241
    return Item_field::save_in_field(field_arg, no_conversions);
unknown's avatar
SCRUM  
unknown committed
1242
  }
unknown's avatar
SCRUM  
unknown committed
1243
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
1244 1245 1246 1247 1248 1249
  
  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
      (this->*processor)(args);
  }
1250

unknown's avatar
unknown committed
1251 1252 1253 1254 1255
  /* 
     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)
1256
  {
unknown's avatar
unknown committed
1257
    Item *new_item= arg->transform(transformer, args);
1258 1259 1260
    if (!new_item)
      return 0;
    arg= new_item;
unknown's avatar
unknown committed
1261
    return (this->*transformer)(args);
1262
  }
unknown's avatar
unknown committed
1263
};
unknown's avatar
unknown committed
1264

unknown's avatar
unknown committed
1265 1266 1267 1268 1269 1270 1271 1272 1273
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);
1274
  int save_in_field(Field *field_arg, bool no_conversions)
unknown's avatar
unknown committed
1275
  {
1276
    return Item_field::save_in_field(field_arg, no_conversions);
unknown's avatar
unknown committed
1277 1278
  }
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
1279 1280 1281 1282 1283 1284

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

1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337

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

  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)
  {}
  bool setup_field(THD *thd, TABLE *table, enum trg_event_type event);
  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();
};


1338 1339
class Item_cache: public Item
{
unknown's avatar
unknown committed
1340 1341
protected:
  Item *example;
1342
  table_map used_table_map;
1343
public:
unknown's avatar
unknown committed
1344
  Item_cache(): example(0), used_table_map(0) {fixed= 1; null_value= 1;}
1345 1346 1347

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

unknown's avatar
unknown committed
1348
  virtual bool allocate(uint i) { return 0; }
1349
  virtual bool setup(Item *item)
1350
  {
1351 1352 1353 1354 1355 1356
    example= item;
    max_length= item->max_length;
    decimals= item->decimals;
    collation.set(item->collation);
    return 0;
  };
1357 1358
  virtual void store(Item *)= 0;
  enum Type type() const { return CACHE_ITEM; }
1359
  static Item_cache* get_cache(Item_result type);
1360
  table_map used_tables() const { return used_table_map; }
1361
  virtual void keep_array() {}
1362
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
1363
  void cleanup() {}
unknown's avatar
unknown committed
1364
  void print(String *str);
1365 1366 1367 1368 1369 1370
};

class Item_cache_int: public Item_cache
{
  longlong value;
public:
1371
  Item_cache_int(): Item_cache() {}
1372
  
unknown's avatar
unknown committed
1373
  void store(Item *item);
1374
  double val_real() { DBUG_ASSERT(fixed == 1); return (double) value; }
1375 1376 1377 1378 1379 1380 1381
  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;
  }
1382 1383 1384 1385 1386 1387 1388
  enum Item_result result_type() const { return INT_RESULT; }
};

class Item_cache_real: public Item_cache
{
  double value;
public:
1389
  Item_cache_real(): Item_cache() {}
1390

unknown's avatar
unknown committed
1391
  void store(Item *item);
1392
  double val_real() { DBUG_ASSERT(fixed == 1); return value; }
1393 1394 1395 1396 1397
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
    return (longlong) (value+(value > 0 ? 0.5 : -0.5));
  }
1398 1399
  String* val_str(String *str)
  {
1400
    str->set(value, decimals, default_charset());
1401 1402 1403 1404 1405 1406 1407 1408
    return str;
  }
  enum Item_result result_type() const { return REAL_RESULT; }
};

class Item_cache_str: public Item_cache
{
  char buffer[80];
1409
  String *value, value_buff;
1410
public:
1411
  Item_cache_str(): Item_cache() { }
1412
  
1413
  void store(Item *item);
1414
  double val_real();
1415
  longlong val_int();
1416
  String* val_str(String *) { DBUG_ASSERT(fixed == 1); return value; }
1417 1418 1419 1420
  enum Item_result result_type() const { return STRING_RESULT; }
  CHARSET_INFO *charset() const { return value->charset(); };
};

unknown's avatar
unknown committed
1421 1422 1423
class Item_cache_row: public Item_cache
{
  Item_cache  **values;
unknown's avatar
unknown committed
1424
  uint item_count;
1425
  bool save_array;
unknown's avatar
unknown committed
1426
public:
1427 1428
  Item_cache_row()
    :Item_cache(), values(0), item_count(2), save_array(0) {}
unknown's avatar
unknown committed
1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445
  
  /*
    '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");
  };
1446
  double val_real()
unknown's avatar
unknown committed
1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462
  {
    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
1463
  uint cols() { return item_count; }
unknown's avatar
unknown committed
1464 1465 1466 1467 1468
  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();
1469
  void keep_array() { save_array= 1; }
unknown's avatar
unknown committed
1470 1471
  void cleanup()
  {
unknown's avatar
unknown committed
1472
    DBUG_ENTER("Item_cache_row::cleanup");
unknown's avatar
unknown committed
1473
    Item_cache::cleanup();
1474 1475 1476 1477
    if (save_array)
      bzero(values, item_count*sizeof(Item**));
    else
      values= 0;
unknown's avatar
unknown committed
1478
    DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1479
  }
unknown's avatar
unknown committed
1480 1481
};

1482 1483 1484 1485 1486 1487 1488 1489

/*
  Used to store type. name, length of Item for UNIONS & derived table
*/
class Item_type_holder: public Item
{
protected:
  Item_result item_type;
1490
  Item_result orig_type;
1491 1492 1493 1494 1495 1496
  Field *field_example;
public:
  Item_type_holder(THD*, Item*);

  Item_result result_type () const { return item_type; }
  enum Type type() const { return TYPE_HOLDER; }
1497
  double val_real();
1498 1499
  longlong val_int();
  String *val_str(String*);
1500
  bool join_types(THD *thd, Item *);
1501
  Field *example() { return field_example; }
1502
  static uint32 real_length(Item *item);
1503 1504
  void cleanup()
  {
unknown's avatar
unknown committed
1505
    DBUG_ENTER("Item_type_holder::cleanup");
1506 1507
    Item::cleanup();
    item_type= orig_type;
unknown's avatar
unknown committed
1508
    DBUG_VOID_RETURN;
1509
  }
1510 1511 1512
};


unknown's avatar
unknown committed
1513 1514
extern Item_buff *new_Item_buff(Item *item);
extern Item_result item_cmp_type(Item_result a,Item_result b);
1515
extern void resolve_const_item(THD *thd, Item **ref, Item *cmp_item);
unknown's avatar
unknown committed
1516
extern bool field_is_equal_to_item(Field *field,Item *item);