OmniSciDB  6686921089
 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 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 1875 of file Analyzer.h.

Constructor & Destructor Documentation

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

Definition at line 3482 of file Analyzer.cpp.

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

3484  : GeoExpr(ti), geo_(std::move(geo)) {
3485  CHECK(geo_);
3486  if (get_ti_from_geo(geo_.get()) != ti.get_type()) {
3487  throw std::runtime_error("Conflicting types for geo data " + geo_->getWktString() +
3488  " (type provided: " + ti.get_type_name() + ")");
3489  }
3490 }
HOST DEVICE SQLTypes get_type() const
Definition: sqltypes.h:329
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:1894
std::string get_type_name() const
Definition: sqltypes.h:432
#define CHECK(condition)
Definition: Logger.h:209
SQLTypes get_ti_from_geo(const Geospatial::GeoBase *geo)
Definition: Analyzer.cpp:3458
GeoExpr(const SQLTypeInfo &ti)
Definition: Analyzer.h:1836

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

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

3563  {
3564  // TODO: we should eliminate the notion of input and output SRIDs on a type. A type can
3565  // only have 1 SRID. A cast or transforms changes the SRID of the type.
3566  // NOTE: SRID 0 indicates set srid, skip cast
3567  if (!(get_type_info().get_input_srid() == 0) &&
3568  (get_type_info().get_input_srid() != new_type_info.get_output_srid())) {
3569  // run cast
3570  CHECK(geo_);
3571  if (!geo_->transform(get_type_info().get_input_srid(),
3572  new_type_info.get_output_srid())) {
3573  throw std::runtime_error("Failed to transform constant geometry: " + toString());
3574  }
3575  }
3576  return makeExpr<GeoConstant>(std::move(geo_), new_type_info);
3577 }
std::string toString() const final
Definition: Analyzer.cpp:3497
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:1894
const SQLTypeInfo & get_type_info() const
Definition: Analyzer.h:77
#define CHECK(condition)
Definition: Logger.h:209
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 3492 of file Analyzer.cpp.

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

3492  {
3493  CHECK(geo_);
3494  return makeExpr<GeoConstant>(geo_->clone(), type_info);
3495 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:1894
SQLTypeInfo type_info
Definition: Analyzer.h:175
#define CHECK(condition)
Definition: Logger.h:209
std::string Analyzer::GeoConstant::getWKTString ( ) const

Definition at line 3505 of file Analyzer.cpp.

References CHECK, and geo_.

3505  {
3506  CHECK(geo_);
3507  return geo_->getWktString();
3508 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:1894
#define CHECK(condition)
Definition: Logger.h:209
std::shared_ptr< Analyzer::Constant > Analyzer::GeoConstant::makePhysicalConstant ( const size_t  index) const

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

3533  {
3534  // TODO: handle bounds, etc
3535  const auto num_phys_coords = type_info.get_physical_coord_cols();
3536  CHECK_GE(num_phys_coords, 0);
3537  CHECK_LE(index, size_t(num_phys_coords));
3538  SQLTypeInfo ti = type_info;
3539 
3540  std::vector<double> coords;
3541  std::vector<double> bounds;
3542  std::vector<int> ring_sizes;
3543  std::vector<int> poly_rings;
3544 
3546  geo_->getWktString(), ti, coords, bounds, ring_sizes, poly_rings);
3547 
3548  switch (index) {
3549  case 0: // coords
3550  return Geospatial::convert_coords(coords, ti);
3551  case 1: // ring sizes
3552  return Geospatial::convert_rings(ring_sizes);
3553  case 2: // poly rings
3554  return Geospatial::convert_rings(poly_rings);
3555  default:
3556  UNREACHABLE();
3557  }
3558 
3559  UNREACHABLE();
3560  return nullptr;
3561 }
#define UNREACHABLE()
Definition: Logger.h:253
#define CHECK_GE(x, y)
Definition: Logger.h:222
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:1894
SQLTypeInfo type_info
Definition: Analyzer.h:175
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:220
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:365

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

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

3510  {
3511  if (typeid(rhs) != typeid(GeoConstant)) {
3512  return false;
3513  }
3514  const GeoConstant& rhs_c = dynamic_cast<const GeoConstant&>(rhs);
3515  if (type_info != rhs_c.get_type_info() /*|| is_null != rhs_c.get_is_null()*/) {
3516  return false;
3517  }
3518  /* TODO: constant nulls
3519  if (is_null && rhs_c.get_is_null()) {
3520  return true;
3521  }
3522 
3523  */
3524  return *geo_ == *rhs_c.geo_;
3525 }
GeoConstant(std::unique_ptr< Geospatial::GeoBase > &&geo, const SQLTypeInfo &ti)
Definition: Analyzer.cpp:3482
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:1894
SQLTypeInfo type_info
Definition: Analyzer.h:175

+ Here is the call graph for this function:

size_t Analyzer::GeoConstant::physicalCols ( ) const

Definition at line 3527 of file Analyzer.cpp.

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

Referenced by CodeGenerator::codegenGeoConstant().

3527  {
3530 }
SQLTypeInfo type_info
Definition: Analyzer.h:175
#define CHECK(condition)
Definition: Logger.h:209
bool is_geometry() const
Definition: sqltypes.h:521
int get_physical_coord_cols() const
Definition: sqltypes.h:365

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

References CHECK, and geo_.

Referenced by add_cast().

3497  {
3498  std::string str{"(GeoConstant "};
3499  CHECK(geo_);
3500  str += geo_->getWktString();
3501  str += ") ";
3502  return str;
3503 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:1894
#define CHECK(condition)
Definition: Logger.h:209

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