item.h 43.9 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
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA */


18
#ifdef USE_PRAGMA_INTERFACE
unknown's avatar
unknown committed
19 20 21
#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 */
unknown's avatar
unknown committed
25

26 27 28 29 30 31 32 33

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

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

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

unknown's avatar
unknown committed
108 109
typedef bool (Item::*Item_processor)(byte *arg);

110 111 112 113 114
/*
 See comments for sql_yacc.yy: insert_update_elem rule
 */
#define MY_ITEM_PREFER_1ST_TABLE 1

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

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

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

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

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

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

  virtual bool remove_dependence_processor(byte * arg) { return 0; }
315
  virtual bool remove_fixed(byte * arg) { fixed= 0; return 0; }
316
  
unknown's avatar
unknown committed
317 318 319
  // Row emulation
  virtual uint cols() { return 1; }
  virtual Item* el(uint i) { return this; }
320
  virtual Item** addr(uint i) { return 0; }
unknown's avatar
unknown committed
321
  virtual bool check_cols(uint c);
unknown's avatar
unknown committed
322
  // It is not row => null inside is impossible
323 324 325
  virtual bool null_inside() { return 0; }
  // used in row subselects to get value of elements
  virtual void bring_value() {}
326 327

  Field *tmp_table_field_from_field_type(TABLE *table);
unknown's avatar
unknown committed
328

329
  virtual Item *neg_transformer(THD *thd) { return NULL; }
unknown's avatar
unknown committed
330
  virtual Item *safe_charset_converter(CHARSET_INFO *tocs);
331 332 333 334 335
  void delete_self()
  {
    cleanup();
    delete this;
  }
336 337 338
  virtual bool set_flags_processor(byte *args)
  {
    this->item_flags|= *((uint8*)args);
unknown's avatar
unknown committed
339
    return false;
340
  }
unknown's avatar
unknown committed
341 342 343
};


344 345 346
class Item_num: public Item
{
public:
unknown's avatar
unknown committed
347
  virtual Item_num *neg()= 0;
348 349
};

350
#define NO_CACHED_FIELD_INDEX ((uint)(-1))
351

unknown's avatar
unknown committed
352
class st_select_lex;
unknown's avatar
unknown committed
353 354
class Item_ident :public Item
{
355
protected:
356 357 358 359 360 361 362 363 364
  /* 
    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
365 366 367 368
public:
  const char *db_name;
  const char *table_name;
  const char *field_name;
369 370
  /* 
    Cached value of index for this field in table->field array, used by prep. 
371 372 373 374 375 376 377 378
    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.
379
  */
380
  TABLE_LIST *cached_table;
unknown's avatar
unknown committed
381
  st_select_lex *depended_from;
unknown's avatar
unknown committed
382
  Item_ident(const char *db_name_par,const char *table_name_par,
383
	     const char *field_name_par);
384
  Item_ident(THD *thd, Item_ident *item);
unknown's avatar
unknown committed
385
  const char *full_name() const;
386
  void cleanup();
unknown's avatar
unknown committed
387
  bool remove_dependence_processor(byte * arg);
unknown's avatar
unknown committed
388 389
};

unknown's avatar
unknown committed
390

unknown's avatar
unknown committed
391 392
class Item_field :public Item_ident
{
393
  void set_field(Field *field);
unknown's avatar
unknown committed
394 395 396 397 398
public:
  Field *field,*result_field;

  Item_field(const char *db_par,const char *table_name_par,
	     const char *field_name_par)
399 400
    :Item_ident(db_par,table_name_par,field_name_par),
     field(0), result_field(0)
401
  { collation.set(DERIVATION_IMPLICIT); }
402 403 404
  /*
    Constructor needed to process subselect with temporary tables (see Item)
  */
405
  Item_field(THD *thd, Item_field *item);
406
  /*
407 408 409
    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).
410 411
  */
  Item_field(THD *thd, Field *field);
412 413 414
  /*
    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
415
    reset_field() before fix_fields() for all fields created this way.
416
  */
unknown's avatar
unknown committed
417
  Item_field(Field *field);
unknown's avatar
unknown committed
418
  enum Type type() const { return FIELD_ITEM; }
419
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
420 421 422 423 424 425
  double val();
  longlong val_int();
  String *val_str(String*);
  double val_result();
  longlong val_int_result();
  String *str_result(String* tmp);
426
  bool send(Protocol *protocol, String *str_arg);
427
  void reset_field(Field *f);
unknown's avatar
unknown committed
428
  bool fix_fields(THD *, struct st_table_list *, Item **);
429
  void make_field(Send_field *tmp_field);
unknown's avatar
unknown committed
430
  int save_in_field(Field *field,bool no_conversions);
unknown's avatar
unknown committed
431 432 433 434 435 436
  void save_org_in_field(Field *field);
  table_map used_tables() const;
  enum Item_result result_type () const
  {
    return field->result_type();
  }
437 438 439 440
  Item_result cast_to_int_type() const
  {
    return field->cast_to_int_type();
  }
unknown's avatar
unknown committed
441
  enum_field_types field_type() const
442 443 444
  {
    return field->type();
  }
445
  Field *get_tmp_table_field() { return result_field; }
446
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
447 448
  bool get_date(TIME *ltime,uint fuzzydate);
  bool get_date_result(TIME *ltime,uint fuzzydate);
449
  bool get_time(TIME *ltime);
unknown's avatar
unknown committed
450
  bool is_null() { return field->is_null(); }
451
  Item *get_tmp_table_item(THD *thd);
unknown's avatar
unknown committed
452
  void cleanup();
unknown's avatar
unknown committed
453
  inline uint32 max_disp_length() { return field->max_length(); }
unknown's avatar
SCRUM  
unknown committed
454
  friend class Item_default_value;
unknown's avatar
unknown committed
455
  friend class Item_insert_value;
unknown's avatar
unknown committed
456
  friend class st_select_lex_unit;
unknown's avatar
unknown committed
457 458 459 460 461 462
};

class Item_null :public Item
{
public:
  Item_null(char *name_par=0)
unknown's avatar
unknown committed
463 464 465 466 467
  {
    maybe_null= null_value= TRUE;
    max_length= 0;
    name= name_par ? name_par : (char*) "NULL";
    fixed= 1;
468
    collation.set(&my_charset_bin, DERIVATION_IGNORABLE);
unknown's avatar
unknown committed
469
  }
unknown's avatar
unknown committed
470
  enum Type type() const { return NULL_ITEM; }
471
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
472 473 474
  double val();
  longlong val_int();
  String *val_str(String *str);
unknown's avatar
unknown committed
475
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
476
  int save_safe_in_field(Field *field);
unknown's avatar
unknown committed
477
  bool send(Protocol *protocol, String *str);
478 479
  enum Item_result result_type () const { return STRING_RESULT; }
  enum_field_types field_type() const   { return MYSQL_TYPE_NULL; }
unknown's avatar
unknown committed
480 481
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
482 483
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_null(name); }
unknown's avatar
unknown committed
484
  bool is_null() { return 1; }
485
  void print(String *str) { str->append("NULL", 4); }
unknown's avatar
unknown committed
486
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
487 488
};

unknown's avatar
unknown committed
489 490 491 492 493 494 495 496 497 498 499
class Item_null_result :public Item_null
{
public:
  Field *result_field;
  Item_null_result() : Item_null(), result_field(0) {}
  bool is_result_field() { return result_field != 0; }
  void save_in_result_field(bool no_conversions)
  {
    save_in_field(result_field, no_conversions);
  }
};  
500 501 502

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

unknown's avatar
unknown committed
503 504
class Item_param :public Item
{
505
public:
506 507 508 509 510 511
  enum enum_item_param_state
  {
    NO_VALUE, NULL_VALUE, INT_VALUE, REAL_VALUE,
    STRING_VALUE, TIME_VALUE, LONG_DATA_VALUE
  } state;

512 513 514 515 516 517 518 519 520 521 522
  /*
    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;
523 524
  union
  {
525 526
    longlong integer;
    double   real;
527 528 529 530 531 532 533 534 535 536 537 538
    /*
      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).
539
        Otherwise it's equal to character_set_client (to simplify
540 541 542 543 544 545 546 547
        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
548 549
  enum Item_result item_result_type;
  enum Type item_type;
550 551 552 553 554 555 556 557 558 559

  /*
    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;
560
  /*
561 562
    Offset of placeholder inside statement text. Used to create
    no-placeholders version of this statement for the binary log.
563
  */
564
  uint pos_in_query;
unknown's avatar
unknown committed
565

566 567 568
  Item_param(uint pos_in_query_arg);

  enum Item_result result_type () const { return item_result_type; }
unknown's avatar
unknown committed
569
  enum Type type() const { return item_type; }
570
  enum_field_types field_type() const { return param_type; }
571

unknown's avatar
unknown committed
572 573 574
  double val();
  longlong val_int();
  String *val_str(String*);
575
  bool get_time(TIME *tm);
576
  bool get_date(TIME *tm, uint fuzzydate);
unknown's avatar
unknown committed
577
  int  save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
578
  bool fix_fields(THD *, struct st_table_list *, Item **);
579

unknown's avatar
unknown committed
580
  void set_null();
581
  void set_int(longlong i, uint32 max_length_arg);
unknown's avatar
unknown committed
582
  void set_double(double i);
583 584 585
  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);
586
  bool set_from_user_var(THD *thd, const user_var_entry *entry);
587
  void reset();
588 589 590 591 592 593 594 595
  /*
    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);

596 597 598
  const String *query_val_str(String *str) const;

  bool convert_str_value(THD *thd);
599 600 601 602

  /*
    If value for parameter was not set we treat it as non-const
    so noone will use parameters value in fix_fields still
603 604 605
    parameter is constant during execution.
  */
  virtual table_map used_tables() const
606
  { return state != NO_VALUE ? (table_map)0 : PARAM_TABLE_BIT; }
unknown's avatar
unknown committed
607
  void print(String *str) { str->append('?'); }
608 609
  bool is_null()
  { DBUG_ASSERT(state != NO_VALUE); return state == NULL_VALUE; }
610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627
  bool basic_const_item() const;
  /*
    This method is used to make a copy of a basic constant item when
    propagating constants in the optimizer. The reason to create a new
    item and not use the existing one is not precisely known (2005/04/16).
    Probably we are trying to preserve tree structure of items, in other
    words, avoid pointing at one item from two different nodes of the tree.
    Return a new basic constant item if parameter value is a basic
    constant, assert otherwise. This method is called only if
    basic_const_item returned TRUE.
  */
  Item *new_item();
  /*
    Implement by-value equality evaluation if parameter value
    is set and is a basic constant (integer, real or string).
    Otherwise return FALSE.
  */
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
628
};
unknown's avatar
unknown committed
629

630

631
class Item_int :public Item_num
unknown's avatar
unknown committed
632 633
{
public:
634
  longlong value;
unknown's avatar
unknown committed
635
  Item_int(int32 i,uint length=11) :value((longlong) i)
636
    { max_length=length; fixed= 1; }
unknown's avatar
unknown committed
637 638
#ifdef HAVE_LONG_LONG
  Item_int(longlong i,uint length=21) :value(i)
639
    { max_length=length; fixed= 1;}
unknown's avatar
unknown committed
640 641
#endif
  Item_int(const char *str_arg,longlong i,uint length) :value(i)
642
    { max_length=length; name=(char*) str_arg; fixed= 1; }
unknown's avatar
unknown committed
643
  Item_int(const char *str_arg, uint length=64);
unknown's avatar
unknown committed
644
  enum Type type() const { return INT_ITEM; }
645 646
  enum Item_result result_type () const { return INT_RESULT; }
  enum_field_types field_type() const { return MYSQL_TYPE_LONGLONG; }
647 648
  longlong val_int() { DBUG_ASSERT(fixed == 1); return value; }
  double val() { DBUG_ASSERT(fixed == 1); return (double) value; }
unknown's avatar
unknown committed
649
  String *val_str(String*);
unknown's avatar
unknown committed
650
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
651 652
  bool basic_const_item() const { return 1; }
  Item *new_item() { return new Item_int(name,value,max_length); }
653
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
654
  void cleanup() {}
655
  void print(String *str);
unknown's avatar
unknown committed
656
  Item_num *neg() { value= -value; return this; }
657
  bool eq(const Item *, bool binary_cmp) const;
658 659 660 661
};


class Item_uint :public Item_int
unknown's avatar
unknown committed
662 663
{
public:
unknown's avatar
unknown committed
664
  Item_uint(const char *str_arg, uint length);
665
  Item_uint(const char *str_arg, longlong i, uint length);
666
  Item_uint(uint32 i) :Item_int((longlong) i, 10) 
unknown's avatar
unknown committed
667
    { unsigned_flag= 1; }
668 669
  double val()
    { DBUG_ASSERT(fixed == 1); return ulonglong2double((ulonglong)value); }
unknown's avatar
unknown committed
670 671
  String *val_str(String*);
  Item *new_item() { return new Item_uint(name,max_length); }
unknown's avatar
unknown committed
672
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
673
  void print(String *str);
unknown's avatar
unknown committed
674
  Item_num *neg ();
unknown's avatar
unknown committed
675 676 677
};


678
class Item_real :public Item_num
unknown's avatar
unknown committed
679 680
{
public:
681
  double value;
unknown's avatar
unknown committed
682
  // Item_real() :value(0) {}
unknown's avatar
unknown committed
683
  Item_real(const char *str_arg, uint length) :value(my_atof(str_arg))
unknown's avatar
unknown committed
684 685
  {
    name=(char*) str_arg;
unknown's avatar
unknown committed
686
    decimals=(uint8) nr_of_decimals(str_arg);
unknown's avatar
unknown committed
687
    max_length=length;
unknown's avatar
unknown committed
688
    fixed= 1;
unknown's avatar
unknown committed
689 690 691 692 693
  }
  Item_real(const char *str,double val_arg,uint decimal_par,uint length)
    :value(val_arg)
  {
    name=(char*) str;
unknown's avatar
unknown committed
694
    decimals=(uint8) decimal_par;
unknown's avatar
unknown committed
695
    max_length=length;
unknown's avatar
unknown committed
696
    fixed= 1;
unknown's avatar
unknown committed
697
  }
unknown's avatar
unknown committed
698
  Item_real(double value_par) :value(value_par) { fixed= 1; }
unknown's avatar
unknown committed
699
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
700
  enum Type type() const { return REAL_ITEM; }
701
  enum_field_types field_type() const { return MYSQL_TYPE_DOUBLE; }
702 703 704 705 706 707
  double val() { DBUG_ASSERT(fixed == 1); return value; }
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
    return (longlong) (value+(value > 0 ? 0.5 : -0.5));
  }
unknown's avatar
unknown committed
708 709
  String *val_str(String*);
  bool basic_const_item() const { return 1; }
unknown's avatar
unknown committed
710 711
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
712
  Item *new_item() { return new Item_real(name,value,decimals,max_length); }
unknown's avatar
unknown committed
713
  Item_num *neg() { value= -value; return this; }
714
  bool eq(const Item *, bool binary_cmp) const;
unknown's avatar
unknown committed
715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730
};


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
731
  Item_string(const char *str,uint length,
732
  	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
733
  {
734
    collation.set(cs, dv);
unknown's avatar
unknown committed
735
    str_value.set_or_copy_aligned(str,length,cs);
736 737 738 739 740 741 742
    /*
      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).
    */
743
    max_length= str_value.numchars()*cs->mbmaxlen;
unknown's avatar
unknown committed
744
    set_name(str, length, cs);
unknown's avatar
unknown committed
745
    decimals=NOT_FIXED_DEC;
746 747
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
748
  }
749
  Item_string(const char *name_par, const char *str, uint length,
750
	      CHARSET_INFO *cs, Derivation dv= DERIVATION_COERCIBLE)
unknown's avatar
unknown committed
751
  {
752
    collation.set(cs, dv);
unknown's avatar
unknown committed
753
    str_value.set_or_copy_aligned(str,length,cs);
754
    max_length= str_value.numchars()*cs->mbmaxlen;
unknown's avatar
unknown committed
755
    set_name(name_par,0,cs);
unknown's avatar
unknown committed
756
    decimals=NOT_FIXED_DEC;
757 758
    // it is constant => can be used without fix_fields (and frequently used)
    fixed= 1;
unknown's avatar
unknown committed
759 760
  }
  enum Type type() const { return STRING_ITEM; }
761
  double val()
762 763
  {
    DBUG_ASSERT(fixed == 1);
764
    int err;
unknown's avatar
unknown committed
765
    char *end_not_used;
766
    return my_strntod(str_value.charset(), (char*) str_value.ptr(),
unknown's avatar
unknown committed
767
		      str_value.length(), &end_not_used, &err);
768 769 770
  }
  longlong val_int()
  {
771
    DBUG_ASSERT(fixed == 1);
772
    int err;
773
    return my_strntoll(str_value.charset(), str_value.ptr(),
774
		       str_value.length(), 10, (char**) 0, &err);
775
  }
776 777 778 779 780
  String *val_str(String*)
  {
    DBUG_ASSERT(fixed == 1);
    return (String*) &str_value;
  }
unknown's avatar
unknown committed
781
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
782
  enum Item_result result_type () const { return STRING_RESULT; }
783
  enum_field_types field_type() const { return MYSQL_TYPE_STRING; }
unknown's avatar
unknown committed
784
  bool basic_const_item() const { return 1; }
785
  bool eq(const Item *item, bool binary_cmp) const;
786 787
  Item *new_item() 
  {
788
    return new Item_string(name, str_value.ptr(), 
unknown's avatar
unknown committed
789
    			   str_value.length(), collation.collation);
790
  }
unknown's avatar
unknown committed
791
  Item *safe_charset_converter(CHARSET_INFO *tocs);
unknown's avatar
unknown committed
792
  String *const_string() { return &str_value; }
793
  inline void append(char *str, uint length) { str_value.append(str, length); }
unknown's avatar
unknown committed
794
  void print(String *str);
unknown's avatar
unknown committed
795 796
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
unknown's avatar
unknown committed
797 798 799 800 801 802 803
};

/* for show tables */

class Item_datetime :public Item_string
{
public:
unknown's avatar
unknown committed
804 805
  Item_datetime(const char *item_name): Item_string(item_name,"",0,
  						    &my_charset_bin)
unknown's avatar
unknown committed
806
  { max_length=19;}
807
  enum_field_types field_type() const { return MYSQL_TYPE_DATETIME; }
unknown's avatar
unknown committed
808 809 810 811 812
};

class Item_empty_string :public Item_string
{
public:
813 814
  Item_empty_string(const char *header,uint length, CHARSET_INFO *cs= NULL) :
    Item_string("",0, cs ? cs : &my_charset_bin)
815
    { name=(char*) header; max_length= cs ? length * cs->mbmaxlen : length; }
816
  void make_field(Send_field *field);
unknown's avatar
unknown committed
817 818
};

819 820 821 822 823 824 825 826 827 828 829 830 831 832
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
833 834 835
class Item_varbinary :public Item
{
public:
836
  Item_varbinary(const char *str,uint str_length);
unknown's avatar
unknown committed
837
  enum Type type() const { return VARBIN_ITEM; }
838 839
  double val()
    { DBUG_ASSERT(fixed == 1); return (double) Item_varbinary::val_int(); }
unknown's avatar
unknown committed
840
  longlong val_int();
unknown's avatar
unknown committed
841
  bool basic_const_item() const { return 1; }
842
  String *val_str(String*) { DBUG_ASSERT(fixed == 1); return &str_value; }
unknown's avatar
unknown committed
843
  int save_in_field(Field *field, bool no_conversions);
844
  enum Item_result result_type () const { return STRING_RESULT; }
845
  enum_field_types field_type() const { return MYSQL_TYPE_STRING; }
unknown's avatar
unknown committed
846 847
  // to prevent drop fixed flag (no need parent cleanup call)
  void cleanup() {}
848
  bool eq(const Item *item, bool binary_cmp) const;
unknown's avatar
unknown committed
849 850 851 852 853 854 855 856
};


class Item_result_field :public Item	/* Item with result field */
{
public:
  Field *result_field;				/* Save result here */
  Item_result_field() :result_field(0) {}
857
  // Constructor used for Item_sum/Item_cond_and/or (see Item comment)
858 859
  Item_result_field(THD *thd, Item_result_field *item):
    Item(thd, item), result_field(item->result_field)
860
  {}
unknown's avatar
unknown committed
861
  ~Item_result_field() {}			/* Required with gcc 2.95 */
862
  Field *get_tmp_table_field() { return result_field; }
863
  Field *tmp_table_field(TABLE *t_arg) { return result_field; }
unknown's avatar
unknown committed
864
  table_map used_tables() const { return 1; }
unknown's avatar
unknown committed
865
  virtual void fix_length_and_dec()=0;
unknown's avatar
unknown committed
866 867 868 869 870 871
  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);
  }
872
  void cleanup();
unknown's avatar
unknown committed
873 874 875 876 877
};


class Item_ref :public Item_ident
{
878 879
protected:
  void set_properties();
unknown's avatar
unknown committed
880
public:
unknown's avatar
unknown committed
881
  Field *result_field;			 /* Save result here */
unknown's avatar
unknown committed
882
  Item **ref;
883 884 885
  Item_ref(const char *db_par, const char *table_name_par,
           const char *field_name_par)
    :Item_ident(db_par, table_name_par, field_name_par), ref(0) {}
886
  /*
887 888 889 890 891 892 893 894 895 896
    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.
    
897 898 899
    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.
  */
900 901 902
  Item_ref(Item **item, const char *table_name_par, const char *field_name_par)
    :Item_ident(NullS, table_name_par, field_name_par), ref(item)
  {
unknown's avatar
unknown committed
903
    DBUG_ASSERT(item);
904 905
    if (*item)
      set_properties();
906
  }
907

908 909
  /* Constructor need to process subselect with temporary tables (see Item) */
  Item_ref(THD *thd, Item_ref *item) :Item_ident(thd, item), ref(item->ref) {}
unknown's avatar
unknown committed
910
  enum Type type() const		{ return REF_ITEM; }
911
  bool eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
912
  { return ref && (*ref)->eq(item, binary_cmp); }
unknown's avatar
unknown committed
913 914
  double val()
  {
915
    DBUG_ASSERT(fixed);
unknown's avatar
unknown committed
916
    double tmp=(*ref)->val_result();
unknown's avatar
unknown committed
917
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
918 919 920 921
    return tmp;
  }
  longlong val_int()
  {
922
    DBUG_ASSERT(fixed);
unknown's avatar
unknown committed
923
    longlong tmp=(*ref)->val_int_result();
unknown's avatar
unknown committed
924
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
925 926 927 928
    return tmp;
  }
  String *val_str(String* tmp)
  {
929
    DBUG_ASSERT(fixed);
unknown's avatar
unknown committed
930
    tmp=(*ref)->str_result(tmp);
unknown's avatar
unknown committed
931
    null_value=(*ref)->null_value;
unknown's avatar
unknown committed
932 933
    return tmp;
  }
934 935
  bool is_null()
  {
936
    DBUG_ASSERT(fixed);
937
    (void) (*ref)->val_int_result();
unknown's avatar
unknown committed
938
    return (*ref)->null_value;
939
  }
940
  bool get_date(TIME *ltime,uint fuzzydate)
941
  {
942
    DBUG_ASSERT(fixed);
943
    return (null_value=(*ref)->get_date_result(ltime,fuzzydate));
unknown's avatar
unknown committed
944
  }
945
  bool send(Protocol *prot, String *tmp){ return (*ref)->send(prot, tmp); }
unknown's avatar
unknown committed
946
  void make_field(Send_field *field)	{ (*ref)->make_field(field); }
unknown's avatar
unknown committed
947
  bool fix_fields(THD *, struct st_table_list *, Item **);
unknown's avatar
unknown committed
948
  int save_in_field(Field *field, bool no_conversions)
949
  { return (*ref)->save_in_field(field, no_conversions); }
unknown's avatar
unknown committed
950 951
  void save_org_in_field(Field *field)	{ (*ref)->save_org_in_field(field); }
  enum Item_result result_type () const { return (*ref)->result_type(); }
952
  enum_field_types field_type() const   { return (*ref)->field_type(); }
953
  Field *get_tmp_table_field() { return result_field; }
954 955 956 957
  table_map used_tables() const		
  { 
    return depended_from ? OUTER_REF_TABLE_BIT : (*ref)->used_tables(); 
  }
958
  void set_result_field(Field *field)	{ result_field= field; }
unknown's avatar
unknown committed
959 960 961 962 963
  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
964
  Item *real_item() { return *ref; }
unknown's avatar
unknown committed
965
  void print(String *str);
unknown's avatar
unknown committed
966 967
};

968

unknown's avatar
unknown committed
969 970 971 972
/*
  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.
*/
973 974 975 976 977 978 979 980
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) {}
981

982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011
  double val()
  {
    double tmp=(*ref)->val();
    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));
  }
};


1012
class Item_in_subselect;
1013

1014 1015 1016 1017 1018 1019
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
1020
		       const char *table_name_par, const char *field_name_par):
1021
    Item_ref(item, table_name_par, field_name_par), owner(master) {}
1022 1023 1024
  double val();
  longlong val_int();
  String* val_str(String* s);
1025
  bool get_date(TIME *ltime, uint fuzzydate);
unknown's avatar
unknown committed
1026
  void print(String *str);
1027 1028
};

1029 1030 1031 1032 1033 1034
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)
1035
    :Item_ref_null_helper(master, &item, table_name_par, field_name_par),
1036
     store(item)
1037
    { ref= &store; }
unknown's avatar
unknown committed
1038
  void print(String *str);
1039
};
unknown's avatar
unknown committed
1040

1041

1042
/*
1043
  The following class is used to optimize comparing of date and bigint columns
1044 1045 1046 1047 1048
  We need to save the original item ('ref') to be able to call
  ref->save_in_field(). This is used to create index search keys.
  
  An instance of Item_int_with_ref may have signed or unsigned integer value.
  
1049 1050 1051 1052 1053 1054 1055
*/

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)
1056 1057 1058
  {
    unsigned_flag= ref_arg->unsigned_flag;
  }
unknown's avatar
unknown committed
1059
  int save_in_field(Field *field, bool no_conversions)
1060
  {
1061
    return ref->save_in_field(field, no_conversions);
1062
  }
1063
  Item *new_item();
1064 1065 1066
};


1067
#include "gstream.h"
unknown's avatar
unknown committed
1068
#include "spatial.h"
unknown's avatar
unknown committed
1069 1070
#include "item_sum.h"
#include "item_func.h"
1071
#include "item_row.h"
unknown's avatar
unknown committed
1072 1073
#include "item_cmpfunc.h"
#include "item_strfunc.h"
1074
#include "item_geofunc.h"
unknown's avatar
unknown committed
1075 1076
#include "item_timefunc.h"
#include "item_uniq.h"
1077
#include "item_subselect.h"
unknown's avatar
unknown committed
1078 1079 1080

class Item_copy_string :public Item
{
1081
  enum enum_field_types cached_field_type;
unknown's avatar
unknown committed
1082 1083 1084 1085 1086 1087 1088 1089
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;
1090
    cached_field_type= item->field_type();
unknown's avatar
unknown committed
1091 1092 1093
  }
  enum Type type() const { return COPY_STR_ITEM; }
  enum Item_result result_type () const { return STRING_RESULT; }
1094
  enum_field_types field_type() const { return cached_field_type; }
unknown's avatar
unknown committed
1095
  double val()
1096
  {
1097
    int err;
unknown's avatar
unknown committed
1098
    char *end_not_used;
1099 1100
    return (null_value ? 0.0 :
	    my_strntod(str_value.charset(), (char*) str_value.ptr(),
unknown's avatar
unknown committed
1101
		       str_value.length(), &end_not_used, &err));
1102
  }
unknown's avatar
unknown committed
1103
  longlong val_int()
1104 1105 1106 1107
  { 
    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
1108 1109 1110
  String *val_str(String*);
  void make_field(Send_field *field) { item->make_field(field); }
  void copy();
unknown's avatar
unknown committed
1111
  int save_in_field(Field *field, bool no_conversions);
unknown's avatar
unknown committed
1112 1113
  table_map used_tables() const { return (table_map) 1L; }
  bool const_item() const { return 0; }
unknown's avatar
unknown committed
1114
  bool is_null() { return null_value; }
unknown's avatar
unknown committed
1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131
};


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:
1132
  Item_str_buff(THD *thd, Item *arg);
unknown's avatar
unknown committed
1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171
  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
1172 1173 1174 1175
class Item_default_value : public Item_field
{
public:
  Item *arg;
unknown's avatar
SCRUM  
unknown committed
1176 1177
  Item_default_value() :
    Item_field((const char *)NULL, (const char *)NULL, (const char *)NULL), arg(NULL) {}
unknown's avatar
unknown committed
1178
  Item_default_value(Item *a) :
unknown's avatar
SCRUM  
unknown committed
1179
    Item_field((const char *)NULL, (const char *)NULL, (const char *)NULL), arg(a) {}
unknown's avatar
SCRUM  
unknown committed
1180
  enum Type type() const { return DEFAULT_VALUE_ITEM; }
unknown's avatar
SCRUM  
unknown committed
1181 1182
  bool eq(const Item *item, bool binary_cmp) const;
  bool fix_fields(THD *, struct st_table_list *, Item **);
unknown's avatar
SCRUM  
unknown committed
1183
  void print(String *str);
1184
  int save_in_field(Field *field_arg, bool no_conversions)
unknown's avatar
SCRUM  
unknown committed
1185 1186 1187
  {
    if (!arg)
    {
1188
      field_arg->set_default();
unknown's avatar
SCRUM  
unknown committed
1189 1190
      return 0;
    }
1191
    return Item_field::save_in_field(field_arg, no_conversions);
unknown's avatar
SCRUM  
unknown committed
1192
  }
unknown's avatar
SCRUM  
unknown committed
1193
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
1194 1195 1196 1197 1198 1199
  
  bool walk(Item_processor processor, byte *args)
  {
    return arg->walk(processor, args) ||
      (this->*processor)(args);
  }
unknown's avatar
unknown committed
1200
};
unknown's avatar
unknown committed
1201

unknown's avatar
unknown committed
1202 1203 1204 1205 1206 1207 1208 1209 1210
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);
1211
  int save_in_field(Field *field_arg, bool no_conversions)
unknown's avatar
unknown committed
1212
  {
1213
    return Item_field::save_in_field(field_arg, no_conversions);
unknown's avatar
unknown committed
1214 1215
  }
  table_map used_tables() const { return (table_map)0L; }
unknown's avatar
unknown committed
1216 1217 1218 1219 1220 1221

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

1224 1225
class Item_cache: public Item
{
unknown's avatar
unknown committed
1226 1227
protected:
  Item *example;
1228
  table_map used_table_map;
1229
public:
unknown's avatar
unknown committed
1230
  Item_cache(): example(0), used_table_map(0) {fixed= 1; null_value= 1;}
1231 1232 1233

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

unknown's avatar
unknown committed
1234
  virtual bool allocate(uint i) { return 0; }
1235 1236 1237 1238 1239 1240 1241 1242
  virtual bool setup(Item *item)
  {
    example= item;
    max_length= item->max_length;
    decimals= item->decimals;
    collation.set(item->collation);
    return 0;
  };
1243 1244
  virtual void store(Item *)= 0;
  enum Type type() const { return CACHE_ITEM; }
1245
  static Item_cache* get_cache(Item_result type);
1246
  table_map used_tables() const { return used_table_map; }
1247
  virtual void keep_array() {}
1248
  // to prevent drop fixed flag (no need parent cleanup call)
unknown's avatar
unknown committed
1249
  void cleanup() {}
unknown's avatar
unknown committed
1250
  void print(String *str);
1251 1252 1253 1254 1255 1256
};

class Item_cache_int: public Item_cache
{
  longlong value;
public:
1257
  Item_cache_int(): Item_cache(), value(0) {}
1258
  
unknown's avatar
unknown committed
1259
  void store(Item *item);
1260 1261 1262 1263 1264 1265 1266 1267
  double val() { DBUG_ASSERT(fixed == 1); return (double) value; }
  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;
  }
1268 1269 1270 1271 1272 1273 1274
  enum Item_result result_type() const { return INT_RESULT; }
};

class Item_cache_real: public Item_cache
{
  double value;
public:
1275
  Item_cache_real(): Item_cache(), value(0) {}
1276

unknown's avatar
unknown committed
1277
  void store(Item *item);
1278 1279 1280 1281 1282 1283
  double val() { DBUG_ASSERT(fixed == 1); return value; }
  longlong val_int()
  {
    DBUG_ASSERT(fixed == 1);
    return (longlong) (value+(value > 0 ? 0.5 : -0.5));
  }
1284 1285
  String* val_str(String *str)
  {
1286
    str->set(value, decimals, default_charset());
1287 1288 1289 1290 1291 1292 1293 1294
    return str;
  }
  enum Item_result result_type() const { return REAL_RESULT; }
};

class Item_cache_str: public Item_cache
{
  char buffer[80];
1295
  String *value, value_buff;
1296
public:
1297
  Item_cache_str(): Item_cache(), value(0) { }
1298
  
1299 1300 1301
  void store(Item *item);
  double val();
  longlong val_int();
1302
  String* val_str(String *) { DBUG_ASSERT(fixed == 1); return value; }
1303 1304 1305 1306
  enum Item_result result_type() const { return STRING_RESULT; }
  CHARSET_INFO *charset() const { return value->charset(); };
};

unknown's avatar
unknown committed
1307 1308 1309
class Item_cache_row: public Item_cache
{
  Item_cache  **values;
unknown's avatar
unknown committed
1310
  uint item_count;
1311
  bool save_array;
unknown's avatar
unknown committed
1312
public:
1313 1314
  Item_cache_row()
    :Item_cache(), values(0), item_count(2), save_array(0) {}
unknown's avatar
unknown committed
1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348
  
  /*
    '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");
  };
  double val()
  {
    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
1349
  uint cols() { return item_count; }
unknown's avatar
unknown committed
1350 1351 1352 1353 1354
  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();
1355
  void keep_array() { save_array= 1; }
unknown's avatar
unknown committed
1356 1357
  void cleanup()
  {
unknown's avatar
unknown committed
1358
    DBUG_ENTER("Item_cache_row::cleanup");
unknown's avatar
unknown committed
1359
    Item_cache::cleanup();
1360 1361 1362 1363
    if (save_array)
      bzero(values, item_count*sizeof(Item**));
    else
      values= 0;
unknown's avatar
unknown committed
1364
    DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1365
  }
unknown's avatar
unknown committed
1366 1367
};

1368 1369

/*
1370 1371 1372 1373 1374
  Item_type_holder used to store type. name, length of Item for UNIONS &
  derived tables.

  Item_type_holder do not need cleanup() because its time of live limited by
  single SP/PS execution.
1375 1376 1377 1378
*/
class Item_type_holder: public Item
{
protected:
1379 1380 1381 1382
  TYPELIB *enum_set_typelib;
  enum_field_types fld_type;

  void get_full_info(Item *item);
1383
public:
1384
  Item_type_holder(THD*, Item*);
1385

1386 1387
  Item_result result_type() const;
  virtual enum_field_types field_type() const { return fld_type; };
1388 1389 1390 1391
  enum Type type() const { return TYPE_HOLDER; }
  double val();
  longlong val_int();
  String *val_str(String*);
1392 1393 1394 1395
  bool join_types(THD *thd, Item *);
  Field *make_field_by_type(TABLE *table);
  static uint32 display_length(Item *item);
  static enum_field_types get_real_type(Item *);
1396 1397 1398
};


1399
extern Item_buff *new_Item_buff(THD *thd, Item *item);
unknown's avatar
unknown committed
1400
extern Item_result item_cmp_type(Item_result a,Item_result b);
1401
extern void resolve_const_item(THD *thd, Item **ref, Item *cmp_item);
unknown's avatar
unknown committed
1402
extern bool field_is_equal_to_item(Field *field,Item *item);