OmniSciDB  eb3a3d0a03
 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 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 1218 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 1220 of file Analyzer.h.

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

Definition at line 1226 of file Analyzer.h.

1232  : Expr(SQLTypeInfo(t, g == nullptr ? true : g->get_type_info().get_notnull()), true)
1233  , aggtype(a)
1234  , arg(g)
1235  , is_distinct(d)
1236  , arg1(e) {}
Expr(SQLTypes t, bool notnull)
Definition: Analyzer.h:69
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
constexpr double a
Definition: Utm.h:32
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1275
char * t

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 1251 of file Analyzer.h.

References arg.

1254  {
1255  if (include_agg && arg != nullptr) {
1256  arg->collect_column_var(colvar_set, include_agg);
1257  }
1258  }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
void Analyzer::AggExpr::collect_rte_idx ( std::set< int > &  rte_idx_set) const
inlineoverridevirtual

Reimplemented from Analyzer::Expr.

Definition at line 1246 of file Analyzer.h.

References arg.

1246  {
1247  if (arg) {
1248  arg->collect_rte_idx(rte_idx_set);
1249  }
1250  };
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
std::shared_ptr< Analyzer::Expr > Analyzer::AggExpr::deep_copy ( ) const
overridevirtual

Implements Analyzer::Expr.

Definition at line 175 of file Analyzer.cpp.

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

Referenced by rewrite_with_targetlist().

175  {
176  return makeExpr<AggExpr>(
177  type_info, aggtype, arg ? arg->deep_copy() : nullptr, is_distinct, arg1);
178 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
SQLTypeInfo type_info
Definition: Analyzer.h:176
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1275

+ 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 3089 of file Analyzer.cpp.

References Analyzer::Expr::add_unique(), arg, and f.

3089  {
3090  if (f(this)) {
3091  add_unique(expr_list);
3092  return;
3093  }
3094  if (arg != nullptr) {
3095  arg->find_expr(f, expr_list);
3096  }
3097 }
virtual void add_unique(std::list< const Expr * > &expr_list) const
Definition: Analyzer.cpp:2958
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
char * f

+ Here is the call graph for this function:

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

Definition at line 1237 of file Analyzer.h.

References aggtype.

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

1237 { return aggtype; }

+ Here is the caller graph for this function:

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

Definition at line 1238 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().

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

+ Here is the caller graph for this function:

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

Definition at line 1241 of file Analyzer.h.

References arg1.

Referenced by DeepCopyVisitor::visitAggExpr().

1241 { return arg1; }
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1275

+ Here is the caller graph for this function:

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

Definition at line 1240 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().

1240 { 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 1239 of file Analyzer.h.

References arg.

1239 { return arg; }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
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 1736 of file Analyzer.cpp.

References arg.

1738  {
1739  std::set<int> rte_idx_set;
1740  arg->collect_rte_idx(rte_idx_set);
1741  if (rte_idx_set.size() > 1) {
1742  join_predicates.push_back(this);
1743  } else if (rte_idx_set.size() == 1) {
1744  scan_predicates.push_back(this);
1745  } else {
1746  const_predicates.push_back(this);
1747  }
1748 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
bool Analyzer::AggExpr::operator== ( const Expr rhs) const
overridevirtual

Implements Analyzer::Expr.

Definition at line 2363 of file Analyzer.cpp.

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

2363  {
2364  if (typeid(rhs) != typeid(AggExpr)) {
2365  return false;
2366  }
2367  const AggExpr& rhs_ae = dynamic_cast<const AggExpr&>(rhs);
2368  if (aggtype != rhs_ae.get_aggtype() || is_distinct != rhs_ae.get_is_distinct()) {
2369  return false;
2370  }
2371  if (arg.get() == rhs_ae.get_arg()) {
2372  return true;
2373  }
2374  if (arg == nullptr || rhs_ae.get_arg() == nullptr) {
2375  return false;
2376  }
2377  return *arg == *rhs_ae.get_arg();
2378 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
AggExpr(const SQLTypeInfo &ti, SQLAgg a, std::shared_ptr< Analyzer::Expr > g, bool d, std::shared_ptr< Analyzer::Constant > e)
Definition: Analyzer.h:1220

+ 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 1957 of file Analyzer.cpp.

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

1958  {
1959  int varno = 1;
1960  for (auto tle : tlist) {
1961  const Expr* e = tle->get_expr();
1962  if (typeid(*e) == typeid(AggExpr)) {
1963  const AggExpr* agg_expr = dynamic_cast<const AggExpr*>(e);
1964  if (*this == *agg_expr) {
1965  return makeExpr<Var>(agg_expr->get_type_info(), Var::kINPUT_OUTER, varno);
1966  }
1967  }
1968  varno++;
1969  }
1970  throw std::runtime_error(
1971  "Internal error: cannot find AggExpr from having clause in targetlist.");
1972 }
Expr(SQLTypes t, bool notnull)
Definition: Analyzer.h:69
AggExpr(const SQLTypeInfo &ti, SQLAgg a, std::shared_ptr< Analyzer::Expr > g, bool d, std::shared_ptr< Analyzer::Constant > e)
Definition: Analyzer.h:1220

+ 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 1948 of file Analyzer.cpp.

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

1949  {
1950  return makeExpr<AggExpr>(type_info,
1951  aggtype,
1952  arg ? arg->rewrite_with_child_targetlist(tlist) : nullptr,
1953  is_distinct,
1954  arg1);
1955 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
SQLTypeInfo type_info
Definition: Analyzer.h:176
std::shared_ptr< Analyzer::Constant > arg1
Definition: Analyzer.h:1275
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 1934 of file Analyzer.cpp.

References deep_copy().

1935  {
1936  for (auto tle : tlist) {
1937  const Expr* e = tle->get_expr();
1938  if (typeid(*e) == typeid(AggExpr)) {
1939  const AggExpr* agg = dynamic_cast<const AggExpr*>(e);
1940  if (*this == *agg) {
1941  return agg->deep_copy();
1942  }
1943  }
1944  }
1945  throw std::runtime_error("Internal error: cannot find AggExpr in targetlist.");
1946 }
Expr(SQLTypes t, bool notnull)
Definition: Analyzer.h:69
AggExpr(const SQLTypeInfo &ti, SQLAgg a, std::shared_ptr< Analyzer::Expr > g, bool d, std::shared_ptr< Analyzer::Constant > e)
Definition: Analyzer.h:1220

+ Here is the call graph for this function:

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

Implements Analyzer::Expr.

Definition at line 2778 of file Analyzer.cpp.

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

2778  {
2779  std::string agg;
2780  switch (aggtype) {
2781  case kAVG:
2782  agg = "AVG ";
2783  break;
2784  case kMIN:
2785  agg = "MIN ";
2786  break;
2787  case kMAX:
2788  agg = "MAX ";
2789  break;
2790  case kSUM:
2791  agg = "SUM ";
2792  break;
2793  case kCOUNT:
2794  agg = "COUNT ";
2795  break;
2797  agg = "APPROX_COUNT_DISTINCT";
2798  break;
2799  case kAPPROX_QUANTILE:
2800  agg = "APPROX_PERCENTILE";
2801  break;
2802  case kSINGLE_VALUE:
2803  agg = "SINGLE_VALUE";
2804  break;
2805  case kSAMPLE:
2806  agg = "SAMPLE";
2807  break;
2808  }
2809  std::string str{"(" + agg};
2810  if (is_distinct) {
2811  str += "DISTINCT ";
2812  }
2813  if (arg) {
2814  str += arg->toString();
2815  } else {
2816  str += "*";
2817  }
2818  return str + ") ";
2819 }
std::shared_ptr< Analyzer::Expr > arg
Definition: Analyzer.h:1272
Definition: sqldefs.h:73
Definition: sqldefs.h:75
Definition: sqldefs.h:76
Definition: sqldefs.h:74
Definition: sqldefs.h:72

Member Data Documentation

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

Definition at line 1275 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: