OmniSciDB  c1a53651b2
 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 (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
 

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

Constructor & Destructor Documentation

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

Definition at line 3820 of file Analyzer.cpp.

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

3822  : GeoExpr(ti), geo_(std::move(geo)) {
3823  CHECK(geo_);
3824  if (get_ti_from_geo(geo_.get()) != ti.get_type()) {
3825  throw std::runtime_error("Conflicting types for geo data " + geo_->getWktString() +
3826  " (type provided: " + ti.get_type_name() + ")");
3827  }
3828 }
HOST DEVICE SQLTypes get_type() const
Definition: sqltypes.h:381
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2918
std::string get_type_name() const
Definition: sqltypes.h:507
#define CHECK(condition)
Definition: Logger.h:291
SQLTypes get_ti_from_geo(const Geospatial::GeoBase *geo)
Definition: Analyzer.cpp:3790
GeoExpr(const SQLTypeInfo &ti)
Definition: Analyzer.h:2862

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

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

3901  {
3902  // TODO: we should eliminate the notion of input and output SRIDs on a type. A type can
3903  // only have 1 SRID. A cast or transforms changes the SRID of the type.
3904  // NOTE: SRID 0 indicates set srid, skip cast
3905  SQLTypeInfo cast_type_info = new_type_info;
3906  if (!(get_type_info().get_input_srid() == 0) &&
3907  (get_type_info().get_input_srid() != new_type_info.get_output_srid())) {
3908  // run cast
3909  CHECK(geo_);
3910  if (!geo_->transform(get_type_info().get_input_srid(),
3911  new_type_info.get_output_srid())) {
3912  throw std::runtime_error("Failed to transform constant geometry: " + toString());
3913  }
3914  // The geo constant has been transformed but the new type info still encodes
3915  // a transform. Need to reset it and eliminate srid transition.
3916  cast_type_info.set_input_srid(new_type_info.get_output_srid());
3917  }
3918  return makeExpr<GeoConstant>(std::move(geo_), cast_type_info);
3919 }
std::string toString() const final
Definition: Analyzer.cpp:3835
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2918
void set_input_srid(int d)
Definition: sqltypes.h:497
const SQLTypeInfo & get_type_info() const
Definition: Analyzer.h:79
#define CHECK(condition)
Definition: Logger.h:291
HOST DEVICE int get_output_srid() const
Definition: sqltypes.h:387

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

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

3830  {
3831  CHECK(geo_);
3832  return makeExpr<GeoConstant>(geo_->clone(), type_info);
3833 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2918
SQLTypeInfo type_info
Definition: Analyzer.h:180
#define CHECK(condition)
Definition: Logger.h:291
std::string Analyzer::GeoConstant::getWKTString ( ) const

Definition at line 3843 of file Analyzer.cpp.

References CHECK, and geo_.

3843  {
3844  CHECK(geo_);
3845  return geo_->getWktString();
3846 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2918
#define CHECK(condition)
Definition: Logger.h:291
std::shared_ptr< Analyzer::Constant > Analyzer::GeoConstant::makePhysicalConstant ( const size_t  index) const

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

3871  {
3872  // TODO: handle bounds, etc
3873  const auto num_phys_coords = type_info.get_physical_coord_cols();
3874  CHECK_GE(num_phys_coords, 0);
3875  CHECK_LE(index, size_t(num_phys_coords));
3876  SQLTypeInfo ti = type_info;
3877 
3878  std::vector<double> coords;
3879  std::vector<double> bounds;
3880  std::vector<int> ring_sizes; // also linestring_sizes
3881  std::vector<int> poly_rings;
3882 
3884  geo_->getWktString(), ti, coords, bounds, ring_sizes, poly_rings);
3885 
3886  switch (index) {
3887  case 0: // coords
3888  return Geospatial::convert_coords(coords, ti);
3889  case 1: // ring sizes
3890  return Geospatial::convert_rings(ring_sizes);
3891  case 2: // poly rings
3892  return Geospatial::convert_rings(poly_rings);
3893  default:
3894  UNREACHABLE();
3895  }
3896 
3897  UNREACHABLE();
3898  return nullptr;
3899 }
#define UNREACHABLE()
Definition: Logger.h:337
#define CHECK_GE(x, y)
Definition: Logger.h:306
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2918
SQLTypeInfo type_info
Definition: Analyzer.h:180
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:304
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:433

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

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

3848  {
3849  if (typeid(rhs) != typeid(GeoConstant)) {
3850  return false;
3851  }
3852  const GeoConstant& rhs_c = dynamic_cast<const GeoConstant&>(rhs);
3853  if (type_info != rhs_c.get_type_info() /*|| is_null != rhs_c.get_is_null()*/) {
3854  return false;
3855  }
3856  /* TODO: constant nulls
3857  if (is_null && rhs_c.get_is_null()) {
3858  return true;
3859  }
3860 
3861  */
3862  return *geo_ == *rhs_c.geo_;
3863 }
GeoConstant(std::unique_ptr< Geospatial::GeoBase > &&geo, const SQLTypeInfo &ti)
Definition: Analyzer.cpp:3820
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2918
SQLTypeInfo type_info
Definition: Analyzer.h:180

+ Here is the call graph for this function:

size_t Analyzer::GeoConstant::physicalCols ( ) const

Definition at line 3865 of file Analyzer.cpp.

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

Referenced by CodeGenerator::codegenGeoConstant().

3865  {
3868 }
SQLTypeInfo type_info
Definition: Analyzer.h:180
#define CHECK(condition)
Definition: Logger.h:291
bool is_geometry() const
Definition: sqltypes.h:592
int get_physical_coord_cols() const
Definition: sqltypes.h:433

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

References CHECK, and geo_.

Referenced by add_cast().

3835  {
3836  std::string str{"(GeoConstant "};
3837  CHECK(geo_);
3838  str += geo_->getWktString();
3839  str += ") ";
3840  return str;
3841 }
std::unique_ptr< Geospatial::GeoBase > geo_
Definition: Analyzer.h:2918
#define CHECK(condition)
Definition: Logger.h:291

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