OmniSciDB  085a039ca4
 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 2536 of file Analyzer.h.

Constructor & Destructor Documentation

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

Definition at line 3645 of file Analyzer.cpp.

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

3647  : GeoExpr(ti), geo_(std::move(geo)) {
3648  CHECK(geo_);
3649  if (get_ti_from_geo(geo_.get()) != ti.get_type()) {
3650  throw std::runtime_error("Conflicting types for geo data " + geo_->getWktString() +
3651  " (type provided: " + ti.get_type_name() + ")");
3652  }
3653 }
HOST DEVICE SQLTypes get_type() const
Definition: sqltypes.h:329
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2555
std::string get_type_name() const
Definition: sqltypes.h:443
#define CHECK(condition)
Definition: Logger.h:223
SQLTypes get_ti_from_geo(const Geospatial::GeoBase *geo)
Definition: Analyzer.cpp:3621
GeoExpr(const SQLTypeInfo &ti)
Definition: Analyzer.h:2497

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

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

3726  {
3727  // TODO: we should eliminate the notion of input and output SRIDs on a type. A type can
3728  // only have 1 SRID. A cast or transforms changes the SRID of the type.
3729  // NOTE: SRID 0 indicates set srid, skip cast
3730  SQLTypeInfo cast_type_info = new_type_info;
3731  if (!(get_type_info().get_input_srid() == 0) &&
3732  (get_type_info().get_input_srid() != new_type_info.get_output_srid())) {
3733  // run cast
3734  CHECK(geo_);
3735  if (!geo_->transform(get_type_info().get_input_srid(),
3736  new_type_info.get_output_srid())) {
3737  throw std::runtime_error("Failed to transform constant geometry: " + toString());
3738  }
3739  // The geo constant has been transformed but the new type info still encodes
3740  // a transform. Need to reset it and eliminate srid transition.
3741  cast_type_info.set_input_srid(new_type_info.get_output_srid());
3742  }
3743  return makeExpr<GeoConstant>(std::move(geo_), cast_type_info);
3744 }
std::string toString() const final
Definition: Analyzer.cpp:3660
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2555
void set_input_srid(int d)
Definition: sqltypes.h:433
const SQLTypeInfo & get_type_info() const
Definition: Analyzer.h:81
#define CHECK(condition)
Definition: Logger.h:223
HOST DEVICE int get_output_srid() const
Definition: sqltypes.h:335

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

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

3655  {
3656  CHECK(geo_);
3657  return makeExpr<GeoConstant>(geo_->clone(), type_info);
3658 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2555
SQLTypeInfo type_info
Definition: Analyzer.h:182
#define CHECK(condition)
Definition: Logger.h:223
std::string Analyzer::GeoConstant::getWKTString ( ) const

Definition at line 3668 of file Analyzer.cpp.

References CHECK, and geo_.

3668  {
3669  CHECK(geo_);
3670  return geo_->getWktString();
3671 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2555
#define CHECK(condition)
Definition: Logger.h:223
std::shared_ptr< Analyzer::Constant > Analyzer::GeoConstant::makePhysicalConstant ( const size_t  index) const

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

3696  {
3697  // TODO: handle bounds, etc
3698  const auto num_phys_coords = type_info.get_physical_coord_cols();
3699  CHECK_GE(num_phys_coords, 0);
3700  CHECK_LE(index, size_t(num_phys_coords));
3701  SQLTypeInfo ti = type_info;
3702 
3703  std::vector<double> coords;
3704  std::vector<double> bounds;
3705  std::vector<int> ring_sizes;
3706  std::vector<int> poly_rings;
3707 
3709  geo_->getWktString(), ti, coords, bounds, ring_sizes, poly_rings);
3710 
3711  switch (index) {
3712  case 0: // coords
3713  return Geospatial::convert_coords(coords, ti);
3714  case 1: // ring sizes
3715  return Geospatial::convert_rings(ring_sizes);
3716  case 2: // poly rings
3717  return Geospatial::convert_rings(poly_rings);
3718  default:
3719  UNREACHABLE();
3720  }
3721 
3722  UNREACHABLE();
3723  return nullptr;
3724 }
#define UNREACHABLE()
Definition: Logger.h:267
#define CHECK_GE(x, y)
Definition: Logger.h:236
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2555
SQLTypeInfo type_info
Definition: Analyzer.h:182
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:937
#define CHECK_LE(x, y)
Definition: Logger.h:234
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:375

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

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

3673  {
3674  if (typeid(rhs) != typeid(GeoConstant)) {
3675  return false;
3676  }
3677  const GeoConstant& rhs_c = dynamic_cast<const GeoConstant&>(rhs);
3678  if (type_info != rhs_c.get_type_info() /*|| is_null != rhs_c.get_is_null()*/) {
3679  return false;
3680  }
3681  /* TODO: constant nulls
3682  if (is_null && rhs_c.get_is_null()) {
3683  return true;
3684  }
3685 
3686  */
3687  return *geo_ == *rhs_c.geo_;
3688 }
GeoConstant(std::unique_ptr< Geospatial::GeoBase > &&geo, const SQLTypeInfo &ti)
Definition: Analyzer.cpp:3645
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2555
SQLTypeInfo type_info
Definition: Analyzer.h:182

+ Here is the call graph for this function:

size_t Analyzer::GeoConstant::physicalCols ( ) const

Definition at line 3690 of file Analyzer.cpp.

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

Referenced by CodeGenerator::codegenGeoConstant().

3690  {
3693 }
SQLTypeInfo type_info
Definition: Analyzer.h:182
#define CHECK(condition)
Definition: Logger.h:223
bool is_geometry() const
Definition: sqltypes.h:522
int get_physical_coord_cols() const
Definition: sqltypes.h:375

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

References CHECK, and geo_.

Referenced by add_cast().

3660  {
3661  std::string str{"(GeoConstant "};
3662  CHECK(geo_);
3663  str += geo_->getWktString();
3664  str += ") ";
3665  return str;
3666 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2555
#define CHECK(condition)
Definition: Logger.h:223

+ 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: