OmniSciDB  cde582ebc3
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Analyzer::AggExpr Class Reference

#include <Analyzer.h>

+ Inheritance diagram for Analyzer::AggExpr:
+ Collaboration diagram for Analyzer::AggExpr:

Public Member Functions

 AggExpr (const SQLTypeInfo &ti, SQLAgg a, std::shared_ptr< Analyzer::Expr > g, bool d, std::shared_ptr< Analyzer::Constant > e)
 
 AggExpr (SQLTypes t, SQLAgg a, Expr *g, bool d, std::shared_ptr< Analyzer::Constant > e, int idx)
 
SQLAgg get_aggtype () const
 
Exprget_arg () const
 
std::shared_ptr< Analyzer::Exprget_own_arg () const
 
bool get_is_distinct () const
 
std::shared_ptr
< Analyzer::Constant
get_arg1 () const
 
std::shared_ptr< Analyzer::Exprdeep_copy () const override
 
void group_predicates (std::list< const Expr * > &scan_predicates, std::list< const Expr * > &join_predicates, std::list< const Expr * > &const_predicates) const override
 
void collect_rte_idx (std::set< int > &rte_idx_set) const override
 
void collect_column_var (std::set< const ColumnVar *, bool(*)(const ColumnVar *, const ColumnVar *)> &colvar_set, bool include_agg) const override
 
std::shared_ptr< Analyzer::Exprrewrite_with_targetlist (const std::vector< std::shared_ptr< TargetEntry >> &tlist) const override
 
std::shared_ptr< Analyzer::Exprrewrite_with_child_targetlist (const std::vector< std::shared_ptr< TargetEntry >> &tlist) const override
 
std::shared_ptr< Analyzer::Exprrewrite_agg_to_var (const std::vector< std::shared_ptr< TargetEntry >> &tlist) const override
 
bool operator== (const Expr &rhs) const override
 
std::string toString () const override
 
void find_expr (bool(*f)(const Expr *), std::list< const Expr * > &expr_list) const override
 
- Public Member Functions inherited from Analyzer::Expr
 Expr (SQLTypes t, bool notnull)
 
 Expr (SQLTypes t, int d, bool notnull)
 
 Expr (SQLTypes t, int d, int s, bool notnull)
 
 Expr (const SQLTypeInfo &ti, bool has_agg=false)
 
virtual ~Expr ()
 
std::shared_ptr< Analyzer::Exprget_shared_ptr ()
 
const SQLTypeInfoget_type_info () const
 
void set_type_info (const SQLTypeInfo &ti)
 
bool get_contains_agg () const
 
void set_contains_agg (bool a)
 
virtual std::shared_ptr
< Analyzer::Expr
add_cast (const SQLTypeInfo &new_type_info)
 
virtual void check_group_by (const std::list< std::shared_ptr< Analyzer::Expr >> &groupby) const
 
virtual std::shared_ptr
< Analyzer::Expr
normalize_simple_predicate (int &rte_idx) const
 
virtual size_t get_num_column_vars (const bool include_agg) const
 
virtual void print () const
 
virtual void add_unique (std::list< const Expr * > &expr_list) const
 
std::shared_ptr< Analyzer::Exprdecompress ()
 
virtual void get_domain (DomainSet &domain_set) const
 

Private Attributes

SQLAgg aggtype
 
std::shared_ptr< Analyzer::Exprarg
 
bool is_distinct
 
std::shared_ptr
< Analyzer::Constant
arg1
 

Additional Inherited Members

- Protected Attributes inherited from Analyzer::Expr
SQLTypeInfo type_info
 
bool contains_agg
 

Detailed Description

Definition at line 1182 of file Analyzer.h.

Constructor & Destructor Documentation

Analyzer::AggExpr::AggExpr ( const SQLTypeInfo ti,
SQLAgg  a,
std::shared_ptr< Analyzer::Expr g,
bool  d,
std::shared_ptr< Analyzer::Constant e 
)
inline

Definition at line 1184 of file Analyzer.h.

1189  : Expr(ti, true), aggtype(a), arg(g), is_distinct(d), arg1(e) {}
Expr(SQLTypes t, bool notnull)
Definition: Analyzer.h:72
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
constexpr double a
Definition: Utm.h:32
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1239
Analyzer::AggExpr::AggExpr ( SQLTypes  t,
SQLAgg  a,
Expr g,
bool  d,
std::shared_ptr< Analyzer::Constant e,
int  idx 
)
inline

Definition at line 1190 of file Analyzer.h.

1196  : Expr(SQLTypeInfo(t, g == nullptr ? true : g->get_type_info().get_notnull()), true)
1197  , aggtype(a)
1198  , arg(g)
1199  , is_distinct(d)
1200  , arg1(e) {}
Expr(SQLTypes t, bool notnull)
Definition: Analyzer.h:72
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
constexpr double a
Definition: Utm.h:32
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1239

Member Function Documentation

void Analyzer::AggExpr::collect_column_var ( std::set< const ColumnVar *, bool(*)(const ColumnVar *, const ColumnVar *)> &  colvar_set,
bool  include_agg 
) const
inlineoverridevirtual

Reimplemented from Analyzer::Expr.

Definition at line 1215 of file Analyzer.h.

References arg.

1218  {
1219  if (include_agg && arg != nullptr) {
1220  arg->collect_column_var(colvar_set, include_agg);
1221  }
1222  }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
void Analyzer::AggExpr::collect_rte_idx ( std::set< int > &  rte_idx_set) const
inlineoverridevirtual

Reimplemented from Analyzer::Expr.

Definition at line 1210 of file Analyzer.h.

References arg.

1210  {
1211  if (arg) {
1212  arg->collect_rte_idx(rte_idx_set);
1213  }
1214  };
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
std::shared_ptr< Analyzer::Expr > Analyzer::AggExpr::deep_copy ( ) const
overridevirtual

Implements Analyzer::Expr.

Definition at line 177 of file Analyzer.cpp.

References aggtype, arg, arg1, is_distinct, and Analyzer::Expr::type_info.

Referenced by rewrite_with_targetlist().

177  {
178  return makeExpr<AggExpr>(
179  type_info, aggtype, arg ? arg->deep_copy() : nullptr, is_distinct, arg1);
180 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
SQLTypeInfo type_info
Definition: Analyzer.h:182
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1239

+ Here is the caller graph for this function:

void Analyzer::AggExpr::find_expr ( bool(*)(const Expr *)  f,
std::list< const Expr * > &  expr_list 
) const
overridevirtual

Reimplemented from Analyzer::Expr.

Definition at line 3179 of file Analyzer.cpp.

References Analyzer::Expr::add_unique(), arg, and anonymous_namespace{Utm.h}::f.

3179  {
3180  if (f(this)) {
3181  add_unique(expr_list);
3182  return;
3183  }
3184  if (arg != nullptr) {
3185  arg->find_expr(f, expr_list);
3186  }
3187 }
virtual void add_unique(std::list< const Expr * > &expr_list) const
Definition: Analyzer.cpp:3046
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
constexpr double f
Definition: Utm.h:31

+ Here is the call graph for this function:

SQLAgg Analyzer::AggExpr::get_aggtype ( ) const
inline

Definition at line 1201 of file Analyzer.h.

References aggtype.

Referenced by anonymous_namespace{SerializeToSql.cpp}::agg_to_string(), anonymous_namespace{QueryMemoryDescriptor.cpp}::anyOf(), anonymous_namespace{RelAlgExecutor.cpp}::is_agg(), operator==(), and DeepCopyVisitor::visitAggExpr().

1201 { return aggtype; }

+ Here is the caller graph for this function:

Expr* Analyzer::AggExpr::get_arg ( ) const
inline

Definition at line 1202 of file Analyzer.h.

References arg.

Referenced by agg_arg(), anonymous_namespace{SerializeToSql.cpp}::agg_to_string(), GroupByAndAggregate::gpuCanHandleOrderEntries(), anonymous_namespace{GroupByAndAggregate.cpp}::init_count_distinct_descriptors(), operator==(), DeepCopyVisitor::visitAggExpr(), and ScalarExprVisitor< std::unordered_set< InputColDescriptor > >::visitAggExpr().

1202 { return arg.get(); }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236

+ Here is the caller graph for this function:

std::shared_ptr<Analyzer::Constant> Analyzer::AggExpr::get_arg1 ( ) const
inline

Definition at line 1205 of file Analyzer.h.

References arg1.

Referenced by DeepCopyVisitor::visitAggExpr().

1205 { return arg1; }
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1239

+ Here is the caller graph for this function:

bool Analyzer::AggExpr::get_is_distinct ( ) const
inline

Definition at line 1204 of file Analyzer.h.

References is_distinct.

Referenced by anonymous_namespace{SerializeToSql.cpp}::agg_to_string(), anonymous_namespace{RelAlgExecutor.cpp}::is_count_distinct(), operator==(), and DeepCopyVisitor::visitAggExpr().

1204 { return is_distinct; }

+ Here is the caller graph for this function:

std::shared_ptr<Analyzer::Expr> Analyzer::AggExpr::get_own_arg ( ) const
inline

Definition at line 1203 of file Analyzer.h.

References arg.

1203 { return arg; }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
void Analyzer::AggExpr::group_predicates ( std::list< const Expr * > &  scan_predicates,
std::list< const Expr * > &  join_predicates,
std::list< const Expr * > &  const_predicates 
) const
overridevirtual

Reimplemented from Analyzer::Expr.

Definition at line 1761 of file Analyzer.cpp.

References arg.

1763  {
1764  std::set<int> rte_idx_set;
1765  arg->collect_rte_idx(rte_idx_set);
1766  if (rte_idx_set.size() > 1) {
1767  join_predicates.push_back(this);
1768  } else if (rte_idx_set.size() == 1) {
1769  scan_predicates.push_back(this);
1770  } else {
1771  const_predicates.push_back(this);
1772  }
1773 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
bool Analyzer::AggExpr::operator== ( const Expr rhs) const
overridevirtual

Implements Analyzer::Expr.

Definition at line 2407 of file Analyzer.cpp.

References aggtype, arg, get_aggtype(), get_arg(), get_is_distinct(), and is_distinct.

2407  {
2408  if (typeid(rhs) != typeid(AggExpr)) {
2409  return false;
2410  }
2411  const AggExpr& rhs_ae = dynamic_cast<const AggExpr&>(rhs);
2412  if (aggtype != rhs_ae.get_aggtype() || is_distinct != rhs_ae.get_is_distinct()) {
2413  return false;
2414  }
2415  if (arg.get() == rhs_ae.get_arg()) {
2416  return true;
2417  }
2418  if (arg == nullptr || rhs_ae.get_arg() == nullptr) {
2419  return false;
2420  }
2421  return *arg == *rhs_ae.get_arg();
2422 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
AggExpr(const SQLTypeInfo &ti, SQLAgg a, std::shared_ptr< Analyzer::Expr > g, bool d, std::shared_ptr< Analyzer::Constant > e)
Definition: Analyzer.h:1184

+ Here is the call graph for this function:

std::shared_ptr< Analyzer::Expr > Analyzer::AggExpr::rewrite_agg_to_var ( const std::vector< std::shared_ptr< TargetEntry >> &  tlist) const
overridevirtual

Reimplemented from Analyzer::Expr.

Definition at line 2009 of file Analyzer.cpp.

References Analyzer::Expr::get_type_info(), and Analyzer::Var::kINPUT_OUTER.

2010  {
2011  int varno = 1;
2012  for (auto tle : tlist) {
2013  const Expr* e = tle->get_expr();
2014  if (typeid(*e) == typeid(AggExpr)) {
2015  const AggExpr* agg_expr = dynamic_cast<const AggExpr*>(e);
2016  if (*this == *agg_expr) {
2017  return makeExpr<Var>(agg_expr->get_type_info(), Var::kINPUT_OUTER, varno);
2018  }
2019  }
2020  varno++;
2021  }
2022  throw std::runtime_error(
2023  "Internal error: cannot find AggExpr from having clause in targetlist.");
2024 }
Expr(SQLTypes t, bool notnull)
Definition: Analyzer.h:72
AggExpr(const SQLTypeInfo &ti, SQLAgg a, std::shared_ptr< Analyzer::Expr > g, bool d, std::shared_ptr< Analyzer::Constant > e)
Definition: Analyzer.h:1184

+ Here is the call graph for this function:

std::shared_ptr< Analyzer::Expr > Analyzer::AggExpr::rewrite_with_child_targetlist ( const std::vector< std::shared_ptr< TargetEntry >> &  tlist) const
overridevirtual

Reimplemented from Analyzer::Expr.

Definition at line 2000 of file Analyzer.cpp.

References aggtype, arg, arg1, is_distinct, and Analyzer::Expr::type_info.

2001  {
2002  return makeExpr<AggExpr>(type_info,
2003  aggtype,
2004  arg ? arg->rewrite_with_child_targetlist(tlist) : nullptr,
2005  is_distinct,
2006  arg1);
2007 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
SQLTypeInfo type_info
Definition: Analyzer.h:182
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1239
std::shared_ptr< Analyzer::Expr > Analyzer::AggExpr::rewrite_with_targetlist ( const std::vector< std::shared_ptr< TargetEntry >> &  tlist) const
overridevirtual

Reimplemented from Analyzer::Expr.

Definition at line 1986 of file Analyzer.cpp.

References deep_copy().

1987  {
1988  for (auto tle : tlist) {
1989  const Expr* e = tle->get_expr();
1990  if (typeid(*e) == typeid(AggExpr)) {
1991  const AggExpr* agg = dynamic_cast<const AggExpr*>(e);
1992  if (*this == *agg) {
1993  return agg->deep_copy();
1994  }
1995  }
1996  }
1997  throw std::runtime_error("Internal error: cannot find AggExpr in targetlist.");
1998 }
Expr(SQLTypes t, bool notnull)
Definition: Analyzer.h:72
AggExpr(const SQLTypeInfo &ti, SQLAgg a, std::shared_ptr< Analyzer::Expr > g, bool d, std::shared_ptr< Analyzer::Constant > e)
Definition: Analyzer.h:1184

+ Here is the call graph for this function:

std::string Analyzer::AggExpr::toString ( ) const
overridevirtual

Implements Analyzer::Expr.

Definition at line 2834 of file Analyzer.cpp.

References aggtype, arg, is_distinct, kAPPROX_COUNT_DISTINCT, kAPPROX_QUANTILE, kAVG, kCOUNT, kMAX, kMIN, kSAMPLE, kSINGLE_VALUE, and kSUM.

2834  {
2835  std::string agg;
2836  switch (aggtype) {
2837  case kAVG:
2838  agg = "AVG ";
2839  break;
2840  case kMIN:
2841  agg = "MIN ";
2842  break;
2843  case kMAX:
2844  agg = "MAX ";
2845  break;
2846  case kSUM:
2847  agg = "SUM ";
2848  break;
2849  case kCOUNT:
2850  agg = "COUNT ";
2851  break;
2853  agg = "APPROX_COUNT_DISTINCT";
2854  break;
2855  case kAPPROX_QUANTILE:
2856  agg = "APPROX_PERCENTILE";
2857  break;
2858  case kSINGLE_VALUE:
2859  agg = "SINGLE_VALUE";
2860  break;
2861  case kSAMPLE:
2862  agg = "SAMPLE";
2863  break;
2864  }
2865  std::string str{"(" + agg};
2866  if (is_distinct) {
2867  str += "DISTINCT ";
2868  }
2869  if (arg) {
2870  str += arg->toString();
2871  } else {
2872  str += "*";
2873  }
2874  return str + ") ";
2875 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1236
Definition: sqldefs.h:74
Definition: sqldefs.h:76
Definition: sqldefs.h:77
Definition: sqldefs.h:75
Definition: sqldefs.h:73

Member Data Documentation

SQLAgg Analyzer::AggExpr::aggtype
private
std::shared_ptr<Analyzer::Constant> Analyzer::AggExpr::arg1
private

Definition at line 1239 of file Analyzer.h.

Referenced by deep_copy(), get_arg1(), and rewrite_with_child_targetlist().


The documentation for this class was generated from the following files: