PostGIS  2.5.0dev-r@@SVN_REVISION@@
Datum coveredby ( PG_FUNCTION_ARGS  )

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

References error_if_srid_mismatch(), errorIfGeometryCollection(), gbox_contains_2d(), LWMPOINT::geoms, 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, pip_short_circuit(), POINTTYPE, and POSTGIS2GEOS().

2179 {
2180  GSERIALIZED *geom1;
2181  GSERIALIZED *geom2;
2182  GEOSGeometry *g1, *g2;
2183  int result;
2184  GBOX box1, box2;
2185  char *patt = "**F**F***";
2186 
2187  geom1 = PG_GETARG_GSERIALIZED_P(0);
2188  geom2 = PG_GETARG_GSERIALIZED_P(1);
2189 
2190  errorIfGeometryCollection(geom1,geom2);
2192 
2193  /* A.CoveredBy(Empty) == FALSE */
2194  if ( gserialized_is_empty(geom1) || gserialized_is_empty(geom2) )
2195  PG_RETURN_BOOL(false);
2196 
2197  /*
2198  * short-circuit 1: if geom1 bounding box is not completely inside
2199  * geom2 bounding box we can prematurely return FALSE.
2200  */
2201  if ( gserialized_get_gbox_p(geom1, &box1) &&
2202  gserialized_get_gbox_p(geom2, &box2) )
2203  {
2204  if ( ! gbox_contains_2d(&box2, &box1) )
2205  {
2206  PG_RETURN_BOOL(false);
2207  }
2208 
2209  POSTGIS_DEBUG(3, "bounding box short-circuit missed.");
2210  }
2211  /*
2212  * short-circuit 2: if geom1 is a point and geom2 is a polygon
2213  * call the point-in-polygon function.
2214  */
2215  if (is_point(geom1) && is_poly(geom2))
2216  {
2217  GSERIALIZED* gpoly = is_poly(geom1) ? geom1 : geom2;
2218  GSERIALIZED* gpoint = is_point(geom1) ? geom1 : geom2;
2219  RTREE_POLY_CACHE* cache = GetRtreeCache(fcinfo, gpoly);
2220  int retval;
2221 
2222  POSTGIS_DEBUG(3, "Point in Polygon test requested...short-circuiting.");
2223  if (gserialized_get_type(gpoint) == POINTTYPE)
2224  {
2225  LWGEOM* point = lwgeom_from_gserialized(gpoint);
2226  int pip_result = pip_short_circuit(cache, lwgeom_as_lwpoint(point), gpoly);
2227  lwgeom_free(point);
2228 
2229  retval = (pip_result != -1); /* not outside */
2230  }
2231  else if (gserialized_get_type(gpoint) == MULTIPOINTTYPE)
2232  {
2234  uint32_t i;
2235 
2236  retval = LW_TRUE;
2237  for (i = 0; i < mpoint->ngeoms; i++)
2238  {
2239  int pip_result = pip_short_circuit(cache, mpoint->geoms[i], gpoly);
2240  if (pip_result == -1)
2241  {
2242  retval = LW_FALSE;
2243  break;
2244  }
2245  }
2246 
2247  lwmpoint_free(mpoint);
2248  }
2249  else
2250  {
2251  /* Never get here */
2252  elog(ERROR,"Type isn't point or multipoint!");
2253  PG_RETURN_NULL();
2254  }
2255 
2256  PG_FREE_IF_COPY(geom1, 0);
2257  PG_FREE_IF_COPY(geom2, 1);
2258  PG_RETURN_BOOL(retval);
2259  }
2260  else
2261  {
2262  POSTGIS_DEBUGF(3, "CoveredBy: type1: %d, type2: %d", gserialized_get_type(geom1), gserialized_get_type(geom2));
2263  }
2264 
2265  initGEOS(lwpgnotice, lwgeom_geos_error);
2266 
2267  g1 = (GEOSGeometry *)POSTGIS2GEOS(geom1);
2268 
2269  if ( 0 == g1 ) /* exception thrown at construction */
2270  {
2271  HANDLE_GEOS_ERROR("First argument geometry could not be converted to GEOS");
2272  PG_RETURN_NULL();
2273  }
2274 
2275  g2 = (GEOSGeometry *)POSTGIS2GEOS(geom2);
2276 
2277  if ( 0 == g2 ) /* exception thrown at construction */
2278  {
2279  HANDLE_GEOS_ERROR("Second argument geometry could not be converted to GEOS");
2280  GEOSGeom_destroy(g1);
2281  PG_RETURN_NULL();
2282  }
2283 
2284  result = GEOSRelatePattern(g1,g2,patt);
2285 
2286  GEOSGeom_destroy(g1);
2287  GEOSGeom_destroy(g2);
2288 
2289  if (result == 2)
2290  {
2291  HANDLE_GEOS_ERROR("GEOSCoveredBy");
2292  PG_RETURN_NULL(); /* never get here */
2293  }
2294 
2295  PG_FREE_IF_COPY(geom1, 0);
2296  PG_FREE_IF_COPY(geom2, 1);
2297 
2298  PG_RETURN_BOOL(result);
2299 }
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:639
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
uint32_t ngeoms
Definition: liblwgeom.h:467
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:1137
#define MULTIPOINTTYPE
Definition: liblwgeom.h:87
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:338
LWPOINT * lwgeom_as_lwpoint(const LWGEOM *lwgeom)
Definition: lwgeom.c:160
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:178
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:76
#define LW_TRUE
Return types for functions with status returns.
Definition: liblwgeom.h:75
LWPOINT ** geoms
Definition: liblwgeom.h:469
GEOSGeometry * POSTGIS2GEOS(GSERIALIZED *pglwgeom)
#define POINTTYPE
LWTYPE numbers, used internally by PostGIS.
Definition: liblwgeom.h:84
LWMPOINT * lwgeom_as_lwmpoint(const LWGEOM *lwgeom)
Definition: lwgeom.c:232
#define HANDLE_GEOS_ERROR(label)
RTREE_POLY_CACHE * GetRtreeCache(FunctionCallInfoData *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
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:99
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: