Coverage Report

Created: 2025-11-16 09:57

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
16.2M
{
60
16.2M
    cairo_filler_t *filler = closure;
61
16.2M
    cairo_status_t status;
62
63
16.2M
    status = _cairo_polygon_add_external_edge (filler->polygon,
64
16.2M
                 &filler->current_point,
65
16.2M
                 point);
66
67
16.2M
    filler->current_point = *point;
68
69
16.2M
    return status;
70
16.2M
}
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
115k
{
77
115k
    return _cairo_filler_line_to (closure, point);
78
115k
};
79
80
static cairo_status_t
81
_cairo_filler_close (void *closure)
82
5.88M
{
83
5.88M
    cairo_filler_t *filler = closure;
84
85
    /* close the subpath */
86
5.88M
    return _cairo_filler_line_to (closure, &filler->last_move_to);
87
5.88M
}
88
89
static cairo_status_t
90
_cairo_filler_move_to (void *closure,
91
           const cairo_point_t *point)
92
3.02M
{
93
3.02M
    cairo_filler_t *filler = closure;
94
3.02M
    cairo_status_t status;
95
96
    /* close current subpath */
97
3.02M
    status = _cairo_filler_close (closure);
98
3.02M
    if (unlikely (status))
99
0
  return status;
100
101
        /* make sure that the closure represents a degenerate path */
102
3.02M
    filler->current_point = *point;
103
3.02M
    filler->last_move_to = *point;
104
105
3.02M
    return CAIRO_STATUS_SUCCESS;
106
3.02M
}
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
711k
{
114
711k
    cairo_filler_t *filler = closure;
115
711k
    cairo_spline_t spline;
116
117
711k
    if (filler->has_limits) {
118
711k
  if (! _cairo_spline_intersects (&filler->current_point, p1, p2, p3,
119
711k
          &filler->limit))
120
708k
      return _cairo_filler_line_to (filler, p3);
121
711k
    }
122
123
3.02k
    if (! _cairo_spline_init (&spline,
124
3.02k
            _cairo_filler_add_point, filler,
125
3.02k
            &filler->current_point, p1, p2, p3))
126
0
    {
127
0
  return _cairo_filler_line_to (closure, p3);
128
0
    }
129
130
3.02k
    return _cairo_spline_decompose (&spline, filler->tolerance);
131
3.02k
}
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
208k
{
138
208k
    cairo_filler_t filler;
139
208k
    cairo_status_t status;
140
141
208k
    filler.polygon = polygon;
142
208k
    filler.tolerance = tolerance;
143
144
208k
    filler.has_limits = FALSE;
145
208k
    if (polygon->num_limits) {
146
208k
  filler.has_limits = TRUE;
147
208k
  filler.limit = polygon->limit;
148
208k
    }
149
150
    /* make sure that the closure represents a degenerate path */
151
208k
    filler.current_point.x = 0;
152
208k
    filler.current_point.y = 0;
153
208k
    filler.last_move_to = filler.current_point;
154
155
208k
    status = _cairo_path_fixed_interpret (path,
156
208k
            _cairo_filler_move_to,
157
208k
            _cairo_filler_line_to,
158
208k
            _cairo_filler_curve_to,
159
208k
            _cairo_filler_close,
160
208k
            &filler);
161
208k
    if (unlikely (status))
162
0
  return status;
163
164
208k
    return _cairo_filler_close (&filler);
165
208k
}
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
310k
{
178
310k
    cairo_filler_ra_t *filler = closure;
179
310k
    cairo_status_t status;
180
310k
    cairo_point_t p;
181
182
310k
    p.x = _cairo_fixed_round_down (point->x);
183
310k
    p.y = _cairo_fixed_round_down (point->y);
184
185
310k
    status = _cairo_polygon_add_external_edge (filler->polygon,
186
310k
                 &filler->current_point,
187
310k
                 &p);
188
189
310k
    filler->current_point = p;
190
191
310k
    return status;
192
310k
}
193
194
static cairo_status_t
195
_cairo_filler_ra_close (void *closure)
196
80.9k
{
197
80.9k
    cairo_filler_ra_t *filler = closure;
198
80.9k
    return _cairo_filler_ra_line_to (closure, &filler->last_move_to);
199
80.9k
}
200
201
static cairo_status_t
202
_cairo_filler_ra_move_to (void *closure,
203
        const cairo_point_t *point)
204
52.2k
{
205
52.2k
    cairo_filler_ra_t *filler = closure;
206
52.2k
    cairo_status_t status;
207
52.2k
    cairo_point_t p;
208
209
    /* close current subpath */
210
52.2k
    status = _cairo_filler_ra_close (closure);
211
52.2k
    if (unlikely (status))
212
0
  return status;
213
214
52.2k
    p.x = _cairo_fixed_round_down (point->x);
215
52.2k
    p.y = _cairo_fixed_round_down (point->y);
216
217
    /* make sure that the closure represents a degenerate path */
218
52.2k
    filler->current_point = p;
219
52.2k
    filler->last_move_to = p;
220
221
52.2k
    return CAIRO_STATUS_SUCCESS;
222
52.2k
}
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
24.7k
{
229
24.7k
    cairo_filler_ra_t filler;
230
24.7k
    cairo_status_t status;
231
232
24.7k
    if (antialias != CAIRO_ANTIALIAS_NONE)
233
3
  return _cairo_path_fixed_fill_to_polygon (path, 0., polygon);
234
235
24.7k
    filler.polygon = polygon;
236
237
    /* make sure that the closure represents a degenerate path */
238
24.7k
    filler.current_point.x = 0;
239
24.7k
    filler.current_point.y = 0;
240
24.7k
    filler.last_move_to = filler.current_point;
241
242
24.7k
    status = _cairo_path_fixed_interpret_flat (path,
243
24.7k
                 _cairo_filler_ra_move_to,
244
24.7k
                 _cairo_filler_ra_line_to,
245
24.7k
                 _cairo_filler_ra_close,
246
24.7k
                 &filler,
247
24.7k
                 0.);
248
24.7k
    if (unlikely (status))
249
0
  return status;
250
251
24.7k
    return _cairo_filler_ra_close (&filler);
252
24.7k
}
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
24.7k
{
285
24.7k
    cairo_polygon_t polygon;
286
24.7k
    cairo_status_t status;
287
288
24.7k
    _cairo_polygon_init (&polygon, boxes->limits, boxes->num_limits);
289
24.7k
    boxes->num_limits = 0;
290
291
    /* tolerance will be ignored as the path is rectilinear */
292
24.7k
    status = _cairo_path_fixed_fill_rectilinear_to_polygon (path, antialias, &polygon);
293
24.7k
    if (likely (status == CAIRO_STATUS_SUCCESS)) {
294
24.7k
  status =
295
24.7k
      _cairo_bentley_ottmann_tessellate_rectilinear_polygon_to_boxes (&polygon,
296
24.7k
                      fill_rule,
297
24.7k
                      boxes);
298
24.7k
    }
299
300
24.7k
    _cairo_polygon_fini (&polygon);
301
302
24.7k
    return status;
303
24.7k
}
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
492k
{
311
492k
    cairo_path_fixed_iter_t iter;
312
492k
    cairo_status_t status;
313
492k
    cairo_box_t box;
314
315
492k
    if (_cairo_path_fixed_is_box (path, &box))
316
460k
  return _cairo_boxes_add (boxes, antialias, &box);
317
318
32.4k
    _cairo_path_fixed_iter_init (&iter, path);
319
236k
    while (_cairo_path_fixed_iter_is_fill_box (&iter, &box)) {
320
204k
  if (box.p1.y == box.p2.y || box.p1.x == box.p2.x)
321
60.4k
      continue;
322
323
143k
  if (box.p1.y > box.p2.y) {
324
70.7k
      cairo_fixed_t t;
325
326
70.7k
      t = box.p1.y;
327
70.7k
      box.p1.y = box.p2.y;
328
70.7k
      box.p2.y = t;
329
330
70.7k
      t = box.p1.x;
331
70.7k
      box.p1.x = box.p2.x;
332
70.7k
      box.p2.x = t;
333
70.7k
  }
334
335
143k
  status = _cairo_boxes_add (boxes, antialias, &box);
336
143k
  if (unlikely (status))
337
0
      return status;
338
143k
    }
339
340
32.4k
    if (_cairo_path_fixed_iter_at_end (&iter))
341
7.69k
  return _cairo_bentley_ottmann_tessellate_boxes (boxes, fill_rule, boxes);
342
343
    /* path is not rectangular, try extracting clipped rectilinear edges */
344
24.7k
    _cairo_boxes_clear (boxes);
345
24.7k
    return _cairo_path_fixed_fill_rectilinear_tessellate_to_boxes (path,
346
24.7k
                   fill_rule,
347
24.7k
                   antialias,
348
24.7k
                   boxes);
349
32.4k
}