33 #include "../postgis_config.h"
60 LWDEBUG(2,
"lwgeom_has_arc called.");
81 for (i=0; i<col->
ngeoms; i++)
96 static double interpolate_arc(
double angle,
double a1,
double a2,
double a3,
double zm1,
double zm2,
double zm3)
98 LWDEBUGF(4,
"angle %.05g a1 %.05g a2 %.05g a3 %.05g zm1 %.05g zm2 %.05g zm3 %.05g",angle,a1,a2,a3,zm1,zm2,zm3);
103 return zm1 + (zm2-zm1) * (angle-a1) / (a2-a1);
105 return zm2 + (zm3-zm2) * (angle-a2) / (a3-a2);
111 return zm1 + (zm2-zm1) * (a1-angle) / (a1-a2);
113 return zm2 + (zm3-zm2) * (a2-angle) / (a2-a3);
122 int perQuad = rint(tol);
124 if ( perQuad != tol )
126 lwerror(
"lwarc_linearize: segments per quadrant must be an integer value, got %.15g", tol, perQuad);
131 lwerror(
"lwarc_linearize: segments per quadrant must be at least 1, got %d", perQuad);
134 increment = fabs(M_PI_2 / perQuad);
135 LWDEBUGF(2,
"lwarc_linearize: perQuad:%d, increment:%g (%g degrees)", perQuad, increment, increment*180/M_PI);
145 double increment, halfAngle, maxErr;
146 if ( max_deviation <= 0 )
148 lwerror(
"lwarc_linearize: max deviation must be bigger than 0, got %.15g", max_deviation);
176 maxErr = max_deviation;
177 if ( maxErr > radius * 2 )
181 "lwarc_linearize: tolerance %g is too big, "
182 "using arc-max 2 * radius == %g",
187 halfAngle = acos( 1.0 - maxErr / radius );
190 if ( halfAngle != 0 )
break;
191 LWDEBUGF(2,
"lwarc_linearize: tolerance %g is too small for this arc"
192 " to compute approximation angle, doubling it", maxErr);
195 increment = 2 * halfAngle;
197 "lwarc_linearize: maxDiff:%g, radius:%g, halfAngle:%g, increment:%g (%g degrees)",
202 increment * 180 / M_PI);
213 lwerror(
"lwarc_linearize: max angle must be bigger than 0, got %.15g", tol);
253 double angle_shift = 0;
257 int points_added = 0;
261 LWDEBUG(2,
"lwarc_linearize called.");
263 LWDEBUGF(2,
" curve is CIRCULARSTRING(%.15g %.15f, %.15f %.15f, %.15f %15f)",
264 t1->
x, t1->
y, t2->
x, t2->
y, t3->
x, t3->
y);
268 LWDEBUGF(2,
" p2 side is %d", p2_side);
283 LWDEBUGF(2,
" center is POINT(%.15g %.15g) - radius:%g", center.
x, center.
y, radius);
286 if ( p1->
x == p3->
x && p1->
y == p3->
y )
290 if ( (radius < 0.0 || p2_side == 0) && ! is_circle )
302 switch(tolerance_type)
314 lwerror(
"lwarc_linearize: unsupported tolerance type %d", tolerance_type);
327 a1 = atan2(p1->
y - center.
y, p1->
x - center.
x);
328 a2 = atan2(p2->
y - center.
y, p2->
x - center.
x);
329 a3 = atan2(p3->
y - center.
y, p3->
x - center.
x);
331 LWDEBUGF(2,
"lwarc_linearize A1:%g (%g) A2:%g (%g) A3:%g (%g)",
332 a1, a1*180/M_PI, a2, a2*180/M_PI, a3, a3*180/M_PI);
335 double total_angle = clockwise ? a1 - a3 : a3 - a1;
336 if ( total_angle <= 0 ) total_angle += M_PI * 2;
342 int min_segs = is_circle ? 3 : 2;
343 segments = ceil(total_angle / increment);
344 if (segments < min_segs)
347 increment = total_angle / min_segs;
352 LWDEBUGF(2,
"lwarc_linearize SYMMETRIC requested - total angle %g deg", total_angle * 180 / M_PI);
357 segments = trunc(total_angle / increment);
362 double angle_remainder = total_angle - (increment * segments);
367 angle_shift = angle_remainder / 2.0;
370 "lwarc_linearize RETAIN_ANGLE operation requested - "
371 "total angle %g, steps %d, increment %g, remainder %g",
372 total_angle * 180 / M_PI,
374 increment * 180 / M_PI,
375 angle_remainder * 180 / M_PI);
380 segments = ceil(total_angle / increment);
382 increment = total_angle / segments;
385 "lwarc_linearize SYMMETRIC operation requested - "
386 "total angle %g degrees - LINESTRING(%g %g,%g %g,%g %g) - S:%d - I:%g",
387 total_angle * 180 / M_PI,
395 increment * 180 / M_PI);
402 LWDEBUG(2,
" Clockwise sweep");
414 LWDEBUG(2,
" Counterclockwise sweep");
425 increment = fabs(increment);
426 segments = ceil(total_angle / increment);
430 increment = total_angle / 3;
432 a3 = a1 + 2.0 * M_PI;
438 LWDEBUGF(2,
"lwarc_linearize angle_shift:%g, increment:%g",
439 angle_shift * 180/M_PI, increment * 180/M_PI);
445 const int capacity = 8;
460 int seg_end = segments;
461 if (angle_shift != 0.0)
466 seg_end = segments + 1;
468 LWDEBUGF(2,
"a1:%g (%g deg), a3:%g (%g deg), inc:%g, shi:%g, cw:%d",
469 a1, a1 * 180 / M_PI, a3, a3 * 180 / M_PI, increment, angle_shift, clockwise);
470 for (
int s = seg_start;
s < seg_end;
s++)
472 double angle = a1 + increment *
s + angle_shift;
473 LWDEBUGF(2,
" SA: %g ( %g deg )", angle, angle*180/M_PI);
474 pt.
x = center.
x + radius * cos(angle);
475 pt.
y = center.
y + radius * sin(angle);
493 for ( i=pa->
npoints; i>0; i-- ) {
528 LWDEBUGF(3,
"lwcircstring_linearize: arc ending at point %d", i);
534 ret =
lwarc_linearize(ptarray, &p1, &p2, &p3, tol, tolerance_type, flags);
537 LWDEBUGF(3,
"lwcircstring_linearize: generated %d points", ptarray->
npoints);
541 LWDEBUG(3,
"lwcircstring_linearize: points are colinear, returning curve points as line");
543 for (j = i - 2 ; j < i ; j++)
582 LWDEBUG(2,
"lwcompound_stroke called.");
586 for (i = 0; i < icompound->
ngeoms; i++)
588 geom = icompound->
geoms[i];
639 LWDEBUG(2,
"lwcurvepoly_linearize called.");
643 for (i = 0; i < curvepoly->
nrings; i++)
645 tmp = curvepoly->
rings[i];
665 lwerror(
"Invalid ring type found in CurvePoly.");
703 for (i = 0; i < mcurve->
ngeoms; i++)
720 lwerror(
"Unsupported geometry found in MultiCurve.");
749 LWDEBUG(2,
"lwmsurface_linearize called.");
753 for (i = 0; i < msurface->
ngeoms; i++)
755 tmp = msurface->
geoms[i];
764 for (j = 0; j < poly->
nrings; j++)
793 LWDEBUG(2,
"lwcollection_linearize called.");
797 for (i=0; i<collection->
ngeoms; i++)
799 tmp = collection->
geoms[i];
879 double dot = (ab.
x * cb.
x + ab.
y * cb.
y);
880 double cross = (ab.
x * cb.
y - ab.
y * cb.
x);
882 double alpha = atan2(cross, dot);
899 double b_distance, diff;
906 diff = fabs(radius - b_distance);
907 LWDEBUGF(4,
"circle_radius=%g, b_distance=%g, diff=%g, percentage=%g", radius, b_distance, diff, diff/radius);
918 diff = fabs(angle1 - angle2);
919 LWDEBUGF(4,
" angle1: %g, angle2: %g, diff:%g", angle1, angle2, diff);
927 if ( b_side != a2_side )
939 LWDEBUGF(4,
"srid=%d, start=%d, end=%d", srid, start, end);
940 for( i = start; i < end + 2; i++ )
954 LWDEBUGF(4,
"srid=%d, start=%d, end=%d", srid, start, end);
967 LWDEBUGF(4,
"srid=%d, is_arc=%d, start=%d, end=%d", srid, is_arc, start, end);
988 const unsigned int min_quad_edges = 2;
992 lwerror(
"pta_unstroke called with null pointarray");
1002 lwerror(
"pta_unstroke needs implementation for npoints < 4");
1006 num_edges = points->
npoints - 1;
1007 edges_in_arcs =
lwalloc(num_edges + 1);
1008 memset(edges_in_arcs, 0, num_edges + 1);
1012 while( i < num_edges-2 )
1014 unsigned int arc_edges;
1015 double num_quadrants;
1023 memcpy(&first, &a1,
sizeof(
POINT4D));
1025 for( j = i+3; j < num_edges+1; j++ )
1033 LWDEBUGF(4,
"pt_continues_arc #%d", current_arc);
1035 for ( k = j-1; k > j-4; k-- )
1036 edges_in_arcs[k] = current_arc;
1041 LWDEBUG(4,
"pt_continues_arc = false");
1046 memcpy(&a1, &a2,
sizeof(
POINT4D));
1047 memcpy(&a2, &a3,
sizeof(
POINT4D));
1048 memcpy(&a3, &b,
sizeof(
POINT4D));
1057 arc_edges = j - 1 - i;
1058 LWDEBUGF(4,
"arc defined by %d edges found", arc_edges);
1059 if ( first.
x == b.
x && first.
y == b.
y ) {
1060 LWDEBUG(4,
"arc is a circle");
1067 if ( p2_side >= 0 ) angle = -angle;
1069 if ( angle < 0 ) angle = 2 * M_PI + angle;
1070 num_quadrants = ( 4 * angle ) / ( 2 * M_PI );
1071 LWDEBUGF(4,
"arc angle (%g %g, %g %g, %g %g) is %g (side is %d), quadrants:%g", first.
x, first.
y, center.
x, center.
y, b.
x, b.
y, angle, p2_side, num_quadrants);
1074 if ( arc_edges < min_quad_edges * num_quadrants ) {
1075 LWDEBUGF(4,
"Not enough edges for a %g quadrants arc, %g needed", num_quadrants, min_quad_edges * num_quadrants);
1076 for ( k = j-1; k >= i; k-- )
1077 edges_in_arcs[k] = 0;
1085 edges_in_arcs[i] = 0;
1090 #if POSTGIS_DEBUG_LEVEL > 3
1092 char *edgestr =
lwalloc(num_edges+1);
1093 for ( i = 0; i < num_edges; i++ )
1095 if ( edges_in_arcs[i] )
1096 edgestr[i] = 48 + edges_in_arcs[i];
1100 edgestr[num_edges] = 0;
1101 LWDEBUGF(3,
"edge pattern %s", edgestr);
1107 edge_type = edges_in_arcs[0];
1109 for( i = 1; i < num_edges; i++ )
1111 if( edge_type != edges_in_arcs[i] )
1116 edge_type = edges_in_arcs[i];
1122 end = num_edges - 1;
1126 if ( outcol->
ngeoms == 1 )
1139 LWDEBUG(2,
"lwline_unstroke called.");
1149 uint32_t i, hascurve = 0;
1151 LWDEBUG(2,
"lwpolygon_unstroke called.");
1154 for (i=0; i<poly->
nrings; i++)
1164 for (i=0; i<poly->
nrings; i++)
1178 uint32_t i, hascurve = 0;
1180 LWDEBUG(2,
"lwmline_unstroke called.");
1183 for (i=0; i<mline->
ngeoms; i++)
1193 for (i=0; i<mline->
ngeoms; i++)
1206 uint32_t i, hascurve = 0;
1208 LWDEBUG(2,
"lwmpoly_unstroke called.");
1211 for (i=0; i<mpoly->
ngeoms; i++)
1221 for (i=0; i<mpoly->
ngeoms; i++)
1240 for (i=0; i < c->
ngeoms; i++)
1261 LWDEBUG(2,
"lwgeom_unstroke called.");
GBOX * gbox_copy(const GBOX *box)
Return a copy of the GBOX, based on dimensionality of flags.
int ptarray_remove_point(POINTARRAY *pa, uint32_t where)
Remove a point from an existing POINTARRAY.
LW_LINEARIZE_TOLERANCE_TYPE
Semantic of the tolerance argument passed to lwcurve_linearize.
@ LW_LINEARIZE_TOLERANCE_TYPE_MAX_ANGLE
Tolerance expresses the maximum angle between the radii generating approximation line vertices,...
@ LW_LINEARIZE_TOLERANCE_TYPE_SEGS_PER_QUAD
Tolerance expresses the number of segments to use for each quarter of circle (quadrant).
@ LW_LINEARIZE_TOLERANCE_TYPE_MAX_DEVIATION
Tolerance expresses the maximum distance between an arbitrary point on the curve and the closest poin...
LWGEOM * lwline_as_lwgeom(const LWLINE *obj)
LWGEOM * lwcollection_as_lwgeom(const LWCOLLECTION *obj)
double distance2d_pt_pt(const POINT2D *p1, const POINT2D *p2)
POINTARRAY * ptarray_clone_deep(const POINTARRAY *ptarray)
Deep clone a pointarray (also clones serialized pointlist)
LWGEOM * lwgeom_clone_deep(const LWGEOM *lwgeom)
Deep clone an LWGEOM, everything is copied.
POINTARRAY * ptarray_construct(char hasz, char hasm, uint32_t npoints)
Construct an empty pointarray, allocating storage and setting the npoints, but not filling in any inf...
#define POINTTYPE
LWTYPE numbers, used internally by PostGIS.
#define FLAGS_GET_Z(flags)
LWLINE * lwline_construct(int32_t srid, GBOX *bbox, POINTARRAY *points)
@ LW_LINEARIZE_FLAG_SYMMETRIC
Symmetric linearization means that the output vertices would be the same no matter the order of the p...
@ LW_LINEARIZE_FLAG_RETAIN_ANGLE
Retain angle instructs the engine to try its best to retain the requested angle between generating ra...
#define FLAGS_NDIMS(flags)
#define POLYHEDRALSURFACETYPE
POINTARRAY * ptarray_construct_empty(char hasz, char hasm, uint32_t maxpoints)
Create a new POINTARRAY with no points.
LWCOLLECTION * lwcollection_construct_empty(uint8_t type, int32_t srid, char hasz, char hasm)
const char * lwtype_name(uint8_t type)
Return the type name string associated with a type number (e.g.
#define FLAGS_GET_M(flags)
void lwcollection_free(LWCOLLECTION *col)
int getPoint4d_p(const POINTARRAY *pa, uint32_t n, POINT4D *point)
void ptarray_free(POINTARRAY *pa)
LWGEOM * lwcircstring_as_lwgeom(const LWCIRCSTRING *obj)
int ptarray_append_point(POINTARRAY *pa, const POINT4D *pt, int allow_duplicates)
Append a point to the end of an existing POINTARRAY If allow_duplicate is LW_FALSE,...
LWCOLLECTION * lwcollection_add_lwgeom(LWCOLLECTION *col, const LWGEOM *geom)
Appends geom to the collection managed by col.
void * lwalloc(size_t size)
LWCOLLECTION * lwcollection_construct(uint8_t type, int32_t srid, GBOX *bbox, uint32_t ngeoms, LWGEOM **geoms)
#define LW_TRUE
Return types for functions with status returns.
LWPOLY * lwpoly_construct(int32_t srid, GBOX *bbox, uint32_t nrings, POINTARRAY **points)
void ptarray_set_point4d(POINTARRAY *pa, uint32_t n, const POINT4D *p4d)
void lwline_free(LWLINE *line)
LWCIRCSTRING * lwcircstring_construct(int32_t srid, GBOX *bbox, POINTARRAY *points)
#define EPSILON_SQLMM
Tolerance used to determine equality.
LWLINE * lwline_clone_deep(const LWLINE *lwgeom)
void ptarray_remove_repeated_points_in_place(POINTARRAY *pa, double tolerance, uint32_t min_points)
double lw_arc_center(const POINT2D *p1, const POINT2D *p2, const POINT2D *p3, POINT2D *result)
Determines the center of the circle defined by the three given points.
int ptarray_has_z(const POINTARRAY *pa)
int lw_segment_side(const POINT2D *p1, const POINT2D *p2, const POINT2D *q)
lw_segment_side()
int ptarray_has_m(const POINTARRAY *pa)
#define LWDEBUG(level, msg)
#define LWDEBUGF(level, msg,...)
void lwerror(const char *fmt,...)
Write a notice out to the error handler.
LWGEOM * lwgeom_unstroke(const LWGEOM *geom)
static LWLINE * lwcircstring_linearize(const LWCIRCSTRING *icurve, double tol, LW_LINEARIZE_TOLERANCE_TYPE tolerance_type, int flags)
static double angle_increment_using_max_deviation(double max_deviation, double radius)
LWGEOM * lwcurve_linearize(const LWGEOM *geom, double tol, LW_LINEARIZE_TOLERANCE_TYPE type, int flags)
LWGEOM * lwgeom_stroke(const LWGEOM *geom, uint32_t perQuad)
static int lwarc_linearize(POINTARRAY *to, const POINT4D *p1, const POINT4D *p2, const POINT4D *p3, double tol, LW_LINEARIZE_TOLERANCE_TYPE tolerance_type, int flags)
Segmentize an arc.
static LWGEOM * linestring_from_pa(const POINTARRAY *pa, int32_t srid, int start, int end)
static double interpolate_arc(double angle, double a1, double a2, double a3, double zm1, double zm2, double zm3)
static double lw_arc_angle(const POINT2D *a, const POINT2D *b, const POINT2D *c)
Return ABC angle in radians TODO: move to lwalgorithm.
static int pt_continues_arc(const POINT4D *a1, const POINT4D *a2, const POINT4D *a3, const POINT4D *b)
Returns LW_TRUE if b is on the arc formed by a1/a2/a3, but not within that portion already described ...
static LWGEOM * circstring_from_pa(const POINTARRAY *pa, int32_t srid, int start, int end)
static double angle_increment_using_segments_per_quad(double tol)
static LWMPOLY * lwmsurface_linearize(const LWMSURFACE *msurface, double tol, LW_LINEARIZE_TOLERANCE_TYPE type, int flags)
static LWLINE * lwcompound_linearize(const LWCOMPOUND *icompound, double tol, LW_LINEARIZE_TOLERANCE_TYPE tolerance_type, int flags)
static LWCOLLECTION * lwcollection_linearize(const LWCOLLECTION *collection, double tol, LW_LINEARIZE_TOLERANCE_TYPE type, int flags)
static LWGEOM * geom_from_pa(const POINTARRAY *pa, int32_t srid, int is_arc, int start, int end)
LWGEOM * lwmpolygon_unstroke(const LWMPOLY *mpoly)
static LWMLINE * lwmcurve_linearize(const LWMCURVE *mcurve, double tol, LW_LINEARIZE_TOLERANCE_TYPE type, int flags)
LWPOLY * lwcurvepoly_stroke(const LWCURVEPOLY *curvepoly, uint32_t perQuad)
LWGEOM * lwpolygon_unstroke(const LWPOLY *poly)
static double angle_increment_using_max_angle(double tol)
static LWPOLY * lwcurvepoly_linearize(const LWCURVEPOLY *curvepoly, double tol, LW_LINEARIZE_TOLERANCE_TYPE tolerance_type, int flags)
LWGEOM * pta_unstroke(const POINTARRAY *points, int32_t srid)
LWGEOM * lwcollection_unstroke(const LWCOLLECTION *c)
LWGEOM * lwmline_unstroke(const LWMLINE *mline)
LWGEOM * lwline_unstroke(const LWLINE *line)
int lwgeom_has_arc(const LWGEOM *geom)