pr_comment.c revision 1.26 1 1.26 rillig /* $NetBSD: pr_comment.c,v 1.26 2021/03/13 11:19:43 rillig Exp $ */
2 1.4 tls
3 1.11 kamil /*-
4 1.11 kamil * SPDX-License-Identifier: BSD-4-Clause
5 1.11 kamil *
6 1.11 kamil * Copyright (c) 1985 Sun Microsystems, Inc.
7 1.5 mrg * Copyright (c) 1980, 1993
8 1.5 mrg * The Regents of the University of California. All rights reserved.
9 1.1 cgd * All rights reserved.
10 1.1 cgd *
11 1.1 cgd * Redistribution and use in source and binary forms, with or without
12 1.1 cgd * modification, are permitted provided that the following conditions
13 1.1 cgd * are met:
14 1.1 cgd * 1. Redistributions of source code must retain the above copyright
15 1.1 cgd * notice, this list of conditions and the following disclaimer.
16 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
17 1.1 cgd * notice, this list of conditions and the following disclaimer in the
18 1.1 cgd * documentation and/or other materials provided with the distribution.
19 1.1 cgd * 3. All advertising materials mentioning features or use of this software
20 1.1 cgd * must display the following acknowledgement:
21 1.1 cgd * This product includes software developed by the University of
22 1.1 cgd * California, Berkeley and its contributors.
23 1.1 cgd * 4. Neither the name of the University nor the names of its contributors
24 1.1 cgd * may be used to endorse or promote products derived from this software
25 1.1 cgd * without specific prior written permission.
26 1.1 cgd *
27 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
28 1.1 cgd * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
29 1.1 cgd * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
30 1.1 cgd * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
31 1.1 cgd * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
32 1.1 cgd * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
33 1.1 cgd * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
34 1.1 cgd * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
35 1.1 cgd * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
36 1.1 cgd * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
37 1.1 cgd * SUCH DAMAGE.
38 1.1 cgd */
39 1.1 cgd
40 1.11 kamil #if 0
41 1.11 kamil #ifndef lint
42 1.11 kamil static char sccsid[] = "@(#)pr_comment.c 8.1 (Berkeley) 6/6/93";
43 1.11 kamil #endif /* not lint */
44 1.11 kamil #endif
45 1.11 kamil
46 1.6 lukem #include <sys/cdefs.h>
47 1.1 cgd #ifndef lint
48 1.11 kamil #if defined(__NetBSD__)
49 1.26 rillig __RCSID("$NetBSD: pr_comment.c,v 1.26 2021/03/13 11:19:43 rillig Exp $");
50 1.11 kamil #elif defined(__FreeBSD__)
51 1.11 kamil __FBSDID("$FreeBSD: head/usr.bin/indent/pr_comment.c 334927 2018-06-10 16:44:18Z pstef $");
52 1.11 kamil #endif
53 1.5 mrg #endif
54 1.1 cgd
55 1.11 kamil #include <err.h>
56 1.1 cgd #include <stdio.h>
57 1.1 cgd #include <stdlib.h>
58 1.11 kamil #include <string.h>
59 1.12 rillig
60 1.11 kamil #include "indent.h"
61 1.12 rillig
62 1.14 rillig static void
63 1.14 rillig check_size_comment(size_t desired_size, char **last_bl_ptr)
64 1.14 rillig {
65 1.18 rillig if (e_com + (desired_size) < l_com)
66 1.18 rillig return;
67 1.18 rillig
68 1.18 rillig size_t nsize = l_com - s_com + 400 + desired_size;
69 1.18 rillig size_t com_len = e_com - s_com;
70 1.18 rillig ssize_t blank_pos = *last_bl_ptr != NULL ? *last_bl_ptr - combuf : -1;
71 1.18 rillig combuf = realloc(combuf, nsize);
72 1.18 rillig if (combuf == NULL)
73 1.18 rillig err(1, NULL);
74 1.18 rillig e_com = combuf + com_len + 1;
75 1.18 rillig if (blank_pos > 0)
76 1.18 rillig *last_bl_ptr = combuf + blank_pos;
77 1.18 rillig l_com = combuf + nsize - 5;
78 1.18 rillig s_com = combuf + 1;
79 1.14 rillig }
80 1.14 rillig
81 1.1 cgd /*
82 1.1 cgd * NAME:
83 1.1 cgd * pr_comment
84 1.1 cgd *
85 1.1 cgd * FUNCTION:
86 1.1 cgd * This routine takes care of scanning and printing comments.
87 1.1 cgd *
88 1.1 cgd * ALGORITHM:
89 1.1 cgd * 1) Decide where the comment should be aligned, and if lines should
90 1.1 cgd * be broken.
91 1.1 cgd * 2) If lines should not be broken and filled, just copy up to end of
92 1.1 cgd * comment.
93 1.1 cgd * 3) If lines should be filled, then scan thru input_buffer copying
94 1.1 cgd * characters to com_buf. Remember where the last blank, tab, or
95 1.1 cgd * newline was. When line is filled, print up to last blank and
96 1.1 cgd * continue copying.
97 1.1 cgd *
98 1.1 cgd * HISTORY:
99 1.1 cgd * November 1976 D A Willcox of CAC Initial coding
100 1.1 cgd * 12/6/76 D A Willcox of CAC Modification to handle
101 1.1 cgd * UNIX-style comments
102 1.1 cgd *
103 1.1 cgd */
104 1.1 cgd
106 1.1 cgd /*
107 1.1 cgd * this routine processes comments. It makes an attempt to keep comments from
108 1.1 cgd * going over the max line length. If a line is too long, it moves everything
109 1.1 cgd * from the last blank to the next comment line. Blanks and tabs from the
110 1.1 cgd * beginning of the input line are removed
111 1.1 cgd */
112 1.6 lukem
113 1.7 wiz void
114 1.1 cgd pr_comment(void)
115 1.26 rillig {
116 1.26 rillig int adj_max_line_length; /* Adjusted max_line_length for comments
117 1.11 kamil * that spill over the right margin */
118 1.1 cgd char *last_bl; /* points to the last blank in the output
119 1.11 kamil * buffer */
120 1.11 kamil char *t_ptr; /* used for moving string */
121 1.11 kamil int break_delim = opt.comment_delimiter_on_blankline;
122 1.11 kamil int l_just_saw_decl = ps.just_saw_decl;
123 1.26 rillig
124 1.11 kamil adj_max_line_length = opt.max_line_length;
125 1.11 kamil ps.just_saw_decl = 0;
126 1.11 kamil last_bl = NULL; /* no blanks found so far */
127 1.15 rillig ps.box_com = false; /* at first, assume that we are not in
128 1.15 rillig * a boxed comment or some other
129 1.11 kamil * comment that should not be touched */
130 1.11 kamil ++ps.out_coms; /* keep track of number of comments */
131 1.11 kamil
132 1.11 kamil /* Figure where to align and how to treat the comment */
133 1.11 kamil
134 1.11 kamil if (ps.col_1 && !opt.format_col1_comments) { /* if comment starts in column
135 1.11 kamil * 1 it should not be touched */
136 1.11 kamil ps.box_com = true;
137 1.11 kamil break_delim = false;
138 1.19 rillig ps.com_col = 1;
139 1.13 rillig } else {
140 1.11 kamil if (*buf_ptr == '-' || *buf_ptr == '*' || e_token[-1] == '/' ||
141 1.11 kamil (*buf_ptr == '\n' && !opt.format_block_comments)) {
142 1.11 kamil ps.box_com = true; /* A comment with a '-' or '*' immediately
143 1.11 kamil * after the /+* is assumed to be a boxed
144 1.11 kamil * comment. A comment with a newline
145 1.11 kamil * immediately after the /+* is assumed to
146 1.11 kamil * be a block comment and is treated as a
147 1.11 kamil * box comment unless format_block_comments
148 1.11 kamil * is nonzero (the default). */
149 1.11 kamil break_delim = false;
150 1.11 kamil }
151 1.11 kamil if ( /* ps.bl_line && */ (s_lab == e_lab) && (s_code == e_code)) {
152 1.11 kamil /* klg: check only if this line is blank */
153 1.11 kamil /*
154 1.11 kamil * If this (*and previous lines are*) blank, dont put comment way
155 1.11 kamil * out at left
156 1.11 kamil */
157 1.26 rillig ps.com_col = (ps.ind_level - opt.unindent_displace) * opt.ind_size + 1;
158 1.11 kamil adj_max_line_length = opt.block_comment_max_line_length;
159 1.11 kamil if (ps.com_col <= 1)
160 1.19 rillig ps.com_col = 1 + !opt.format_col1_comments;
161 1.11 kamil } else {
162 1.11 kamil int target_col;
163 1.11 kamil break_delim = false;
164 1.24 rillig if (s_code != e_code)
165 1.11 kamil target_col = 1 + indentation_after(compute_code_indent(), s_code);
166 1.11 kamil else {
167 1.11 kamil target_col = 1;
168 1.24 rillig if (s_lab != e_lab)
169 1.11 kamil target_col = 1 + indentation_after(compute_label_indent(), s_lab);
170 1.11 kamil }
171 1.11 kamil ps.com_col = ps.decl_on_line || ps.ind_level == 0 ? opt.decl_com_ind : opt.com_ind;
172 1.11 kamil if (ps.com_col <= target_col)
173 1.26 rillig ps.com_col = opt.tabsize * (1 + (target_col - 1) / opt.tabsize) + 1;
174 1.26 rillig if (ps.com_col + 24 > adj_max_line_length)
175 1.26 rillig /* XXX: mismatch between column and length */
176 1.11 kamil adj_max_line_length = ps.com_col + 24;
177 1.11 kamil }
178 1.11 kamil }
179 1.6 lukem if (ps.box_com) {
180 1.11 kamil /*
181 1.11 kamil * Find out how much indentation there was originally, because that
182 1.11 kamil * much will have to be ignored by pad_output() in dump_line(). This
183 1.11 kamil * is a box comment, so nothing changes -- not even indentation.
184 1.11 kamil *
185 1.11 kamil * The comment we're about to read usually comes from in_buffer,
186 1.11 kamil * unless it has been copied into save_com.
187 1.11 kamil */
188 1.11 kamil char *start;
189 1.25 rillig
190 1.25 rillig /*
191 1.25 rillig * XXX: ordered comparison between pointers from different objects
192 1.25 rillig * invokes undefined behavior (C99 6.5.8).
193 1.11 kamil */
194 1.11 kamil start = buf_ptr >= save_com && buf_ptr < save_com + sc_size ?
195 1.24 rillig sc_buf : in_buffer;
196 1.19 rillig ps.n_comment_delta = -indentation_after_range(0, start, buf_ptr - 2);
197 1.11 kamil } else {
198 1.11 kamil ps.n_comment_delta = 0;
199 1.11 kamil while (*buf_ptr == ' ' || *buf_ptr == '\t')
200 1.11 kamil buf_ptr++;
201 1.11 kamil }
202 1.13 rillig ps.comment_delta = 0;
203 1.13 rillig *e_com++ = '/';
204 1.11 kamil *e_com++ = e_token[-1];
205 1.11 kamil if (*buf_ptr != ' ' && !ps.box_com)
206 1.11 kamil *e_com++ = ' ';
207 1.11 kamil
208 1.11 kamil /*
209 1.11 kamil * Don't put a break delimiter if this is a one-liner that won't wrap.
210 1.11 kamil */
211 1.11 kamil if (break_delim)
212 1.11 kamil for (t_ptr = buf_ptr; *t_ptr != '\0' && *t_ptr != '\n'; t_ptr++) {
213 1.11 kamil if (t_ptr >= buf_end)
214 1.11 kamil fill_buffer();
215 1.26 rillig if (t_ptr[0] == '*' && t_ptr[1] == '/') {
216 1.26 rillig /* XXX: strange mixture between indentation, column, length */
217 1.11 kamil if (adj_max_line_length >= 1 + indentation_after_range(ps.com_col - 1, buf_ptr, t_ptr + 2))
218 1.11 kamil break_delim = false;
219 1.11 kamil break;
220 1.6 lukem }
221 1.1 cgd }
222 1.11 kamil
223 1.11 kamil if (break_delim) {
224 1.11 kamil char *t = e_com;
225 1.11 kamil e_com = s_com + 2;
226 1.11 kamil *e_com = 0;
227 1.11 kamil if (opt.blanklines_before_blockcomments && ps.last_token != lbrace)
228 1.11 kamil prefix_blankline_requested = 1;
229 1.11 kamil dump_line();
230 1.11 kamil e_com = s_com = t;
231 1.11 kamil if (!ps.box_com && opt.star_comment_cont)
232 1.11 kamil *e_com++ = ' ', *e_com++ = '*', *e_com++ = ' ';
233 1.11 kamil }
234 1.11 kamil
235 1.1 cgd /* Start to copy the comment */
236 1.11 kamil
237 1.6 lukem while (1) { /* this loop will go until the comment is
238 1.11 kamil * copied */
239 1.11 kamil switch (*buf_ptr) { /* this checks for various spcl cases */
240 1.14 rillig case 014: /* check for a form feed */
241 1.11 kamil check_size_comment(3, &last_bl);
242 1.11 kamil if (!ps.box_com) { /* in a text comment, break the line here */
243 1.11 kamil ps.use_ff = true;
244 1.11 kamil /* fix so dump_line uses a form feed */
245 1.11 kamil dump_line();
246 1.11 kamil last_bl = NULL;
247 1.11 kamil if (!ps.box_com && opt.star_comment_cont)
248 1.11 kamil *e_com++ = ' ', *e_com++ = '*', *e_com++ = ' ';
249 1.11 kamil while (*++buf_ptr == ' ' || *buf_ptr == '\t')
250 1.19 rillig ;
251 1.11 kamil } else {
252 1.11 kamil if (++buf_ptr >= buf_end)
253 1.11 kamil fill_buffer();
254 1.11 kamil *e_com++ = 014;
255 1.11 kamil }
256 1.11 kamil break;
257 1.11 kamil
258 1.13 rillig case '\n':
259 1.13 rillig if (e_token[-1] == '/') {
260 1.13 rillig ++line_no;
261 1.13 rillig goto end_of_comment;
262 1.11 kamil }
263 1.11 kamil if (had_eof) { /* check for unexpected eof */
264 1.11 kamil printf("Unterminated comment\n");
265 1.11 kamil dump_line();
266 1.11 kamil return;
267 1.11 kamil }
268 1.14 rillig last_bl = NULL;
269 1.11 kamil check_size_comment(4, &last_bl);
270 1.11 kamil if (ps.box_com || ps.last_nl) { /* if this is a boxed comment,
271 1.11 kamil * we dont ignore the newline */
272 1.11 kamil if (s_com == e_com)
273 1.11 kamil *e_com++ = ' ';
274 1.11 kamil if (!ps.box_com && e_com - s_com > 3) {
275 1.11 kamil dump_line();
276 1.11 kamil if (opt.star_comment_cont)
277 1.11 kamil *e_com++ = ' ', *e_com++ = '*', *e_com++ = ' ';
278 1.11 kamil }
279 1.11 kamil dump_line();
280 1.11 kamil if (!ps.box_com && opt.star_comment_cont)
281 1.19 rillig *e_com++ = ' ', *e_com++ = '*', *e_com++ = ' ';
282 1.11 kamil } else {
283 1.16 rillig ps.last_nl = 1;
284 1.11 kamil if (e_com[-1] == ' ' || e_com[-1] == '\t')
285 1.11 kamil last_bl = e_com - 1;
286 1.11 kamil /*
287 1.11 kamil * if there was a space at the end of the last line, remember
288 1.11 kamil * where it was
289 1.11 kamil */
290 1.11 kamil else { /* otherwise, insert one */
291 1.11 kamil last_bl = e_com;
292 1.11 kamil *e_com++ = ' ';
293 1.11 kamil }
294 1.11 kamil }
295 1.11 kamil ++line_no; /* keep track of input line number */
296 1.11 kamil if (!ps.box_com) {
297 1.11 kamil int nstar = 1;
298 1.11 kamil do { /* flush any blanks and/or tabs at start of
299 1.11 kamil * next line */
300 1.11 kamil if (++buf_ptr >= buf_end)
301 1.11 kamil fill_buffer();
302 1.11 kamil if (*buf_ptr == '*' && --nstar >= 0) {
303 1.11 kamil if (++buf_ptr >= buf_end)
304 1.11 kamil fill_buffer();
305 1.11 kamil if (*buf_ptr == '/')
306 1.11 kamil goto end_of_comment;
307 1.11 kamil }
308 1.19 rillig } while (*buf_ptr == ' ' || *buf_ptr == '\t');
309 1.11 kamil } else if (++buf_ptr >= buf_end)
310 1.11 kamil fill_buffer();
311 1.1 cgd break; /* end of case for newline */
312 1.11 kamil
313 1.6 lukem case '*': /* must check for possibility of being at end
314 1.11 kamil * of comment */
315 1.11 kamil if (++buf_ptr >= buf_end) /* get to next char after * */
316 1.14 rillig fill_buffer();
317 1.11 kamil check_size_comment(4, &last_bl);
318 1.11 kamil if (*buf_ptr == '/') { /* it is the end!!! */
319 1.11 kamil end_of_comment:
320 1.11 kamil if (++buf_ptr >= buf_end)
321 1.11 kamil fill_buffer();
322 1.19 rillig if (break_delim) {
323 1.11 kamil if (e_com > s_com + 3)
324 1.11 kamil dump_line();
325 1.11 kamil else
326 1.11 kamil s_com = e_com;
327 1.11 kamil *e_com++ = ' ';
328 1.11 kamil }
329 1.11 kamil if (e_com[-1] != ' ' && e_com[-1] != '\t' && !ps.box_com)
330 1.13 rillig *e_com++ = ' '; /* ensure blank before end */
331 1.13 rillig if (e_token[-1] == '/')
332 1.13 rillig *e_com++ = '\n', *e_com = '\0';
333 1.13 rillig else
334 1.11 kamil *e_com++ = '*', *e_com++ = '/', *e_com = '\0';
335 1.11 kamil ps.just_saw_decl = l_just_saw_decl;
336 1.19 rillig return;
337 1.11 kamil } else /* handle isolated '*' */
338 1.11 kamil *e_com++ = '*';
339 1.11 kamil break;
340 1.26 rillig default: /* we have a random char */
341 1.26 rillig ;
342 1.11 kamil int now_len = indentation_after_range(ps.com_col - 1, s_com, e_com);
343 1.14 rillig do {
344 1.11 kamil check_size_comment(1, &last_bl);
345 1.11 kamil *e_com = *buf_ptr++;
346 1.11 kamil if (buf_ptr >= buf_end)
347 1.11 kamil fill_buffer();
348 1.11 kamil if (*e_com == ' ' || *e_com == '\t')
349 1.11 kamil last_bl = e_com; /* remember we saw a blank */
350 1.26 rillig ++e_com;
351 1.11 kamil now_len++;
352 1.26 rillig } while (!memchr("*\n\r\b\t", *buf_ptr, 6) &&
353 1.11 kamil (now_len < adj_max_line_length || !last_bl));
354 1.26 rillig ps.last_nl = false;
355 1.26 rillig /* XXX: signed character comparison '>' does not work for UTF-8 */
356 1.26 rillig if (now_len >= adj_max_line_length &&
357 1.11 kamil !ps.box_com && e_com[-1] > ' ') {
358 1.11 kamil /*
359 1.11 kamil * the comment is too long, it must be broken up
360 1.11 kamil */
361 1.11 kamil if (last_bl == NULL) {
362 1.11 kamil dump_line();
363 1.11 kamil if (!ps.box_com && opt.star_comment_cont)
364 1.11 kamil *e_com++ = ' ', *e_com++ = '*', *e_com++ = ' ';
365 1.11 kamil break;
366 1.11 kamil }
367 1.11 kamil *e_com = '\0';
368 1.11 kamil e_com = last_bl;
369 1.11 kamil dump_line();
370 1.11 kamil if (!ps.box_com && opt.star_comment_cont)
371 1.11 kamil *e_com++ = ' ', *e_com++ = '*', *e_com++ = ' ';
372 1.11 kamil for (t_ptr = last_bl + 1; *t_ptr == ' ' || *t_ptr == '\t';
373 1.11 kamil t_ptr++)
374 1.11 kamil ;
375 1.11 kamil last_bl = NULL;
376 1.11 kamil /*
377 1.11 kamil * t_ptr will be somewhere between e_com (dump_line() reset)
378 1.14 rillig * and l_com. So it's safe to copy byte by byte from t_ptr
379 1.11 kamil * to e_com without any check_size_comment().
380 1.11 kamil */
381 1.11 kamil while (*t_ptr != '\0') {
382 1.11 kamil if (*t_ptr == ' ' || *t_ptr == '\t')
383 1.11 kamil last_bl = e_com;
384 1.1 cgd *e_com++ = *t_ptr++;
385 1.11 kamil }
386 1.11 kamil }
387 1.1 cgd break;
388 1.11 kamil }
389 1.1 cgd }
390 }
391