OmniSciDB  a5dc49c757
 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 3274 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 4150 of file Analyzer.cpp.

4154  : GeoExpr(ti)
4155  , name_(name)
4156  , args_(args)
4157  , output_srid_override_(output_srid_override) {}
std::optional< int > output_srid_override_
Definition: Analyzer.h:3320
string name
Definition: setup.in.py:72
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3317
const std::string name_
Definition: Analyzer.h:3316
GeoExpr(const SQLTypeInfo &ti)
Definition: Analyzer.h:3218

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 4220 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_.

4220  {
4221  constexpr bool geo_contains_agg = false;
4222  if (get_type_info().is_geometry()) {
4223  std::vector<std::shared_ptr<Analyzer::Expr>> args;
4224  for (size_t i = 0; i < args_.size(); i++) {
4225  args.push_back(args_[i]->deep_copy());
4226  }
4227  CHECK(new_type_info.is_geometry());
4228  return makeExpr<GeoOperator>(new_type_info, name_, args, output_srid_override_);
4229  } else if (!get_type_info().is_string() && new_type_info.is_string() &&
4230  !new_type_info.is_text_encoding_dict()) {
4231  auto const trans_dict_type = make_transient_dict_type(new_type_info);
4232  return makeExpr<UOper>(trans_dict_type, geo_contains_agg, kCAST, deep_copy());
4233  } else {
4234  return makeExpr<UOper>(new_type_info, geo_contains_agg, kCAST, deep_copy());
4235  }
4236 }
std::optional< int > output_srid_override_
Definition: Analyzer.h:3320
Definition: sqldefs.h:51
std::shared_ptr< Analyzer::Expr > deep_copy() const override
Definition: Analyzer.cpp:4159
bool is_text_encoding_dict() const
Definition: sqltypes.h:617
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:597
bool is_string() const
Definition: sqltypes.h:561
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3317
const std::string name_
Definition: Analyzer.h:3316

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

References getOperand(), and size().

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

4176  {
4177  for (size_t i = 0; i < size(); i++) {
4178  const auto expr = getOperand(i);
4179  expr->collect_column_var(colvar_set, include_agg);
4180  }
4181 }
size_t size() const
Definition: Analyzer.cpp:4211
Analyzer::Expr * getOperand(const size_t index) const
Definition: Analyzer.cpp:4215

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

References getOperand(), and size().

4167  {
4168  for (size_t i = 0; i < size(); i++) {
4169  const auto expr = getOperand(i);
4170  expr->collect_rte_idx(rte_idx_set);
4171  }
4172 }
size_t size() const
Definition: Analyzer.cpp:4211
Analyzer::Expr * getOperand(const size_t index) const
Definition: Analyzer.cpp:4215

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

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

Referenced by add_cast().

4159  {
4160  std::vector<std::shared_ptr<Analyzer::Expr>> args;
4161  for (size_t i = 0; i < args_.size(); i++) {
4162  args.push_back(args_[i]->deep_copy());
4163  }
4164  return makeExpr<GeoOperator>(type_info, name_, args, output_srid_override_);
4165 }
std::optional< int > output_srid_override_
Definition: Analyzer.h:3320
std::shared_ptr< Analyzer::Expr > deep_copy() const override
Definition: Analyzer.cpp:4159
SQLTypeInfo type_info
Definition: Analyzer.h:180
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3317
const std::string name_
Definition: Analyzer.h:3316

+ Here is the caller graph for this function:

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

Definition at line 3300 of file Analyzer.h.

References args_.

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

Reimplemented from Analyzer::GeoExpr.

Definition at line 3302 of file Analyzer.h.

References args_.

3302  {
3303  std::vector<Analyzer::Expr*> ret;
3304  ret.reserve(args_.size());
3305  for (const auto& arg : args_) {
3306  ret.push_back(arg.get());
3307  }
3308  return ret;
3309  }
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3317
const std::string& Analyzer::GeoOperator::getName ( ) const
inline

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

3298 { return name_; }
const std::string name_
Definition: Analyzer.h:3316

+ Here is the caller graph for this function:

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

Definition at line 4215 of file Analyzer.cpp.

References args_, and CHECK_LT.

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

4215  {
4216  CHECK_LT(index, args_.size());
4217  return args_[index].get();
4218 }
#define CHECK_LT(x, y)
Definition: Logger.h:303
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3317

+ Here is the caller graph for this function:

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

Definition at line 3313 of file Analyzer.h.

References output_srid_override_.

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

Implements Analyzer::Expr.

Reimplemented in Analyzer::GeoTransformOperator.

Definition at line 4192 of file Analyzer.cpp.

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

4192  {
4193  if (typeid(rhs) != typeid(GeoOperator)) {
4194  return false;
4195  }
4196  const GeoOperator& rhs_go = dynamic_cast<const GeoOperator&>(rhs);
4197  if (getName() != rhs_go.getName()) {
4198  return false;
4199  }
4200  if (rhs_go.size() != size()) {
4201  return false;
4202  }
4203  for (size_t i = 0; i < size(); i++) {
4204  if (args_[i].get() != rhs_go.getOperand(i)) {
4205  return false;
4206  }
4207  }
4208  return true;
4209 }
const std::string & getName() const
Definition: Analyzer.h:3298
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:4150
size_t size() const
Definition: Analyzer.cpp:4211
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3317

+ Here is the call graph for this function:

size_t Analyzer::GeoOperator::size ( ) const

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

4211  {
4212  return args_.size();
4213 }
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3317

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

References args_, and name_.

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

4183  {
4184  std::string str{"(" + name_ + " "};
4185  for (const auto& arg : args_) {
4186  str += arg->toString();
4187  }
4188  str += ")";
4189  return str;
4190 }
const std::vector< std::shared_ptr< Analyzer::Expr > > args_
Definition: Analyzer.h:3317
const std::string name_
Definition: Analyzer.h:3316

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

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


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