d282a8fce68797e0430fc7a95cf86a5c1dbe35dd
[pspp] / src / output / render.c
1 /* PSPP - a program for statistical analysis.
2    Copyright (C) 2009, 2010, 2011, 2013, 2014 Free Software Foundation, Inc.
3
4    This program is free software: you can redistribute it and/or modify
5    it under the terms of the GNU General Public License as published by
6    the Free Software Foundation, either version 3 of the License, or
7    (at your option) any later version.
8
9    This program is distributed in the hope that it will be useful,
10    but WITHOUT ANY WARRANTY; without even the implied warranty of
11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12    GNU General Public License for more details.
13
14    You should have received a copy of the GNU General Public License
15    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
16
17 #include <config.h>
18
19 #include <math.h>
20 #include <stdio.h>
21 #include <stdint.h>
22 #include <stdlib.h>
23 #include <string.h>
24
25 #include "libpspp/assertion.h"
26 #include "libpspp/hash-functions.h"
27 #include "libpspp/hmap.h"
28 #include "output/render.h"
29 #include "output/tab.h"
30 #include "output/table-item.h"
31 #include "output/table.h"
32
33 #include "gl/minmax.h"
34 #include "gl/xalloc.h"
35
36 /* This file uses TABLE_HORZ and TABLE_VERT enough to warrant abbreviating. */
37 #define H TABLE_HORZ
38 #define V TABLE_VERT
39 \f
40 /* A layout for rendering a specific table on a specific device.
41
42    May represent the layout of an entire table presented to
43    render_page_create(), or a rectangular subregion of a table broken out using
44    render_break_next() to allow a table to be broken across multiple pages.
45
46    A page's size is not limited to the size passed in as part of render_params.
47    render_pager breaks a render_page into smaller render_pages that will fit in
48    the available space. */
49 struct render_page
50   {
51     const struct render_params *params; /* Parameters of the target device. */
52     struct table *table;                /* Table rendered. */
53     int ref_cnt;
54
55     /* Local copies of table->n and table->h, for convenience. */
56     int n[TABLE_N_AXES];
57     int h[TABLE_N_AXES][2];
58
59     /* cp[H] represents x positions within the table.
60        cp[H][0] = 0.
61        cp[H][1] = the width of the leftmost vertical rule.
62        cp[H][2] = cp[H][1] + the width of the leftmost column.
63        cp[H][3] = cp[H][2] + the width of the second-from-left vertical rule.
64        and so on:
65        cp[H][2 * nc] = x position of the rightmost vertical rule.
66        cp[H][2 * nc + 1] = total table width including all rules.
67
68        Similarly, cp[V] represents y positions within the table.
69        cp[V][0] = 0.
70        cp[V][1] = the height of the topmost horizontal rule.
71        cp[V][2] = cp[V][1] + the height of the topmost row.
72        cp[V][3] = cp[V][2] + the height of the second-from-top horizontal rule.
73        and so on:
74        cp[V][2 * nr] = y position of the bottommost horizontal rule.
75        cp[V][2 * nr + 1] = total table height including all rules.
76
77        Rules and columns can have width or height 0, in which case consecutive
78        values in this array are equal. */
79     int *cp[TABLE_N_AXES];
80
81     /* render_break_next() can break a table such that some cells are not fully
82        contained within a render_page.  This will happen if a cell is too wide
83        or two tall to fit on a single page, or if a cell spans multiple rows or
84        columns and the page only includes some of those rows or columns.
85
86        This hash table contains "struct render_overflow"s that represents each
87        such cell that doesn't completely fit on this page.
88
89        Each overflow cell borders at least one header edge of the table and may
90        border more.  (A single table cell that is so large that it fills the
91        entire page can overflow on all four sides!) */
92     struct hmap overflows;
93
94     /* Contains "struct render_footnote"s, one for each cell with one or more
95        footnotes.
96
97        'n_footnotes' is the number of footnotes in the table.  There might be
98        more than hmap_count(&page->footnotes) because there can be more than
99        one footnote in a cell. */
100     struct hmap footnotes;
101     size_t n_footnotes;
102
103     /* If a single column (or row) is too wide (or tall) to fit on a page
104        reasonably, then render_break_next() will split a single row or column
105        across multiple render_pages.  This member indicates when this has
106        happened:
107
108        is_edge_cutoff[H][0] is true if pixels have been cut off the left side
109        of the leftmost column in this page, and false otherwise.
110
111        is_edge_cutoff[H][1] is true if pixels have been cut off the right side
112        of the rightmost column in this page, and false otherwise.
113
114        is_edge_cutoff[V][0] and is_edge_cutoff[V][1] are similar for the top
115        and bottom of the table.
116
117        The effect of is_edge_cutoff is to prevent rules along the edge in
118        question from being rendered.
119
120        When is_edge_cutoff is true for a given edge, the 'overflows' hmap will
121        contain a node for each cell along that edge. */
122     bool is_edge_cutoff[TABLE_N_AXES][2];
123
124     /* If part of a joined cell would be cut off by breaking a table along
125        'axis' at the rule with offset 'z' (where 0 <= z <= n[axis]), then
126        join_crossing[axis][z] is the thickness of the rule that would be cut
127        off.
128
129        This is used to know to allocate extra space for breaking at such a
130        position, so that part of the cell's content is not lost.
131
132        This affects breaking a table only when headers are present.  When
133        headers are not present, the rule's thickness is used for cell content,
134        so no part of the cell's content is lost (and in fact it is duplicated
135        across both pages). */
136     int *join_crossing[TABLE_N_AXES];
137   };
138
139 static struct render_page *render_page_create (const struct render_params *,
140                                                const struct table *);
141
142 struct render_page *render_page_ref (const struct render_page *page_);
143 static void render_page_unref (struct render_page *);
144
145 /* Returns the offset in struct render_page's cp[axis] array of the rule with
146    index RULE_IDX.  That is, if RULE_IDX is 0, then the offset is that of the
147    leftmost or topmost rule; if RULE_IDX is 1, then the offset is that of the
148    next rule to the right (or below); and so on. */
149 static int
150 rule_ofs (int rule_idx)
151 {
152   return rule_idx * 2;
153 }
154
155 /* Returns the offset in struct render_page's cp[axis] array of the rule with
156    index RULE_IDX_R, which counts from the right side (or bottom) of the page
157    left (or up), according to whether AXIS is H or V, respectively.  That is,
158    if RULE_IDX_R is 0, then the offset is that of the rightmost or bottommost
159    rule; if RULE_IDX is 1, then the offset is that of the next rule to the left
160    (or above); and so on. */
161 static int
162 rule_ofs_r (const struct render_page *page, int axis, int rule_idx_r)
163 {
164   return (page->n[axis] - rule_idx_r) * 2;
165 }
166
167 /* Returns the offset in struct render_page's cp[axis] array of the cell with
168    index CELL_IDX.  That is, if CELL_IDX is 0, then the offset is that of the
169    leftmost or topmost cell; if CELL_IDX is 1, then the offset is that of the
170    next cell to the right (or below); and so on. */
171 static int
172 cell_ofs (int cell_idx)
173 {
174   return cell_idx * 2 + 1;
175 }
176
177 /* Returns the width of PAGE along AXIS from OFS0 to OFS1, exclusive. */
178 static int
179 axis_width (const struct render_page *page, int axis, int ofs0, int ofs1)
180 {
181   return page->cp[axis][ofs1] - page->cp[axis][ofs0];
182 }
183
184 /* Returns the width of the headers in PAGE along AXIS. */
185 static int
186 headers_width (const struct render_page *page, int axis)
187 {
188   int h0 = page->h[axis][0];
189   int w0 = axis_width (page, axis, rule_ofs (0), cell_ofs (h0));
190   int n = page->n[axis];
191   int h1 = page->h[axis][1];
192   int w1 = axis_width (page, axis, rule_ofs_r (page, axis, h1), cell_ofs (n));
193   return w0 + w1;
194 }
195
196 /* Returns the width of cell X along AXIS in PAGE. */
197 static int
198 cell_width (const struct render_page *page, int axis, int x)
199 {
200   return axis_width (page, axis, cell_ofs (x), cell_ofs (x) + 1);
201 }
202
203 /* Returns the width of rule X along AXIS in PAGE. */
204 static int
205 rule_width (const struct render_page *page, int axis, int x)
206 {
207   return axis_width (page, axis, rule_ofs (x), rule_ofs (x) + 1);
208 }
209
210 /* Returns the width of rule X along AXIS in PAGE. */
211 static int
212 rule_width_r (const struct render_page *page, int axis, int x)
213 {
214   int ofs = rule_ofs_r (page, axis, x);
215   return axis_width (page, axis, ofs, ofs + 1);
216 }
217
218 /* Returns the width of cells X0 through X1, exclusive, along AXIS in PAGE. */
219 static int
220 joined_width (const struct render_page *page, int axis, int x0, int x1)
221 {
222   return axis_width (page, axis, cell_ofs (x0), cell_ofs (x1) - 1);
223 }
224
225 /* Returns the width of the widest cell, excluding headers, along AXIS in
226    PAGE. */
227 static int
228 max_cell_width (const struct render_page *page, int axis)
229 {
230   int n = page->n[axis];
231   int x0 = page->h[axis][0];
232   int x1 = n - page->h[axis][1];
233   int x, max;
234
235   max = 0;
236   for (x = x0; x < x1; x++)
237     {
238       int w = cell_width (page, axis, x);
239       if (w > max)
240         max = w;
241     }
242   return max;
243 }
244 \f
245 /* A cell that doesn't completely fit on the render_page. */
246 struct render_overflow
247   {
248     struct hmap_node node;      /* In render_page's 'overflows' hmap. */
249
250     /* Occupied region of page.
251
252        d[H][0] is the leftmost column.
253        d[H][1] is the rightmost column, plus 1.
254        d[V][0] is the top row.
255        d[V][1] is the bottom row, plus 1.
256
257        The cell in its original table might occupy a larger region.  This
258        member reflects the size of the cell in the current render_page, after
259        trimming off any rows or columns due to page-breaking. */
260     int d[TABLE_N_AXES];
261
262     /* The space that has been trimmed off the cell:
263
264        overflow[H][0]: space trimmed off its left side.
265        overflow[H][1]: space trimmed off its right side.
266        overflow[V][0]: space trimmed off its top.
267        overflow[V][1]: space trimmed off its bottom.
268
269        During rendering, this information is used to position the rendered
270        portion of the cell within the available space.
271
272        When a cell is rendered, sometimes it is permitted to spill over into
273        space that is ordinarily reserved for rules.  Either way, this space is
274        still included in overflow values.
275
276        Suppose, for example, that a cell that joins 2 columns has a width of 60
277        pixels and content "abcdef", that the 2 columns that it joins have
278        widths of 20 and 30 pixels, respectively, and that therefore the rule
279        between the two joined columns has a width of 10 (20 + 10 + 30 = 60).
280        It might render like this, if each character is 10x10, and showing a few
281        extra table cells for context:
282
283                                      +------+
284                                      |abcdef|
285                                      +--+---+
286                                      |gh|ijk|
287                                      +--+---+
288
289        If this render_page is broken at the rule that separates "gh" from
290        "ijk", then the page that contains the left side of the "abcdef" cell
291        will have overflow[H][1] of 10 + 30 = 40 for its portion of the cell,
292        and the page that contains the right side of the cell will have
293        overflow[H][0] of 20 + 10 = 30.  The two resulting pages would look like
294        this:
295
296
297                                        +---
298                                        |abc
299                                        +--+
300                                        |gh|
301                                        +--+
302
303        and:
304
305                                        ----+
306                                        cdef|
307                                        +---+
308                                        |ijk|
309                                        +---+
310     */
311     int overflow[TABLE_N_AXES][2];
312   };
313
314 /* Returns a hash value for (,Y). */
315 static unsigned int
316 hash_cell (int x, int y)
317 {
318   return hash_int (x + (y << 16), 0);
319 }
320
321 /* Searches PAGE's set of render_overflow for one whose top-left cell is
322    (X,Y).  Returns it, if there is one, otherwise a null pointer. */
323 static const struct render_overflow *
324 find_overflow (const struct render_page *page, int x, int y)
325 {
326   if (!hmap_is_empty (&page->overflows))
327     {
328       const struct render_overflow *of;
329
330       HMAP_FOR_EACH_WITH_HASH (of, struct render_overflow, node,
331                                hash_cell (x, y), &page->overflows)
332         if (x == of->d[H] && y == of->d[V])
333           return of;
334     }
335
336   return NULL;
337 }
338 \f
339 /* A footnote. */
340 struct render_footnote
341   {
342     struct hmap_node node;
343
344     /* The area of the table covered by the cell that has the footnote.
345
346        d[H][0] is the leftmost column.
347        d[H][1] is the rightmost column, plus 1.
348        d[V][0] is the top row.
349        d[V][1] is the bottom row, plus 1.
350
351        The cell in its original table might occupy a larger region.  This
352        member reflects the size of the cell in the current render_page, after
353        trimming off any rows or columns due to page-breaking. */
354     int d[TABLE_N_AXES][2];
355
356     /* The index of the first footnote in the cell. */
357     int idx;
358   };
359
360 static int
361 count_footnotes (const struct table_cell *cell)
362 {
363   size_t i;
364   int n;
365
366   n = 0;
367   for (i = 0; i < cell->n_contents; i++)
368     n += cell->contents[i].n_footnotes;
369   return n;
370 }
371
372 static int
373 find_footnote_idx (const struct table_cell *cell, const struct hmap *footnotes)
374 {
375   const struct render_footnote *f;
376
377   if (!count_footnotes (cell))
378     return 0;
379
380   HMAP_FOR_EACH_WITH_HASH (f, struct render_footnote, node,
381                            hash_cell (cell->d[H][0], cell->d[V][0]), footnotes)
382     if (f->d[H][0] == cell->d[H][0] && f->d[V][0] == cell->d[V][0])
383       return f->idx;
384
385   NOT_REACHED ();
386 }
387 \f
388 /* Row or column dimensions.  Used to figure the size of a table in
389    render_page_create() and discarded after that. */
390 struct render_row
391   {
392     /* Width without considering rows (or columns) that span more than one (or
393        column). */
394     int unspanned;
395
396     /* Width taking spanned rows (or columns) into consideration. */
397     int width;
398   };
399
400 /* Modifies the 'width' members of the N elements of ROWS so that their sum,
401    when added to rule widths RULES[1] through RULES[N - 1] inclusive, is at
402    least WIDTH. */
403 static void
404 distribute_spanned_width (int width,
405                           struct render_row *rows, const int *rules, int n)
406 {
407   int total_unspanned;
408   double w, d0, d1, d;
409   int x;
410
411   /* Sum up the unspanned widths of the N rows for use as weights. */
412   total_unspanned = 0;
413   for (x = 0; x < n; x++)
414     total_unspanned += rows[x].unspanned;
415   for (x = 0; x < n - 1; x++)
416     total_unspanned += rules[x + 1];
417   if (total_unspanned >= width)
418     return;
419
420   /* The algorithm used here is based on the following description from HTML 4:
421
422          For cells that span multiple columns, a simple approach consists of
423          apportioning the min/max widths evenly to each of the constituent
424          columns.  A slightly more complex approach is to use the min/max
425          widths of unspanned cells to weight how spanned widths are
426          apportioned.  Experiments suggest that a blend of the two approaches
427          gives good results for a wide range of tables.
428
429      We blend the two approaches half-and-half, except that we cannot use the
430      unspanned weights when 'total_unspanned' is 0 (because that would cause a
431      division by zero).
432
433      This implementation uses floating-point types and operators, but all the
434      values involved are integers.  For integers smaller than 53 bits, this
435      should not lose any precision, and it should degrade gracefully for larger
436      values.
437
438      The calculation we want to do is this:
439
440         w0 = width / n
441         w1 = width * (column's unspanned width) / (total unspanned width)
442         (column's width) = (w0 + w1) / 2
443
444      We implement it as a precise calculation in integers by multiplying w0 and
445      w1 by the common denominator of all three calculations (d), dividing that
446      out in the column width calculation, and then keeping the remainder for
447      the next iteration.
448
449      (We actually compute the unspanned width of a column as twice the
450      unspanned width, plus the width of the rule on the left, plus the width of
451      the rule on the right.  That way each rule contributes to both the cell on
452      its left and on its right.)
453   */
454   d0 = n;
455   d1 = 2.0 * (total_unspanned > 0 ? total_unspanned : 1.0);
456   d = d0 * d1;
457   if (total_unspanned > 0)
458     d *= 2.0;
459   w = floor (d / 2.0);
460   for (x = 0; x < n; x++)
461     {
462       w += width * d1;
463       if (total_unspanned > 0)
464         {
465           double unspanned = rows[x].unspanned * 2.0;
466           if (x < n - 1)
467             unspanned += rules[x + 1];
468           if (x > 0)
469             unspanned += rules[x];
470           w += width * unspanned * d0;
471         }
472
473       rows[x].width = MAX (rows[x].width, w / d);
474       w -= rows[x].width * d;
475     }
476 }
477
478 /* Initializes PAGE->cp[AXIS] from the row widths in ROWS and the rule widths
479    in RULES. */
480 static void
481 accumulate_row_widths (const struct render_page *page, enum table_axis axis,
482                        const struct render_row *rows, const int *rules)
483 {
484   int n = page->n[axis];
485   int *cp;
486   int z;
487
488   cp = page->cp[axis];
489   cp[0] = 0;
490   for (z = 0; z < n; z++)
491     {
492       cp[1] = cp[0] + rules[z];
493       cp[2] = cp[1] + rows[z].width;
494       cp += 2;
495     }
496   cp[1] = cp[0] + rules[n];
497 }
498
499 /* Returns the sum of widths of the N ROWS and N+1 RULES. */
500 static int
501 calculate_table_width (int n, const struct render_row *rows, int *rules)
502 {
503   int width;
504   int x;
505
506   width = 0;
507   for (x = 0; x < n; x++)
508     width += rows[x].width;
509   for (x = 0; x <= n; x++)
510     width += rules[x];
511
512   return width;
513 }
514 \f
515 /* Rendering utility functions. */
516
517 /* Returns the line style to use for drawing a rule of the given TYPE. */
518 static enum render_line_style
519 rule_to_render_type (unsigned char type)
520 {
521   switch (type)
522     {
523     case TAL_0:
524     case TAL_GAP:
525       return RENDER_LINE_NONE;
526     case TAL_1:
527       return RENDER_LINE_SINGLE;
528     case TAL_2:
529       return RENDER_LINE_DOUBLE;
530     default:
531       NOT_REACHED ();
532     }
533 }
534
535 /* Returns the width of the rule in TABLE that is at offset Z along axis A, if
536    rendered with PARAMS.  */
537 static int
538 measure_rule (const struct render_params *params, const struct table *table,
539               enum table_axis a, int z)
540 {
541   enum table_axis b = !a;
542   unsigned int rules;
543   int d[TABLE_N_AXES];
544   int width;
545
546   /* Determine all types of rules that are present, as a bitmap in 'rules'
547      where rule type 't' is present if bit 2**t is set. */
548   rules = 0;
549   d[a] = z;
550   for (d[b] = 0; d[b] < table->n[b]; d[b]++)
551     rules |= 1u << table_get_rule (table, a, d[H], d[V]);
552
553   /* Calculate maximum width of the rules that are present. */
554   width = 0;
555   if (rules & (1u << TAL_1)
556       || (z > 0 && z < table->n[a] && rules & (1u << TAL_GAP)))
557     width = params->line_widths[a][RENDER_LINE_SINGLE];
558   if (rules & (1u << TAL_2))
559     width = MAX (width, params->line_widths[a][RENDER_LINE_DOUBLE]);
560   return width;
561 }
562
563 /* Allocates and returns a new render_page using PARAMS and TABLE.  Allocates
564    space for all of the members of the new page, but the caller must initialize
565    the 'cp' member itself. */
566 static struct render_page *
567 render_page_allocate (const struct render_params *params,
568                       struct table *table)
569 {
570   struct render_page *page;
571   int i;
572
573   page = xmalloc (sizeof *page);
574   page->params = params;
575   page->table = table;
576   page->ref_cnt = 1;
577   page->n[H] = table->n[H];
578   page->n[V] = table->n[V];
579   page->h[H][0] = table->h[H][0];
580   page->h[H][1] = table->h[H][1];
581   page->h[V][0] = table->h[V][0];
582   page->h[V][1] = table->h[V][1];
583
584   for (i = 0; i < TABLE_N_AXES; i++)
585     {
586       page->cp[i] = xmalloc ((2 * page->n[i] + 2) * sizeof *page->cp[i]);
587       page->join_crossing[i] = xzalloc ((page->n[i] + 1) * sizeof *page->join_crossing[i]);
588     }
589
590   hmap_init (&page->overflows);
591   hmap_init (&page->footnotes);
592   page->n_footnotes = 0;
593   memset (page->is_edge_cutoff, 0, sizeof page->is_edge_cutoff);
594
595   return page;
596 }
597
598 /* Allocates and returns a new render_page for PARAMS and TABLE, initializing
599    cp[H] in the new page from ROWS and RULES.  The caller must still initialize
600    cp[V]. */
601 static struct render_page *
602 create_page_with_exact_widths (const struct render_params *params,
603                                struct table *table,
604                                const struct render_row *rows, int *rules)
605 {
606   struct render_page *page = render_page_allocate (params, table);
607   accumulate_row_widths (page, H, rows, rules);
608   return page;
609 }
610
611 /* Allocates and returns a new render_page for PARAMS and TABLE.
612
613    Initializes cp[H] in the new page by setting the width of each row 'i' to
614    somewhere between the minimum cell width ROW_MIN[i].width and the maximum
615    ROW_MAX[i].width.  Sets the width of rules to those in RULES.
616
617    W_MIN is the sum of ROWS_MIN[].width.
618
619    W_MAX is the sum of ROWS_MAX[].width.
620
621    The caller must still initialize cp[V]. */
622 static struct render_page *
623 create_page_with_interpolated_widths (const struct render_params *params,
624                                       struct table *table,
625                                       const struct render_row *rows_min,
626                                       const struct render_row *rows_max,
627                                       int w_min, int w_max, const int *rules)
628 {
629   /* This implementation uses floating-point types and operators, but all the
630      values involved are integers.  For integers smaller than 53 bits, this
631      should not lose any precision, and it should degrade gracefully for larger
632      values. */
633   const int n = table->n[H];
634   const double avail = params->size[H] - w_min;
635   const double wanted = w_max - w_min;
636   struct render_page *page;
637   double w;
638   int *cph;
639   int x;
640
641   assert (wanted > 0);
642
643   page = render_page_allocate (params, table);
644
645   cph = page->cp[H];
646   *cph = 0;
647   w = (int) wanted / 2;
648   for (x = 0; x < n; x++)
649     {
650       int extra;
651
652       w += avail * (rows_max[x].width - rows_min[x].width);
653       extra = w / wanted;
654       w -= extra * wanted;
655
656       cph[1] = cph[0] + rules[x];
657       cph[2] = cph[1] + rows_min[x].width + extra;
658       cph += 2;
659     }
660   cph[1] = cph[0] + rules[n];
661
662   assert (page->cp[H][n * 2 + 1] == params->size[H]);
663   return page;
664 }
665
666 \f
667 static void
668 set_join_crossings (struct render_page *page, enum table_axis axis,
669                     const struct table_cell *cell, int *rules)
670 {
671   int z;
672
673   for (z = cell->d[axis][0] + 1; z <= cell->d[axis][1] - 1; z++)
674     page->join_crossing[axis][z] = rules[z];
675 }
676
677 /* Creates and returns a new render_page for rendering TABLE on a device
678    described by PARAMS.
679
680    The new render_page will be suitable for rendering on a device whose page
681    size is PARAMS->size, but the caller is responsible for actually breaking it
682    up to fit on such a device, using the render_break abstraction.  */
683 static struct render_page *
684 render_page_create (const struct render_params *params,
685                     const struct table *table_)
686 {
687   struct render_page *page;
688   struct table *table;
689   enum { MIN, MAX };
690   struct render_row *columns[2];
691   struct render_row *rows;
692   int table_widths[2];
693   int *rules[TABLE_N_AXES];
694   struct hmap footnotes;
695   int footnote_idx;
696   int nr, nc;
697   int x, y;
698   int i;
699   enum table_axis axis;
700
701   table = table_ref (table_);
702   nc = table_nc (table);
703   nr = table_nr (table);
704
705   /* Figure out rule widths. */
706   for (axis = 0; axis < TABLE_N_AXES; axis++)
707     {
708       int n = table->n[axis] + 1;
709       int z;
710
711       rules[axis] = xnmalloc (n, sizeof *rules);
712       for (z = 0; z < n; z++)
713         rules[axis][z] = measure_rule (params, table, axis, z);
714     }
715
716   /* Calculate minimum and maximum widths of cells that do not
717      span multiple columns.  Assign footnote markers. */
718   hmap_init (&footnotes);
719   footnote_idx = 0;
720   for (i = 0; i < 2; i++)
721     columns[i] = xzalloc (nc * sizeof *columns[i]);
722   for (y = 0; y < nr; y++)
723     for (x = 0; x < nc; )
724       {
725         struct table_cell cell;
726
727         table_get_cell (table, x, y, &cell);
728         if (y == cell.d[V][0])
729           {
730             int n;
731
732             if (table_cell_colspan (&cell) == 1)
733               {
734                 int w[2];
735                 int i;
736
737                 params->measure_cell_width (params->aux, &cell, footnote_idx,
738                                             &w[MIN], &w[MAX]);
739                 for (i = 0; i < 2; i++)
740                   if (columns[i][x].unspanned < w[i])
741                     columns[i][x].unspanned = w[i];
742               }
743
744             n = count_footnotes (&cell);
745             if (n > 0)
746               {
747                 struct render_footnote *f = xmalloc (sizeof *f);
748                 f->d[H][0] = cell.d[H][0];
749                 f->d[H][1] = cell.d[H][1];
750                 f->d[V][0] = cell.d[V][0];
751                 f->d[V][1] = cell.d[V][1];
752                 f->idx = footnote_idx;
753                 hmap_insert (&footnotes, &f->node, hash_cell (x, y));
754
755                 footnote_idx += n;
756               }
757           }
758         x = cell.d[H][1];
759         table_cell_free (&cell);
760       }
761
762   /* Distribute widths of spanned columns. */
763   for (i = 0; i < 2; i++)
764     for (x = 0; x < nc; x++)
765       columns[i][x].width = columns[i][x].unspanned;
766   for (y = 0; y < nr; y++)
767     for (x = 0; x < nc; )
768       {
769         struct table_cell cell;
770
771         table_get_cell (table, x, y, &cell);
772         if (y == cell.d[V][0] && table_cell_colspan (&cell) > 1)
773           {
774             int w[2];
775
776             params->measure_cell_width (params->aux, &cell,
777                                         find_footnote_idx (&cell, &footnotes),
778                                         &w[MIN], &w[MAX]);
779             for (i = 0; i < 2; i++)
780               distribute_spanned_width (w[i], &columns[i][cell.d[H][0]],
781                                         rules[H], table_cell_colspan (&cell));
782           }
783         x = cell.d[H][1];
784         table_cell_free (&cell);
785       }
786
787   /* Decide final column widths. */
788   for (i = 0; i < 2; i++)
789     table_widths[i] = calculate_table_width (table_nc (table),
790                                              columns[i], rules[H]);
791   if (table_widths[MAX] <= params->size[H])
792     {
793       /* Fits even with maximum widths.  Use them. */
794       page = create_page_with_exact_widths (params, table, columns[MAX],
795                                             rules[H]);
796     }
797   else if (table_widths[MIN] <= params->size[H])
798     {
799       /* Fits with minimum widths, so distribute the leftover space. */
800       page = create_page_with_interpolated_widths (
801         params, table, columns[MIN], columns[MAX],
802         table_widths[MIN], table_widths[MAX], rules[H]);
803     }
804   else
805     {
806       /* Doesn't fit even with minimum widths.  Assign minimums for now, and
807          later we can break it horizontally into multiple pages. */
808       page = create_page_with_exact_widths (params, table, columns[MIN],
809                                             rules[H]);
810     }
811
812   /* Calculate heights of cells that do not span multiple rows. */
813   rows = xzalloc (nr * sizeof *rows);
814   for (y = 0; y < nr; y++)
815     {
816       for (x = 0; x < nc; )
817         {
818           struct render_row *r = &rows[y];
819           struct table_cell cell;
820
821           table_get_cell (table, x, y, &cell);
822           if (y == cell.d[V][0])
823             {
824               if (table_cell_rowspan (&cell) == 1)
825                 {
826                   int w = joined_width (page, H, cell.d[H][0], cell.d[H][1]);
827                   int h = params->measure_cell_height (
828                     params->aux, &cell, find_footnote_idx (&cell, &footnotes), w);
829                   if (h > r->unspanned)
830                     r->unspanned = r->width = h;
831                 }
832               else
833                 set_join_crossings (page, V, &cell, rules[V]);
834
835               if (table_cell_colspan (&cell) > 1)
836                 set_join_crossings (page, H, &cell, rules[H]);
837             }
838           x = cell.d[H][1];
839           table_cell_free (&cell);
840         }
841     }
842   for (i = 0; i < 2; i++)
843     free (columns[i]);
844
845   /* Distribute heights of spanned rows. */
846   for (y = 0; y < nr; y++)
847     for (x = 0; x < nc; )
848       {
849         struct table_cell cell;
850
851         table_get_cell (table, x, y, &cell);
852         if (y == cell.d[V][0] && table_cell_rowspan (&cell) > 1)
853           {
854             int w = joined_width (page, H, cell.d[H][0], cell.d[H][1]);
855             int h = params->measure_cell_height (
856               params->aux, &cell, find_footnote_idx (&cell, &footnotes), w);
857             distribute_spanned_width (h, &rows[cell.d[V][0]], rules[V],
858                                       table_cell_rowspan (&cell));
859           }
860         x = cell.d[H][1];
861         table_cell_free (&cell);
862       }
863
864   /* Decide final row heights. */
865   accumulate_row_widths (page, V, rows, rules[V]);
866   free (rows);
867
868   /* Measure headers.  If they are "too big", get rid of them.  */
869   for (axis = 0; axis < TABLE_N_AXES; axis++)
870     {
871       int hw = headers_width (page, axis);
872       if (hw * 2 >= page->params->size[axis]
873           || hw + max_cell_width (page, axis) > page->params->size[axis])
874         {
875           page->table = table_unshare (page->table);
876           page->table->h[axis][0] = page->table->h[axis][1] = 0;
877           page->h[axis][0] = page->h[axis][1] = 0;
878         }
879     }
880
881   hmap_swap (&page->footnotes, &footnotes);
882   hmap_destroy (&footnotes);
883   page->n_footnotes = footnote_idx;
884
885   free (rules[H]);
886   free (rules[V]);
887
888   return page;
889 }
890
891 /* Increases PAGE's reference count. */
892 struct render_page *
893 render_page_ref (const struct render_page *page_)
894 {
895   struct render_page *page = CONST_CAST (struct render_page *, page_);
896   page->ref_cnt++;
897   return page;
898 }
899
900 /* Decreases PAGE's reference count and destroys PAGE if this causes the
901    reference count to fall to zero. */
902 static void
903 render_page_unref (struct render_page *page)
904 {
905   if (page != NULL && --page->ref_cnt == 0)
906     {
907       int i;
908       struct render_overflow *overflow, *next;
909
910       HMAP_FOR_EACH_SAFE (overflow, next, struct render_overflow, node,
911                           &page->overflows)
912         free (overflow);
913       hmap_destroy (&page->overflows);
914
915       table_unref (page->table);
916       
917       for (i = 0; i < TABLE_N_AXES; ++i)
918         {
919           free (page->join_crossing[i]);
920           free (page->cp[i]);
921         }
922
923       free (page);
924     }
925 }
926
927 /* Returns the size of PAGE along AXIS.  (This might be larger than the page
928    size specified in the parameters passed to render_page_create().  Use a
929    render_break to break up a render_page into page-sized chunks.) */
930 int
931 render_page_get_size (const struct render_page *page, enum table_axis axis)
932 {
933   return page->cp[axis][page->n[axis] * 2 + 1];
934 }
935
936 int
937 render_page_get_best_breakpoint (const struct render_page *page, int height)
938 {
939   int y;
940
941   /* If there's no room for at least the top row and the rules above and below
942      it, don't include any of the table. */
943   if (page->cp[V][3] > height)
944     return 0;
945
946   /* Otherwise include as many rows and rules as we can. */
947   for (y = 5; y <= 2 * page->n[V] + 1; y += 2)
948     if (page->cp[V][y] > height)
949       return page->cp[V][y - 2];
950   return height;
951 }
952 \f
953 /* Drawing render_pages. */
954
955 static inline enum render_line_style
956 get_rule (const struct render_page *page, enum table_axis axis,
957           const int d[TABLE_N_AXES])
958 {
959   return rule_to_render_type (table_get_rule (page->table,
960                                               axis, d[H] / 2, d[V] / 2));
961 }
962
963 static bool
964 is_rule (int z)
965 {
966   return !(z & 1);
967 }
968
969 static void
970 render_rule (const struct render_page *page, const int ofs[TABLE_N_AXES],
971              const int d[TABLE_N_AXES])
972 {
973   enum render_line_style styles[TABLE_N_AXES][2];
974   enum table_axis a;
975
976   for (a = 0; a < TABLE_N_AXES; a++)
977     {
978       enum table_axis b = !a;
979
980       styles[a][0] = styles[a][1] = RENDER_LINE_NONE;
981
982       if (!is_rule (d[a])
983           || (page->is_edge_cutoff[a][0] && d[a] == 0)
984           || (page->is_edge_cutoff[a][1] && d[a] == page->n[a] * 2))
985         continue;
986
987       if (is_rule (d[b]))
988         {
989           if (d[b] > 0)
990             {
991               int e[TABLE_N_AXES];
992               e[H] = d[H];
993               e[V] = d[V];
994               e[b]--;
995               styles[a][0] = get_rule (page, a, e);
996             }
997
998           if (d[b] / 2 < page->table->n[b])
999             styles[a][1] = get_rule (page, a, d);
1000         }
1001       else
1002         styles[a][0] = styles[a][1] = get_rule (page, a, d);
1003     }
1004
1005   if (styles[H][0] != RENDER_LINE_NONE || styles[H][1] != RENDER_LINE_NONE
1006       || styles[V][0] != RENDER_LINE_NONE || styles[V][1] != RENDER_LINE_NONE)
1007     {
1008       int bb[TABLE_N_AXES][2];
1009
1010       bb[H][0] = ofs[H] + page->cp[H][d[H]];
1011       bb[H][1] = ofs[H] + page->cp[H][d[H] + 1];
1012       bb[V][0] = ofs[V] + page->cp[V][d[V]];
1013       bb[V][1] = ofs[V] + page->cp[V][d[V] + 1];
1014       page->params->draw_line (page->params->aux, bb, styles);
1015     }
1016 }
1017
1018 static void
1019 render_cell (const struct render_page *page, const int ofs[TABLE_N_AXES],
1020              const struct table_cell *cell)
1021 {
1022   const struct render_overflow *of;
1023   int bb[TABLE_N_AXES][2];
1024   int clip[TABLE_N_AXES][2];
1025
1026   bb[H][0] = clip[H][0] = ofs[H] + page->cp[H][cell->d[H][0] * 2 + 1];
1027   bb[H][1] = clip[H][1] = ofs[H] + page->cp[H][cell->d[H][1] * 2];
1028   bb[V][0] = clip[V][0] = ofs[V] + page->cp[V][cell->d[V][0] * 2 + 1];
1029   bb[V][1] = clip[V][1] = ofs[V] + page->cp[V][cell->d[V][1] * 2];
1030
1031   of = find_overflow (page, cell->d[H][0], cell->d[V][0]);
1032   if (of)
1033     {
1034       enum table_axis axis;
1035
1036       for (axis = 0; axis < TABLE_N_AXES; axis++)
1037         {
1038           if (of->overflow[axis][0])
1039             {
1040               bb[axis][0] -= of->overflow[axis][0];
1041               if (cell->d[axis][0] == 0 && !page->is_edge_cutoff[axis][0])
1042                 clip[axis][0] = ofs[axis] + page->cp[axis][cell->d[axis][0] * 2];
1043             }
1044           if (of->overflow[axis][1])
1045             {
1046               bb[axis][1] += of->overflow[axis][1];
1047               if (cell->d[axis][1] == page->n[axis] && !page->is_edge_cutoff[axis][1])
1048                 clip[axis][1] = ofs[axis] + page->cp[axis][cell->d[axis][1] * 2 + 1];
1049             }
1050         }
1051     }
1052
1053   page->params->draw_cell (page->params->aux, cell,
1054                            find_footnote_idx (cell, &page->footnotes), bb, clip);
1055 }
1056
1057 /* Draws the cells of PAGE indicated in BB. */
1058 static void
1059 render_page_draw_cells (const struct render_page *page,
1060                         int ofs[TABLE_N_AXES], int bb[TABLE_N_AXES][2])
1061 {
1062   int x, y;
1063
1064   for (y = bb[V][0]; y < bb[V][1]; y++)
1065     for (x = bb[H][0]; x < bb[H][1]; )
1066       if (is_rule (x) || is_rule (y))
1067         {
1068           int d[TABLE_N_AXES];
1069           d[H] = x;
1070           d[V] = y;
1071           render_rule (page, ofs, d);
1072           x++;
1073         }
1074       else
1075         {
1076           struct table_cell cell;
1077
1078           table_get_cell (page->table, x / 2, y / 2, &cell);
1079           if (y / 2 == bb[V][0] / 2 || y / 2 == cell.d[V][0])
1080             render_cell (page, ofs, &cell);
1081           x = rule_ofs (cell.d[H][1]);
1082           table_cell_free (&cell);
1083         }
1084 }
1085
1086 /* Renders PAGE, by calling the 'draw_line' and 'draw_cell' functions from the
1087    render_params provided to render_page_create(). */
1088 void
1089 render_page_draw (const struct render_page *page, int ofs[TABLE_N_AXES])
1090 {
1091   int bb[TABLE_N_AXES][2];
1092
1093   bb[H][0] = 0;
1094   bb[H][1] = page->n[H] * 2 + 1;
1095   bb[V][0] = 0;
1096   bb[V][1] = page->n[V] * 2 + 1;
1097
1098   render_page_draw_cells (page, ofs, bb);
1099 }
1100
1101 /* Returns the greatest value i, 0 <= i < n, such that cp[i] <= x0. */
1102 static int
1103 get_clip_min_extent (int x0, const int cp[], int n)
1104 {
1105   int low, high, best;
1106
1107   low = 0;
1108   high = n;
1109   best = 0;
1110   while (low < high)
1111     {
1112       int middle = low + (high - low) / 2;
1113
1114       if (cp[middle] <= x0)
1115         {
1116           best = middle;
1117           low = middle + 1;
1118         }
1119       else
1120         high = middle;
1121     }
1122
1123   return best;
1124 }
1125
1126 /* Returns the least value i, 0 <= i < n, such that cp[i] >= x1. */
1127 static int
1128 get_clip_max_extent (int x1, const int cp[], int n)
1129 {
1130   int low, high, best;
1131
1132   low = 0;
1133   high = n;
1134   best = n;
1135   while (low < high)
1136     {
1137       int middle = low + (high - low) / 2;
1138
1139       if (cp[middle] >= x1)
1140         best = high = middle;
1141       else
1142         low = middle + 1;
1143     }
1144
1145   while (best > 0 && cp[best - 1] == cp[best])
1146     best--;
1147
1148   return best;
1149 }
1150
1151 /* Renders the cells of PAGE that intersect (X,Y)-(X+W,Y+H), by calling the
1152    'draw_line' and 'draw_cell' functions from the render_params provided to
1153    render_page_create(). */
1154 void
1155 render_page_draw_region (const struct render_page *page,
1156                          int ofs[TABLE_N_AXES], int clip[TABLE_N_AXES][2])
1157 {
1158   int bb[TABLE_N_AXES][2];
1159
1160   bb[H][0] = get_clip_min_extent (clip[H][0], page->cp[H], page->n[H] * 2 + 1);
1161   bb[H][1] = get_clip_max_extent (clip[H][1], page->cp[H], page->n[H] * 2 + 1);
1162   bb[V][0] = get_clip_min_extent (clip[V][0], page->cp[V], page->n[V] * 2 + 1);
1163   bb[V][1] = get_clip_max_extent (clip[V][1], page->cp[V], page->n[V] * 2 + 1);
1164
1165   render_page_draw_cells (page, ofs, bb);
1166 }
1167 \f
1168 /* Breaking up tables to fit on a page. */
1169
1170 /* An iterator for breaking render_pages into smaller chunks. */
1171 struct render_break
1172   {
1173     struct render_page *page;   /* Page being broken up. */
1174     enum table_axis axis;       /* Axis along which 'page' is being broken. */
1175     int z;                      /* Next cell along 'axis'. */
1176     int pixel;                  /* Pixel offset within cell 'z' (usually 0). */
1177     int hw;                     /* Width of headers of 'page' along 'axis'. */
1178   };
1179
1180 static int needed_size (const struct render_break *, int cell);
1181 static bool cell_is_breakable (const struct render_break *, int cell);
1182 static struct render_page *render_page_select (const struct render_page *,
1183                                                enum table_axis,
1184                                                int z0, int p0,
1185                                                int z1, int p1);
1186
1187 /* Initializes render_break B for breaking PAGE along AXIS. */
1188 static void
1189 render_break_init (struct render_break *b, const struct render_page *page,
1190                    enum table_axis axis)
1191 {
1192   b->page = render_page_ref (page);
1193   b->axis = axis;
1194   b->z = page->h[axis][0];
1195   b->pixel = 0;
1196   b->hw = headers_width (page, axis);
1197 }
1198
1199 /* Initializes B as a render_break structure for which
1200    render_break_has_next() always returns false. */
1201 static void
1202 render_break_init_empty (struct render_break *b)
1203 {
1204   b->page = NULL;
1205   b->axis = TABLE_HORZ;
1206   b->z = 0;
1207   b->pixel = 0;
1208   b->hw = 0;
1209 }
1210
1211 /* Frees B and unrefs the render_page that it owns. */
1212 static void
1213 render_break_destroy (struct render_break *b)
1214 {
1215   if (b != NULL)
1216     {
1217       render_page_unref (b->page);
1218       b->page = NULL;
1219     }
1220 }
1221
1222 /* Returns true if B still has cells that are yet to be returned,
1223    false if all of B's page has been processed. */
1224 static bool
1225 render_break_has_next (const struct render_break *b)
1226 {
1227   const struct render_page *page = b->page;
1228   enum table_axis axis = b->axis;
1229
1230   return page != NULL && b->z < page->n[axis] - page->h[axis][1];
1231 }
1232
1233 /* Returns a new render_page that is up to SIZE pixels wide along B's axis.
1234    Returns a null pointer if B has already been completely broken up, or if
1235    SIZE is too small to reasonably render any cells.  The latter will never
1236    happen if SIZE is at least as large as the page size passed to
1237    render_page_create() along B's axis. */
1238 static struct render_page *
1239 render_break_next (struct render_break *b, int size)
1240 {
1241   const struct render_page *page = b->page;
1242   enum table_axis axis = b->axis;
1243   struct render_page *subpage;
1244   int z, pixel;
1245
1246   if (!render_break_has_next (b))
1247     return NULL;
1248
1249   pixel = 0;
1250   for (z = b->z; z < page->n[axis] - page->h[axis][1]; z++)
1251     {
1252       int needed = needed_size (b, z + 1);
1253       if (needed > size)
1254         {
1255           if (cell_is_breakable (b, z))
1256             {
1257               /* If there is no right header and we render a partial cell on
1258                  the right side of the body, then we omit the rightmost rule of
1259                  the body.  Otherwise the rendering is deceptive because it
1260                  looks like the whole cell is present instead of a partial
1261                  cell.
1262
1263                  This is similar to code for the left side in needed_size(). */
1264               int rule_allowance = (page->h[axis][1]
1265                                     ? 0
1266                                     : rule_width (page, axis, z));
1267
1268               /* The amount that, if we added cell 'z', the rendering would
1269                  overfill the allocated 'size'. */
1270               int overhang = needed - size - rule_allowance;
1271
1272               /* The width of cell 'z'. */
1273               int cell_size = cell_width (page, axis, z);
1274
1275               /* The amount trimmed off the left side of 'z',
1276                  and the amount left to render. */
1277               int cell_ofs = z == b->z ? b->pixel : 0;
1278               int cell_left = cell_size - cell_ofs;
1279
1280               /* A small but visible width.  */
1281               int em = page->params->font_size[axis];
1282
1283               /* If some of the cell remains to render,
1284                  and there would still be some of the cell left afterward,
1285                  then partially render that much of the cell. */
1286               pixel = (cell_left && cell_left > overhang
1287                        ? cell_left - overhang + cell_ofs
1288                        : 0);
1289
1290               /* If there would be only a tiny amount of the cell left after
1291                  rendering it partially, reduce the amount rendered slightly
1292                  to make the output look a little better. */
1293               if (pixel + em > cell_size)
1294                 pixel = MAX (pixel - em, 0);
1295
1296               /* If we're breaking vertically, then consider whether the cells
1297                  being broken have a better internal breakpoint than the exact
1298                  number of pixels available, which might look bad e.g. because
1299                  it breaks in the middle of a line of text. */
1300               if (axis == TABLE_VERT && page->params->adjust_break)
1301                 {
1302                   int x;
1303
1304                   for (x = 0; x < page->n[H]; )
1305                     {
1306                       struct table_cell cell;
1307                       int better_pixel;
1308                       int w;
1309
1310                       table_get_cell (page->table, x, z, &cell);
1311                       w = joined_width (page, H, cell.d[H][0], cell.d[H][1]);
1312                       better_pixel = page->params->adjust_break (
1313                         page->params->aux, &cell,
1314                         find_footnote_idx (&cell, &page->footnotes), w, pixel);
1315                       x = cell.d[H][1];
1316                       table_cell_free (&cell);
1317
1318                       if (better_pixel < pixel)
1319                         {
1320                           if (better_pixel > (z == b->z ? b->pixel : 0))
1321                             {
1322                               pixel = better_pixel;
1323                               break;
1324                             }
1325                           else if (better_pixel == 0 && z != b->z)
1326                             {
1327                               pixel = 0;
1328                               break;
1329                             }
1330                         }
1331                     }
1332                 }
1333             }
1334           break;
1335         }
1336     }
1337
1338   if (z == b->z && !pixel)
1339     return NULL;
1340
1341   subpage = render_page_select (page, axis, b->z, b->pixel,
1342                                 pixel ? z + 1 : z,
1343                                 pixel ? cell_width (page, axis, z) - pixel
1344                                 : 0);
1345   b->z = z;
1346   b->pixel = pixel;
1347   return subpage;
1348 }
1349
1350 /* Returns the width that would be required along B's axis to render a page
1351    from B's current position up to but not including CELL. */
1352 static int
1353 needed_size (const struct render_break *b, int cell)
1354 {
1355   const struct render_page *page = b->page;
1356   enum table_axis axis = b->axis;
1357   int size;
1358
1359   /* Width of left header not including its rightmost rule.  */
1360   size = axis_width (page, axis, 0, rule_ofs (page->h[axis][0]));
1361
1362   /* If we have a pixel offset and there is no left header, then we omit the
1363      leftmost rule of the body.  Otherwise the rendering is deceptive because
1364      it looks like the whole cell is present instead of a partial cell.
1365
1366      Otherwise (if there are headers) we will be merging two rules: the
1367      rightmost rule in the header and the leftmost rule in the body.  We assume
1368      that the width of a merged rule is the larger of the widths of either rule
1369      invidiually. */
1370   if (b->pixel == 0 || page->h[axis][0])
1371     size += MAX (rule_width (page, axis, page->h[axis][0]),
1372                  rule_width (page, axis, b->z));
1373
1374   /* Width of body, minus any pixel offset in the leftmost cell. */
1375   size += joined_width (page, axis, b->z, cell) - b->pixel;
1376
1377   /* Width of rightmost rule in body merged with leftmost rule in headers. */
1378   size += MAX (rule_width_r (page, axis, page->h[axis][1]),
1379                rule_width (page, axis, cell));
1380
1381   /* Width of right header not including its leftmost rule. */
1382   size += axis_width (page, axis, rule_ofs_r (page, axis, page->h[axis][1]),
1383                       rule_ofs_r (page, axis, 0));
1384
1385   /* Join crossing. */
1386   if (page->h[axis][0] && page->h[axis][1])
1387     size += page->join_crossing[axis][b->z];
1388
1389   return size;
1390 }
1391
1392 /* Returns true if CELL along B's axis may be broken across a page boundary.
1393
1394    This is just a heuristic.  Breaking cells across page boundaries can save
1395    space, but it looks ugly. */
1396 static bool
1397 cell_is_breakable (const struct render_break *b, int cell)
1398 {
1399   const struct render_page *page = b->page;
1400   enum table_axis axis = b->axis;
1401
1402   return cell_width (page, axis, cell) >= page->params->min_break[axis];
1403 }
1404 \f
1405 /* render_pager. */
1406
1407 struct render_pager
1408   {
1409     const struct render_params *params;
1410
1411     struct render_page **pages;
1412     size_t n_pages, allocated_pages;
1413
1414     size_t cur_page;
1415     struct render_break x_break;
1416     struct render_break y_break;
1417   };
1418
1419 static const struct render_page *
1420 render_pager_add_table (struct render_pager *p, struct table *table)
1421 {
1422   struct render_page *page;
1423
1424   if (p->n_pages >= p->allocated_pages)
1425     p->pages = x2nrealloc (p->pages, &p->allocated_pages, sizeof *p->pages);
1426   page = p->pages[p->n_pages++] = render_page_create (p->params, table);
1427   return page;
1428 }
1429
1430 static void
1431 render_pager_start_page (struct render_pager *p)
1432 {
1433   render_break_init (&p->x_break, p->pages[p->cur_page++], H);
1434   render_break_init_empty (&p->y_break);
1435 }
1436
1437 static void
1438 add_footnote_page (struct render_pager *p, const struct render_page *body)
1439 {
1440   const struct table *table = body->table;
1441   int nc = table_nc (table);
1442   int nr = table_nr (table);
1443   int footnote_idx = 0;
1444   struct tab_table *t;
1445   int x, y;
1446
1447   if (!body->n_footnotes)
1448     return;
1449
1450   t = tab_create (2, body->n_footnotes);
1451   for (y = 0; y < nr; y++)
1452     for (x = 0; x < nc; )
1453       {
1454         struct table_cell cell;
1455
1456         table_get_cell (table, x, y, &cell);
1457         if (y == cell.d[V][0])
1458           {
1459             size_t i;
1460
1461             for (i = 0; i < cell.n_contents; i++)
1462               {
1463                 const struct cell_contents *cc = &cell.contents[i];
1464                 size_t j;
1465
1466                 for (j = 0; j < cc->n_footnotes; j++)
1467                   {
1468                     const char *f = cc->footnotes[j];
1469
1470                     tab_text (t, 0, footnote_idx, TAB_LEFT, "");
1471                     tab_footnote (t, 0, footnote_idx, "(none)");
1472                     tab_text (t, 1, footnote_idx, TAB_LEFT, f);
1473                     footnote_idx++;
1474                   }
1475               }
1476           }
1477         x = cell.d[H][1];
1478         table_cell_free (&cell);
1479       }
1480   render_pager_add_table (p, &t->table);
1481 }
1482
1483 /* Creates and returns a new render_pager for rendering TABLE_ITEM on the
1484    device with the given PARAMS. */
1485 struct render_pager *
1486 render_pager_create (const struct render_params *params,
1487                      const struct table_item *table_item)
1488 {
1489   const char *caption = table_item_get_caption (table_item);
1490   const char *title = table_item_get_title (table_item);
1491   const struct render_page *body_page;
1492   struct render_pager *p;
1493
1494   p = xzalloc (sizeof *p);
1495   p->params = params;
1496
1497   /* Title. */
1498   if (title)
1499     render_pager_add_table (p, table_from_string (TAB_LEFT, title));
1500
1501   /* Body. */
1502   body_page = render_pager_add_table (p, table_ref (table_item_get_table (
1503                                                       table_item)));
1504
1505   /* Caption. */
1506   if (caption)
1507     render_pager_add_table (p, table_from_string (TAB_LEFT, caption));
1508
1509   /* Footnotes. */
1510   add_footnote_page (p, body_page);
1511
1512   render_pager_start_page (p);
1513
1514   return p;
1515 }
1516
1517 /* Destroys P. */
1518 void
1519 render_pager_destroy (struct render_pager *p)
1520 {
1521   if (p)
1522     {
1523       size_t i;
1524
1525       render_break_destroy (&p->x_break);
1526       render_break_destroy (&p->y_break);
1527       for (i = 0; i < p->n_pages; i++)
1528         render_page_unref (p->pages[i]);
1529       free (p->pages);
1530       free (p);
1531     }
1532 }
1533
1534 /* Returns true if P has content remaining to render, false if rendering is
1535    done. */
1536 bool
1537 render_pager_has_next (const struct render_pager *p_)
1538 {
1539   struct render_pager *p = CONST_CAST (struct render_pager *, p_);
1540
1541   while (!render_break_has_next (&p->y_break))
1542     {
1543       render_break_destroy (&p->y_break);
1544       if (!render_break_has_next (&p->x_break))
1545         {
1546           render_break_destroy (&p->x_break);
1547           if (p->cur_page >= p->n_pages)
1548             {
1549               render_break_init_empty (&p->x_break);
1550               render_break_init_empty (&p->y_break);
1551               return false;
1552             }
1553           render_pager_start_page (p);
1554         }
1555       else
1556         render_break_init (&p->y_break,
1557                            render_break_next (&p->x_break, p->params->size[H]), V);
1558     }
1559   return true;
1560 }
1561
1562 /* Draws a chunk of content from P to fit in a space that has vertical size
1563    SPACE and the horizontal size specified in the render_params passed to
1564    render_page_create().  Returns the amount of space actually used by the
1565    rendered chunk, which will be 0 if SPACE is too small to render anything or
1566    if no content remains (use render_pager_has_next() to distinguish these
1567    cases). */
1568 int
1569 render_pager_draw_next (struct render_pager *p, int space)
1570 {
1571   int ofs[TABLE_N_AXES] = { 0, 0 };
1572   size_t start_page = SIZE_MAX;
1573
1574   while (render_pager_has_next (p))
1575     {
1576       struct render_page *page;
1577
1578       if (start_page == p->cur_page)
1579         break;
1580       start_page = p->cur_page;
1581
1582       page = render_break_next (&p->y_break, space - ofs[V]);
1583       if (!page)
1584         break;
1585
1586       render_page_draw (page, ofs);
1587       ofs[V] += render_page_get_size (page, V);
1588       render_page_unref (page);
1589     }
1590   return ofs[V];
1591 }
1592
1593 /* Draws all of P's content. */
1594 void
1595 render_pager_draw (const struct render_pager *p)
1596 {
1597   render_pager_draw_region (p, 0, 0, INT_MAX, INT_MAX);
1598 }
1599
1600 /* Draws the region of P's content that lies in the region (X,Y)-(X+W,Y+H).
1601    Some extra content might be drawn; the device should perform clipping as
1602    necessary. */
1603 void
1604 render_pager_draw_region (const struct render_pager *p,
1605                           int x, int y, int w, int h)
1606 {
1607   int ofs[TABLE_N_AXES] = { 0, 0 };
1608   int clip[TABLE_N_AXES][2];
1609   size_t i;
1610
1611   clip[H][0] = x;
1612   clip[H][1] = x + w;
1613   for (i = 0; i < p->n_pages; i++)
1614     {
1615       const struct render_page *page = p->pages[i];
1616       int size = render_page_get_size (page, V);
1617
1618       clip[V][0] = MAX (y, ofs[V]) - ofs[V];
1619       clip[V][1] = MIN (y + h, ofs[V] + size) - ofs[V];
1620       if (clip[V][1] > clip[V][0])
1621         render_page_draw_region (page, ofs, clip);
1622
1623       ofs[V] += size;
1624     }
1625 }
1626
1627 /* Returns the size of P's content along AXIS; i.e. the content's width if AXIS
1628    is TABLE_HORZ and its length if AXIS is TABLE_VERT. */
1629 int
1630 render_pager_get_size (const struct render_pager *p, enum table_axis axis)
1631 {
1632   int size = 0;
1633   size_t i;
1634
1635   for (i = 0; i < p->n_pages; i++)
1636     {
1637       int subsize = render_page_get_size (p->pages[i], axis);
1638       size = axis == H ? MAX (size, subsize) : size + subsize;
1639     }
1640
1641   return size;
1642 }
1643
1644 int
1645 render_pager_get_best_breakpoint (const struct render_pager *p, int height)
1646 {
1647   int y = 0;
1648   size_t i;
1649
1650   for (i = 0; i < p->n_pages; i++)
1651     {
1652       int size = render_page_get_size (p->pages[i], V);
1653       if (y + size >= height)
1654         return render_page_get_best_breakpoint (p->pages[i], height - y) + y;
1655       y += size;
1656     }
1657
1658   return height;
1659 }
1660 \f
1661 /* render_page_select() and helpers. */
1662
1663 struct render_page_selection
1664   {
1665     const struct render_page *page; /* Page whose slice we are selecting. */
1666     struct render_page *subpage; /* New page under construction. */
1667     enum table_axis a;   /* Axis of 'page' along which 'subpage' is a slice. */
1668     enum table_axis b;   /* The opposite of 'a'. */
1669     int z0;              /* First cell along 'a' being selected. */
1670     int z1;              /* Last cell being selected, plus 1. */
1671     int p0;              /* Number of pixels to trim off left side of z0. */
1672     int p1;              /* Number of pixels to trim off right side of z1-1. */
1673   };
1674
1675 static void cell_to_subpage (struct render_page_selection *,
1676                              const struct table_cell *,
1677                              int subcell[TABLE_N_AXES]);
1678 static const struct render_overflow *find_overflow_for_cell (
1679   struct render_page_selection *, const struct table_cell *);
1680 static struct render_overflow *insert_overflow (struct render_page_selection *,
1681                                                 const struct table_cell *);
1682
1683 /* Creates and returns a new render_page whose contents are a subregion of
1684    PAGE's contents.  The new render_page includes cells Z0 through Z1
1685    (exclusive) along AXIS, plus any headers on AXIS.
1686
1687    If P0 is nonzero, then it is a number of pixels to exclude from the left or
1688    top (according to AXIS) of cell Z0.  Similarly, P1 is a number of pixels to
1689    exclude from the right or bottom of cell Z1 - 1.  (P0 and P1 are used to
1690    render cells that are too large to fit on a single page.)
1691
1692    The whole of axis !AXIS is included.  (The caller may follow up with another
1693    call to render_page_select() to select on !AXIS to select on that axis as
1694    well.)
1695
1696    The caller retains ownership of PAGE, which is not modified. */
1697 static struct render_page *
1698 render_page_select (const struct render_page *page, enum table_axis axis,
1699                     int z0, int p0, int z1, int p1)
1700 {
1701   const struct render_footnote *f;
1702   struct render_page_selection s;
1703   enum table_axis a = axis;
1704   enum table_axis b = !a;
1705   struct render_page *subpage;
1706   struct render_overflow *ro;
1707   int *dcp, *scp;
1708   int *jc;
1709   int z;
1710
1711
1712   /* Optimize case where all of PAGE is selected by just incrementing the
1713      reference count. */
1714   if (z0 == page->h[a][0] && p0 == 0
1715       && z1 == page->n[a] - page->h[a][1] && p1 == 0)
1716     {
1717       struct render_page *page_rw = CONST_CAST (struct render_page *, page);
1718       page_rw->ref_cnt++;
1719       return page_rw;
1720     }
1721
1722   /* Allocate subpage. */
1723   subpage = render_page_allocate (page->params,
1724                                   table_select_slice (
1725                                     table_ref (page->table),
1726                                     a, z0, z1, true));
1727
1728   /* An edge is cut off if it was cut off in PAGE or if we're trimming pixels
1729      off that side of the page and there are no headers. */
1730   subpage->is_edge_cutoff[a][0] =
1731     subpage->h[a][0] == 0 && (p0 || (z0 == 0 && page->is_edge_cutoff[a][0]));
1732   subpage->is_edge_cutoff[a][1] =
1733     subpage->h[a][1] == 0 && (p1 || (z1 == page->n[a]
1734                                      && page->is_edge_cutoff[a][1]));
1735   subpage->is_edge_cutoff[b][0] = page->is_edge_cutoff[b][0];
1736   subpage->is_edge_cutoff[b][1] = page->is_edge_cutoff[b][1];
1737
1738   /* Select join crossings from PAGE into subpage. */
1739   jc = subpage->join_crossing[a];
1740   for (z = 0; z < page->h[a][0]; z++)
1741     *jc++ = page->join_crossing[a][z];
1742   for (z = z0; z <= z1; z++)
1743     *jc++ = page->join_crossing[a][z];
1744   for (z = page->n[a] - page->h[a][1]; z < page->n[a]; z++)
1745     *jc++ = page->join_crossing[a][z];
1746   assert (jc == &subpage->join_crossing[a][subpage->n[a] + 1]);
1747
1748   memcpy (subpage->join_crossing[b], page->join_crossing[b],
1749           (subpage->n[b] + 1) * sizeof **subpage->join_crossing);
1750
1751   /* Select widths from PAGE into subpage. */
1752   scp = page->cp[a];
1753   dcp = subpage->cp[a];
1754   *dcp = 0;
1755   for (z = 0; z <= rule_ofs (subpage->h[a][0]); z++, dcp++)
1756     {
1757       if (z == 0 && subpage->is_edge_cutoff[a][0])
1758         dcp[1] = dcp[0];
1759       else
1760         dcp[1] = dcp[0] + (scp[z + 1] - scp[z]);
1761     }
1762   for (z = cell_ofs (z0); z <= cell_ofs (z1 - 1); z++, dcp++)
1763     {
1764       dcp[1] = dcp[0] + (scp[z + 1] - scp[z]);
1765       if (z == cell_ofs (z0))
1766         {
1767           dcp[1] -= p0;
1768           if (page->h[a][0] && page->h[a][1])
1769             dcp[1] += page->join_crossing[a][z / 2];
1770         }
1771       if (z == cell_ofs (z1 - 1))
1772         dcp[1] -= p1;
1773     }
1774   for (z = rule_ofs_r (page, a, subpage->h[a][1]);
1775        z <= rule_ofs_r (page, a, 0); z++, dcp++)
1776     {
1777       if (z == rule_ofs_r (page, a, 0) && subpage->is_edge_cutoff[a][1])
1778         dcp[1] = dcp[0];
1779       else
1780         dcp[1] = dcp[0] + (scp[z + 1] - scp[z]);
1781     }
1782   assert (dcp == &subpage->cp[a][2 * subpage->n[a] + 1]);
1783
1784   for (z = 0; z < page->n[b] * 2 + 2; z++)
1785     subpage->cp[b][z] = page->cp[b][z];
1786
1787   /* Add new overflows. */
1788   s.page = page;
1789   s.a = a;
1790   s.b = b;
1791   s.z0 = z0;
1792   s.z1 = z1;
1793   s.p0 = p0;
1794   s.p1 = p1;
1795   s.subpage = subpage;
1796
1797   if (!page->h[a][0] || z0 > page->h[a][0] || p0)
1798     for (z = 0; z < page->n[b]; )
1799       {
1800         struct table_cell cell;
1801         int d[TABLE_N_AXES];
1802         bool overflow0;
1803         bool overflow1;
1804
1805         d[a] = z0;
1806         d[b] = z;
1807
1808         table_get_cell (page->table, d[H], d[V], &cell);
1809         overflow0 = p0 || cell.d[a][0] < z0;
1810         overflow1 = cell.d[a][1] > z1 || (cell.d[a][1] == z1 && p1);
1811         if (overflow0 || overflow1)
1812           {
1813             ro = insert_overflow (&s, &cell);
1814
1815             if (overflow0)
1816               {
1817                 ro->overflow[a][0] += p0 + axis_width (
1818                   page, a, cell_ofs (cell.d[a][0]), cell_ofs (z0));
1819                 if (page->h[a][0] && page->h[a][1])
1820                   ro->overflow[a][0] -= page->join_crossing[a][cell.d[a][0]
1821                                                                + 1];
1822               }
1823
1824             if (overflow1)
1825               {
1826                 ro->overflow[a][1] += p1 + axis_width (
1827                   page, a, cell_ofs (z1), cell_ofs (cell.d[a][1]));
1828                 if (page->h[a][0] && page->h[a][1])
1829                   ro->overflow[a][1] -= page->join_crossing[a][cell.d[a][1]];
1830               }
1831           }
1832         z = cell.d[b][1];
1833         table_cell_free (&cell);
1834       }
1835
1836   if (!page->h[a][1] || z1 < page->n[a] - page->h[a][1] || p1)
1837     for (z = 0; z < page->n[b]; )
1838       {
1839         struct table_cell cell;
1840         int d[TABLE_N_AXES];
1841
1842         d[a] = z1 - 1;
1843         d[b] = z;
1844         table_get_cell (page->table, d[H], d[V], &cell);
1845         if ((cell.d[a][1] > z1 || (cell.d[a][1] == z1 && p1))
1846             && find_overflow_for_cell (&s, &cell) == NULL)
1847           {
1848             ro = insert_overflow (&s, &cell);
1849             ro->overflow[a][1] += p1 + axis_width (page, a, cell_ofs (z1),
1850                                                    cell_ofs (cell.d[a][1]));
1851           }
1852         z = cell.d[b][1];
1853         table_cell_free (&cell);
1854       }
1855
1856   /* Copy overflows from PAGE into subpage. */
1857   HMAP_FOR_EACH (ro, struct render_overflow, node, &page->overflows)
1858     {
1859       struct table_cell cell;
1860
1861       table_get_cell (page->table, ro->d[H], ro->d[V], &cell);
1862       if (cell.d[a][1] > z0 && cell.d[a][0] < z1
1863           && find_overflow_for_cell (&s, &cell) == NULL)
1864         insert_overflow (&s, &cell);
1865       table_cell_free (&cell);
1866     }
1867
1868   /* Copy footnotes from PAGE into subpage. */
1869   HMAP_FOR_EACH (f, struct render_footnote, node, &page->footnotes)
1870     if ((f->d[a][0] >= z0 && f->d[a][0] < z1)
1871         || (f->d[a][1] - 1 >= z0 && f->d[a][1] - 1 < z1))
1872       {
1873         struct render_footnote *nf = xmalloc (sizeof *nf);
1874         nf->d[a][0] = MAX (z0, f->d[a][0]) - z0 + page->h[a][0];
1875         nf->d[a][1] = MIN (z1, f->d[a][1]) - z0 + page->h[a][0];
1876         nf->d[b][0] = f->d[b][0];
1877         nf->d[b][1] = f->d[b][1];
1878         nf->idx = f->idx;
1879         hmap_insert (&subpage->footnotes, &nf->node,
1880                      hash_cell (nf->d[H][0], nf->d[V][0]));
1881       }
1882
1883   return subpage;
1884 }
1885
1886 /* Given CELL, a table_cell within S->page, stores in SUBCELL the (x,y)
1887    coordinates of the top-left cell as it will appear in S->subpage.
1888
1889    CELL must actually intersect the region of S->page that is being selected
1890    by render_page_select() or the results will not make any sense. */
1891 static void
1892 cell_to_subpage (struct render_page_selection *s,
1893                  const struct table_cell *cell, int subcell[TABLE_N_AXES])
1894 {
1895   enum table_axis a = s->a;
1896   enum table_axis b = s->b;
1897   int ha0 = s->subpage->h[a][0];
1898
1899   subcell[a] = MAX (cell->d[a][0] - s->z0 + ha0, ha0);
1900   subcell[b] = cell->d[b][0];
1901 }
1902
1903 /* Given CELL, a table_cell within S->page, returns the render_overflow for
1904    that cell in S->subpage, if there is one, and a null pointer otherwise.
1905
1906    CELL must actually intersect the region of S->page that is being selected
1907    by render_page_select() or the results will not make any sense. */
1908 static const struct render_overflow *
1909 find_overflow_for_cell (struct render_page_selection *s,
1910                         const struct table_cell *cell)
1911 {
1912   int subcell[2];
1913
1914   cell_to_subpage (s, cell, subcell);
1915   return find_overflow (s->subpage, subcell[H], subcell[V]);
1916 }
1917
1918 /* Given CELL, a table_cell within S->page, inserts a render_overflow for that
1919    cell in S->subpage (which must not already exist).  Initializes the new
1920    render_overflow's 'overflow' member from the overflow for CELL in S->page,
1921    if there is one.
1922
1923    CELL must actually intersect the region of S->page that is being selected
1924    by render_page_select() or the results will not make any sense. */
1925 static struct render_overflow *
1926 insert_overflow (struct render_page_selection *s,
1927                  const struct table_cell *cell)
1928 {
1929   const struct render_overflow *old;
1930   struct render_overflow *of;
1931
1932   of = xzalloc (sizeof *of);
1933   cell_to_subpage (s, cell, of->d);
1934   hmap_insert (&s->subpage->overflows, &of->node,
1935                hash_cell (of->d[H], of->d[V]));
1936
1937   old = find_overflow (s->page, cell->d[H][0], cell->d[V][0]);
1938   if (old != NULL)
1939     memcpy (of->overflow, old->overflow, sizeof of->overflow);
1940
1941   return of;
1942 }