item_cmpfunc.h 50.3 KB
Newer Older
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1
/* Copyright (C) 2000-2003 MySQL AB
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
2

bk@work.mysql.com's avatar
bk@work.mysql.com committed
3 4
   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
5
   the Free Software Foundation; version 2 of the License.
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
6

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

bk@work.mysql.com's avatar
bk@work.mysql.com committed
12 13 14 15 16 17 18
   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 */


/* compare and test functions */

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

23 24 25 26 27 28
extern Item_result item_cmp_type(Item_result a,Item_result b);
class Item_bool_func2;
class Arg_comparator;

typedef int (Arg_comparator::*arg_cmp_func)();

igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
29 30
typedef int (*Item_field_cmpfunc)(Item_field *f1, Item_field *f2, void *arg); 

31 32 33 34 35 36
class Arg_comparator: public Sql_alloc
{
  Item **a, **b;
  arg_cmp_func func;
  Item_bool_func2 *owner;
  Arg_comparator *comparators;   // used only for compare_row()
37
  double precision;
38 39 40 41 42 43 44
  /* Fields used in DATE/DATETIME comparison. */
  THD *thd;
  enum_field_types a_type, b_type; // Types of a and b items
  Item *a_cache, *b_cache;         // Cached values of a and b items
  bool is_nulls_eq;                // TRUE <=> compare for the EQUAL_FUNC
  enum enum_date_cmp_type { CMP_DATE_DFLT= 0, CMP_DATE_WITH_DATE,
                            CMP_DATE_WITH_STR, CMP_STR_WITH_DATE };
45 46
  ulonglong (*get_value_func)(THD *thd, Item ***item_arg, Item **cache_arg,
                              Item *warn_item, bool *is_null);
47
public:
48 49
  DTCollation cmp_collation;

50 51 52
  Arg_comparator(): thd(0), a_cache(0), b_cache(0) {};
  Arg_comparator(Item **a1, Item **a2): a(a1), b(a2), thd(0),
    a_cache(0), b_cache(0) {};
53 54

  int set_compare_func(Item_bool_func2 *owner, Item_result type);
55
  inline int set_compare_func(Item_bool_func2 *owner_arg)
56
  {
57
    return set_compare_func(owner_arg, item_cmp_type((*a)->result_type(),
evgen@moonbone.local's avatar
evgen@moonbone.local committed
58
                                                     (*b)->result_type()));
59
  }
60
  int set_cmp_func(Item_bool_func2 *owner_arg,
61
			  Item **a1, Item **a2,
62 63
			  Item_result type);

64
  inline int set_cmp_func(Item_bool_func2 *owner_arg,
65 66
			  Item **a1, Item **a2)
  {
evgen@moonbone.local's avatar
evgen@moonbone.local committed
67 68 69
    return set_cmp_func(owner_arg, a1, a2,
                        item_cmp_type((*a1)->result_type(),
                                      (*a2)->result_type()));
70 71 72 73
  }
  inline int compare() { return (this->*func)(); }

  int compare_string();		 // compare args[0] & args[1]
monty@mysql.com's avatar
monty@mysql.com committed
74
  int compare_binary_string();	 // compare args[0] & args[1]
75
  int compare_real();            // compare args[0] & args[1]
76
  int compare_decimal();         // compare args[0] & args[1]
77
  int compare_int_signed();      // compare args[0] & args[1]
78 79 80
  int compare_int_signed_unsigned();
  int compare_int_unsigned_signed();
  int compare_int_unsigned();
81 82
  int compare_row();             // compare args[0] & args[1]
  int compare_e_string();	 // compare args[0] & args[1]
monty@mysql.com's avatar
monty@mysql.com committed
83
  int compare_e_binary_string(); // compare args[0] & args[1]
84
  int compare_e_real();          // compare args[0] & args[1]
85
  int compare_e_decimal();       // compare args[0] & args[1]
86
  int compare_e_int();           // compare args[0] & args[1]
87
  int compare_e_int_diff_signedness();
88
  int compare_e_row();           // compare args[0] & args[1]
89 90
  int compare_real_fixed();
  int compare_e_real_fixed();
91 92 93 94
  int compare_datetime();        // compare args[0] & args[1] as DATETIMEs

  static enum enum_date_cmp_type can_compare_as_dates(Item *a, Item *b,
                                                      ulonglong *const_val_arg);
95

96
  void set_datetime_cmp_func(Item **a1, Item **b1);
97
  static arg_cmp_func comparator_matrix [5][2];
98 99 100 101

  friend class Item_func;
};

bk@work.mysql.com's avatar
bk@work.mysql.com committed
102 103 104 105 106 107
class Item_bool_func :public Item_int_func
{
public:
  Item_bool_func() :Item_int_func() {}
  Item_bool_func(Item *a) :Item_int_func(a) {}
  Item_bool_func(Item *a,Item *b) :Item_int_func(a,b) {}
108
  Item_bool_func(THD *thd, Item_bool_func *item) :Item_int_func(thd, item) {}
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
109
  bool is_bool_func() { return 1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
110
  void fix_length_and_dec() { decimals=0; max_length=1; }
111
  uint decimal_precision() const { return 1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
112 113
};

114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199

/**
  Abstract Item class, to represent <code>X IS [NOT] (TRUE | FALSE)</code>
  boolean predicates.
*/

class Item_func_truth : public Item_bool_func
{
public:
  virtual bool val_bool();
  virtual longlong val_int();
  virtual void fix_length_and_dec();
  virtual void print(String *str);

protected:
  Item_func_truth(Item *a, bool a_value, bool a_affirmative)
  : Item_bool_func(a), value(a_value), affirmative(a_affirmative)
  {}

  ~Item_func_truth()
  {}
private:
  /**
    True for <code>X IS [NOT] TRUE</code>,
    false for <code>X IS [NOT] FALSE</code> predicates.
  */
  const bool value;
  /**
    True for <code>X IS Y</code>, false for <code>X IS NOT Y</code> predicates.
  */
  const bool affirmative;
};


/**
  This Item represents a <code>X IS TRUE</code> boolean predicate.
*/

class Item_func_istrue : public Item_func_truth
{
public:
  Item_func_istrue(Item *a) : Item_func_truth(a, true, true) {}
  ~Item_func_istrue() {}
  virtual const char* func_name() const { return "istrue"; }
};


/**
  This Item represents a <code>X IS NOT TRUE</code> boolean predicate.
*/

class Item_func_isnottrue : public Item_func_truth
{
public:
  Item_func_isnottrue(Item *a) : Item_func_truth(a, true, false) {}
  ~Item_func_isnottrue() {}
  virtual const char* func_name() const { return "isnottrue"; }
};


/**
  This Item represents a <code>X IS FALSE</code> boolean predicate.
*/

class Item_func_isfalse : public Item_func_truth
{
public:
  Item_func_isfalse(Item *a) : Item_func_truth(a, false, true) {}
  ~Item_func_isfalse() {}
  virtual const char* func_name() const { return "isfalse"; }
};


/**
  This Item represents a <code>X IS NOT FALSE</code> boolean predicate.
*/

class Item_func_isnotfalse : public Item_func_truth
{
public:
  Item_func_isnotfalse(Item *a) : Item_func_truth(a, false, false) {}
  ~Item_func_isnotfalse() {}
  virtual const char* func_name() const { return "isnotfalse"; }
};


200
class Item_cache;
201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218
#define UNKNOWN ((my_bool)-1)


/*
  Item_in_optimizer(left_expr, Item_in_subselect(...))

  Item_in_optimizer is used to wrap an instance of Item_in_subselect. This
  class does the following:
   - Evaluate the left expression and store it in Item_cache_* object (to
     avoid re-evaluating it many times during subquery execution)
   - Shortcut the evaluation of "NULL IN (...)" to NULL in the cases where we
     don't care if the result is NULL or FALSE.

  NOTE
    It is not quite clear why the above listed functionality should be
    placed into a separate class called 'Item_in_optimizer'.
*/

219 220 221
class Item_in_optimizer: public Item_bool_func
{
protected:
222
  Item_cache *cache;
223
  bool save_cache;
224 225 226 227 228 229 230
  /* 
    Stores the value of "NULL IN (SELECT ...)" for uncorrelated subqueries:
      UNKNOWN - "NULL in (SELECT ...)" has not yet been evaluated
      FALSE   - result is FALSE
      TRUE    - result is NULL
  */
  my_bool result_for_null_param;
231
public:
232
  Item_in_optimizer(Item *a, Item_in_subselect *b):
233 234
    Item_bool_func(a, my_reinterpret_cast(Item *)(b)), cache(0),
    save_cache(0), result_for_null_param(UNKNOWN)
235
  {}
236 237
  bool fix_fields(THD *, Item **);
  bool fix_left(THD *thd, Item **ref);
238
  bool is_null();
239
  longlong val_int();
240
  void cleanup();
241
  const char *func_name() const { return "<in_optimizer>"; }
242
  Item_cache **get_cache() { return &cache; }
243
  void keep_top_level_cache();
244 245
};

bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
246 247 248
class Comp_creator
{
public:
249 250
  Comp_creator() {}                           /* Remove gcc warning */
  virtual ~Comp_creator() {}                  /* Remove gcc warning */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
251 252 253 254 255 256 257 258 259
  virtual Item_bool_func2* create(Item *a, Item *b) const = 0;
  virtual const char* symbol(bool invert) const = 0;
  virtual bool eqne_op() const = 0;
  virtual bool l_op() const = 0;
};

class Eq_creator :public Comp_creator
{
public:
260 261
  Eq_creator() {}                             /* Remove gcc warning */
  virtual ~Eq_creator() {}                    /* Remove gcc warning */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
262 263 264 265 266 267 268 269 270
  virtual Item_bool_func2* create(Item *a, Item *b) const;
  virtual const char* symbol(bool invert) const { return invert? "<>" : "="; }
  virtual bool eqne_op() const { return 1; }
  virtual bool l_op() const { return 0; }
};

class Ne_creator :public Comp_creator
{
public:
271 272
  Ne_creator() {}                             /* Remove gcc warning */
  virtual ~Ne_creator() {}                    /* Remove gcc warning */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
273 274 275 276 277 278 279 280 281
  virtual Item_bool_func2* create(Item *a, Item *b) const;
  virtual const char* symbol(bool invert) const { return invert? "=" : "<>"; }
  virtual bool eqne_op() const { return 1; }
  virtual bool l_op() const { return 0; }
};

class Gt_creator :public Comp_creator
{
public:
282 283
  Gt_creator() {}                             /* Remove gcc warning */
  virtual ~Gt_creator() {}                    /* Remove gcc warning */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
284 285 286 287 288 289 290 291 292
  virtual Item_bool_func2* create(Item *a, Item *b) const;
  virtual const char* symbol(bool invert) const { return invert? "<=" : ">"; }
  virtual bool eqne_op() const { return 0; }
  virtual bool l_op() const { return 0; }
};

class Lt_creator :public Comp_creator
{
public:
293 294
  Lt_creator() {}                             /* Remove gcc warning */
  virtual ~Lt_creator() {}                    /* Remove gcc warning */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
295 296 297 298 299 300 301 302 303
  virtual Item_bool_func2* create(Item *a, Item *b) const;
  virtual const char* symbol(bool invert) const { return invert? ">=" : "<"; }
  virtual bool eqne_op() const { return 0; }
  virtual bool l_op() const { return 1; }
};

class Ge_creator :public Comp_creator
{
public:
304 305
  Ge_creator() {}                             /* Remove gcc warning */
  virtual ~Ge_creator() {}                    /* Remove gcc warning */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
306 307 308 309 310 311 312 313 314
  virtual Item_bool_func2* create(Item *a, Item *b) const;
  virtual const char* symbol(bool invert) const { return invert? "<" : ">="; }
  virtual bool eqne_op() const { return 0; }
  virtual bool l_op() const { return 0; }
};

class Le_creator :public Comp_creator
{
public:
315 316
  Le_creator() {}                             /* Remove gcc warning */
  virtual ~Le_creator() {}                    /* Remove gcc warning */
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
317 318 319 320 321 322
  virtual Item_bool_func2* create(Item *a, Item *b) const;
  virtual const char* symbol(bool invert) const { return invert? ">" : "<="; }
  virtual bool eqne_op() const { return 0; }
  virtual bool l_op() const { return 1; }
};

bk@work.mysql.com's avatar
bk@work.mysql.com committed
323 324 325
class Item_bool_func2 :public Item_int_func
{						/* Bool with 2 string args */
protected:
326
  Arg_comparator cmp;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
327
  String tmp_value1,tmp_value2;
328
  bool abort_on_null;
329

bk@work.mysql.com's avatar
bk@work.mysql.com committed
330
public:
331
  Item_bool_func2(Item *a,Item *b)
332
    :Item_int_func(a,b), cmp(tmp_arg, tmp_arg+1), abort_on_null(FALSE) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
333
  void fix_length_and_dec();
334
  void set_cmp_func()
335
  {
336
    cmp.set_cmp_func(this, tmp_arg, tmp_arg+1);
337
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
338 339 340 341
  optimize_type select_optimize() const { return OPTIMIZE_OP; }
  virtual enum Functype rev_functype() const { return UNKNOWN_FUNC; }
  bool have_rev_func() const { return rev_functype() != UNKNOWN_FUNC; }
  void print(String *str) { Item_func::print_op(str); }
342
  bool is_null() { return test(args[0]->is_null() || args[1]->is_null()); }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
343
  bool is_bool_func() { return 1; }
344
  CHARSET_INFO *compare_collation() { return cmp.cmp_collation.collation; }
345
  uint decimal_precision() const { return 1; }
346
  void top_level_item() { abort_on_null= TRUE; }
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
347

348
  friend class  Arg_comparator;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
349 350
};

351 352 353
class Item_bool_rowready_func2 :public Item_bool_func2
{
public:
354
  Item_bool_rowready_func2(Item *a, Item *b) :Item_bool_func2(a, b)
355
  {
356
    allowed_arg_cols= 0;  // Fetch this value from first argument
357
  }
358 359
  Item *neg_transformer(THD *thd);
  virtual Item *negated_item();
360
  bool subst_argument_checker(uchar **arg) { return TRUE; }
361
};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
362 363 364 365 366 367

class Item_func_not :public Item_bool_func
{
public:
  Item_func_not(Item *a) :Item_bool_func(a) {}
  longlong val_int();
368
  enum Functype functype() const { return NOT_FUNC; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
369
  const char *func_name() const { return "not"; }
370
  Item *neg_transformer(THD *thd);
371
  void print(String *str);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
372 373
};

374
class Item_maxmin_subselect;
375 376

/*
377 378
  trigcond<param>(arg) ::= param? arg : TRUE

379 380
  The class Item_func_trig_cond is used for guarded predicates 
  which are employed only for internal purposes.
381
  A guarded predicate is an object consisting of an a regular or
382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398
  a guarded predicate P and a pointer to a boolean guard variable g. 
  A guarded predicate P/g is evaluated to true if the value of the
  guard g is false, otherwise it is evaluated to the same value that
  the predicate P: val(P/g)= g ? val(P):true.
  Guarded predicates allow us to include predicates into a conjunction
  conditionally. Currently they are utilized for pushed down predicates
  in queries with outer join operations.

  In the future, probably, it makes sense to extend this class to
  the objects consisting of three elements: a predicate P, a pointer
  to a variable g and a firing value s with following evaluation
  rule: val(P/g,s)= g==s? val(P) : true. It will allow us to build only
  one item for the objects of the form P/g1/g2... 

  Objects of this class are built only for query execution after
  the execution plan has been already selected. That's why this
  class needs only val_int out of generic methods. 
399 400 401 402
 
  Current uses of Item_func_trig_cond objects:
   - To wrap selection conditions when executing outer joins
   - To wrap condition that is pushed down into subquery
403 404 405 406 407 408 409 410 411 412
*/

class Item_func_trig_cond: public Item_bool_func
{
  bool *trig_var;
public:
  Item_func_trig_cond(Item *a, bool *f) : Item_bool_func(a) { trig_var= f; }
  longlong val_int() { return *trig_var ? args[0]->val_int() : 1; }
  enum Functype functype() const { return TRIG_COND_FUNC; };
  const char *func_name() const { return "trigcond"; };
413
  bool const_item() const { return FALSE; }
414
  bool *get_trig_var() { return trig_var; }
415 416
};

417 418
class Item_func_not_all :public Item_func_not
{
419
  /* allow to check presence of values in max/min optimization */
420 421 422
  Item_sum_hybrid *test_sum_item;
  Item_maxmin_subselect *test_sub_item;

423 424
  bool abort_on_null;
public:
425 426
  bool show;

427 428 429 430
  Item_func_not_all(Item *a)
    :Item_func_not(a), test_sum_item(0), test_sub_item(0), abort_on_null(0),
     show(0)
    {}
431 432 433
  virtual void top_level_item() { abort_on_null= 1; }
  bool top_level() { return abort_on_null; }
  longlong val_int();
434
  enum Functype functype() const { return NOT_ALL_FUNC; }
435 436
  const char *func_name() const { return "<not>"; }
  void print(String *str);
437 438 439
  void set_sum_test(Item_sum_hybrid *item) { test_sum_item= item; };
  void set_sub_test(Item_maxmin_subselect *item) { test_sub_item= item; };
  bool empty_underlying_subquery();
440
  Item *neg_transformer(THD *thd);
441 442
};

443 444 445 446 447 448 449 450

class Item_func_nop_all :public Item_func_not_all
{
public:

  Item_func_nop_all(Item *a) :Item_func_not_all(a) {}
  longlong val_int();
  const char *func_name() const { return "<nop>"; }
451
  Item *neg_transformer(THD *thd);
452 453 454
};


455
class Item_func_eq :public Item_bool_rowready_func2
bk@work.mysql.com's avatar
bk@work.mysql.com committed
456 457
{
public:
458
  Item_func_eq(Item *a,Item *b) :Item_bool_rowready_func2(a,b) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
459 460 461 462 463
  longlong val_int();
  enum Functype functype() const { return EQ_FUNC; }
  enum Functype rev_functype() const { return EQ_FUNC; }
  cond_result eq_cmp_result() const { return COND_TRUE; }
  const char *func_name() const { return "="; }
464
  Item *negated_item();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
465 466
};

467
class Item_func_equal :public Item_bool_rowready_func2
bk@work.mysql.com's avatar
bk@work.mysql.com committed
468 469
{
public:
470
  Item_func_equal(Item *a,Item *b) :Item_bool_rowready_func2(a,b) {};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
471
  longlong val_int();
monty@donna.mysql.com's avatar
monty@donna.mysql.com committed
472
  void fix_length_and_dec();
473
  table_map not_null_tables() const { return 0; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
474 475 476 477
  enum Functype functype() const { return EQUAL_FUNC; }
  enum Functype rev_functype() const { return EQUAL_FUNC; }
  cond_result eq_cmp_result() const { return COND_TRUE; }
  const char *func_name() const { return "<=>"; }
478
  Item *neg_transformer(THD *thd) { return 0; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
479 480 481
};


482
class Item_func_ge :public Item_bool_rowready_func2
bk@work.mysql.com's avatar
bk@work.mysql.com committed
483 484
{
public:
485
  Item_func_ge(Item *a,Item *b) :Item_bool_rowready_func2(a,b) {};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
486 487 488 489 490
  longlong val_int();
  enum Functype functype() const { return GE_FUNC; }
  enum Functype rev_functype() const { return LE_FUNC; }
  cond_result eq_cmp_result() const { return COND_TRUE; }
  const char *func_name() const { return ">="; }
491
  Item *negated_item();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
492 493 494
};


495
class Item_func_gt :public Item_bool_rowready_func2
bk@work.mysql.com's avatar
bk@work.mysql.com committed
496 497
{
public:
498
  Item_func_gt(Item *a,Item *b) :Item_bool_rowready_func2(a,b) {};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
499 500 501 502 503
  longlong val_int();
  enum Functype functype() const { return GT_FUNC; }
  enum Functype rev_functype() const { return LT_FUNC; }
  cond_result eq_cmp_result() const { return COND_FALSE; }
  const char *func_name() const { return ">"; }
504
  Item *negated_item();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
505 506 507
};


508
class Item_func_le :public Item_bool_rowready_func2
bk@work.mysql.com's avatar
bk@work.mysql.com committed
509 510
{
public:
511
  Item_func_le(Item *a,Item *b) :Item_bool_rowready_func2(a,b) {};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
512 513 514 515 516
  longlong val_int();
  enum Functype functype() const { return LE_FUNC; }
  enum Functype rev_functype() const { return GE_FUNC; }
  cond_result eq_cmp_result() const { return COND_TRUE; }
  const char *func_name() const { return "<="; }
517
  Item *negated_item();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
518 519 520
};


521
class Item_func_lt :public Item_bool_rowready_func2
bk@work.mysql.com's avatar
bk@work.mysql.com committed
522 523
{
public:
524
  Item_func_lt(Item *a,Item *b) :Item_bool_rowready_func2(a,b) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
525 526 527 528 529
  longlong val_int();
  enum Functype functype() const { return LT_FUNC; }
  enum Functype rev_functype() const { return GT_FUNC; }
  cond_result eq_cmp_result() const { return COND_FALSE; }
  const char *func_name() const { return "<"; }
530
  Item *negated_item();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
531 532 533
};


534
class Item_func_ne :public Item_bool_rowready_func2
bk@work.mysql.com's avatar
bk@work.mysql.com committed
535 536
{
public:
537
  Item_func_ne(Item *a,Item *b) :Item_bool_rowready_func2(a,b) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
538 539 540
  longlong val_int();
  enum Functype functype() const { return NE_FUNC; }
  cond_result eq_cmp_result() const { return COND_FALSE; }
541
  optimize_type select_optimize() const { return OPTIMIZE_KEY; } 
bk@work.mysql.com's avatar
bk@work.mysql.com committed
542
  const char *func_name() const { return "<>"; }
543
  Item *negated_item();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
544 545 546
};


aivanov@mysql.com's avatar
aivanov@mysql.com committed
547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573
/*
  The class Item_func_opt_neg is defined to factor out the functionality
  common for the classes Item_func_between and Item_func_in. The objects
  of these classes can express predicates or there negations.
  The alternative approach would be to create pairs Item_func_between,
  Item_func_notbetween and Item_func_in, Item_func_notin.

*/

class Item_func_opt_neg :public Item_int_func
{
public:
  bool negated;     /* <=> the item represents NOT <func> */
  bool pred_level;  /* <=> [NOT] <func> is used on a predicate level */
public:
  Item_func_opt_neg(Item *a, Item *b, Item *c)
    :Item_int_func(a, b, c), negated(0), pred_level(0) {}
  Item_func_opt_neg(List<Item> &list)
    :Item_int_func(list), negated(0), pred_level(0) {}
public:
  inline void negate() { negated= !negated; }
  inline void top_level_item() { pred_level= 1; }
  Item *neg_transformer(THD *thd)
  {
    negated= !negated;
    return this;
  }
574
  bool eq(const Item *item, bool binary_cmp) const;
575
  bool subst_argument_checker(uchar **arg) { return TRUE; }
aivanov@mysql.com's avatar
aivanov@mysql.com committed
576 577 578 579
};


class Item_func_between :public Item_func_opt_neg
bk@work.mysql.com's avatar
bk@work.mysql.com committed
580
{
581
  DTCollation cmp_collation;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
582 583 584
public:
  Item_result cmp_type;
  String value0,value1,value2;
585 586 587 588
  /* TRUE <=> arguments will be compared as dates. */
  bool compare_as_dates;
  /* Comparators used for DATE/DATETIME comparison. */
  Arg_comparator ge_cmp, le_cmp;
aivanov@mysql.com's avatar
aivanov@mysql.com committed
589
  Item_func_between(Item *a, Item *b, Item *c)
590
    :Item_func_opt_neg(a, b, c), compare_as_dates(FALSE) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
591 592 593 594
  longlong val_int();
  optimize_type select_optimize() const { return OPTIMIZE_KEY; }
  enum Functype functype() const   { return BETWEEN; }
  const char *func_name() const { return "between"; }
595
  bool fix_fields(THD *, Item **);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
596
  void fix_length_and_dec();
597
  void print(String *str);
598
  bool is_bool_func() { return 1; }
599
  CHARSET_INFO *compare_collation() { return cmp_collation.collation; }
600
  uint decimal_precision() const { return 1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
601 602 603 604 605 606 607 608 609 610
};


class Item_func_strcmp :public Item_bool_func2
{
public:
  Item_func_strcmp(Item *a,Item *b) :Item_bool_func2(a,b) {}
  longlong val_int();
  optimize_type select_optimize() const { return OPTIMIZE_NONE; }
  const char *func_name() const { return "strcmp"; }
611
  void print(String *str) { Item_func::print(str); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
612 613 614
};


615 616 617 618 619 620 621
struct interval_range
{
  Item_result type;
  double dbl;
  my_decimal dec;
};

bk@work.mysql.com's avatar
bk@work.mysql.com committed
622 623
class Item_func_interval :public Item_int_func
{
624
  Item_row *row;
625 626
  my_bool use_decimal_comparison;
  interval_range *intervals;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
627
public:
628
  Item_func_interval(Item_row *a)
629 630 631 632
    :Item_int_func(a),row(a),intervals(0)
  {
    allowed_arg_cols= 0;    // Fetch this value from first argument
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
633 634 635
  longlong val_int();
  void fix_length_and_dec();
  const char *func_name() const { return "interval"; }
636
  uint decimal_precision() const { return 2; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
637 638 639
};


640
class Item_func_coalesce :public Item_func_numhybrid
bk@work.mysql.com's avatar
bk@work.mysql.com committed
641
{
642
protected:
643
  Item_func_coalesce(Item *a, Item *b) :Item_func_numhybrid(a, b) {}
644
public:
645 646 647 648 649
  Item_func_coalesce(List<Item> &list) :Item_func_numhybrid(list) {}
  double real_op();
  longlong int_op();
  String *str_op(String *);
  my_decimal *decimal_op(my_decimal *);
650
  void fix_length_and_dec();
651 652
  void find_num_type() {}
  enum Item_result result_type () const { return hybrid_type; }
653 654 655 656 657 658 659 660
  const char *func_name() const { return "coalesce"; }
  table_map not_null_tables() const { return 0; }
};


class Item_func_ifnull :public Item_func_coalesce
{
protected:
661 662
  enum_field_types cached_field_type;
  bool field_type_defined;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
663
public:
664
  Item_func_ifnull(Item *a, Item *b) :Item_func_coalesce(a,b) {}
665 666 667 668
  double real_op();
  longlong int_op();
  String *str_op(String *str);
  my_decimal *decimal_op(my_decimal *);
669
  enum_field_types field_type() const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
670 671
  void fix_length_and_dec();
  const char *func_name() const { return "ifnull"; }
672
  Field *tmp_table_field(TABLE *table);
673
  uint decimal_precision() const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
674 675 676 677 678 679 680
};


class Item_func_if :public Item_func
{
  enum Item_result cached_result_type;
public:
681 682 683
  Item_func_if(Item *a,Item *b,Item *c)
    :Item_func(a,b,c), cached_result_type(INT_RESULT)
  {}
684
  double val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
685 686
  longlong val_int();
  String *val_str(String *str);
687
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
688
  enum Item_result result_type () const { return cached_result_type; }
689
  bool fix_fields(THD *, Item **);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
690
  void fix_length_and_dec();
691
  uint decimal_precision() const;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
692 693 694 695 696 697 698 699
  const char *func_name() const { return "if"; }
};


class Item_func_nullif :public Item_bool_func2
{
  enum Item_result cached_result_type;
public:
700 701 702
  Item_func_nullif(Item *a,Item *b)
    :Item_bool_func2(a,b), cached_result_type(INT_RESULT)
  {}
703
  double val_real();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
704 705
  longlong val_int();
  String *val_str(String *str);
706
  my_decimal *val_decimal(my_decimal *);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
707 708
  enum Item_result result_type () const { return cached_result_type; }
  void fix_length_and_dec();
709
  uint decimal_precision() const { return args[0]->decimal_precision(); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
710
  const char *func_name() const { return "nullif"; }
711
  void print(String *str) { Item_func::print(str); }
712
  table_map not_null_tables() const { return 0; }
713
  bool is_null();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
714 715 716 717
};

/* Functions to handle the optimized IN */

718 719 720

/* A vector of values of some type  */

bk@work.mysql.com's avatar
bk@work.mysql.com committed
721 722
class in_vector :public Sql_alloc
{
723
public:
bk@work.mysql.com's avatar
bk@work.mysql.com committed
724 725
  char *base;
  uint size;
726 727
  qsort2_cmp compare;
  CHARSET_INFO *collation;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
728 729
  uint count;
  uint used_count;
730
  in_vector() {}
731 732
  in_vector(uint elements,uint element_length,qsort2_cmp cmp_func, 
  	    CHARSET_INFO *cmp_coll)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
733
    :base((char*) sql_calloc(elements*element_length)),
734 735
     size(element_length), compare(cmp_func), collation(cmp_coll),
     count(elements), used_count(elements) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
736 737
  virtual ~in_vector() {}
  virtual void set(uint pos,Item *item)=0;
738
  virtual uchar *get_value(Item *item)=0;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
739
  void sort()
740
  {
741
    qsort2(base,used_count,size,compare,collation);
742
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
743
  int find(Item *item);
744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769
  
  /* 
    Create an instance of Item_{type} (e.g. Item_decimal) constant object
    which type allows it to hold an element of this vector without any
    conversions.
    The purpose of this function is to be able to get elements of this
    vector in form of Item_xxx constants without creating Item_xxx object
    for every array element you get (i.e. this implements "FlyWeight" pattern)
  */
  virtual Item* create_item() { return NULL; }
  
  /*
    Store the value at position #pos into provided item object
    SYNOPSIS
      value_to_item()
        pos   Index of value to store
        item  Constant item to store value into. The item must be of the same
              type that create_item() returns.
  */
  virtual void value_to_item(uint pos, Item *item) { }
  
  /* Compare values number pos1 and pos2 for equality */
  bool compare_elems(uint pos1, uint pos2)
  {
    return test(compare(collation, base + pos1*size, base + pos2*size));
  }
770
  virtual Item_result result_type()= 0;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
771 772 773 774
};

class in_string :public in_vector
{
775
  char buff[STRING_BUFFER_USUAL_SIZE];
bk@work.mysql.com's avatar
bk@work.mysql.com committed
776 777
  String tmp;
public:
778
  in_string(uint elements,qsort2_cmp cmp_func, CHARSET_INFO *cs);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
779 780
  ~in_string();
  void set(uint pos,Item *item);
781
  uchar *get_value(Item *item);
782 783 784 785 786 787 788 789 790 791
  Item* create_item()
  { 
    return new Item_string(collation);
  }
  void value_to_item(uint pos, Item *item)
  {    
    String *str=((String*) base)+pos;
    Item_string *to= (Item_string*)item;
    to->str_value= *str;
  }
792
  Item_result result_type() { return STRING_RESULT; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
793 794 795 796
};

class in_longlong :public in_vector
{
797
protected:
gkodinov/kgeorge@macbook.gmz's avatar
gkodinov/kgeorge@macbook.gmz committed
798 799 800 801 802 803 804 805 806 807
  /*
    Here we declare a temporary variable (tmp) of the same type as the
    elements of this vector. tmp is used in finding if a given value is in 
    the list. 
  */
  struct packed_longlong 
  {
    longlong val;
    longlong unsigned_flag;  // Use longlong, not bool, to preserve alignment
  } tmp;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
808 809 810
public:
  in_longlong(uint elements);
  void set(uint pos,Item *item);
811
  uchar *get_value(Item *item);
812 813 814 815 816 817 818
  
  Item* create_item()
  { 
    /* 
      We're created a signed INT, this may not be correct in 
      general case (see BUG#19342).
    */
819
    return new Item_int((longlong)0);
820 821 822
  }
  void value_to_item(uint pos, Item *item)
  {
gkodinov/kgeorge@macbook.gmz's avatar
gkodinov/kgeorge@macbook.gmz committed
823
    ((Item_int*) item)->value= ((packed_longlong*) base)[pos].val;
824
    ((Item_int*) item)->unsigned_flag= (my_bool)
gkodinov/kgeorge@macbook.gmz's avatar
gkodinov/kgeorge@macbook.gmz committed
825
      ((packed_longlong*) base)[pos].unsigned_flag;
826
  }
827
  Item_result result_type() { return INT_RESULT; }
gkodinov/kgeorge@macbook.gmz's avatar
gkodinov/kgeorge@macbook.gmz committed
828 829

  friend int cmp_longlong(void *cmp_arg, packed_longlong *a,packed_longlong *b);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
830 831
};

832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851

/*
  Class to represent a vector of constant DATE/DATETIME values.
  Values are obtained with help of the get_datetime_value() function.
  If the left item is a constant one then its value is cached in the
  lval_cache variable.
*/
class in_datetime :public in_longlong
{
public:
  THD *thd;
  /* An item used to issue warnings. */
  Item *warn_item;
  /* Cache for the left item. */
  Item *lval_cache;

  in_datetime(Item *warn_item_arg, uint elements)
    :in_longlong(elements), thd(current_thd), warn_item(warn_item_arg),
     lval_cache(0) {};
  void set(uint pos,Item *item);
jani@linux-th5m.site's avatar
jani@linux-th5m.site committed
852
  uchar *get_value(Item *item);
853 854 855
  friend int cmp_longlong(void *cmp_arg, packed_longlong *a,packed_longlong *b);
};

856

bk@work.mysql.com's avatar
bk@work.mysql.com committed
857 858 859 860 861 862
class in_double :public in_vector
{
  double tmp;
public:
  in_double(uint elements);
  void set(uint pos,Item *item);
863
  uchar *get_value(Item *item);
864 865
  Item *create_item()
  { 
866
    return new Item_float(0.0, 0);
867 868 869 870 871
  }
  void value_to_item(uint pos, Item *item)
  {
    ((Item_float*)item)->value= ((double*) base)[pos];
  }
872
  Item_result result_type() { return REAL_RESULT; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
873 874
};

875

876 877 878 879 880 881
class in_decimal :public in_vector
{
  my_decimal val;
public:
  in_decimal(uint elements);
  void set(uint pos, Item *item);
882
  uchar *get_value(Item *item);
883 884 885 886 887 888 889 890 891 892
  Item *create_item()
  { 
    return new Item_decimal(0, FALSE);
  }
  void value_to_item(uint pos, Item *item)
  {
    my_decimal *dec= ((my_decimal *)base) + pos;
    Item_decimal *item_dec= (Item_decimal*)item;
    item_dec->set_decimal_value(dec);
  }
893 894
  Item_result result_type() { return DECIMAL_RESULT; }

895 896 897
};


bk@work.mysql.com's avatar
bk@work.mysql.com committed
898 899 900 901 902 903 904
/*
** Classes for easy comparing of non const items
*/

class cmp_item :public Sql_alloc
{
public:
905 906
  CHARSET_INFO *cmp_charset;
  cmp_item() { cmp_charset= &my_charset_bin; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
907
  virtual ~cmp_item() {}
908 909 910 911
  virtual void store_value(Item *item)= 0;
  virtual int cmp(Item *item)= 0;
  // for optimized IN with row
  virtual int compare(cmp_item *item)= 0;
912
  static cmp_item* get_comparator(Item_result type, CHARSET_INFO *cs);
913 914 915 916 917
  virtual cmp_item *make_same()= 0;
  virtual void store_value_by_template(cmp_item *tmpl, Item *item)
  {
    store_value(item);
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
918 919
};

920 921 922 923 924
class cmp_item_string :public cmp_item 
{
protected:
  String *value_res;
public:
925
  cmp_item_string () {}
926
  cmp_item_string (CHARSET_INFO *cs) { cmp_charset= cs; }
927
  void set_charset(CHARSET_INFO *cs) { cmp_charset= cs; }
928 929 930
  friend class cmp_item_sort_string;
  friend class cmp_item_sort_string_in_static;
};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
931

932 933 934
class cmp_item_sort_string :public cmp_item_string
{
protected:
935
  char value_buff[STRING_BUFFER_USUAL_SIZE];
936
  String value;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
937
public:
938 939
  cmp_item_sort_string():
    cmp_item_string() {}
940 941 942
  cmp_item_sort_string(CHARSET_INFO *cs):
    cmp_item_string(cs),
    value(value_buff, sizeof(value_buff), cs) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
943
  void store_value(Item *item)
944 945 946
  {
    value_res= item->val_str(&value);
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
947
  int cmp(Item *arg)
948
  {
949
    char buff[STRING_BUFFER_USUAL_SIZE];
bar@bar.mysql.r18.ru's avatar
bar@bar.mysql.r18.ru committed
950
    String tmp(buff, sizeof(buff), cmp_charset), *res;
951 952 953
    res= arg->val_str(&tmp);
    return (value_res ? (res ? sortcmp(value_res, res, cmp_charset) : 1) :
            (res ? -1 : 0));
954
  }
955
  int compare(cmp_item *ci)
956
  {
957 958
    cmp_item_string *l_cmp= (cmp_item_string *) ci;
    return sortcmp(value_res, l_cmp->value_res, cmp_charset);
959 960
  } 
  cmp_item *make_same();
961 962 963 964 965
  void set_charset(CHARSET_INFO *cs)
  {
    cmp_charset= cs;
    value.set_quick(value_buff, sizeof(value_buff), cs);
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
966 967 968 969 970 971
};

class cmp_item_int :public cmp_item
{
  longlong value;
public:
972
  cmp_item_int() {}                           /* Remove gcc warning */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
973
  void store_value(Item *item)
974 975 976
  {
    value= item->val_int();
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
977
  int cmp(Item *arg)
978 979 980
  {
    return value != arg->val_int();
  }
981
  int compare(cmp_item *ci)
982
  {
983 984
    cmp_item_int *l_cmp= (cmp_item_int *)ci;
    return (value < l_cmp->value) ? -1 : ((value == l_cmp->value) ? 0 : 1);
985 986
  }
  cmp_item *make_same();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
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 1012
/*
  Compare items in the DATETIME context.
  Values are obtained with help of the get_datetime_value() function.
  If the left item is a constant one then its value is cached in the
  lval_cache variable.
*/
class cmp_item_datetime :public cmp_item
{
  ulonglong value;
public:
  THD *thd;
  /* Item used for issuing warnings. */
  Item *warn_item;
  /* Cache for the left item. */
  Item *lval_cache;

  cmp_item_datetime(Item *warn_item_arg)
    :thd(current_thd), warn_item(warn_item_arg), lval_cache(0) {}
  void store_value(Item *item);
  int cmp(Item *arg);
  int compare(cmp_item *ci);
  cmp_item *make_same();
};

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1013 1014 1015 1016
class cmp_item_real :public cmp_item
{
  double value;
public:
1017
  cmp_item_real() {}                          /* Remove gcc warning */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1018
  void store_value(Item *item)
1019
  {
1020
    value= item->val_real();
1021
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1022
  int cmp(Item *arg)
1023
  {
1024
    return value != arg->val_real();
1025
  }
1026
  int compare(cmp_item *ci)
1027
  {
1028 1029
    cmp_item_real *l_cmp= (cmp_item_real *) ci;
    return (value < l_cmp->value)? -1 : ((value == l_cmp->value) ? 0 : 1);
1030 1031
  }
  cmp_item *make_same();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1032 1033
};

1034 1035 1036 1037 1038

class cmp_item_decimal :public cmp_item
{
  my_decimal value;
public:
1039
  cmp_item_decimal() {}                       /* Remove gcc warning */
1040 1041 1042 1043 1044 1045 1046
  void store_value(Item *item);
  int cmp(Item *arg);
  int compare(cmp_item *c);
  cmp_item *make_same();
};


1047 1048 1049 1050 1051 1052 1053 1054 1055 1056
/* 
   cmp_item for optimized IN with row (right part string, which never
   be changed)
*/

class cmp_item_sort_string_in_static :public cmp_item_string
{
 protected:
  String value;
public:
1057 1058
  cmp_item_sort_string_in_static(CHARSET_INFO *cs):
    cmp_item_string(cs) {}
1059 1060 1061 1062 1063 1064 1065 1066 1067 1068
  void store_value(Item *item)
  {
    value_res= item->val_str(&value);
  }
  int cmp(Item *item)
  {
    // Should never be called
    DBUG_ASSERT(0);
    return 1;
  }
1069
  int compare(cmp_item *ci)
1070
  {
1071 1072
    cmp_item_string *l_cmp= (cmp_item_string *) ci;
    return sortcmp(value_res, l_cmp->value_res, cmp_charset);
1073
  }
1074
  cmp_item *make_same()
1075
  {
1076
    return new cmp_item_sort_string_in_static(cmp_charset);
1077
  }
1078
};
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1079

1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140

/*
  The class Item_func_case is the CASE ... WHEN ... THEN ... END function
  implementation.

  When there is no expression between CASE and the first WHEN 
  (the CASE expression) then this function simple checks all WHEN expressions
  one after another. When some WHEN expression evaluated to TRUE then the
  value of the corresponding THEN expression is returned.

  When the CASE expression is specified then it is compared to each WHEN
  expression individually. When an equal WHEN expression is found
  corresponding THEN expression is returned.
  In order to do correct comparisons several comparators are used. One for
  each result type. Different result types that are used in particular
  CASE ... END expression are collected in the fix_length_and_dec() member
  function and only comparators for there result types are used.
*/

class Item_func_case :public Item_func
{
  int first_expr_num, else_expr_num;
  enum Item_result cached_result_type, left_result_type;
  String tmp_value;
  uint ncases;
  Item_result cmp_type;
  DTCollation cmp_collation;
  cmp_item *cmp_items[5]; /* For all result types */
  cmp_item *case_item;
public:
  Item_func_case(List<Item> &list, Item *first_expr_arg, Item *else_expr_arg)
    :Item_func(), first_expr_num(-1), else_expr_num(-1),
    cached_result_type(INT_RESULT), left_result_type(INT_RESULT), case_item(0)
  {
    ncases= list.elements;
    if (first_expr_arg)
    {
      first_expr_num= list.elements;
      list.push_back(first_expr_arg);
    }
    if (else_expr_arg)
    {
      else_expr_num= list.elements;
      list.push_back(else_expr_arg);
    }
    set_arguments(list);
    bzero(&cmp_items, sizeof(cmp_items));
  }
  double val_real();
  longlong val_int();
  String *val_str(String *);
  my_decimal *val_decimal(my_decimal *);
  bool fix_fields(THD *thd, Item **ref);
  void fix_length_and_dec();
  uint decimal_precision() const;
  table_map not_null_tables() const { return 0; }
  enum Item_result result_type () const { return cached_result_type; }
  const char *func_name() const { return "case"; }
  void print(String *str);
  Item *find_item(String *str);
  CHARSET_INFO *compare_collation() { return cmp_collation.collation; }
1141
  void cleanup();
1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157
};

/*
  The Item_func_in class implements the in_expr IN(values_list) function.

  The current implementation distinguishes 2 cases:
  1) all items in the value_list are constants and have the same
    result type. This case is handled by in_vector class.
  2) items in the value_list have different result types or there is some
    non-constant items.
    In this case Item_func_in employs several cmp_item objects to performs
    comparisons of in_expr and an item from the values_list. One cmp_item
    object for each result type. Different result types are collected in the
    fix_length_and_dec() member function by means of collect_cmp_types()
    function.
*/
aivanov@mysql.com's avatar
aivanov@mysql.com committed
1158
class Item_func_in :public Item_func_opt_neg
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1159
{
1160
public:
1161 1162 1163 1164
  /* 
    an array of values when the right hand arguments of IN
    are all SQL constant and there are no nulls 
  */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1165
  in_vector *array;
1166
  bool have_null;
1167 1168 1169 1170 1171
  /* 
    true when all arguments of the IN clause are of compatible types
    and can be used safely as comparisons for key conditions
  */
  bool arg_types_compatible;
1172
  Item_result left_result_type;
1173
  cmp_item *cmp_items[6]; /* One cmp_item for each result type */
1174
  DTCollation cmp_collation;
1175

1176
  Item_func_in(List<Item> &list)
1177 1178
    :Item_func_opt_neg(list), array(0), have_null(0),
    arg_types_compatible(FALSE)
1179
  {
1180
    bzero(&cmp_items, sizeof(cmp_items));
1181
    allowed_arg_cols= 0;  // Fetch this value from first argument
1182
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1183
  longlong val_int();
1184
  bool fix_fields(THD *, Item **);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1185
  void fix_length_and_dec();
1186
  uint decimal_precision() const { return 1; }
1187 1188
  void cleanup()
  {
1189
    uint i;
1190
    DBUG_ENTER("Item_func_in::cleanup");
1191
    Item_int_func::cleanup();
1192 1193
    delete array;
    array= 0;
1194
    for (i= 0; i <= (uint)DECIMAL_RESULT + 1; i++)
1195 1196 1197 1198
    {
      delete cmp_items[i];
      cmp_items[i]= 0;
    }
1199
    DBUG_VOID_RETURN;
1200
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1201
  optimize_type select_optimize() const
1202
    { return OPTIMIZE_KEY; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1203 1204 1205
  void print(String *str);
  enum Functype functype() const { return IN_FUNC; }
  const char *func_name() const { return " IN "; }
1206
  bool nulls_in_row();
bell@sanja.is.com.ua's avatar
bell@sanja.is.com.ua committed
1207
  bool is_bool_func() { return 1; }
1208
  CHARSET_INFO *compare_collation() { return cmp_collation.collation; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1209 1210
};

1211 1212 1213 1214 1215 1216 1217 1218
class cmp_item_row :public cmp_item
{
  cmp_item **comparators;
  uint n;
public:
  cmp_item_row(): comparators(0), n(0) {}
  ~cmp_item_row();
  void store_value(Item *item);
jani@linux-th5m.site's avatar
jani@linux-th5m.site committed
1219
  inline void alloc_comparators();
1220 1221 1222 1223
  int cmp(Item *arg);
  int compare(cmp_item *arg);
  cmp_item *make_same();
  void store_value_by_template(cmp_item *tmpl, Item *);
jani@linux-th5m.site's avatar
jani@linux-th5m.site committed
1224
  friend void Item_func_in::fix_length_and_dec();
1225 1226 1227 1228 1229 1230 1231 1232 1233 1234
};


class in_row :public in_vector
{
  cmp_item_row tmp;
public:
  in_row(uint elements, Item *);
  ~in_row();
  void set(uint pos,Item *item);
1235
  uchar *get_value(Item *item);
jani@linux-th5m.site's avatar
jani@linux-th5m.site committed
1236
  friend void Item_func_in::fix_length_and_dec();
1237
  Item_result result_type() { return ROW_RESULT; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1238 1239 1240 1241 1242 1243
};

/* Functions used by where clause */

class Item_func_isnull :public Item_bool_func
{
1244
protected:
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
1245
  longlong cached_value;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1246 1247 1248 1249 1250 1251 1252
public:
  Item_func_isnull(Item *a) :Item_bool_func(a) {}
  longlong val_int();
  enum Functype functype() const { return ISNULL_FUNC; }
  void fix_length_and_dec()
  {
    decimals=0; max_length=1; maybe_null=0;
1253
    update_used_tables();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1254 1255 1256
  }
  const char *func_name() const { return "isnull"; }
  /* Optimize case of not_null_column IS NULL */
1257
  virtual void update_used_tables()
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1258 1259 1260
  {
    if (!args[0]->maybe_null)
    {
1261
      used_tables_cache= 0;			/* is always false */
1262
      const_item_cache= 1;
1263
      cached_value= (longlong) 0;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1264
    }
1265
    else
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
1266
    {
1267
      args[0]->update_used_tables();
igor@olga.mysql.com's avatar
igor@olga.mysql.com committed
1268 1269
      if ((const_item_cache= !(used_tables_cache= args[0]->used_tables())) &&
          !with_subselect)
1270 1271
      {
	/* Remember if the value is always NULL or never NULL */
1272
	cached_value= (longlong) args[0]->is_null();
1273
      }
monty@hundin.mysql.fi's avatar
monty@hundin.mysql.fi committed
1274
    }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1275
  }
1276
  table_map not_null_tables() const { return 0; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1277
  optimize_type select_optimize() const { return OPTIMIZE_NULL; }
1278
  Item *neg_transformer(THD *thd);
1279
  CHARSET_INFO *compare_collation() { return args[0]->collation.collation; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1280 1281
};

1282 1283 1284
/* Functions used by HAVING for rewriting IN subquery */

class Item_in_subselect;
1285 1286 1287 1288 1289

/* 
  This is like IS NOT NULL but it also remembers if it ever has
  encountered a NULL.
*/
1290 1291 1292 1293 1294 1295 1296
class Item_is_not_null_test :public Item_func_isnull
{
  Item_in_subselect* owner;
public:
  Item_is_not_null_test(Item_in_subselect* ow, Item *a)
    :Item_func_isnull(a), owner(ow)
  {}
1297
  enum Functype functype() const { return ISNOTNULLTEST_FUNC; }
1298
  longlong val_int();
1299
  const char *func_name() const { return "<is_not_null_test>"; }
1300
  void update_used_tables();
1301 1302 1303 1304 1305
  /*
    we add RAND_TABLE_BIT to prevent moving this item from HAVING to WHERE
  */
  table_map used_tables() const
    { return used_tables_cache | RAND_TABLE_BIT; }
1306 1307 1308
};


bk@work.mysql.com's avatar
bk@work.mysql.com committed
1309 1310
class Item_func_isnotnull :public Item_bool_func
{
1311
  bool abort_on_null;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1312
public:
1313
  Item_func_isnotnull(Item *a) :Item_bool_func(a), abort_on_null(0) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1314 1315
  longlong val_int();
  enum Functype functype() const { return ISNOTNULL_FUNC; }
1316 1317 1318 1319
  void fix_length_and_dec()
  {
    decimals=0; max_length=1; maybe_null=0;
  }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1320 1321
  const char *func_name() const { return "isnotnull"; }
  optimize_type select_optimize() const { return OPTIMIZE_NULL; }
1322 1323
  table_map not_null_tables() const
  { return abort_on_null ? not_null_tables_cache : 0; }
1324
  Item *neg_transformer(THD *thd);
1325
  void print(String *str);
1326
  CHARSET_INFO *compare_collation() { return args[0]->collation.collation; }
1327
  void top_level_item() { abort_on_null=1; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1328 1329
};

1330

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1331 1332
class Item_func_like :public Item_bool_func2
{
1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347
  // Turbo Boyer-Moore data
  bool        canDoTurboBM;	// pattern is '%abcd%' case
  const char* pattern;
  int         pattern_len;

  // TurboBM buffers, *this is owner
  int* bmGs; //   good suffix shift table, size is pattern_len + 1
  int* bmBc; // bad character shift table, size is alphabet_size

  void turboBM_compute_suffixes(int* suff);
  void turboBM_compute_good_suffix_shifts(int* suff);
  void turboBM_compute_bad_character_shifts();
  bool turboBM_matches(const char* text, int text_len) const;
  enum { alphabet_size = 256 };

1348
  Item *escape_item;
1349 1350
  
  bool escape_used_in_parsing;
1351

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1352
public:
bar@mysql.com's avatar
bar@mysql.com committed
1353
  int escape;
1354

1355
  Item_func_like(Item *a,Item *b, Item *escape_arg, bool escape_used)
1356
    :Item_bool_func2(a,b), canDoTurboBM(FALSE), pattern(0), pattern_len(0), 
1357 1358
     bmGs(0), bmBc(0), escape_item(escape_arg),
     escape_used_in_parsing(escape_used) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1359 1360 1361 1362 1363
  longlong val_int();
  enum Functype functype() const { return LIKE_FUNC; }
  optimize_type select_optimize() const;
  cond_result eq_cmp_result() const { return COND_TRUE; }
  const char *func_name() const { return "like"; }
1364
  bool fix_fields(THD *thd, Item **ref);
1365
  void cleanup();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1366 1367 1368 1369
};

#ifdef USE_REGEX

kent@mysql.com's avatar
kent@mysql.com committed
1370
#include "my_regex.h"
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1371 1372 1373

class Item_func_regex :public Item_bool_func
{
kent@mysql.com's avatar
kent@mysql.com committed
1374
  my_regex_t preg;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1375 1376 1377
  bool regex_compiled;
  bool regex_is_const;
  String prev_regexp;
1378
  DTCollation cmp_collation;
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1379 1380 1381
public:
  Item_func_regex(Item *a,Item *b) :Item_bool_func(a,b),
    regex_compiled(0),regex_is_const(0) {}
1382
  void cleanup();
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1383
  longlong val_int();
1384
  bool fix_fields(THD *thd, Item **ref);
1385
  const char *func_name() const { return "regexp"; }
1386
  void print(String *str) { print_op(str); }
1387
  CHARSET_INFO *compare_collation() { return cmp_collation.collation; }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1388 1389 1390 1391 1392 1393 1394 1395 1396 1397
};

#else

class Item_func_regex :public Item_bool_func
{
public:
  Item_func_regex(Item *a,Item *b) :Item_bool_func(a,b) {}
  longlong val_int() { return 0;}
  const char *func_name() const { return "regex"; }
1398
  void print(String *str) { print_op(str); }
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409
};

#endif /* USE_REGEX */


typedef class Item COND;

class Item_cond :public Item_bool_func
{
protected:
  List<Item> list;
1410
  bool abort_on_null;
1411 1412
  table_map and_tables_cache;

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1413
public:
1414
  /* Item_cond() is only used to create top level items */
1415 1416
  Item_cond(): Item_bool_func(), abort_on_null(1)
  { const_item_cache=0; }
1417
  Item_cond(Item *i1,Item *i2)
1418 1419 1420 1421 1422
    :Item_bool_func(), abort_on_null(0)
  {
    list.push_back(i1);
    list.push_back(i2);
  }
1423
  Item_cond(THD *thd, Item_cond *item);
1424 1425
  Item_cond(List<Item> &nlist)
    :Item_bool_func(), list(nlist), abort_on_null(0) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1426
  bool add(Item *item) { return list.push_back(item); }
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1427
  void add_at_head(List<Item> *nlist) { list.prepand(nlist); }
1428
  bool fix_fields(THD *, Item **ref);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1429 1430 1431 1432 1433 1434

  enum Type type() const { return COND_ITEM; }
  List<Item>* argument_list() { return &list; }
  table_map used_tables() const;
  void update_used_tables();
  void print(String *str);
1435
  void split_sum_func(THD *thd, Item **ref_pointer_array, List<Item> &fields);
1436
  friend int setup_conds(THD *thd, TABLE_LIST *tables, TABLE_LIST *leaves,
1437
                         COND **conds);
1438
  void top_level_item() { abort_on_null=1; }
1439
  void copy_andor_arguments(THD *thd, Item_cond *item);
1440 1441
  bool walk(Item_processor processor, bool walk_subquery, uchar *arg);
  Item *transform(Item_transformer transformer, uchar *arg);
1442
  void traverse_cond(Cond_traverser, void *arg, traverse_order order);
1443
  void neg_arguments(THD *thd);
1444 1445 1446
  bool subst_argument_checker(uchar **arg) { return TRUE; }
  Item *compile(Item_analyzer analyzer, uchar **arg_p,
                Item_transformer transformer, uchar *arg_t);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1447 1448 1449
};


igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1450
/*
1451
  The class Item_equal is used to represent conjunctions of equality
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1452 1453
  predicates of the form field1 = field2, and field=const in where
  conditions and on expressions.
1454 1455

  All equality predicates of the form field1=field2 contained in a
1456 1457
  conjunction are substituted for a sequence of items of this class.
  An item of this class Item_equal(f1,f2,...fk) represents a
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1458 1459
  multiple equality f1=f2=...=fk.

1460
  If a conjunction contains predicates f1=f2 and f2=f3, a new item of
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1461 1462
  this class is created Item_equal(f1,f2,f3) representing the multiple
  equality f1=f2=f3 that substitutes the above equality predicates in
1463 1464
  the conjunction.
  A conjunction of the predicates f2=f1 and f3=f1 and f3=f2 will be
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1465 1466
  substituted for the item representing the same multiple equality
  f1=f2=f3.
1467
  An item Item_equal(f1,f2) can appear instead of a conjunction of 
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1468 1469
  f2=f1 and f1=f2, or instead of just the predicate f1=f2.

1470
  An item of the class Item_equal inherits equalities from outer 
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1471 1472 1473 1474 1475 1476 1477 1478 1479 1480
  conjunctive levels.

  Suppose we have a where condition of the following form:
  WHERE f1=f2 AND f3=f4 AND f3=f5 AND ... AND (...OR (f1=f3 AND ...)).
  In this case:
    f1=f2 will be substituted for Item_equal(f1,f2);
    f3=f4 and f3=f5  will be substituted for Item_equal(f3,f4,f5);
    f1=f3 will be substituted for Item_equal(f1,f2,f3,f4,f5);

  An object of the class Item_equal can contain an optional constant
1481
  item c. Then it represents a multiple equality of the form 
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498
  c=f1=...=fk.

  Objects of the class Item_equal are used for the following:

  1. An object Item_equal(t1.f1,...,tk.fk) allows us to consider any
  pair of tables ti and tj as joined by an equi-condition.
  Thus it provide us with additional access paths from table to table.

  2. An object Item_equal(t1.f1,...,tk.fk) is applied to deduce new
  SARGable predicates:
    f1=...=fk AND P(fi) => f1=...=fk AND P(fi) AND P(fj).
  It also can give us additional index scans and can allow us to
  improve selectivity estimates.

  3. An object Item_equal(t1.f1,...,tk.fk) is used to optimize the 
  selected execution plan for the query: if table ti is accessed 
  before the table tj then in any predicate P in the where condition
1499
  the occurrence of tj.fj is substituted for ti.fi. This can allow
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511
  an evaluation of the predicate at an earlier step.

  When feature 1 is supported they say that join transitive closure 
  is employed.
  When feature 2 is supported they say that search argument transitive
  closure is employed.
  Both features are usually supported by preprocessing original query and
  adding additional predicates.
  We do not just add predicates, we rather dynamically replace some
  predicates that can not be used to access tables in the investigated
  plan for those, obtained by substitution of some fields for equal fields,
  that can be used.     
1512 1513 1514 1515 1516 1517

  Prepared Statements/Stored Procedures note: instances of class
  Item_equal are created only at the time a PS/SP is executed and
  are deleted in the end of execution. All changes made to these
  objects need not be registered in the list of changes of the parse
  tree and do not harm PS/SP re-execution.
1518 1519 1520 1521 1522

  Item equal objects are employed only at the optimize phase. Usually they are
  not supposed to be evaluated.  Yet in some cases we call the method val_int()
  for them. We have to take care of restricting the predicate such an
  object represents f1=f2= ...=fn to the projection of known fields fi1=...=fik.
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1523 1524
*/

1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540
class Item_equal: public Item_bool_func
{
  List<Item_field> fields; /* list of equal field items                    */
  Item *const_item;        /* optional constant item equal to fields items */
  cmp_item *eval_item;
  bool cond_false;
public:
  inline Item_equal()
    : Item_bool_func(), const_item(0), eval_item(0), cond_false(0)
  { const_item_cache=0 ;}
  Item_equal(Item_field *f1, Item_field *f2);
  Item_equal(Item *c, Item_field *f);
  Item_equal(Item_equal *item_equal);
  inline Item* get_const() { return const_item; }
  void add(Item *c);
  void add(Item_field *f);
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1541
  uint members();
1542 1543 1544
  bool contains(Field *field);
  Item_field* get_first() { return fields.head(); }
  void merge(Item_equal *item);
1545
  void update_const();
1546 1547 1548 1549
  enum Functype functype() const { return MULT_EQUAL_FUNC; }
  longlong val_int(); 
  const char *func_name() const { return "multiple equal"; }
  optimize_type select_optimize() const { return OPTIMIZE_EQUAL; }
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1550
  void sort(Item_field_cmpfunc cmp, void *arg);
1551 1552
  friend class Item_equal_iterator;
  void fix_length_and_dec();
1553
  bool fix_fields(THD *thd, Item **ref);
1554
  void update_used_tables();
1555 1556
  bool walk(Item_processor processor, bool walk_subquery, uchar *arg);
  Item *transform(Item_transformer transformer, uchar *arg);
1557
  void print(String *str);
1558 1559
  CHARSET_INFO *compare_collation() 
  { return fields.head()->collation.collation; }
1560 1561
}; 

igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1562
class COND_EQUAL: public Sql_alloc
1563 1564
{
public:
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1565 1566 1567 1568 1569 1570 1571 1572 1573
  uint max_members;               /* max number of members the current level
                                     list and all lower level lists */ 
  COND_EQUAL *upper_levels;       /* multiple equalities of upper and levels */
  List<Item_equal> current_level; /* list of multiple equalities of 
                                     the current and level           */
  COND_EQUAL()
  { 
    upper_levels= 0;
  }
1574 1575 1576
};


serg@serg.mylan's avatar
serg@serg.mylan committed
1577
class Item_equal_iterator : public List_iterator_fast<Item_field>
1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593
{
public:
  inline Item_equal_iterator(Item_equal &item_equal) 
    :List_iterator_fast<Item_field> (item_equal.fields)
  {}
  inline Item_field* operator++(int)
  { 
    Item_field *item= (*(List_iterator_fast<Item_field> *) this)++;
    return  item;
  }
  inline void rewind(void) 
  { 
    List_iterator_fast<Item_field>::rewind();
  }
};

bk@work.mysql.com's avatar
bk@work.mysql.com committed
1594 1595 1596
class Item_cond_and :public Item_cond
{
public:
igor@rurik.mysql.com's avatar
igor@rurik.mysql.com committed
1597 1598 1599
  COND_EQUAL cond_equal;  /* contains list of Item_equal objects for 
                             the current and level and reference
                             to multiple equalities of upper and levels */  
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1600 1601
  Item_cond_and() :Item_cond() {}
  Item_cond_and(Item *i1,Item *i2) :Item_cond(i1,i2) {}
1602
  Item_cond_and(THD *thd, Item_cond_and *item) :Item_cond(thd, item) {}
1603
  Item_cond_and(List<Item> &list_arg): Item_cond(list_arg) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1604 1605 1606
  enum Functype functype() const { return COND_AND_FUNC; }
  longlong val_int();
  const char *func_name() const { return "and"; }
1607 1608
  table_map not_null_tables() const
  { return abort_on_null ? not_null_tables_cache: and_tables_cache; }
1609 1610 1611
  Item* copy_andor_structure(THD *thd)
  {
    Item_cond_and *item;
monty@mysql.com's avatar
merge  
monty@mysql.com committed
1612
    if ((item= new Item_cond_and(thd, this)))
1613 1614 1615
       item->copy_andor_arguments(thd, this);
    return item;
  }
1616
  Item *neg_transformer(THD *thd);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1617 1618 1619 1620 1621 1622 1623
};

class Item_cond_or :public Item_cond
{
public:
  Item_cond_or() :Item_cond() {}
  Item_cond_or(Item *i1,Item *i2) :Item_cond(i1,i2) {}
1624
  Item_cond_or(THD *thd, Item_cond_or *item) :Item_cond(thd, item) {}
1625
  Item_cond_or(List<Item> &list_arg): Item_cond(list_arg) {}
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1626 1627 1628
  enum Functype functype() const { return COND_OR_FUNC; }
  longlong val_int();
  const char *func_name() const { return "or"; }
1629
  table_map not_null_tables() const { return and_tables_cache; }
1630 1631 1632
  Item* copy_andor_structure(THD *thd)
  {
    Item_cond_or *item;
monty@mysql.com's avatar
merge  
monty@mysql.com committed
1633
    if ((item= new Item_cond_or(thd, this)))
1634 1635 1636
      item->copy_andor_arguments(thd, this);
    return item;
  }
1637
  Item *neg_transformer(THD *thd);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1638 1639 1640
};


1641
/*
1642
  XOR is Item_cond, not an Item_int_func because we could like to
1643 1644
  optimize (a XOR b) later on. It's low prio, though
*/
monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1645

monty@narttu.mysql.fi's avatar
monty@narttu.mysql.fi committed
1646 1647 1648 1649 1650 1651
class Item_cond_xor :public Item_cond
{
public:
  Item_cond_xor() :Item_cond() {}
  Item_cond_xor(Item *i1,Item *i2) :Item_cond(i1,i2) {}
  enum Functype functype() const { return COND_XOR_FUNC; }
1652 1653
  /* TODO: remove the next line when implementing XOR optimization */
  enum Type type() const { return FUNC_ITEM; }
monty@narttu.mysql.fi's avatar
monty@narttu.mysql.fi committed
1654 1655
  longlong val_int();
  const char *func_name() const { return "xor"; }
1656
  void top_level_item() {}
monty@narttu.mysql.fi's avatar
monty@narttu.mysql.fi committed
1657 1658 1659
};


1660
/* Some useful inline functions */
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1661

1662
inline Item *and_conds(Item *a, Item *b)
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1663 1664 1665
{
  if (!b) return a;
  if (!a) return b;
1666
  return new Item_cond_and(a, b);
bk@work.mysql.com's avatar
bk@work.mysql.com committed
1667
}
1668

monty@mashka.mysql.fi's avatar
monty@mashka.mysql.fi committed
1669
Item *and_expressions(Item *a, Item *b, Item **org_item);