io.c revision 1.183 1 1.183 rillig /* $NetBSD: io.c,v 1.183 2023/05/20 11:53:53 rillig Exp $ */
2 1.3 tls
3 1.19 kamil /*-
4 1.19 kamil * SPDX-License-Identifier: BSD-4-Clause
5 1.19 kamil *
6 1.19 kamil * Copyright (c) 1985 Sun Microsystems, Inc.
7 1.4 mrg * Copyright (c) 1980, 1993
8 1.4 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.5 lukem #include <sys/cdefs.h>
41 1.183 rillig __RCSID("$NetBSD: io.c,v 1.183 2023/05/20 11:53:53 rillig Exp $");
42 1.1 cgd
43 1.1 cgd #include <stdio.h>
44 1.22 rillig
45 1.19 kamil #include "indent.h"
46 1.1 cgd
47 1.175 rillig struct buffer inp;
48 1.183 rillig struct output_state out;
49 1.183 rillig static unsigned wrote_newlines = 2; /* 0 in the middle of a line, 1 after a
50 1.183 rillig * single '\n', > 1 means there were (n
51 1.183 rillig * - 1) blank lines above */
52 1.67 rillig static int paren_indent;
53 1.1 cgd
54 1.118 rillig
55 1.118 rillig void
56 1.118 rillig inp_skip(void)
57 1.118 rillig {
58 1.177 rillig inp.st++;
59 1.177 rillig if ((size_t)(inp.st - inp.mem) >= inp.len)
60 1.177 rillig inp_read_line();
61 1.118 rillig }
62 1.118 rillig
63 1.118 rillig char
64 1.118 rillig inp_next(void)
65 1.118 rillig {
66 1.177 rillig char ch = inp.st[0];
67 1.177 rillig inp_skip();
68 1.177 rillig return ch;
69 1.118 rillig }
70 1.118 rillig
71 1.138 rillig static void
72 1.137 rillig inp_read_next_line(FILE *f)
73 1.137 rillig {
74 1.177 rillig inp.st = inp.mem;
75 1.177 rillig inp.len = 0;
76 1.137 rillig
77 1.177 rillig for (;;) {
78 1.177 rillig int ch = getc(f);
79 1.177 rillig if (ch == EOF) {
80 1.177 rillig if (indent_enabled == indent_on) {
81 1.177 rillig buf_add_char(&inp, ' ');
82 1.177 rillig buf_add_char(&inp, '\n');
83 1.177 rillig }
84 1.177 rillig had_eof = true;
85 1.177 rillig break;
86 1.177 rillig }
87 1.177 rillig
88 1.177 rillig if (ch != '\0')
89 1.177 rillig buf_add_char(&inp, (char)ch);
90 1.177 rillig if (ch == '\n')
91 1.177 rillig break;
92 1.177 rillig }
93 1.137 rillig }
94 1.137 rillig
95 1.28 rillig static void
96 1.179 rillig output_newline(void)
97 1.28 rillig {
98 1.179 rillig fputc('\n', output);
99 1.179 rillig debug_println("output_newline");
100 1.179 rillig wrote_newlines++;
101 1.28 rillig }
102 1.28 rillig
103 1.28 rillig static void
104 1.166 rillig output_range(const char *s, size_t len)
105 1.28 rillig {
106 1.177 rillig fwrite(s, 1, len, output);
107 1.177 rillig debug_vis_range("output_range \"", s, len, "\"\n");
108 1.179 rillig for (size_t i = 0; i < len; i++)
109 1.179 rillig wrote_newlines = s[i] == '\n' ? wrote_newlines + 1 : 0;
110 1.28 rillig }
111 1.28 rillig
112 1.34 rillig static int
113 1.34 rillig output_indent(int old_ind, int new_ind)
114 1.34 rillig {
115 1.177 rillig int ind = old_ind;
116 1.34 rillig
117 1.177 rillig if (opt.use_tabs) {
118 1.177 rillig int tabsize = opt.tabsize;
119 1.177 rillig int n = new_ind / tabsize - ind / tabsize;
120 1.177 rillig if (n > 0)
121 1.177 rillig ind -= ind % tabsize;
122 1.177 rillig for (int i = 0; i < n; i++) {
123 1.177 rillig fputc('\t', output);
124 1.177 rillig ind += tabsize;
125 1.179 rillig wrote_newlines = 0;
126 1.177 rillig }
127 1.34 rillig }
128 1.34 rillig
129 1.179 rillig for (; ind < new_ind; ind++) {
130 1.177 rillig fputc(' ', output);
131 1.179 rillig wrote_newlines = 0;
132 1.179 rillig }
133 1.34 rillig
134 1.177 rillig debug_println("output_indent %d", ind);
135 1.177 rillig return ind;
136 1.34 rillig }
137 1.34 rillig
138 1.180 rillig static bool
139 1.180 rillig want_blank_line(void)
140 1.179 rillig {
141 1.183 rillig debug_println("%s: %s -> %s", __func__,
142 1.183 rillig line_kind_name[out.prev_line_kind], line_kind_name[out.line_kind]);
143 1.183 rillig
144 1.179 rillig if (ps.blank_line_after_decl && ps.declaration == decl_no) {
145 1.179 rillig ps.blank_line_after_decl = false;
146 1.180 rillig return true;
147 1.179 rillig }
148 1.179 rillig if (opt.blanklines_around_conditional_compilation) {
149 1.183 rillig if (out.prev_line_kind != lk_if && out.line_kind == lk_if)
150 1.180 rillig return true;
151 1.183 rillig if (out.prev_line_kind == lk_endif
152 1.183 rillig && out.line_kind != lk_endif)
153 1.180 rillig return true;
154 1.179 rillig }
155 1.183 rillig if (opt.blanklines_after_procs && out.prev_line_kind == lk_func_end)
156 1.181 rillig return true;
157 1.183 rillig if (opt.blanklines_before_block_comments
158 1.183 rillig && out.line_kind == lk_block_comment)
159 1.182 rillig return true;
160 1.180 rillig return false;
161 1.179 rillig }
162 1.179 rillig
163 1.86 rillig static int
164 1.141 rillig output_line_label(void)
165 1.86 rillig {
166 1.177 rillig int ind;
167 1.86 rillig
168 1.177 rillig while (lab.len > 0 && ch_isblank(lab.mem[lab.len - 1]))
169 1.177 rillig lab.len--;
170 1.86 rillig
171 1.177 rillig ind = output_indent(0, compute_label_indent());
172 1.177 rillig output_range(lab.st, lab.len);
173 1.177 rillig ind = ind_add(ind, lab.st, lab.len);
174 1.86 rillig
175 1.177 rillig ps.is_case_label = false;
176 1.177 rillig return ind;
177 1.86 rillig }
178 1.86 rillig
179 1.86 rillig static int
180 1.141 rillig output_line_code(int ind)
181 1.86 rillig {
182 1.86 rillig
183 1.177 rillig int target_ind = compute_code_indent();
184 1.177 rillig for (int i = 0; i < ps.nparen; i++) {
185 1.177 rillig int paren_ind = ps.paren[i].indent;
186 1.177 rillig if (paren_ind >= 0) {
187 1.177 rillig ps.paren[i].indent = -1 - (paren_ind + target_ind);
188 1.177 rillig debug_println(
189 1.178 rillig "setting paren_indents[%d] from %d to %d "
190 1.178 rillig "for column %d",
191 1.177 rillig i, paren_ind, ps.paren[i].indent, target_ind + 1);
192 1.177 rillig }
193 1.177 rillig }
194 1.177 rillig
195 1.177 rillig ind = output_indent(ind, target_ind);
196 1.177 rillig output_range(code.st, code.len);
197 1.177 rillig return ind_add(ind, code.st, code.len);
198 1.86 rillig }
199 1.86 rillig
200 1.86 rillig static void
201 1.141 rillig output_line_comment(int ind)
202 1.86 rillig {
203 1.177 rillig int target_ind = ps.com_ind;
204 1.177 rillig const char *p = com.st;
205 1.177 rillig
206 1.177 rillig target_ind += ps.comment_delta;
207 1.86 rillig
208 1.177 rillig /* consider original indentation in case this is a box comment */
209 1.177 rillig for (; *p == '\t'; p++)
210 1.177 rillig target_ind += opt.tabsize;
211 1.177 rillig
212 1.177 rillig for (; target_ind < 0; p++) {
213 1.177 rillig if (*p == ' ')
214 1.177 rillig target_ind++;
215 1.177 rillig else if (*p == '\t')
216 1.177 rillig target_ind = next_tab(target_ind);
217 1.177 rillig else {
218 1.177 rillig target_ind = 0;
219 1.177 rillig break;
220 1.177 rillig }
221 1.177 rillig }
222 1.86 rillig
223 1.177 rillig /* if comment can't fit on this line, put it on the next line */
224 1.177 rillig if (ind > target_ind) {
225 1.179 rillig output_newline();
226 1.177 rillig ind = 0;
227 1.177 rillig }
228 1.86 rillig
229 1.177 rillig while (com.mem + com.len > p && ch_isspace(com.mem[com.len - 1]))
230 1.177 rillig com.len--;
231 1.86 rillig
232 1.177 rillig (void)output_indent(ind, target_ind);
233 1.177 rillig output_range(p, com.len - (size_t)(p - com.mem));
234 1.86 rillig
235 1.177 rillig ps.comment_delta = ps.n_comment_delta;
236 1.86 rillig }
237 1.86 rillig
238 1.26 rillig /*
239 1.105 rillig * Write a line of formatted source to the output file. The line consists of
240 1.105 rillig * the label, the code and the comment.
241 1.156 rillig *
242 1.156 rillig * Comments are written directly, bypassing this function.
243 1.26 rillig */
244 1.174 rillig void
245 1.174 rillig output_line(void)
246 1.26 rillig {
247 1.177 rillig debug_printf("%s", __func__);
248 1.177 rillig debug_buffers();
249 1.177 rillig debug_println("");
250 1.177 rillig
251 1.177 rillig ps.is_function_definition = false;
252 1.177 rillig
253 1.180 rillig if (indent_enabled == indent_on) {
254 1.180 rillig if (want_blank_line() && wrote_newlines < 2
255 1.180 rillig && (lab.len > 0 || code.len > 0 || com.len > 0))
256 1.180 rillig output_newline();
257 1.177 rillig
258 1.177 rillig if (ps.ind_level == 0)
259 1.177 rillig ps.in_stmt_cont = false; /* this is a class A
260 1.177 rillig * kludge */
261 1.177 rillig
262 1.177 rillig if (opt.blank_line_after_decl && ps.declaration == decl_end
263 1.177 rillig && ps.tos > 1) {
264 1.177 rillig ps.declaration = decl_no;
265 1.177 rillig ps.blank_line_after_decl = true;
266 1.177 rillig }
267 1.177 rillig
268 1.177 rillig int ind = 0;
269 1.177 rillig if (lab.len > 0)
270 1.177 rillig ind = output_line_label();
271 1.177 rillig if (code.len > 0)
272 1.177 rillig ind = output_line_code(ind);
273 1.177 rillig if (com.len > 0)
274 1.177 rillig output_line_comment(ind);
275 1.177 rillig
276 1.179 rillig output_newline();
277 1.177 rillig }
278 1.177 rillig
279 1.177 rillig if (indent_enabled == indent_last_off_line) {
280 1.177 rillig indent_enabled = indent_on;
281 1.183 rillig output_range(out.indent_off_text.st, out.indent_off_text.len);
282 1.183 rillig out.indent_off_text.len = 0;
283 1.177 rillig }
284 1.173 rillig
285 1.177 rillig ps.decl_on_line = ps.in_decl; /* for proper comment indentation */
286 1.177 rillig ps.in_stmt_cont = ps.in_stmt_or_decl && !ps.in_decl;
287 1.177 rillig ps.decl_indent_done = false;
288 1.177 rillig if (ps.extra_expr_indent == eei_last)
289 1.177 rillig ps.extra_expr_indent = eei_no;
290 1.177 rillig
291 1.177 rillig lab.len = 0;
292 1.177 rillig code.len = 0;
293 1.177 rillig com.len = 0;
294 1.177 rillig
295 1.177 rillig ps.ind_level = ps.ind_level_follow;
296 1.177 rillig ps.line_start_nparen = ps.nparen;
297 1.177 rillig
298 1.177 rillig if (ps.nparen > 0) {
299 1.177 rillig /* TODO: explain what negative indentation means */
300 1.177 rillig paren_indent = -1 - ps.paren[ps.nparen - 1].indent;
301 1.177 rillig debug_println("paren_indent is now %d", paren_indent);
302 1.177 rillig }
303 1.161 rillig
304 1.177 rillig ps.want_blank = false;
305 1.183 rillig out.prev_line_kind = out.line_kind;
306 1.183 rillig out.line_kind = lk_other;
307 1.1 cgd }
308 1.1 cgd
309 1.113 rillig static int
310 1.113 rillig compute_code_indent_lineup(int base_ind)
311 1.113 rillig {
312 1.177 rillig int ind = paren_indent;
313 1.177 rillig int overflow = ind_add(ind, code.st, code.len) - opt.max_line_length;
314 1.177 rillig if (overflow < 0)
315 1.177 rillig return ind;
316 1.177 rillig
317 1.177 rillig if (ind_add(base_ind, code.st, code.len) < opt.max_line_length) {
318 1.177 rillig ind -= overflow + 2;
319 1.177 rillig if (ind > base_ind)
320 1.177 rillig return ind;
321 1.177 rillig return base_ind;
322 1.177 rillig }
323 1.177 rillig
324 1.162 rillig return ind;
325 1.113 rillig }
326 1.113 rillig
327 1.5 lukem int
328 1.39 rillig compute_code_indent(void)
329 1.1 cgd {
330 1.177 rillig int base_ind = ps.ind_level * opt.indent_size;
331 1.19 kamil
332 1.177 rillig if (ps.line_start_nparen == 0) {
333 1.177 rillig if (ps.in_stmt_cont && ps.in_enum != in_enum_brace)
334 1.177 rillig return base_ind + opt.continuation_indent;
335 1.177 rillig return base_ind;
336 1.177 rillig }
337 1.177 rillig
338 1.177 rillig if (opt.lineup_to_parens) {
339 1.177 rillig if (opt.lineup_to_parens_always)
340 1.177 rillig return paren_indent;
341 1.177 rillig return compute_code_indent_lineup(base_ind);
342 1.177 rillig }
343 1.177 rillig
344 1.177 rillig if (ps.extra_expr_indent != eei_no)
345 1.177 rillig return base_ind + 2 * opt.continuation_indent;
346 1.177 rillig
347 1.177 rillig if (2 * opt.continuation_indent == opt.indent_size)
348 1.177 rillig return base_ind + opt.continuation_indent;
349 1.177 rillig else
350 1.178 rillig return base_ind +
351 1.178 rillig opt.continuation_indent * ps.line_start_nparen;
352 1.1 cgd }
353 1.1 cgd
354 1.5 lukem int
355 1.38 rillig compute_label_indent(void)
356 1.1 cgd {
357 1.177 rillig if (ps.is_case_label)
358 1.177 rillig return (int)(case_ind * (float)opt.indent_size);
359 1.177 rillig if (lab.st[0] == '#')
360 1.177 rillig return 0;
361 1.177 rillig return opt.indent_size * (ps.ind_level - 2);
362 1.1 cgd }
363 1.1 cgd
364 1.5 lukem void
365 1.116 rillig inp_read_line(void)
366 1.67 rillig {
367 1.177 rillig if (indent_enabled == indent_on)
368 1.183 rillig out.indent_off_text.len = 0;
369 1.183 rillig buf_add_chars(&out.indent_off_text, inp.mem, inp.len);
370 1.177 rillig inp_read_next_line(input);
371 1.173 rillig }
372