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