OmniSciDB  72c90bc290
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Analyzer::GeoOperator Class Reference

#include <Analyzer.h>

+ Inheritance diagram for Analyzer::GeoOperator:
+ Collaboration diagram for Analyzer::GeoOperator:

Public Member Functions

 GeoOperator (const SQLTypeInfo &ti, const std::string &name, const std::vector< std::shared_ptr< Analyzer::Expr >> &args, const std::optional< int > &output_srid_override=std::nullopt)
 
std::shared_ptr< Analyzer::Exprdeep_copy () const override
 
void collect_rte_idx (std::set< int > &rte_idx_set) const final
 
void collect_column_var (std::set< const ColumnVar *, bool(*)(const ColumnVar *, const ColumnVar *)> &colvar_set, bool include_agg) const final
 
std::string toString () const override
 
bool operator== (const Expr &) const override
 
size_t size () const
 
Analyzer::ExprgetOperand (const size_t index) const
 
const std::string & getName () const
 
std::vector< std::shared_ptr
< Analyzer::Expr > > 
getArgs () const
 
std::vector< Analyzer::Expr * > getChildExprs () const override
 
std::shared_ptr< Analyzer::Expradd_cast (const SQLTypeInfo &new_type_info) final
 
auto getOutputSridOverride () const
 
- Public Member Functions inherited from Analyzer::GeoExpr
 GeoExpr (const SQLTypeInfo &ti)
 
- 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 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 group_predicates (std::list< const Expr * > &scan_predicates, std::list< const Expr * > &join_predicates, std::list< const Expr * > &const_predicates) const
 
virtual size_t get_num_column_vars (const bool include_agg) const
 
virtual std::shared_ptr
< Analyzer::Expr
rewrite_with_targetlist (const std::vector< std::shared_ptr< TargetEntry >> &tlist) const
 
virtual std::shared_ptr
< Analyzer::Expr
rewrite_with_child_targetlist (const std::vector< std::shared_ptr< TargetEntry >> &tlist) const
 
virtual std::shared_ptr
< Analyzer::Expr
rewrite_agg_to_var (const std::vector< std::shared_ptr< TargetEntry >> &tlist) const
 
virtual void print () const
 
virtual void add_unique (std::list< const Expr * > &expr_list) const
 
virtual void find_expr (std::function< bool(const Expr *)> f, std::list< const Expr * > &expr_list) const
 
std::shared_ptr< Analyzer::Exprdecompress ()
 
virtual void get_domain (DomainSet &domain_set) const
 

Protected Attributes

const std::string name_
 
const std::vector
< std::shared_ptr
< Analyzer::Expr > > 
args_
 
std::optional< int > output_srid_override_
 
- Protected Attributes inherited from Analyzer::Expr
SQLTypeInfo type_info
 
bool contains_agg
 

Detailed Description

GeoOperator: A geo expression that transforms or accesses an input. Typically a geospatial function prefixed with ST_

Definition at line 3143 of file Analyzer.h.

Constructor & Destructor Documentation

Analyzer::GeoOperator::GeoOperator ( const SQLTypeInfo ti,
const std::string &  name,
const std::vector< std::shared_ptr< Analyzer::Expr >> &  args,
const std::optional< int > &  output_srid_override = std::nullopt 
)

Definition at line 4121 of file Analyzer.cpp.

4125  : GeoExpr(ti)
4126  , name_(name)
4127  , args_(args)
4128  , output_srid_override_(output_srid_override) {}
std::optional< int > output_srid_override_
Definition: Analyzer.h:3189
string name
Definition: setup.in.py:72
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186
const std::string name_
Definition: Analyzer.h:3185
GeoExpr(const SQLTypeInfo &ti)
Definition: Analyzer.h:3087

Member Function Documentation

std::shared_ptr< Analyzer::Expr > Analyzer::GeoOperator::add_cast ( const SQLTypeInfo new_type_info)
finalvirtual

Reimplemented from Analyzer::Expr.

Definition at line 4191 of file Analyzer.cpp.

References run_benchmark_import::args, args_, CHECK, deep_copy(), Analyzer::Expr::get_type_info(), SQLTypeInfo::is_geometry(), SQLTypeInfo::is_string(), SQLTypeInfo::is_text_encoding_dict(), kCAST, Analyzer::anonymous_namespace{Analyzer.cpp}::make_transient_dict_type(), name_, and output_srid_override_.

4191  {
4192  constexpr bool geo_contains_agg = false;
4193  if (get_type_info().is_geometry()) {
4194  std::vector<std::shared_ptr<Analyzer::Expr>> args;
4195  for (size_t i = 0; i < args_.size(); i++) {
4196  args.push_back(args_[i]->deep_copy());
4197  }
4198  CHECK(new_type_info.is_geometry());
4199  return makeExpr<GeoOperator>(new_type_info, name_, args, output_srid_override_);
4200  } else if (!get_type_info().is_string() && new_type_info.is_string() &&
4201  !new_type_info.is_text_encoding_dict()) {
4202  auto const trans_dict_type = make_transient_dict_type(new_type_info);
4203  return makeExpr<UOper>(trans_dict_type, geo_contains_agg, kCAST, deep_copy());
4204  } else {
4205  return makeExpr<UOper>(new_type_info, geo_contains_agg, kCAST, deep_copy());
4206  }
4207 }
std::optional< int > output_srid_override_
Definition: Analyzer.h:3189
Definition: sqldefs.h:48
std::shared_ptr< Analyzer::Expr > deep_copy() const override
Definition: Analyzer.cpp:4130
bool is_text_encoding_dict() const
Definition: sqltypes.h:615
SQLTypeInfo make_transient_dict_type(SQLTypeInfo sql_type_info_copy)
Definition: Analyzer.cpp:764
const SQLTypeInfo & get_type_info() const
Definition: Analyzer.h:79
#define CHECK(condition)
Definition: Logger.h:291
bool is_geometry() const
Definition: sqltypes.h:595
bool is_string() const
Definition: sqltypes.h:559
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186
const std::string name_
Definition: Analyzer.h:3185

+ Here is the call graph for this function:

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

Reimplemented from Analyzer::Expr.

Definition at line 4145 of file Analyzer.cpp.

References getOperand(), and size().

Referenced by anonymous_namespace{GeoIR.cpp}::mark_logical_column_to_fetch().

4147  {
4148  for (size_t i = 0; i < size(); i++) {
4149  const auto expr = getOperand(i);
4150  expr->collect_column_var(colvar_set, include_agg);
4151  }
4152 }
size_t size() const
Definition: Analyzer.cpp:4182
Analyzer::Expr * getOperand(const size_t index) const
Definition: Analyzer.cpp:4186

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

void Analyzer::GeoOperator::collect_rte_idx ( std::set< int > &  rte_idx_set) const
finalvirtual

Reimplemented from Analyzer::Expr.

Definition at line 4138 of file Analyzer.cpp.

References getOperand(), and size().

4138  {
4139  for (size_t i = 0; i < size(); i++) {
4140  const auto expr = getOperand(i);
4141  expr->collect_rte_idx(rte_idx_set);
4142  }
4143 }
size_t size() const
Definition: Analyzer.cpp:4182
Analyzer::Expr * getOperand(const size_t index) const
Definition: Analyzer.cpp:4186

+ Here is the call graph for this function:

std::shared_ptr< Analyzer::Expr > Analyzer::GeoOperator::deep_copy ( ) const
overridevirtual

Implements Analyzer::Expr.

Reimplemented in Analyzer::GeoTransformOperator.

Definition at line 4130 of file Analyzer.cpp.

References run_benchmark_import::args, args_, name_, output_srid_override_, and Analyzer::Expr::type_info.

Referenced by add_cast().

4130  {
4131  std::vector<std::shared_ptr<Analyzer::Expr>> args;
4132  for (size_t i = 0; i < args_.size(); i++) {
4133  args.push_back(args_[i]->deep_copy());
4134  }
4135  return makeExpr<GeoOperator>(type_info, name_, args, output_srid_override_);
4136 }
std::optional< int > output_srid_override_
Definition: Analyzer.h:3189
std::shared_ptr< Analyzer::Expr > deep_copy() const override
Definition: Analyzer.cpp:4130
SQLTypeInfo type_info
Definition: Analyzer.h:180
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186
const std::string name_
Definition: Analyzer.h:3185

+ Here is the caller graph for this function:

std::vector<std::shared_ptr<Analyzer::Expr> > Analyzer::GeoOperator::getArgs ( ) const
inline

Definition at line 3169 of file Analyzer.h.

References args_.

3169 { return args_; }
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186
std::vector<Analyzer::Expr*> Analyzer::GeoOperator::getChildExprs ( ) const
inlineoverridevirtual

Reimplemented from Analyzer::GeoExpr.

Definition at line 3171 of file Analyzer.h.

References args_.

3171  {
3172  std::vector<Analyzer::Expr*> ret;
3173  ret.reserve(args_.size());
3174  for (const auto& arg : args_) {
3175  ret.push_back(arg.get());
3176  }
3177  return ret;
3178  }
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186
const std::string& Analyzer::GeoOperator::getName ( ) const
inline

Definition at line 3167 of file Analyzer.h.

References name_.

Referenced by spatial_type::PointAccessors::codegen(), CodeGenerator::codegenGeoOperator(), spatial_type::PointConstructor::codegenLoads(), spatial_type::Codegen::getName(), spatial_type::Codegen::init(), operator==(), and Analyzer::GeoTransformOperator::operator==().

3167 { return name_; }
const std::string name_
Definition: Analyzer.h:3185

+ Here is the caller graph for this function:

Analyzer::Expr * Analyzer::GeoOperator::getOperand ( const size_t  index) const

Definition at line 4186 of file Analyzer.cpp.

References args_, and CHECK_LT.

Referenced by collect_column_var(), collect_rte_idx(), spatial_type::NPoints::getOperand(), spatial_type::NRings::getOperand(), spatial_type::NumGeometries::getOperand(), spatial_type::Codegen::getOperand(), spatial_type::NumGeometries::getOperandTypeInfo(), operator==(), and Analyzer::GeoTransformOperator::operator==().

4186  {
4187  CHECK_LT(index, args_.size());
4188  return args_[index].get();
4189 }
#define CHECK_LT(x, y)
Definition: Logger.h:303
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186

+ Here is the caller graph for this function:

auto Analyzer::GeoOperator::getOutputSridOverride ( ) const
inline

Definition at line 3182 of file Analyzer.h.

References output_srid_override_.

3182 { return output_srid_override_; }
std::optional< int > output_srid_override_
Definition: Analyzer.h:3189
bool Analyzer::GeoOperator::operator== ( const Expr rhs) const
overridevirtual

Implements Analyzer::Expr.

Reimplemented in Analyzer::GeoTransformOperator.

Definition at line 4163 of file Analyzer.cpp.

References args_, getName(), getOperand(), and size().

4163  {
4164  if (typeid(rhs) != typeid(GeoOperator)) {
4165  return false;
4166  }
4167  const GeoOperator& rhs_go = dynamic_cast<const GeoOperator&>(rhs);
4168  if (getName() != rhs_go.getName()) {
4169  return false;
4170  }
4171  if (rhs_go.size() != size()) {
4172  return false;
4173  }
4174  for (size_t i = 0; i < size(); i++) {
4175  if (args_[i].get() != rhs_go.getOperand(i)) {
4176  return false;
4177  }
4178  }
4179  return true;
4180 }
const std::string & getName() const
Definition: Analyzer.h:3167
GeoOperator(const SQLTypeInfo &ti, const std::string &name, const std::vector< std::shared_ptr< Analyzer::Expr >> &args, const std::optional< int > &output_srid_override=std::nullopt)
Definition: Analyzer.cpp:4121
size_t size() const
Definition: Analyzer.cpp:4182
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186

+ Here is the call graph for this function:

size_t Analyzer::GeoOperator::size ( ) const

Definition at line 4182 of file Analyzer.cpp.

References args_.

Referenced by spatial_type::AreaPerimeter::AreaPerimeter(), spatial_type::Centroid::Centroid(), collect_column_var(), collect_rte_idx(), spatial_type::Distance::Distance(), spatial_type::Codegen::getOperand(), operator==(), Analyzer::GeoTransformOperator::operator==(), spatial_type::PointAccessors::PointAccessors(), spatial_type::PointConstructor::PointConstructor(), spatial_type::PointN::PointN(), spatial_type::StartEndPoint::StartEndPoint(), and spatial_type::Transform::Transform().

4182  {
4183  return args_.size();
4184 }
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186

+ Here is the caller graph for this function:

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

Implements Analyzer::Expr.

Reimplemented in Analyzer::GeoTransformOperator.

Definition at line 4154 of file Analyzer.cpp.

References args_, and name_.

Referenced by CodeGenerator::codegenGeoOperator(), and spatial_type::PointAccessors::codegenLoads().

4154  {
4155  std::string str{"(" + name_ + " "};
4156  for (const auto& arg : args_) {
4157  str += arg->toString();
4158  }
4159  str += ")";
4160  return str;
4161 }
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3186
const std::string name_
Definition: Analyzer.h:3185

+ Here is the caller graph for this function:

Member Data Documentation

const std::string Analyzer::GeoOperator::name_
protected
std::optional<int> Analyzer::GeoOperator::output_srid_override_
protected

Definition at line 3189 of file Analyzer.h.

Referenced by add_cast(), deep_copy(), and getOutputSridOverride().


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