PostGIS  3.1.6dev-r@@SVN_REVISION@@

◆ _lwt_CheckEdgeCrossing()

static int _lwt_CheckEdgeCrossing ( LWT_TOPOLOGY topo,
LWT_ELEMID  start_node,
LWT_ELEMID  end_node,
const LWLINE geom,
LWT_ELEMID  myself 
)
static

Definition at line 597 of file lwgeom_topo.c.

600 {
601  uint64_t i, num_nodes, num_edges;
602  LWT_ISO_EDGE *edges;
603  LWT_ISO_NODE *nodes;
604  const GBOX *edgebox;
605  GEOSGeometry *edgegg;
606 
607  initGEOS(lwnotice, lwgeom_geos_error);
608 
609  edgegg = LWGEOM2GEOS(lwline_as_lwgeom(geom), 0);
610  if (!edgegg)
611  {
612  lwerror("Could not convert edge geometry to GEOS: %s", lwgeom_geos_errmsg);
613  return -1;
614  }
615  edgebox = lwgeom_get_bbox( lwline_as_lwgeom(geom) );
616 
617  /* loop over each node within the edge's gbox */
618  nodes = lwt_be_getNodeWithinBox2D( topo, edgebox, &num_nodes,
619  LWT_COL_NODE_ALL, 0 );
620  LWDEBUGF(1, "lwt_be_getNodeWithinBox2D returned %d nodes", num_nodes);
621  if (num_nodes == UINT64_MAX)
622  {
623  lwerror("Backend error: %s", lwt_be_lastErrorMessage(topo->be_iface));
624  return -1;
625  }
626  for ( i=0; i<num_nodes; ++i )
627  {
628  const POINT2D *pt;
629  LWT_ISO_NODE* node = &(nodes[i]);
630  if ( node->node_id == start_node ) continue;
631  if ( node->node_id == end_node ) continue;
632  /* check if the edge contains this node (not on boundary) */
633  /* ST_RelateMatch(rec.relate, 'T********') */
634  pt = getPoint2d_cp(node->geom->point, 0);
636  if ( contains )
637  {
638  GEOSGeom_destroy(edgegg);
639  _lwt_release_nodes(nodes, num_nodes);
640  lwerror("SQL/MM Spatial exception - geometry crosses a node");
641  return -1;
642  }
643  }
644  if ( nodes ) _lwt_release_nodes(nodes, num_nodes);
645  /* may be NULL if num_nodes == 0 */
646 
647  /* loop over each edge within the edge's gbox */
648  edges = lwt_be_getEdgeWithinBox2D( topo, edgebox, &num_edges, LWT_COL_EDGE_ALL, 0 );
649  LWDEBUGF(1, "lwt_be_getEdgeWithinBox2D returned %d edges", num_edges);
650  if (num_edges == UINT64_MAX)
651  {
652  GEOSGeom_destroy(edgegg);
653  lwerror("Backend error: %s", lwt_be_lastErrorMessage(topo->be_iface));
654  return -1;
655  }
656  for ( i=0; i<num_edges; ++i )
657  {
658  LWT_ISO_EDGE* edge = &(edges[i]);
659  LWT_ELEMID edge_id = edge->edge_id;
660  GEOSGeometry *eegg;
661  char *relate;
662  int match;
663 
664  if ( edge_id == myself ) continue;
665 
666  if ( ! edge->geom ) {
667  _lwt_release_edges(edges, num_edges);
668  lwerror("Edge %d has NULL geometry!", edge_id);
669  return -1;
670  }
671 
672  eegg = LWGEOM2GEOS( lwline_as_lwgeom(edge->geom), 0 );
673  if ( ! eegg ) {
674  GEOSGeom_destroy(edgegg);
675  _lwt_release_edges(edges, num_edges);
676  lwerror("Could not convert edge geometry to GEOS: %s", lwgeom_geos_errmsg);
677  return -1;
678  }
679 
680  LWDEBUGF(2, "Edge %d converted to GEOS", edge_id);
681 
682  /* check if the edge has a non-boundary-boundary intersection with our edge */
683 
684  relate = GEOSRelateBoundaryNodeRule(eegg, edgegg, 2);
685  if ( ! relate ) {
686  GEOSGeom_destroy(eegg);
687  GEOSGeom_destroy(edgegg);
688  _lwt_release_edges(edges, num_edges);
689  lwerror("GEOSRelateBoundaryNodeRule error: %s", lwgeom_geos_errmsg);
690  return -1;
691  }
692 
693  LWDEBUGF(2, "Edge %d relate pattern is %s", edge_id, relate);
694 
695  match = GEOSRelatePatternMatch(relate, "FF*F*****");
696  if ( match ) {
697  /* error or no interior intersection */
698  GEOSGeom_destroy(eegg);
699  GEOSFree(relate);
700  if ( match == 2 ) {
701  _lwt_release_edges(edges, num_edges);
702  GEOSGeom_destroy(edgegg);
703  lwerror("GEOSRelatePatternMatch error: %s", lwgeom_geos_errmsg);
704  return -1;
705  }
706  else continue; /* no interior intersection */
707  }
708 
709  match = GEOSRelatePatternMatch(relate, "1FFF*FFF2");
710  if ( match ) {
711  _lwt_release_edges(edges, num_edges);
712  GEOSGeom_destroy(edgegg);
713  GEOSGeom_destroy(eegg);
714  GEOSFree(relate);
715  if ( match == 2 ) {
716  lwerror("GEOSRelatePatternMatch error: %s", lwgeom_geos_errmsg);
717  } else {
718  lwerror("SQL/MM Spatial exception - coincident edge %" LWTFMT_ELEMID,
719  edge_id);
720  }
721  return -1;
722  }
723 
724  match = GEOSRelatePatternMatch(relate, "1********");
725  if ( match ) {
726  _lwt_release_edges(edges, num_edges);
727  GEOSGeom_destroy(edgegg);
728  GEOSGeom_destroy(eegg);
729  GEOSFree(relate);
730  if ( match == 2 ) {
731  lwerror("GEOSRelatePatternMatch error: %s", lwgeom_geos_errmsg);
732  } else {
733  lwerror("Spatial exception - geometry intersects edge %"
734  LWTFMT_ELEMID, edge_id);
735  }
736  return -1;
737  }
738 
739  match = GEOSRelatePatternMatch(relate, "T********");
740  if ( match ) {
741  _lwt_release_edges(edges, num_edges);
742  GEOSGeom_destroy(edgegg);
743  GEOSGeom_destroy(eegg);
744  GEOSFree(relate);
745  if ( match == 2 ) {
746  lwerror("GEOSRelatePatternMatch error: %s", lwgeom_geos_errmsg);
747  } else {
748  lwerror("SQL/MM Spatial exception - geometry crosses edge %"
749  LWTFMT_ELEMID, edge_id);
750  }
751  return -1;
752  }
753 
754  match = GEOSRelatePatternMatch(relate, "*T*******");
755  if ( match ) {
756  _lwt_release_edges(edges, num_edges);
757  GEOSGeom_destroy(edgegg);
758  GEOSGeom_destroy(eegg);
759  GEOSFree(relate);
760  if ( match == 2 ) {
761  lwerror("GEOSRelatePatternMatch error: %s", lwgeom_geos_errmsg);
762  } else {
763  lwerror("Spatial exception - geometry boundary touches interior of edge %"
764  LWTFMT_ELEMID, edge_id);
765  }
766  return -1;
767  }
768 
769  match = GEOSRelatePatternMatch(relate, "***T*****");
770  if ( match ) {
771  _lwt_release_edges(edges, num_edges);
772  GEOSGeom_destroy(edgegg);
773  GEOSGeom_destroy(eegg);
774  GEOSFree(relate);
775  if ( match == 2 ) {
776  lwerror("GEOSRelatePatternMatch error: %s", lwgeom_geos_errmsg);
777  } else {
778  lwerror("Spatial exception - boundary of edge % touches interior of geometry"
779  LWTFMT_ELEMID, edge_id);
780  }
781  return -1;
782  }
783 
784  LWDEBUGF(2, "Edge %d analisys completed, it does no harm", edge_id);
785 
786  GEOSFree(relate);
787  GEOSGeom_destroy(eegg);
788  }
789  LWDEBUGF(1, "No edge crossing detected among the %d candidate edges", num_edges);
790  if ( edges ) _lwt_release_edges(edges, num_edges);
791  /* would be NULL if num_edges was 0 */
792 
793  GEOSGeom_destroy(edgegg);
794 
795  return 0;
796 }
char lwgeom_geos_errmsg[LWGEOM_GEOS_ERRMSG_MAXSIZE]
GEOSGeometry * LWGEOM2GEOS(const LWGEOM *lwgeom, uint8_t autofix)
void lwgeom_geos_error(const char *fmt,...)
LWGEOM * lwline_as_lwgeom(const LWLINE *obj)
Definition: lwgeom.c:322
#define LW_FALSE
Definition: liblwgeom.h:108
const GBOX * lwgeom_get_bbox(const LWGEOM *lwgeom)
Get a non-empty geometry bounding box, computing and caching it if not already there.
Definition: lwgeom.c:726
int ptarray_contains_point_partial(const POINTARRAY *pa, const POINT2D *pt, int check_closed, int *winding_number)
Definition: ptarray.c:746
#define LW_BOUNDARY
LWT_INT64 LWT_ELEMID
Identifier of topology element.
#define LWT_COL_EDGE_ALL
#define LWT_COL_NODE_ALL
#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
void lwnotice(const char *fmt,...)
Write a notice out to the notice handler.
Definition: lwutil.c:177
const char * lwt_be_lastErrorMessage(const LWT_BE_IFACE *be)
Definition: lwgeom_topo.c:119
static void _lwt_release_nodes(LWT_ISO_NODE *nodes, int num_nodes)
Definition: lwgeom_topo.c:461
static LWT_ISO_NODE * lwt_be_getNodeWithinBox2D(const LWT_TOPOLOGY *topo, const GBOX *box, uint64_t *numelems, int fields, uint64_t limit)
Definition: lwgeom_topo.c:172
static LWT_ISO_EDGE * lwt_be_getEdgeWithinBox2D(const LWT_TOPOLOGY *topo, const GBOX *box, uint64_t *numelems, int fields, uint64_t limit)
Definition: lwgeom_topo.c:178
#define LWTFMT_ELEMID
Definition: lwgeom_topo.c:43
static void _lwt_release_edges(LWT_ISO_EDGE *edges, int num_edges)
Definition: lwgeom_topo.c:451
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
Datum contains(PG_FUNCTION_ARGS)
POINTARRAY * points
Definition: liblwgeom.h:497
POINTARRAY * point
Definition: liblwgeom.h:485
LWLINE * geom
LWT_ELEMID edge_id
LWT_ELEMID node_id
LWPOINT * geom
const LWT_BE_IFACE * be_iface

References _lwt_release_edges(), _lwt_release_nodes(), LWT_TOPOLOGY_T::be_iface, contains(), LWT_ISO_EDGE::edge_id, LWT_ISO_NODE::geom, LWT_ISO_EDGE::geom, getPoint2d_cp(), LW_BOUNDARY, LW_FALSE, LWDEBUGF, lwerror(), LWGEOM2GEOS(), lwgeom_geos_errmsg, lwgeom_geos_error(), lwgeom_get_bbox(), lwline_as_lwgeom(), lwnotice(), lwt_be_getEdgeWithinBox2D(), lwt_be_getNodeWithinBox2D(), lwt_be_lastErrorMessage(), LWT_COL_EDGE_ALL, LWT_COL_NODE_ALL, LWTFMT_ELEMID, LWT_ISO_NODE::node_id, LWPOINT::point, LWLINE::points, and ptarray_contains_point_partial().

Referenced by _lwt_AddEdge(), lwt_AddIsoEdge(), and lwt_ChangeEdgeGeom().

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