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