Coverage Report

Created: 2026-02-14 09:37

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/work/workdir/UnpackedTarball/cairo/src/cairo-path-fill.c
Line
Count
Source
1
/* -*- Mode: c; c-basic-offset: 4; indent-tabs-mode: t; tab-width: 8; -*- */
2
/* cairo - a vector graphics library with display and print output
3
 *
4
 * Copyright © 2002 University of Southern California
5
 *
6
 * This library is free software; you can redistribute it and/or
7
 * modify it either under the terms of the GNU Lesser General Public
8
 * License version 2.1 as published by the Free Software Foundation
9
 * (the "LGPL") or, at your option, under the terms of the Mozilla
10
 * Public License Version 1.1 (the "MPL"). If you do not alter this
11
 * notice, a recipient may use your version of this file under either
12
 * the MPL or the LGPL.
13
 *
14
 * You should have received a copy of the LGPL along with this library
15
 * in the file COPYING-LGPL-2.1; if not, write to the Free Software
16
 * Foundation, Inc., 51 Franklin Street, Suite 500, Boston, MA 02110-1335, USA
17
 * You should have received a copy of the MPL along with this library
18
 * in the file COPYING-MPL-1.1
19
 *
20
 * The contents of this file are subject to the Mozilla Public License
21
 * Version 1.1 (the "License"); you may not use this file except in
22
 * compliance with the License. You may obtain a copy of the License at
23
 * http://www.mozilla.org/MPL/
24
 *
25
 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY
26
 * OF ANY KIND, either express or implied. See the LGPL or the MPL for
27
 * the specific language governing rights and limitations.
28
 *
29
 * The Original Code is the cairo graphics library.
30
 *
31
 * The Initial Developer of the Original Code is University of Southern
32
 * California.
33
 *
34
 * Contributor(s):
35
 *  Carl D. Worth <cworth@cworth.org>
36
 */
37
38
#include "cairoint.h"
39
#include "cairo-boxes-private.h"
40
#include "cairo-error-private.h"
41
#include "cairo-path-fixed-private.h"
42
#include "cairo-region-private.h"
43
#include "cairo-traps-private.h"
44
45
typedef struct cairo_filler {
46
    cairo_polygon_t *polygon;
47
    double tolerance;
48
49
    cairo_box_t limit;
50
    cairo_bool_t has_limits;
51
52
    cairo_point_t current_point;
53
    cairo_point_t last_move_to;
54
} cairo_filler_t;
55
56
static cairo_status_t
57
_cairo_filler_line_to (void *closure,
58
           const cairo_point_t *point)
59
8.26M
{
60
8.26M
    cairo_filler_t *filler = closure;
61
8.26M
    cairo_status_t status;
62
63
8.26M
    status = _cairo_polygon_add_external_edge (filler->polygon,
64
8.26M
                 &filler->current_point,
65
8.26M
                 point);
66
67
8.26M
    filler->current_point = *point;
68
69
8.26M
    return status;
70
8.26M
}
71
72
static cairo_status_t
73
_cairo_filler_add_point (void *closure,
74
       const cairo_point_t *point,
75
       const cairo_slope_t *tangent)
76
33.3k
{
77
33.3k
    return _cairo_filler_line_to (closure, point);
78
33.3k
};
79
80
static cairo_status_t
81
_cairo_filler_close (void *closure)
82
1.29M
{
83
1.29M
    cairo_filler_t *filler = closure;
84
85
    /* close the subpath */
86
1.29M
    return _cairo_filler_line_to (closure, &filler->last_move_to);
87
1.29M
}
88
89
static cairo_status_t
90
_cairo_filler_move_to (void *closure,
91
           const cairo_point_t *point)
92
805k
{
93
805k
    cairo_filler_t *filler = closure;
94
805k
    cairo_status_t status;
95
96
    /* close current subpath */
97
805k
    status = _cairo_filler_close (closure);
98
805k
    if (unlikely (status))
99
0
  return status;
100
101
        /* make sure that the closure represents a degenerate path */
102
805k
    filler->current_point = *point;
103
805k
    filler->last_move_to = *point;
104
105
805k
    return CAIRO_STATUS_SUCCESS;
106
805k
}
107
108
static cairo_status_t
109
_cairo_filler_curve_to (void    *closure,
110
      const cairo_point_t *p1,
111
      const cairo_point_t *p2,
112
      const cairo_point_t *p3)
113
121k
{
114
121k
    cairo_filler_t *filler = closure;
115
121k
    cairo_spline_t spline;
116
117
121k
    if (filler->has_limits) {
118
120k
  if (! _cairo_spline_intersects (&filler->current_point, p1, p2, p3,
119
120k
          &filler->limit))
120
111k
      return _cairo_filler_line_to (filler, p3);
121
120k
    }
122
123
10.5k
    if (! _cairo_spline_init (&spline,
124
10.5k
            _cairo_filler_add_point, filler,
125
10.5k
            &filler->current_point, p1, p2, p3))
126
0
    {
127
0
  return _cairo_filler_line_to (closure, p3);
128
0
    }
129
130
10.5k
    return _cairo_spline_decompose (&spline, filler->tolerance);
131
10.5k
}
132
133
cairo_status_t
134
_cairo_path_fixed_fill_to_polygon (const cairo_path_fixed_t *path,
135
           double tolerance,
136
           cairo_polygon_t *polygon)
137
343k
{
138
343k
    cairo_filler_t filler;
139
343k
    cairo_status_t status;
140
141
343k
    filler.polygon = polygon;
142
343k
    filler.tolerance = tolerance;
143
144
343k
    filler.has_limits = FALSE;
145
343k
    if (polygon->num_limits) {
146
341k
  filler.has_limits = TRUE;
147
341k
  filler.limit = polygon->limit;
148
341k
    }
149
150
    /* make sure that the closure represents a degenerate path */
151
343k
    filler.current_point.x = 0;
152
343k
    filler.current_point.y = 0;
153
343k
    filler.last_move_to = filler.current_point;
154
155
343k
    status = _cairo_path_fixed_interpret (path,
156
343k
            _cairo_filler_move_to,
157
343k
            _cairo_filler_line_to,
158
343k
            _cairo_filler_curve_to,
159
343k
            _cairo_filler_close,
160
343k
            &filler);
161
343k
    if (unlikely (status))
162
0
  return status;
163
164
343k
    return _cairo_filler_close (&filler);
165
343k
}
166
167
typedef struct cairo_filler_rectilinear_aligned {
168
    cairo_polygon_t *polygon;
169
170
    cairo_point_t current_point;
171
    cairo_point_t last_move_to;
172
} cairo_filler_ra_t;
173
174
static cairo_status_t
175
_cairo_filler_ra_line_to (void *closure,
176
        const cairo_point_t *point)
177
46.0k
{
178
46.0k
    cairo_filler_ra_t *filler = closure;
179
46.0k
    cairo_status_t status;
180
46.0k
    cairo_point_t p;
181
182
46.0k
    p.x = _cairo_fixed_round_down (point->x);
183
46.0k
    p.y = _cairo_fixed_round_down (point->y);
184
185
46.0k
    status = _cairo_polygon_add_external_edge (filler->polygon,
186
46.0k
                 &filler->current_point,
187
46.0k
                 &p);
188
189
46.0k
    filler->current_point = p;
190
191
46.0k
    return status;
192
46.0k
}
193
194
static cairo_status_t
195
_cairo_filler_ra_close (void *closure)
196
29.0k
{
197
29.0k
    cairo_filler_ra_t *filler = closure;
198
29.0k
    return _cairo_filler_ra_line_to (closure, &filler->last_move_to);
199
29.0k
}
200
201
static cairo_status_t
202
_cairo_filler_ra_move_to (void *closure,
203
        const cairo_point_t *point)
204
15.3k
{
205
15.3k
    cairo_filler_ra_t *filler = closure;
206
15.3k
    cairo_status_t status;
207
15.3k
    cairo_point_t p;
208
209
    /* close current subpath */
210
15.3k
    status = _cairo_filler_ra_close (closure);
211
15.3k
    if (unlikely (status))
212
0
  return status;
213
214
15.3k
    p.x = _cairo_fixed_round_down (point->x);
215
15.3k
    p.y = _cairo_fixed_round_down (point->y);
216
217
    /* make sure that the closure represents a degenerate path */
218
15.3k
    filler->current_point = p;
219
15.3k
    filler->last_move_to = p;
220
221
15.3k
    return CAIRO_STATUS_SUCCESS;
222
15.3k
}
223
224
cairo_status_t
225
_cairo_path_fixed_fill_rectilinear_to_polygon (const cairo_path_fixed_t *path,
226
                 cairo_antialias_t antialias,
227
                 cairo_polygon_t *polygon)
228
4.26k
{
229
4.26k
    cairo_filler_ra_t filler;
230
4.26k
    cairo_status_t status;
231
232
4.26k
    if (antialias != CAIRO_ANTIALIAS_NONE)
233
3
  return _cairo_path_fixed_fill_to_polygon (path, 0., polygon);
234
235
4.25k
    filler.polygon = polygon;
236
237
    /* make sure that the closure represents a degenerate path */
238
4.25k
    filler.current_point.x = 0;
239
4.25k
    filler.current_point.y = 0;
240
4.25k
    filler.last_move_to = filler.current_point;
241
242
4.25k
    status = _cairo_path_fixed_interpret_flat (path,
243
4.25k
                 _cairo_filler_ra_move_to,
244
4.25k
                 _cairo_filler_ra_line_to,
245
4.25k
                 _cairo_filler_ra_close,
246
4.25k
                 &filler,
247
4.25k
                 0.);
248
4.25k
    if (unlikely (status))
249
0
  return status;
250
251
4.25k
    return _cairo_filler_ra_close (&filler);
252
4.25k
}
253
254
cairo_status_t
255
_cairo_path_fixed_fill_to_traps (const cairo_path_fixed_t *path,
256
         cairo_fill_rule_t fill_rule,
257
         double tolerance,
258
         cairo_traps_t *traps)
259
0
{
260
0
    cairo_polygon_t polygon;
261
0
    cairo_status_t status;
262
263
0
    if (_cairo_path_fixed_fill_is_empty (path))
264
0
  return CAIRO_STATUS_SUCCESS;
265
266
0
    _cairo_polygon_init (&polygon, traps->limits, traps->num_limits);
267
0
    status = _cairo_path_fixed_fill_to_polygon (path, tolerance, &polygon);
268
0
    if (unlikely (status || polygon.num_edges == 0))
269
0
  goto CLEANUP;
270
271
0
    status = _cairo_bentley_ottmann_tessellate_polygon (traps,
272
0
              &polygon, fill_rule);
273
274
0
  CLEANUP:
275
0
    _cairo_polygon_fini (&polygon);
276
0
    return status;
277
0
}
278
279
static cairo_status_t
280
_cairo_path_fixed_fill_rectilinear_tessellate_to_boxes (const cairo_path_fixed_t *path,
281
              cairo_fill_rule_t fill_rule,
282
              cairo_antialias_t antialias,
283
              cairo_boxes_t *boxes)
284
4.26k
{
285
4.26k
    cairo_polygon_t polygon;
286
4.26k
    cairo_status_t status;
287
288
4.26k
    _cairo_polygon_init (&polygon, boxes->limits, boxes->num_limits);
289
4.26k
    boxes->num_limits = 0;
290
291
    /* tolerance will be ignored as the path is rectilinear */
292
4.26k
    status = _cairo_path_fixed_fill_rectilinear_to_polygon (path, antialias, &polygon);
293
4.26k
    if (likely (status == CAIRO_STATUS_SUCCESS)) {
294
4.26k
  status =
295
4.26k
      _cairo_bentley_ottmann_tessellate_rectilinear_polygon_to_boxes (&polygon,
296
4.26k
                      fill_rule,
297
4.26k
                      boxes);
298
4.26k
    }
299
300
4.26k
    _cairo_polygon_fini (&polygon);
301
302
4.26k
    return status;
303
4.26k
}
304
305
cairo_status_t
306
_cairo_path_fixed_fill_rectilinear_to_boxes (const cairo_path_fixed_t *path,
307
               cairo_fill_rule_t fill_rule,
308
               cairo_antialias_t antialias,
309
               cairo_boxes_t *boxes)
310
351k
{
311
351k
    cairo_path_fixed_iter_t iter;
312
351k
    cairo_status_t status;
313
351k
    cairo_box_t box;
314
315
351k
    if (_cairo_path_fixed_is_box (path, &box))
316
345k
  return _cairo_boxes_add (boxes, antialias, &box);
317
318
6.64k
    _cairo_path_fixed_iter_init (&iter, path);
319
12.2k
    while (_cairo_path_fixed_iter_is_fill_box (&iter, &box)) {
320
5.64k
  if (box.p1.y == box.p2.y || box.p1.x == box.p2.x)
321
693
      continue;
322
323
4.94k
  if (box.p1.y > box.p2.y) {
324
96
      cairo_fixed_t t;
325
326
96
      t = box.p1.y;
327
96
      box.p1.y = box.p2.y;
328
96
      box.p2.y = t;
329
330
96
      t = box.p1.x;
331
96
      box.p1.x = box.p2.x;
332
96
      box.p2.x = t;
333
96
  }
334
335
4.94k
  status = _cairo_boxes_add (boxes, antialias, &box);
336
4.94k
  if (unlikely (status))
337
0
      return status;
338
4.94k
    }
339
340
6.64k
    if (_cairo_path_fixed_iter_at_end (&iter))
341
2.38k
  return _cairo_bentley_ottmann_tessellate_boxes (boxes, fill_rule, boxes);
342
343
    /* path is not rectangular, try extracting clipped rectilinear edges */
344
4.26k
    _cairo_boxes_clear (boxes);
345
4.26k
    return _cairo_path_fixed_fill_rectilinear_tessellate_to_boxes (path,
346
4.26k
                   fill_rule,
347
4.26k
                   antialias,
348
4.26k
                   boxes);
349
6.64k
}