PostGIS  3.2.2dev-r@@SVN_REVISION@@

◆ lwt_GetFaceContainingPoint()

LWT_ELEMID lwt_GetFaceContainingPoint ( LWT_TOPOLOGY topo,
const LWPOINT pt 
)

Find the face-id of the face properly containing a given point.

Parameters
topothe topology to operate on
pointthe point to use for query
Returns
a face identifier if one is found (0 if universe), -1 on error (point intersects non-dangling edge). The liblwgeom error handler will be invoked in case of error.

Definition at line 7107 of file lwgeom_topo.c.

7108 {
7109  LWT_ISO_EDGE* closestEdge;
7110  LWT_ISO_EDGE* edges;
7111  uint64_t numedges, i;
7112  const POINT2D *queryPoint;
7113  const POINT2D *closestPointOnEdge = NULL;
7114  uint32_t closestSegmentIndex;
7115  int closestSegmentSide;
7116  uint32_t closestPointVertex;
7117  const POINT2D *closestSegmentP0, *closestSegmentP1;
7118  LWT_ELEMID closestNode = 0;
7119  double dist;
7120  int containingFace = -1;
7121 
7122  closestEdge = lwt_be_getClosestEdge( topo, pt, &numedges,
7129  );
7130  if (numedges == UINT64_MAX)
7131  {
7132  lwerror("Backend error: %s", lwt_be_lastErrorMessage(topo->be_iface));
7133  /* cberror(topo->be_data, "Error from cb_getClosestEdge"); */
7134  return -1;
7135  }
7136  if (numedges == 0)
7137  {
7138  /* If there are no edges the point is in the universal face */
7139  return 0;
7140  }
7141 
7142  if ( closestEdge->face_left < 0 )
7143  {
7144  lwerror("Closest edge %" LWTFMT_ELEMID " has invalid face %" LWTFMT_ELEMID
7145  " on its left side", closestEdge->edge_id, closestEdge->face_left);
7146  _lwt_release_edges(closestEdge, 1);
7147  return -1;
7148  }
7149 
7150  if ( closestEdge->face_right < 0 )
7151  {
7152  lwerror("Closest edge %" LWTFMT_ELEMID " has invalid face %" LWTFMT_ELEMID
7153  " on its right side", closestEdge->edge_id, closestEdge->face_right);
7154  _lwt_release_edges(closestEdge, 1);
7155  return -1;
7156  }
7157 
7158  if ( closestEdge->geom->points->npoints < 2 )
7159  {
7160  lwerror("Corrupted topology: geometry of edge %" LWTFMT_ELEMID " is EMPTY",
7161  closestEdge->edge_id);
7162  _lwt_release_edges(closestEdge, 1);
7163  return -1;
7164  }
7165 
7166  LWDEBUGGF(2, lwline_as_lwgeom(closestEdge->geom), "Closest edge %" LWTFMT_ELEMID, closestEdge->edge_id);
7167 
7168  /* Find closest segment of edge to the point */
7169  queryPoint = getPoint2d_cp(pt->point, 0);
7170  closestSegmentIndex = ptarray_closest_segment_2d(closestEdge->geom->points, queryPoint, &dist);
7171  LWDEBUGF(1, "Closest segment on edge %" LWTFMT_ELEMID " is %d (dist %g)", closestEdge->edge_id, closestSegmentIndex, dist);
7172  closestSegmentP0 = getPoint2d_cp(closestEdge->geom->points, closestSegmentIndex);
7173  closestSegmentP1 = getPoint2d_cp(closestEdge->geom->points, closestSegmentIndex + 1);
7174  LWDEBUGF(1, "Closest segment on edge %" LWTFMT_ELEMID " is LINESTRING(%g %g, %g %g)",
7175  closestEdge->edge_id,
7176  closestSegmentP0->x,
7177  closestSegmentP0->y,
7178  closestSegmentP1->x,
7179  closestSegmentP1->y
7180  );
7181 
7182  /*
7183  * We use comp.graphics.algorithms Frequently Asked Questions method
7184  *
7185  * (1) AC dot AB
7186  * r = ----------
7187  * ||AB||^2
7188  * r has the following meaning:
7189  * r=0 P = A
7190  * r=1 P = B
7191  * r<0 P is on the backward extension of AB
7192  * r>1 P is on the forward extension of AB
7193  * 0<r<1 P is interior to AB
7194  *
7195  */
7196  const POINT2D *p = queryPoint;
7197  const POINT2D *A = closestSegmentP0;
7198  const POINT2D *B = closestSegmentP1;
7199  double r = ( (p->x-A->x) * (B->x-A->x) + (p->y-A->y) * (B->y-A->y) )/( (B->x-A->x)*(B->x-A->x) +(B->y-A->y)*(B->y-A->y) );
7200  if ( r <= 0 )
7201  {
7202  closestPointOnEdge = A;
7203  closestPointVertex = closestSegmentIndex;
7204  if ( closestSegmentIndex == 0 )
7205  {
7206  closestNode = closestEdge->start_node;
7207  }
7208  }
7209  else if (r >= 1 )
7210  {
7211  closestPointOnEdge = B;
7212  closestPointVertex = closestSegmentIndex + 1;
7213  if ( closestSegmentIndex + 2 == closestEdge->geom->points->npoints )
7214  {
7215  closestNode = closestEdge->end_node;
7216  }
7217  }
7218  else
7219  {
7220  closestPointVertex = closestEdge->geom->points->npoints;
7221  }
7222 
7223  if ( closestNode != 0 )
7224  {
7225  LWDEBUGF(1, "Closest point is node %d", closestNode);
7226  if ( dist == 0 )
7227  {
7228  LWDEBUGF(1, "Query point is node %d", closestNode);
7229  /* Query point is the node
7230  *
7231  * If all edges incident to the node are
7232  * dangling, we can return their common
7233  * side face, otherwise the point will be
7234  * on multiple face boundaries
7235  */
7236  if ( closestEdge->face_left != closestEdge->face_right )
7237  {
7238  _lwt_release_edges(closestEdge, 1);
7239  lwerror("Two or more faces found");
7240  return -1;
7241  }
7242  containingFace = closestEdge->face_left;
7243 
7244  /* Check other incident edges */
7245  numedges = 1;
7246  edges = lwt_be_getEdgeByNode( topo, &closestNode, &numedges, LWT_COL_EDGE_FACE_LEFT|LWT_COL_EDGE_FACE_RIGHT );
7247  if (numedges == UINT64_MAX)
7248  {
7249  lwerror("Backend error from getEdgeByNode: %s", lwt_be_lastErrorMessage(topo->be_iface));
7250  /* cberror(topo->be_data, "Error from cb_getClosestEdge"); */
7251  _lwt_release_edges(closestEdge, 1);
7252  return -1;
7253  }
7254  for (i=0; i<numedges; ++i)
7255  {
7256  if ( edges[i].face_left != containingFace ||
7257  edges[i].face_right != containingFace )
7258  {
7259  _lwt_release_edges(edges, numedges);
7260  _lwt_release_edges(closestEdge, 1);
7261  lwerror("Two or more faces found");
7262  return -1;
7263  }
7264  }
7265  if (numedges < 1 )
7266  {
7267  lwerror("Unexpected backend return: getEdgeByNode(%d) returns no edges when we previously found edge %d ending on that node",
7268  closestNode, closestEdge->edge_id);
7269  _lwt_release_edges(edges, numedges);
7270  _lwt_release_edges(closestEdge, 1);
7271  return -1;
7272  }
7273  LWDEBUGF(1, "lwt_be_getEdgeByNode returned %d edges", numedges);
7274  _lwt_release_edges(edges, numedges);
7275  _lwt_release_edges(closestEdge, 1);
7276  return containingFace;
7277  }
7278 
7279  /* Closest point is a node, but query point is NOT on the node */
7280 
7281  /* let's do azimuth computation */
7282  edgeend ee;
7283  if ( ! azimuth_pt_pt(closestPointOnEdge, queryPoint, &ee.myaz) ) {
7284  lwerror("error computing azimuth of query point [%.15g %.15g,%.15g %.15g]",
7285  closestPointOnEdge->x, closestPointOnEdge->y,
7286  queryPoint->x, queryPoint->y);
7287  _lwt_release_edges(closestEdge, 1);
7288  return -1;
7289  }
7290 
7291  LWDEBUGF(1, "Query point azimuth is %g", ee.myaz);
7292 
7293  int found = _lwt_FindAdjacentEdges( topo, closestNode, &ee, NULL, -1 );
7294  if ( ! found ) {
7295  lwerror("Unexpected backend return: _lwt_FindAdjacentEdges(%d) found no edges when we previously found edge %d ending on that node",
7296  closestNode, closestEdge->edge_id);
7297  _lwt_release_edges(closestEdge, 1);
7298  return -1;
7299  }
7300 
7301  _lwt_release_edges(closestEdge, 1);
7302  return ee.cwFace;
7303 
7304  }
7305 
7306  LWDEBUG(1, "Closest point is NOT a node");
7307 
7308  /* If this edge has the same face on the left and right sides
7309  * we found the face containing our query point */
7310  if ( closestEdge->face_left == closestEdge->face_right )
7311  {
7312  containingFace = closestEdge->face_left;
7313  _lwt_release_edges(closestEdge, 1);
7314  return containingFace;
7315  }
7316 
7317  if ( dist == 0 )
7318  {
7319  /* We checked the dangling case above */
7320  _lwt_release_edges(closestEdge, 1);
7321  lwerror("Two or more faces found");
7322  return -1;
7323  }
7324 
7325  /* Find on which side of the segment the query point lays */
7326  if ( closestPointVertex != closestEdge->geom->points->npoints )
7327  {
7328  /* Closest point is a vertex of the closest segment */
7329  LWDEBUGF(1, "Closest point is vertex %d of closest segment", closestPointVertex);
7330 
7331  /*
7332  * We need to check if rotating clockwise the line
7333  * from previous vertex to closest vertex clockwise
7334  * around the closest vertex encounters
7335  * the line to query point first (which means it's on the left
7336  * of the closest edge) or the line to next vertex first (which
7337  * means the query point is on the right)
7338  */
7339 
7340  uint32_t prevVertexIndex = closestPointVertex > 0 ?
7341  closestPointVertex - 1u :
7342  closestEdge->geom->points->npoints - 2u; /* last vertex would be == first vertex, this being a closed edge */
7343 
7344  const POINT2D *prevVertex = getPoint2d_cp(
7345  closestEdge->geom->points,
7346  prevVertexIndex
7347  );
7348 
7349  LWDEBUGF(1, "Previous vertex %u is POINT(%.15g %.15g)",
7350  prevVertexIndex,
7351  prevVertex->x,
7352  prevVertex->y
7353  );
7354 
7355  uint32_t nextVertexIndex = closestPointVertex == closestEdge->geom->points->npoints - 1u ?
7356  1u : /* first point would be == last point, this being a closed edge */
7357  closestPointVertex + 1u;
7358 
7359  const POINT2D *nextVertex = getPoint2d_cp(
7360  closestEdge->geom->points,
7361  nextVertexIndex
7362  );
7363 
7364  LWDEBUGF(1, "Next vertex %u is POINT(%.15g %.15g)",
7365  nextVertexIndex,
7366  nextVertex->x,
7367  nextVertex->y
7368  );
7369 
7370 
7371  double azS0; /* azimuth from previous vertex to closestPointVertex */
7372  double azS1; /* azimuth from closestPointVertex to next vertex */
7373  double azSL; /* azimuth from closestPointVertex to query point */
7374 
7375  if ( ! azimuth_pt_pt(closestPointOnEdge, prevVertex, &azS0)) {
7376  lwerror("error computing azimuth of segment to closest point [%.15g %.15g,%.15g %.15g]",
7377  closestPointOnEdge->x, closestPointOnEdge->y,
7378  prevVertex->x, prevVertex->y);
7379  _lwt_release_edges(closestEdge, 1);
7380  return -1;
7381  }
7382  if ( ! azimuth_pt_pt(closestPointOnEdge, nextVertex, &azS1)) {
7383  lwerror("error computing azimuth of segment from closest point [%.15g %.15g,%.15g %.15g]",
7384  closestPointOnEdge->x, closestPointOnEdge->y,
7385  nextVertex->x, nextVertex->y);
7386  _lwt_release_edges(closestEdge, 1);
7387  return -1;
7388  }
7389  if ( ! azimuth_pt_pt(closestPointOnEdge, queryPoint, &azSL) ) {
7390  lwerror("error computing azimuth of queryPoint [%.15g %.15g,%.15g %.15g]",
7391  closestPointOnEdge->x, closestPointOnEdge->y,
7392  queryPoint->x, queryPoint->y);
7393  _lwt_release_edges(closestEdge, 1);
7394  return -1;
7395  }
7396 
7397  double angle_S0_S1 = azS1 - azS0;
7398  if ( angle_S0_S1 < 0 ) angle_S0_S1 += 2 * M_PI;
7399 
7400  double angle_S0_SL = azSL - azS0;
7401  if ( angle_S0_SL < 0 ) angle_S0_SL += 2 * M_PI;
7402 
7403  LWDEBUGF(1, "Azimuths from closest (vertex) point: P:%g, N:%g (+%g), Q:%g (+%g)",
7404  azS0,
7405  azS1, angle_S0_S1,
7406  azSL, angle_S0_SL
7407  );
7408  if ( angle_S0_SL < angle_S0_S1 )
7409  {
7410  /* line to query point was encountered first, is on the left */
7411  containingFace = closestEdge->face_left;
7412  }
7413  else
7414  {
7415  /* line to query point was NOT encountered first, is on the right */
7416  containingFace = closestEdge->face_right;
7417  }
7418  }
7419  else
7420  {
7421  /* Closest point is internal to closest segment, we can use
7422  * lw_segment_side */
7423 
7424  LWDEBUGF(1, "Closest point is internal to closest segment, calling lw_segment_side((%g,%g),(%g,%g),(%g,%g)",
7425  closestSegmentP0->x,
7426  closestSegmentP0->y,
7427  closestSegmentP1->x,
7428  closestSegmentP1->y,
7429  queryPoint->x,
7430  queryPoint->y
7431  );
7432 
7433  closestSegmentSide = lw_segment_side(closestSegmentP0, closestSegmentP1, queryPoint);
7434  LWDEBUGF(1, "Side of closest segment query point falls on: %d", closestSegmentSide);
7435 
7436  if ( closestSegmentSide == -1 ) /* left */
7437  {
7438  containingFace = closestEdge->face_left;
7439  }
7440  else if ( closestSegmentSide == 1 ) /* right */
7441  {
7442  containingFace = closestEdge->face_right;
7443  }
7444  else
7445  {
7446  lwerror("Unexpected collinearity reported from lw_segment_side");
7447  _lwt_release_edges(closestEdge, 1);
7448  return -1;
7449  }
7450 
7451  }
7452 
7453  _lwt_release_edges(closestEdge, 1);
7454  return containingFace;
7455 }
char * r
Definition: cu_in_wkt.c:24
LWGEOM * lwline_as_lwgeom(const LWLINE *obj)
Definition: lwgeom.c:322
int ptarray_closest_segment_2d(const POINTARRAY *pa, const POINT2D *qp, double *dist)
Definition: ptarray.c:1307
int azimuth_pt_pt(const POINT2D *p1, const POINT2D *p2, double *ret)
Compute the azimuth of segment AB in radians.
Definition: measures.c:2461
int lw_segment_side(const POINT2D *p1, const POINT2D *p2, const POINT2D *q)
lw_segment_side()
Definition: lwalgorithm.c:65
#define LWT_COL_EDGE_FACE_RIGHT
LWT_INT64 LWT_ELEMID
Identifier of topology element.
#define LWT_COL_EDGE_START_NODE
#define LWT_COL_EDGE_FACE_LEFT
#define LWT_COL_EDGE_EDGE_ID
Edge fields.
#define LWT_COL_EDGE_END_NODE
#define LWT_COL_EDGE_GEOM
#define LWDEBUG(level, msg)
Definition: lwgeom_log.h:83
#define LWDEBUGF(level, msg,...)
Definition: lwgeom_log.h:88
void lwerror(const char *fmt,...)
Write a notice out to the error handler.
Definition: lwutil.c:190
#define LWDEBUGGF(level, geom, fmt,...)
Definition: lwgeom_log.h:98
const char * lwt_be_lastErrorMessage(const LWT_BE_IFACE *be)
Definition: lwgeom_topo.c:119
static LWT_ISO_EDGE * lwt_be_getEdgeByNode(LWT_TOPOLOGY *topo, const LWT_ELEMID *ids, uint64_t *numelems, int fields)
Definition: lwgeom_topo.c:232
static LWT_ISO_EDGE * lwt_be_getClosestEdge(const LWT_TOPOLOGY *topo, const LWPOINT *pt, uint64_t *numelems, int fields)
Definition: lwgeom_topo.c:410
static int _lwt_FindAdjacentEdges(LWT_TOPOLOGY *topo, LWT_ELEMID node, edgeend *data, edgeend *other, int myedge_id)
Definition: lwgeom_topo.c:1530
#define LWTFMT_ELEMID
Definition: lwgeom_topo.c:43
static void _lwt_release_edges(LWT_ISO_EDGE *edges, int num_edges)
Definition: lwgeom_topo.c:459
static const POINT2D * getPoint2d_cp(const POINTARRAY *pa, uint32_t n)
Returns a POINT2D pointer into the POINTARRAY serialized_ptlist, suitable for reading from.
Definition: lwinline.h:101
POINTARRAY * points
Definition: liblwgeom.h:497
POINTARRAY * point
Definition: liblwgeom.h:485
LWT_ELEMID face_right
LWT_ELEMID end_node
LWT_ELEMID face_left
LWLINE * geom
LWT_ELEMID edge_id
LWT_ELEMID start_node
const LWT_BE_IFACE * be_iface
double y
Definition: liblwgeom.h:404
double x
Definition: liblwgeom.h:404
uint32_t npoints
Definition: liblwgeom.h:441
double myaz
Definition: lwgeom_topo.c:1420
LWT_ELEMID cwFace
Definition: lwgeom_topo.c:1414

References _lwt_FindAdjacentEdges(), _lwt_release_edges(), azimuth_pt_pt(), LWT_TOPOLOGY_T::be_iface, edgeend_t::cwFace, LWT_ISO_EDGE::edge_id, LWT_ISO_EDGE::end_node, LWT_ISO_EDGE::face_left, LWT_ISO_EDGE::face_right, LWT_ISO_EDGE::geom, getPoint2d_cp(), lw_segment_side(), LWDEBUG, LWDEBUGF, LWDEBUGGF, lwerror(), lwline_as_lwgeom(), lwt_be_getClosestEdge(), lwt_be_getEdgeByNode(), lwt_be_lastErrorMessage(), LWT_COL_EDGE_EDGE_ID, LWT_COL_EDGE_END_NODE, LWT_COL_EDGE_FACE_LEFT, LWT_COL_EDGE_FACE_RIGHT, LWT_COL_EDGE_GEOM, LWT_COL_EDGE_START_NODE, LWTFMT_ELEMID, edgeend_t::myaz, POINTARRAY::npoints, LWPOINT::point, LWLINE::points, ptarray_closest_segment_2d(), r, LWT_ISO_EDGE::start_node, POINT2D::x, and POINT2D::y.

Referenced by _lwt_AddIsoNode(), lwt_GetFaceByPoint(), and lwt_MoveIsoNode().

Here is the call graph for this function:
Here is the caller graph for this function: