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