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

#include <Analyzer.h>

+ Inheritance diagram for Analyzer::GeoConstant:
+ Collaboration diagram for Analyzer::GeoConstant:

Public Member Functions

 GeoConstant (std::unique_ptr< Geospatial::GeoBase > &&geo, const SQLTypeInfo &ti)
 
std::shared_ptr< Analyzer::Exprdeep_copy () const final
 
std::string toString () const final
 
bool operator== (const Expr &) const final
 
size_t physicalCols () const
 
std::shared_ptr
< Analyzer::Constant
makePhysicalConstant (const size_t index) const
 
std::shared_ptr< Analyzer::Expradd_cast (const SQLTypeInfo &new_type_info) final
 
std::string getWKTString () const
 
- Public Member Functions inherited from Analyzer::GeoExpr
 GeoExpr (const SQLTypeInfo &ti)
 
virtual std::vector
< Analyzer::Expr * > 
getChildExprs () const
 
- 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 void collect_rte_idx (std::set< int > &rte_idx_set) const
 
virtual void collect_column_var (std::set< const ColumnVar *, bool(*)(const ColumnVar *, const ColumnVar *)> &colvar_set, bool include_agg) 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 (bool(*f)(const Expr *), std::list< const Expr * > &expr_list) const
 
std::shared_ptr< Analyzer::Exprdecompress ()
 
virtual void get_domain (DomainSet &domain_set) const
 

Private Attributes

std::unique_ptr
< Geospatial::GeoBase
geo_
 

Additional Inherited Members

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

Detailed Description

Definition at line 2725 of file Analyzer.h.

Constructor & Destructor Documentation

Analyzer::GeoConstant::GeoConstant ( std::unique_ptr< Geospatial::GeoBase > &&  geo,
const SQLTypeInfo ti 
)

Definition at line 3751 of file Analyzer.cpp.

References CHECK, geo_, Analyzer::anonymous_namespace{Analyzer.cpp}::get_ti_from_geo(), SQLTypeInfo::get_type(), and SQLTypeInfo::get_type_name().

3753  : GeoExpr(ti), geo_(std::move(geo)) {
3754  CHECK(geo_);
3755  if (get_ti_from_geo(geo_.get()) != ti.get_type()) {
3756  throw std::runtime_error("Conflicting types for geo data " + geo_->getWktString() +
3757  " (type provided: " + ti.get_type_name() + ")");
3758  }
3759 }
HOST DEVICE SQLTypes get_type() const
Definition: sqltypes.h:404
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2744
std::string get_type_name() const
Definition: sqltypes.h:528
#define CHECK(condition)
Definition: Logger.h:222
SQLTypes get_ti_from_geo(const Geospatial::GeoBase *geo)
Definition: Analyzer.cpp:3721
GeoExpr(const SQLTypeInfo &ti)
Definition: Analyzer.h:2686

+ Here is the call graph for this function:

Member Function Documentation

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

Reimplemented from Analyzer::Expr.

Definition at line 3832 of file Analyzer.cpp.

References CHECK, geo_, SQLTypeInfo::get_output_srid(), Analyzer::Expr::get_type_info(), SQLTypeInfo::set_input_srid(), and toString().

3832  {
3833  // TODO: we should eliminate the notion of input and output SRIDs on a type. A type can
3834  // only have 1 SRID. A cast or transforms changes the SRID of the type.
3835  // NOTE: SRID 0 indicates set srid, skip cast
3836  SQLTypeInfo cast_type_info = new_type_info;
3837  if (!(get_type_info().get_input_srid() == 0) &&
3838  (get_type_info().get_input_srid() != new_type_info.get_output_srid())) {
3839  // run cast
3840  CHECK(geo_);
3841  if (!geo_->transform(get_type_info().get_input_srid(),
3842  new_type_info.get_output_srid())) {
3843  throw std::runtime_error("Failed to transform constant geometry: " + toString());
3844  }
3845  // The geo constant has been transformed but the new type info still encodes
3846  // a transform. Need to reset it and eliminate srid transition.
3847  cast_type_info.set_input_srid(new_type_info.get_output_srid());
3848  }
3849  return makeExpr<GeoConstant>(std::move(geo_), cast_type_info);
3850 }
std::string toString() const final
Definition: Analyzer.cpp:3766
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2744
void set_input_srid(int d)
Definition: sqltypes.h:518
const SQLTypeInfo & get_type_info() const
Definition: Analyzer.h:82
#define CHECK(condition)
Definition: Logger.h:222
HOST DEVICE int get_output_srid() const
Definition: sqltypes.h:410

+ Here is the call graph for this function:

std::shared_ptr< Analyzer::Expr > Analyzer::GeoConstant::deep_copy ( ) const
finalvirtual

Implements Analyzer::Expr.

Definition at line 3761 of file Analyzer.cpp.

References CHECK, geo_, and Analyzer::Expr::type_info.

3761  {
3762  CHECK(geo_);
3763  return makeExpr<GeoConstant>(geo_->clone(), type_info);
3764 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2744
SQLTypeInfo type_info
Definition: Analyzer.h:183
#define CHECK(condition)
Definition: Logger.h:222
std::string Analyzer::GeoConstant::getWKTString ( ) const

Definition at line 3774 of file Analyzer.cpp.

References CHECK, and geo_.

3774  {
3775  CHECK(geo_);
3776  return geo_->getWktString();
3777 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2744
#define CHECK(condition)
Definition: Logger.h:222
std::shared_ptr< Analyzer::Constant > Analyzer::GeoConstant::makePhysicalConstant ( const size_t  index) const

Definition at line 3801 of file Analyzer.cpp.

References CHECK_GE, CHECK_LE, Geospatial::convert_coords(), Geospatial::convert_rings(), geo_, SQLTypeInfo::get_physical_coord_cols(), Geospatial::GeoTypesFactory::getGeoColumns(), Analyzer::Expr::type_info, and UNREACHABLE.

Referenced by CodeGenerator::codegenGeoConstant().

3802  {
3803  // TODO: handle bounds, etc
3804  const auto num_phys_coords = type_info.get_physical_coord_cols();
3805  CHECK_GE(num_phys_coords, 0);
3806  CHECK_LE(index, size_t(num_phys_coords));
3807  SQLTypeInfo ti = type_info;
3808 
3809  std::vector<double> coords;
3810  std::vector<double> bounds;
3811  std::vector<int> ring_sizes; // also linestring_sizes
3812  std::vector<int> poly_rings;
3813 
3815  geo_->getWktString(), ti, coords, bounds, ring_sizes, poly_rings);
3816 
3817  switch (index) {
3818  case 0: // coords
3819  return Geospatial::convert_coords(coords, ti);
3820  case 1: // ring sizes
3821  return Geospatial::convert_rings(ring_sizes);
3822  case 2: // poly rings
3823  return Geospatial::convert_rings(poly_rings);
3824  default:
3825  UNREACHABLE();
3826  }
3827 
3828  UNREACHABLE();
3829  return nullptr;
3830 }
#define UNREACHABLE()
Definition: Logger.h:266
#define CHECK_GE(x, y)
Definition: Logger.h:235
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2744
SQLTypeInfo type_info
Definition: Analyzer.h:183
std::shared_ptr< Analyzer::Constant > convert_rings(const std::vector< int > &rings)
Definition: Conversion.h:44
static bool getGeoColumns(const std::string &wkt_or_wkb_hex, SQLTypeInfo &ti, std::vector< double > &coords, std::vector< double > &bounds, std::vector< int > &ring_sizes, std::vector< int > &poly_rings, const bool promote_poly_to_mpoly=false)
Definition: Types.cpp:1079
#define CHECK_LE(x, y)
Definition: Logger.h:233
std::shared_ptr< Analyzer::Constant > convert_coords(const std::vector< double > &coords, const SQLTypeInfo &ti)
Definition: Conversion.h:26
int get_physical_coord_cols() const
Definition: sqltypes.h:454

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

bool Analyzer::GeoConstant::operator== ( const Expr rhs) const
finalvirtual

Implements Analyzer::Expr.

Definition at line 3779 of file Analyzer.cpp.

References geo_, Analyzer::Expr::get_type_info(), and Analyzer::Expr::type_info.

3779  {
3780  if (typeid(rhs) != typeid(GeoConstant)) {
3781  return false;
3782  }
3783  const GeoConstant& rhs_c = dynamic_cast<const GeoConstant&>(rhs);
3784  if (type_info != rhs_c.get_type_info() /*|| is_null != rhs_c.get_is_null()*/) {
3785  return false;
3786  }
3787  /* TODO: constant nulls
3788  if (is_null && rhs_c.get_is_null()) {
3789  return true;
3790  }
3791 
3792  */
3793  return *geo_ == *rhs_c.geo_;
3794 }
GeoConstant(std::unique_ptr< Geospatial::GeoBase > &&geo, const SQLTypeInfo &ti)
Definition: Analyzer.cpp:3751
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2744
SQLTypeInfo type_info
Definition: Analyzer.h:183

+ Here is the call graph for this function:

size_t Analyzer::GeoConstant::physicalCols ( ) const

Definition at line 3796 of file Analyzer.cpp.

References CHECK, SQLTypeInfo::get_physical_coord_cols(), SQLTypeInfo::is_geometry(), and Analyzer::Expr::type_info.

Referenced by CodeGenerator::codegenGeoConstant().

3796  {
3799 }
SQLTypeInfo type_info
Definition: Analyzer.h:183
#define CHECK(condition)
Definition: Logger.h:222
bool is_geometry() const
Definition: sqltypes.h:612
int get_physical_coord_cols() const
Definition: sqltypes.h:454

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

std::string Analyzer::GeoConstant::toString ( ) const
finalvirtual

Implements Analyzer::Expr.

Definition at line 3766 of file Analyzer.cpp.

References CHECK, and geo_.

Referenced by add_cast().

3766  {
3767  std::string str{"(GeoConstant "};
3768  CHECK(geo_);
3769  str += geo_->getWktString();
3770  str += ") ";
3771  return str;
3772 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2744
#define CHECK(condition)
Definition: Logger.h:222

+ Here is the caller graph for this function:

Member Data Documentation

std::unique_ptr<Geospatial::GeoBase> Analyzer::GeoConstant::geo_
private

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