PostGIS  2.4.9dev-r@@SVN_REVISION@@

◆ covers()

Datum covers ( PG_FUNCTION_ARGS  )

Definition at line 2023 of file postgis/lwgeom_geos.c.

References PrepGeomCache::argnum, coveredby(), error_if_srid_mismatch(), errorIfGeometryCollection(), FALSE, gbox_contains_2d(), LWMPOINT::geoms, GetPrepGeomCache(), GetRtreeCache(), gserialized_get_gbox_p(), gserialized_get_srid(), gserialized_get_type(), gserialized_is_empty(), HANDLE_GEOS_ERROR, is_point(), is_poly(), LW_FALSE, LW_TRUE, lwgeom_as_lwmpoint(), lwgeom_as_lwpoint(), lwgeom_free(), lwgeom_from_gserialized(), lwgeom_geos_error(), lwmpoint_free(), MULTIPOINTTYPE, LWMPOINT::ngeoms, PG_FUNCTION_INFO_V1(), pip_short_circuit(), POINTTYPE, POSTGIS2GEOS(), and PrepGeomCache::prepared_geom.

Referenced by containsproperly(), lwt_AddPolygon(), and rt_raster_compute_skewed_raster().

2024 {
2025  GSERIALIZED *geom1;
2026  GSERIALIZED *geom2;
2027  int result;
2028  GBOX box1, box2;
2029  PrepGeomCache *prep_cache;
2030 
2031  geom1 = PG_GETARG_GSERIALIZED_P(0);
2032  geom2 = PG_GETARG_GSERIALIZED_P(1);
2033 
2034  /* A.Covers(Empty) == FALSE */
2035  if ( gserialized_is_empty(geom1) || gserialized_is_empty(geom2) )
2036  PG_RETURN_BOOL(false);
2037 
2038  errorIfGeometryCollection(geom1,geom2);
2040 
2041  /*
2042  * short-circuit 1: if geom2 bounding box is not completely inside
2043  * geom1 bounding box we can prematurely return FALSE.
2044  */
2045  if ( gserialized_get_gbox_p(geom1, &box1) &&
2046  gserialized_get_gbox_p(geom2, &box2) )
2047  {
2048  if ( ! gbox_contains_2d(&box1, &box2) )
2049  {
2050  PG_RETURN_BOOL(FALSE);
2051  }
2052  }
2053  /*
2054  * short-circuit 2: if geom2 is a point and geom1 is a polygon
2055  * call the point-in-polygon function.
2056  */
2057  if (is_poly(geom1) && is_point(geom2))
2058  {
2059  GSERIALIZED* gpoly = is_poly(geom1) ? geom1 : geom2;
2060  GSERIALIZED* gpoint = is_point(geom1) ? geom1 : geom2;
2061  RTREE_POLY_CACHE* cache = GetRtreeCache(fcinfo, gpoly);
2062  int retval;
2063 
2064  POSTGIS_DEBUG(3, "Point in Polygon test requested...short-circuiting.");
2065  if (gserialized_get_type(gpoint) == POINTTYPE)
2066  {
2067  LWGEOM* point = lwgeom_from_gserialized(gpoint);
2068  int pip_result = pip_short_circuit(cache, lwgeom_as_lwpoint(point), gpoly);
2069  lwgeom_free(point);
2070 
2071  retval = (pip_result != -1); /* not outside */
2072  }
2073  else if (gserialized_get_type(gpoint) == MULTIPOINTTYPE)
2074  {
2076  uint32_t i;
2077 
2078  retval = LW_TRUE;
2079  for (i = 0; i < mpoint->ngeoms; i++)
2080  {
2081  int pip_result = pip_short_circuit(cache, mpoint->geoms[i], gpoly);
2082  if (pip_result == -1)
2083  {
2084  retval = LW_FALSE;
2085  break;
2086  }
2087  }
2088 
2089  lwmpoint_free(mpoint);
2090  }
2091  else
2092  {
2093  /* Never get here */
2094  elog(ERROR,"Type isn't point or multipoint!");
2095  PG_RETURN_NULL();
2096  }
2097 
2098  PG_FREE_IF_COPY(geom1, 0);
2099  PG_FREE_IF_COPY(geom2, 1);
2100  PG_RETURN_BOOL(retval);
2101  }
2102  else
2103  {
2104  POSTGIS_DEBUGF(3, "Covers: type1: %d, type2: %d", gserialized_get_type(geom1), gserialized_get_type(geom2));
2105  }
2106 
2107  initGEOS(lwpgnotice, lwgeom_geos_error);
2108 
2109  prep_cache = GetPrepGeomCache( fcinfo, geom1, 0 );
2110 
2111  if ( prep_cache && prep_cache->prepared_geom && prep_cache->argnum == 1 )
2112  {
2113  GEOSGeometry *g1 = (GEOSGeometry *)POSTGIS2GEOS(geom2);
2114  if ( 0 == g1 ) /* exception thrown at construction */
2115  {
2116  HANDLE_GEOS_ERROR("First argument geometry could not be converted to GEOS");
2117  PG_RETURN_NULL();
2118  }
2119  result = GEOSPreparedCovers( prep_cache->prepared_geom, g1);
2120  GEOSGeom_destroy(g1);
2121  }
2122  else
2123  {
2124  GEOSGeometry *g1;
2125  GEOSGeometry *g2;
2126 
2127  g1 = (GEOSGeometry *)POSTGIS2GEOS(geom1);
2128  if ( 0 == g1 ) /* exception thrown at construction */
2129  {
2130  HANDLE_GEOS_ERROR("First argument geometry could not be converted to GEOS");
2131  PG_RETURN_NULL();
2132  }
2133  g2 = (GEOSGeometry *)POSTGIS2GEOS(geom2);
2134  if ( 0 == g2 ) /* exception thrown at construction */
2135  {
2136  HANDLE_GEOS_ERROR("Second argument geometry could not be converted to GEOS");
2137  GEOSGeom_destroy(g1);
2138  PG_RETURN_NULL();
2139  }
2140  result = GEOSRelatePattern( g1, g2, "******FF*" );
2141  GEOSGeom_destroy(g1);
2142  GEOSGeom_destroy(g2);
2143  }
2144 
2145  if (result == 2)
2146  {
2147  HANDLE_GEOS_ERROR("GEOSCovers");
2148  PG_RETURN_NULL(); /* never get here */
2149  }
2150 
2151  PG_FREE_IF_COPY(geom1, 0);
2152  PG_FREE_IF_COPY(geom2, 1);
2153 
2154  PG_RETURN_BOOL(result);
2155 
2156 }
int gserialized_get_gbox_p(const GSERIALIZED *g, GBOX *box)
Read the bounding box off a serialization and calculate one if it is not already there.
Definition: g_serialized.c:642
uint32_t gserialized_get_type(const GSERIALIZED *s)
Extract the geometry type from the serialized form (it hides in the anonymous data area...
Definition: g_serialized.c:86
PrepGeomCache * GetPrepGeomCache(FunctionCallInfo fcinfo, GSERIALIZED *g1, GSERIALIZED *g2)
Given a couple potential geometries and a function call context, return a prepared structure for one ...
const GEOSPreparedGeometry * prepared_geom
static char is_poly(const GSERIALIZED *g)
LWGEOM * lwgeom_from_gserialized(const GSERIALIZED *g)
Allocate a new LWGEOM from a GSERIALIZED.
void lwgeom_free(LWGEOM *geom)
Definition: lwgeom.c:1099
#define MULTIPOINTTYPE
Definition: liblwgeom.h:88
The tree structure used for fast P-i-P tests by point_in_multipolygon_rtree()
Definition: lwgeom_rtree.h:57
int gbox_contains_2d(const GBOX *g1, const GBOX *g2)
Return LW_TRUE if the first GBOX contains the second on the 2d plane, LW_FALSE otherwise.
Definition: g_box.c:351
void error_if_srid_mismatch(int srid1, int srid2)
Definition: lwutil.c:371
LWPOINT * lwgeom_as_lwpoint(const LWGEOM *lwgeom)
Definition: lwgeom.c:129
static char is_point(const GSERIALIZED *g)
int gserialized_is_empty(const GSERIALIZED *g)
Check if a GSERIALIZED is empty without deserializing first.
Definition: g_serialized.c:179
unsigned int uint32_t
Definition: uthash.h:78
void lwmpoint_free(LWMPOINT *mpt)
Definition: lwmpoint.c:72
void lwgeom_geos_error(const char *fmt,...)
#define LW_FALSE
Definition: liblwgeom.h:77
#define LW_TRUE
Return types for functions with status returns.
Definition: liblwgeom.h:76
LWPOINT ** geoms
Definition: liblwgeom.h:470
#define FALSE
Definition: dbfopen.c:168
GEOSGeometry * POSTGIS2GEOS(GSERIALIZED *pglwgeom)
#define POINTTYPE
LWTYPE numbers, used internally by PostGIS.
Definition: liblwgeom.h:85
LWMPOINT * lwgeom_as_lwmpoint(const LWGEOM *lwgeom)
Definition: lwgeom.c:201
#define HANDLE_GEOS_ERROR(label)
RTREE_POLY_CACHE * GetRtreeCache(FunctionCallInfo fcinfo, GSERIALIZED *g1)
Checks for a cache hit against the provided geometry and returns a pre-built index structure (RTREE_P...
Definition: lwgeom_rtree.c:432
int ngeoms
Definition: liblwgeom.h:468
int32_t gserialized_get_srid(const GSERIALIZED *s)
Extract the SRID from the serialized form (it is packed into three bytes so this is a handy function)...
Definition: g_serialized.c:100
static int pip_short_circuit(RTREE_POLY_CACHE *poly_cache, LWPOINT *point, GSERIALIZED *gpoly)
void errorIfGeometryCollection(GSERIALIZED *g1, GSERIALIZED *g2)
Throws an ereport ERROR if either geometry is a COLLECTIONTYPE.
Here is the call graph for this function:
Here is the caller graph for this function: