Coverage Report

Created: 2026-04-09 11:41

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