pr_comment.c revision 1.137 1 1.137 rillig /* $NetBSD: pr_comment.c,v 1.137 2023/05/14 17:53:38 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.6 lukem #include <sys/cdefs.h>
41 1.137 rillig __RCSID("$NetBSD: pr_comment.c,v 1.137 2023/05/14 17:53:38 rillig Exp $");
42 1.1 cgd
43 1.11 kamil #include <string.h>
44 1.12 rillig
45 1.11 kamil #include "indent.h"
46 1.12 rillig
47 1.14 rillig static void
48 1.71 rillig com_add_char(char ch)
49 1.14 rillig {
50 1.131 rillig if (1 >= com.limit - com.e)
51 1.71 rillig buf_expand(&com, 1);
52 1.71 rillig *com.e++ = ch;
53 1.71 rillig }
54 1.71 rillig
55 1.71 rillig static void
56 1.71 rillig com_add_delim(void)
57 1.71 rillig {
58 1.71 rillig if (!opt.star_comment_cont)
59 1.71 rillig return;
60 1.125 rillig const char *delim = " * ";
61 1.125 rillig buf_add_range(&com, delim, delim + 3);
62 1.71 rillig }
63 1.71 rillig
64 1.71 rillig static void
65 1.71 rillig com_terminate(void)
66 1.71 rillig {
67 1.131 rillig if (1 >= com.limit - com.e)
68 1.71 rillig buf_expand(&com, 1);
69 1.71 rillig *com.e = '\0';
70 1.14 rillig }
71 1.14 rillig
72 1.77 rillig static bool
73 1.124 rillig fits_in_one_line(int com_ind, int max_line_length)
74 1.77 rillig {
75 1.134 rillig for (const char *start = inp_p(), *p = start; *p != '\n'; p++) {
76 1.134 rillig if (p[0] == '*' && p[1] == '/') {
77 1.134 rillig int len = ind_add(com_ind + 3, start, p);
78 1.134 rillig len += ch_isblank(p[-1]) ? 2 : 3;
79 1.134 rillig return len <= max_line_length;
80 1.134 rillig }
81 1.77 rillig }
82 1.77 rillig return false;
83 1.77 rillig }
84 1.77 rillig
85 1.95 rillig static void
86 1.109 rillig analyze_comment(bool *p_may_wrap, bool *p_break_delim,
87 1.109 rillig int *p_adj_max_line_length)
88 1.1 cgd {
89 1.47 rillig int adj_max_line_length; /* Adjusted max_line_length for comments that
90 1.47 rillig * spill over the right margin */
91 1.44 rillig bool break_delim = opt.comment_delimiter_on_blankline;
92 1.78 rillig int com_ind;
93 1.11 kamil
94 1.26 rillig adj_max_line_length = opt.max_line_length;
95 1.75 rillig bool may_wrap = true;
96 1.11 kamil
97 1.93 rillig if (ps.curr_col_1 && !opt.format_col1_comments) {
98 1.75 rillig may_wrap = false;
99 1.11 kamil break_delim = false;
100 1.78 rillig com_ind = 0;
101 1.56 rillig
102 1.19 rillig } else {
103 1.119 rillig if (inp_peek() == '-' || inp_peek() == '*' ||
104 1.117 rillig token.e[-1] == '/' ||
105 1.119 rillig (inp_peek() == '\n' && !opt.format_block_comments)) {
106 1.75 rillig may_wrap = false;
107 1.11 kamil break_delim = false;
108 1.11 kamil }
109 1.56 rillig
110 1.137 rillig if (com.e != com.s)
111 1.137 rillig output_line();
112 1.45 rillig if (lab.s == lab.e && code.s == code.e) {
113 1.116 rillig adj_max_line_length = opt.block_comment_max_line_length;
114 1.78 rillig com_ind = (ps.ind_level - opt.unindent_displace) * opt.indent_size;
115 1.78 rillig if (com_ind <= 0)
116 1.78 rillig com_ind = opt.format_col1_comments ? 0 : 1;
117 1.19 rillig } else {
118 1.33 rillig break_delim = false;
119 1.34 rillig
120 1.112 rillig int target_ind = code.s != code.e
121 1.112 rillig ? ind_add(compute_code_indent(), code.s, code.e)
122 1.112 rillig : ind_add(compute_label_indent(), lab.s, lab.e);
123 1.34 rillig
124 1.78 rillig com_ind = ps.decl_on_line || ps.ind_level == 0
125 1.60 rillig ? opt.decl_comment_column - 1 : opt.comment_column - 1;
126 1.78 rillig if (com_ind <= target_ind)
127 1.78 rillig com_ind = next_tab(target_ind);
128 1.79 rillig if (com_ind + 25 > adj_max_line_length)
129 1.79 rillig adj_max_line_length = com_ind + 25;
130 1.11 kamil }
131 1.11 kamil }
132 1.56 rillig
133 1.78 rillig ps.com_ind = com_ind;
134 1.78 rillig
135 1.75 rillig if (!may_wrap) {
136 1.6 lukem /*
137 1.11 kamil * Find out how much indentation there was originally, because that
138 1.126 rillig * much will have to be ignored by output_complete_line.
139 1.25 rillig */
140 1.134 rillig ps.n_comment_delta = -ind_add(0, inp_line_start(), inp_p() - 2);
141 1.19 rillig } else {
142 1.11 kamil ps.n_comment_delta = 0;
143 1.136 rillig if (!(inp_peek() == '\t' && !ch_isblank(inp_lookahead(1))))
144 1.136 rillig while (ch_isblank(inp_peek()))
145 1.136 rillig inp_skip();
146 1.11 kamil }
147 1.56 rillig
148 1.11 kamil ps.comment_delta = 0;
149 1.71 rillig com_add_char('/');
150 1.71 rillig com_add_char(token.e[-1]); /* either '*' or '/' */
151 1.116 rillig
152 1.136 rillig if (may_wrap && !ch_isblank(inp_peek()))
153 1.71 rillig com_add_char(' ');
154 1.11 kamil
155 1.124 rillig if (break_delim && fits_in_one_line(com_ind, adj_max_line_length))
156 1.77 rillig break_delim = false;
157 1.1 cgd
158 1.11 kamil if (break_delim) {
159 1.126 rillig output_line();
160 1.75 rillig com_add_delim();
161 1.11 kamil }
162 1.11 kamil
163 1.95 rillig *p_adj_max_line_length = adj_max_line_length;
164 1.95 rillig *p_break_delim = break_delim;
165 1.95 rillig *p_may_wrap = may_wrap;
166 1.95 rillig }
167 1.95 rillig
168 1.110 rillig /*
169 1.110 rillig * Copy characters from 'inp' to 'com'. Try to keep comments from going over
170 1.110 rillig * the maximum line length. To do that, remember where the last blank, tab, or
171 1.110 rillig * newline was. When a line is filled, print up to the last blank and continue
172 1.110 rillig * copying.
173 1.110 rillig */
174 1.95 rillig static void
175 1.99 rillig copy_comment_wrap(int adj_max_line_length, bool break_delim)
176 1.95 rillig {
177 1.131 rillig ssize_t last_blank = -1; /* index of the last blank in com.mem */
178 1.99 rillig
179 1.99 rillig for (;;) {
180 1.119 rillig switch (inp_peek()) {
181 1.99 rillig case '\f':
182 1.126 rillig output_line_ff();
183 1.101 rillig last_blank = -1;
184 1.101 rillig com_add_delim();
185 1.120 rillig inp_skip();
186 1.119 rillig while (ch_isblank(inp_peek()))
187 1.120 rillig inp_skip();
188 1.99 rillig break;
189 1.99 rillig
190 1.99 rillig case '\n':
191 1.99 rillig if (had_eof) {
192 1.99 rillig diag(1, "Unterminated comment");
193 1.126 rillig output_line();
194 1.99 rillig return;
195 1.99 rillig }
196 1.99 rillig
197 1.99 rillig last_blank = -1;
198 1.101 rillig if (ps.next_col_1) {
199 1.99 rillig if (com.s == com.e)
200 1.116 rillig com_add_char(' '); /* force empty line of output */
201 1.101 rillig if (com.e - com.s > 3) {
202 1.126 rillig output_line();
203 1.99 rillig com_add_delim();
204 1.99 rillig }
205 1.126 rillig output_line();
206 1.101 rillig com_add_delim();
207 1.99 rillig
208 1.99 rillig } else {
209 1.99 rillig ps.next_col_1 = true;
210 1.114 rillig if (!(com.e > com.s && ch_isblank(com.e[-1])))
211 1.99 rillig com_add_char(' ');
212 1.131 rillig last_blank = com.e - 1 - com.mem;
213 1.99 rillig }
214 1.99 rillig ++line_no;
215 1.101 rillig
216 1.101 rillig bool skip_asterisk = true;
217 1.101 rillig do { /* flush any blanks and/or tabs at start of
218 1.99 rillig * next line */
219 1.101 rillig inp_skip();
220 1.119 rillig if (inp_peek() == '*' && skip_asterisk) {
221 1.101 rillig skip_asterisk = false;
222 1.99 rillig inp_skip();
223 1.119 rillig if (inp_peek() == '/')
224 1.101 rillig goto end_of_comment;
225 1.101 rillig }
226 1.119 rillig } while (ch_isblank(inp_peek()));
227 1.101 rillig
228 1.99 rillig break; /* end of case for newline */
229 1.99 rillig
230 1.99 rillig case '*':
231 1.99 rillig inp_skip();
232 1.119 rillig if (inp_peek() == '/') {
233 1.99 rillig end_of_comment:
234 1.99 rillig inp_skip();
235 1.99 rillig
236 1.99 rillig if (break_delim) {
237 1.116 rillig if (com.e - com.s > 3)
238 1.126 rillig output_line();
239 1.99 rillig else
240 1.113 rillig com.e = com.s;
241 1.99 rillig com_add_char(' ');
242 1.99 rillig }
243 1.99 rillig
244 1.114 rillig if (!(com.e > com.s && ch_isblank(com.e[-1])))
245 1.99 rillig com_add_char(' ');
246 1.111 rillig com_add_char('*');
247 1.111 rillig com_add_char('/');
248 1.99 rillig com_terminate();
249 1.99 rillig return;
250 1.99 rillig
251 1.99 rillig } else /* handle isolated '*' */
252 1.99 rillig com_add_char('*');
253 1.99 rillig break;
254 1.99 rillig
255 1.99 rillig default: /* we have a random char */
256 1.99 rillig ;
257 1.99 rillig int now_len = ind_add(ps.com_ind, com.s, com.e);
258 1.99 rillig for (;;) {
259 1.99 rillig char ch = inp_next();
260 1.99 rillig if (ch_isblank(ch))
261 1.131 rillig last_blank = com.e - com.mem;
262 1.99 rillig com_add_char(ch);
263 1.99 rillig now_len++;
264 1.119 rillig if (memchr("*\n\r\b\t", inp_peek(), 6) != NULL)
265 1.99 rillig break;
266 1.99 rillig if (now_len >= adj_max_line_length && last_blank != -1)
267 1.99 rillig break;
268 1.99 rillig }
269 1.99 rillig
270 1.99 rillig ps.next_col_1 = false;
271 1.99 rillig
272 1.101 rillig if (now_len <= adj_max_line_length)
273 1.99 rillig break;
274 1.121 rillig if (ch_isspace(com.e[-1]))
275 1.99 rillig break;
276 1.99 rillig
277 1.99 rillig if (last_blank == -1) { /* only a single word in this line */
278 1.126 rillig output_line();
279 1.99 rillig com_add_delim();
280 1.99 rillig break;
281 1.99 rillig }
282 1.99 rillig
283 1.131 rillig const char *last_word_s = com.mem + last_blank + 1;
284 1.99 rillig size_t last_word_len = (size_t)(com.e - last_word_s);
285 1.131 rillig com.e = com.mem + last_blank;
286 1.126 rillig output_line();
287 1.99 rillig com_add_delim();
288 1.99 rillig
289 1.99 rillig memcpy(com.e, last_word_s, last_word_len);
290 1.99 rillig com.e += last_word_len;
291 1.99 rillig last_blank = -1;
292 1.99 rillig }
293 1.99 rillig }
294 1.99 rillig }
295 1.99 rillig
296 1.99 rillig static void
297 1.103 rillig copy_comment_nowrap(void)
298 1.99 rillig {
299 1.81 rillig for (;;) {
300 1.119 rillig if (inp_peek() == '\n') {
301 1.128 rillig if (token.e[-1] == '/') {
302 1.128 rillig com_terminate();
303 1.128 rillig return;
304 1.128 rillig }
305 1.56 rillig
306 1.54 rillig if (had_eof) {
307 1.67 rillig diag(1, "Unterminated comment");
308 1.126 rillig output_line();
309 1.11 kamil return;
310 1.11 kamil }
311 1.56 rillig
312 1.100 rillig if (com.s == com.e)
313 1.100 rillig com_add_char(' '); /* force output of an empty line */
314 1.126 rillig output_line();
315 1.54 rillig ++line_no;
316 1.100 rillig inp_skip();
317 1.104 rillig continue;
318 1.104 rillig }
319 1.1 cgd
320 1.106 rillig com_add_char(inp_next());
321 1.128 rillig if (com.e[-2] == '*' && com.e[-1] == '/' && token.e[-1] == '*') {
322 1.128 rillig com_terminate();
323 1.128 rillig return;
324 1.128 rillig }
325 1.11 kamil }
326 1.1 cgd }
327 1.95 rillig
328 1.95 rillig /*
329 1.95 rillig * Scan, reformat and output a single comment, which is either a block comment
330 1.95 rillig * starting with '/' '*' or an end-of-line comment starting with '//'.
331 1.95 rillig */
332 1.95 rillig void
333 1.95 rillig process_comment(void)
334 1.95 rillig {
335 1.109 rillig int adj_max_line_length;
336 1.109 rillig bool may_wrap, break_delim;
337 1.95 rillig
338 1.109 rillig analyze_comment(&may_wrap, &break_delim, &adj_max_line_length);
339 1.99 rillig if (may_wrap)
340 1.100 rillig copy_comment_wrap(adj_max_line_length, break_delim);
341 1.99 rillig else
342 1.103 rillig copy_comment_nowrap();
343 1.95 rillig }
344