Home | History | Annotate | Line # | Download | only in indent
pr_comment.c revision 1.167
      1  1.167  rillig /*	$NetBSD: pr_comment.c,v 1.167 2023/06/17 22:28:49 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.167  rillig __RCSID("$NetBSD: pr_comment.c,v 1.167 2023/06/17 22:28:49 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.145  rillig 	buf_add_char(&com, ch);
     51   1.71  rillig }
     52   1.71  rillig 
     53   1.71  rillig static void
     54  1.167  rillig com_add_star(void)
     55   1.71  rillig {
     56  1.154  rillig 	if (opt.star_comment_cont)
     57  1.154  rillig 		buf_add_chars(&com, " * ", 3);
     58   1.71  rillig }
     59   1.71  rillig 
     60   1.77  rillig static bool
     61  1.164  rillig fits_in_one_line(int max_line_length)
     62   1.77  rillig {
     63  1.151  rillig 	for (const char *start = inp_p, *p = start; *p != '\n'; p++) {
     64  1.145  rillig 		if (p[0] == '*' && p[1] == '/') {
     65  1.155  rillig 			while (p - inp_p >= 2
     66  1.155  rillig 			    && ch_isblank(p[-1])
     67  1.155  rillig 			    && ch_isblank(p[-2]))
     68  1.155  rillig 				p--;
     69  1.164  rillig 			int ind = ind_add(ps.comment_ind + 3,
     70  1.146  rillig 			    start, (size_t)(p - start));
     71  1.164  rillig 			ind += p == start || ch_isblank(p[-1]) ? 2 : 3;
     72  1.164  rillig 			return ind <= max_line_length;
     73  1.145  rillig 		}
     74  1.134  rillig 	}
     75  1.145  rillig 	return false;
     76   1.77  rillig }
     77   1.77  rillig 
     78   1.95  rillig static void
     79  1.164  rillig analyze_comment(bool *p_may_wrap, bool *p_delim, int *p_line_length)
     80    1.1     cgd {
     81  1.145  rillig 	bool may_wrap = true;
     82  1.167  rillig 	bool delim = false;	// only relevant if may_wrap
     83  1.145  rillig 	int ind;
     84  1.145  rillig 	int line_length = opt.max_line_length;
     85  1.145  rillig 
     86  1.162  rillig 	if (inp_p - inp.s == 2 && !opt.format_col1_comments) {
     87  1.145  rillig 		may_wrap = false;
     88  1.145  rillig 		ind = 0;
     89  1.145  rillig 	} else {
     90  1.151  rillig 		if (inp_p[0] == '-' || inp_p[0] == '*' ||
     91  1.151  rillig 		    token.s[token.len - 1] == '/' ||
     92  1.156  rillig 		    (inp_p[0] == '\n' && !opt.format_block_comments))
     93  1.145  rillig 			may_wrap = false;
     94  1.151  rillig 		if (code.len == 0 && inp_p[strspn(inp_p, "*")] == '\n')
     95  1.148  rillig 			out.line_kind = lk_block_comment;
     96  1.145  rillig 
     97  1.145  rillig 		if (com.len > 0)
     98  1.145  rillig 			output_line();
     99  1.145  rillig 		if (lab.len == 0 && code.len == 0) {
    100  1.146  rillig 			ind = (ps.ind_level - opt.unindent_displace)
    101  1.146  rillig 			    * opt.indent_size;
    102  1.145  rillig 			if (ind <= 0)
    103  1.145  rillig 				ind = opt.format_col1_comments ? 0 : 1;
    104  1.145  rillig 			line_length = opt.block_comment_max_line_length;
    105  1.157  rillig 			if (may_wrap && inp_p[0] == '\n')
    106  1.157  rillig 				delim = true;
    107  1.161  rillig 			if (may_wrap && opt.comment_delimiter_on_blank_line)
    108  1.157  rillig 				delim = true;
    109  1.145  rillig 		} else {
    110  1.167  rillig 			int min_ind = code.len > 0
    111  1.151  rillig 			    ? ind_add(compute_code_indent(), code.s, code.len)
    112  1.151  rillig 			    : ind_add(compute_label_indent(), lab.s, lab.len);
    113  1.145  rillig 
    114  1.159  rillig 			ind = ps.line_has_decl || ps.ind_level == 0
    115  1.146  rillig 			    ? opt.decl_comment_column - 1
    116  1.146  rillig 			    : opt.comment_column - 1;
    117  1.167  rillig 			if (ind <= min_ind)
    118  1.167  rillig 				ind = next_tab(min_ind);
    119  1.145  rillig 			if (ind + 25 > line_length)
    120  1.145  rillig 				line_length = ind + 25;
    121  1.145  rillig 		}
    122   1.11   kamil 	}
    123   1.56  rillig 
    124  1.145  rillig 	if (!may_wrap) {
    125  1.145  rillig 		/* Find out how much indentation there was originally, because
    126  1.149  rillig 		 * that much will have to be ignored by output_line. */
    127  1.151  rillig 		size_t len = (size_t)(inp_p - 2 - inp.s);
    128  1.164  rillig 		ps.comment_shift = -ind_add(0, inp.s, len);
    129   1.19  rillig 	} else {
    130  1.164  rillig 		ps.comment_shift = 0;
    131  1.151  rillig 		if (!(inp_p[0] == '\t' && !ch_isblank(inp_p[1])))
    132  1.151  rillig 			while (ch_isblank(inp_p[0]))
    133  1.151  rillig 				inp_p++;
    134  1.145  rillig 	}
    135   1.34  rillig 
    136  1.164  rillig 	ps.comment_ind = ind;
    137  1.152  rillig 	*p_may_wrap = may_wrap;
    138  1.152  rillig 	*p_delim = delim;
    139  1.152  rillig 	*p_line_length = line_length;
    140  1.152  rillig }
    141  1.152  rillig 
    142  1.152  rillig static void
    143  1.164  rillig copy_comment_start(bool may_wrap, bool *delim, int line_length)
    144  1.152  rillig {
    145  1.166  rillig 	ps.comment_cont = false;
    146  1.145  rillig 	com_add_char('/');
    147  1.151  rillig 	com_add_char(token.s[token.len - 1]);	/* either '*' or '/' */
    148  1.145  rillig 
    149  1.156  rillig 	if (may_wrap) {
    150  1.156  rillig 		if (!ch_isblank(inp_p[0]))
    151  1.156  rillig 			com_add_char(' ');
    152  1.145  rillig 
    153  1.164  rillig 		if (*delim && fits_in_one_line(line_length))
    154  1.156  rillig 			*delim = false;
    155  1.156  rillig 		if (*delim) {
    156  1.156  rillig 			output_line();
    157  1.167  rillig 			com_add_star();
    158  1.156  rillig 		}
    159   1.11   kamil 	}
    160   1.95  rillig }
    161   1.95  rillig 
    162   1.95  rillig static void
    163  1.152  rillig copy_comment_wrap_text(int line_length, ssize_t *last_blank)
    164   1.95  rillig {
    165  1.167  rillig 	int ind = ind_add(ps.comment_ind, com.s, com.len);
    166  1.152  rillig 	for (;;) {
    167  1.152  rillig 		char ch = inp_next();
    168  1.152  rillig 		if (ch_isblank(ch))
    169  1.152  rillig 			*last_blank = (ssize_t)com.len;
    170  1.152  rillig 		com_add_char(ch);
    171  1.167  rillig 		ind++;
    172  1.152  rillig 		if (memchr("*\n\r\b\t", inp_p[0], 6) != NULL)
    173  1.152  rillig 			break;
    174  1.167  rillig 		if (ind >= line_length && *last_blank != -1)
    175  1.152  rillig 			break;
    176  1.152  rillig 	}
    177   1.99  rillig 
    178  1.167  rillig 	if (ind <= line_length)
    179  1.152  rillig 		return;
    180  1.152  rillig 	if (ch_isspace(com.s[com.len - 1]))
    181  1.152  rillig 		return;
    182  1.145  rillig 
    183  1.152  rillig 	if (*last_blank == -1) {
    184  1.152  rillig 		/* only a single word in this line */
    185  1.152  rillig 		output_line();
    186  1.167  rillig 		com_add_star();
    187  1.152  rillig 		return;
    188  1.152  rillig 	}
    189  1.101  rillig 
    190  1.167  rillig 	// Move the overlong word to the next line.
    191  1.167  rillig 	const char *last_word = com.s + *last_blank + 1;
    192  1.152  rillig 	size_t last_word_len = com.len - (size_t)(*last_blank + 1);
    193  1.152  rillig 	com.len = (size_t)*last_blank;
    194  1.167  rillig 	buf_terminate(&com);
    195  1.152  rillig 	output_line();
    196  1.167  rillig 	com_add_star();
    197  1.152  rillig 
    198  1.167  rillig 	/* Assume that output_line and com_add_delim left the "unused" part of
    199  1.167  rillig 	 * the now truncated buffer beyond com.s + com.len as-is. */
    200  1.167  rillig 	memmove(com.s + com.len, last_word, last_word_len);
    201  1.152  rillig 	com.len += last_word_len;
    202  1.167  rillig 	buf_terminate(&com);
    203  1.152  rillig 	*last_blank = -1;
    204  1.152  rillig }
    205  1.145  rillig 
    206  1.167  rillig /* In a comment that is re-wrapped, handle a single newline character. */
    207  1.152  rillig static bool
    208  1.164  rillig copy_comment_wrap_newline(ssize_t *last_blank, bool seen_newline)
    209  1.152  rillig {
    210  1.152  rillig 	*last_blank = -1;
    211  1.164  rillig 	if (seen_newline) {
    212  1.152  rillig 		if (com.len == 0)
    213  1.152  rillig 			com_add_char(' ');	/* force empty output line */
    214  1.152  rillig 		if (com.len > 3) {
    215  1.152  rillig 			output_line();
    216  1.167  rillig 			com_add_star();
    217  1.152  rillig 		}
    218  1.152  rillig 		output_line();
    219  1.167  rillig 		com_add_star();
    220  1.152  rillig 	} else {
    221  1.152  rillig 		if (!(com.len > 0 && ch_isblank(com.s[com.len - 1])))
    222  1.152  rillig 			com_add_char(' ');
    223  1.152  rillig 		*last_blank = (int)com.len - 1;
    224  1.152  rillig 	}
    225  1.167  rillig 	line_no++;
    226  1.145  rillig 
    227  1.152  rillig 	/* flush any blanks and/or tabs at start of next line */
    228  1.153  rillig 	inp_skip();		/* '\n' */
    229  1.153  rillig 	while (ch_isblank(inp_p[0]))
    230  1.153  rillig 		inp_p++;
    231  1.153  rillig 	if (inp_p[0] == '*' && inp_p[1] == '/')
    232  1.153  rillig 		return false;
    233  1.153  rillig 	if (inp_p[0] == '*') {
    234  1.153  rillig 		inp_p++;
    235  1.153  rillig 		while (ch_isblank(inp_p[0]))
    236  1.151  rillig 			inp_p++;
    237  1.153  rillig 	}
    238  1.145  rillig 
    239  1.152  rillig 	return true;
    240  1.152  rillig }
    241  1.145  rillig 
    242  1.152  rillig static void
    243  1.152  rillig copy_comment_wrap_finish(int line_length, bool delim)
    244  1.152  rillig {
    245  1.152  rillig 	if (delim) {
    246  1.152  rillig 		if (com.len > 3)
    247  1.152  rillig 			output_line();
    248  1.152  rillig 		else
    249  1.160  rillig 			buf_clear(&com);
    250  1.152  rillig 		com_add_char(' ');
    251  1.152  rillig 	} else {
    252  1.152  rillig 		size_t len = com.len;
    253  1.167  rillig 		// XXX: This loop differs from the one below.
    254  1.152  rillig 		while (ch_isblank(com.s[len - 1]))
    255  1.152  rillig 			len--;
    256  1.167  rillig 		if (ind_add(ps.comment_ind, com.s, len) + 3 > line_length)
    257  1.152  rillig 			output_line();
    258  1.152  rillig 	}
    259  1.145  rillig 
    260  1.155  rillig 	while (com.len >= 2
    261  1.155  rillig 	    && ch_isblank(com.s[com.len - 1])
    262  1.155  rillig 	    && ch_isblank(com.s[com.len - 2]))
    263  1.155  rillig 		com.len--;
    264  1.160  rillig 	buf_terminate(&com);
    265  1.155  rillig 
    266  1.153  rillig 	inp_p += 2;
    267  1.154  rillig 	if (com.len > 0 && ch_isblank(com.s[com.len - 1]))
    268  1.154  rillig 		buf_add_chars(&com, "*/", 2);
    269  1.154  rillig 	else
    270  1.154  rillig 		buf_add_chars(&com, " */", 3);
    271  1.152  rillig }
    272  1.145  rillig 
    273  1.152  rillig static void
    274  1.152  rillig copy_comment_wrap(int line_length, bool delim)
    275  1.152  rillig {
    276  1.152  rillig 	ssize_t last_blank = -1;	/* index of the last blank in 'com' */
    277  1.163  rillig 	bool seen_newline = false;
    278  1.145  rillig 
    279  1.152  rillig 	for (;;) {
    280  1.152  rillig 		if (inp_p[0] == '\n') {
    281  1.152  rillig 			if (had_eof)
    282  1.152  rillig 				goto unterminated_comment;
    283  1.163  rillig 			if (!copy_comment_wrap_newline(&last_blank,
    284  1.165  rillig 				seen_newline))
    285  1.164  rillig 				break;
    286  1.164  rillig 			seen_newline = true;
    287  1.153  rillig 		} else if (inp_p[0] == '*' && inp_p[1] == '/')
    288  1.164  rillig 			break;
    289  1.163  rillig 		else {
    290  1.152  rillig 			copy_comment_wrap_text(line_length, &last_blank);
    291  1.163  rillig 			seen_newline = false;
    292  1.163  rillig 		}
    293  1.152  rillig 	}
    294  1.145  rillig 
    295  1.152  rillig 	copy_comment_wrap_finish(line_length, delim);
    296  1.152  rillig 	return;
    297  1.152  rillig 
    298  1.152  rillig unterminated_comment:
    299  1.152  rillig 	diag(1, "Unterminated comment");
    300  1.152  rillig 	output_line();
    301   1.99  rillig }
    302   1.99  rillig 
    303   1.99  rillig static void
    304  1.103  rillig copy_comment_nowrap(void)
    305   1.99  rillig {
    306  1.151  rillig 	char kind = token.s[token.len - 1];
    307  1.150  rillig 
    308  1.145  rillig 	for (;;) {
    309  1.151  rillig 		if (inp_p[0] == '\n') {
    310  1.150  rillig 			if (kind == '/')
    311  1.145  rillig 				return;
    312  1.145  rillig 
    313  1.145  rillig 			if (had_eof) {
    314  1.145  rillig 				diag(1, "Unterminated comment");
    315  1.145  rillig 				output_line();
    316  1.145  rillig 				return;
    317  1.145  rillig 			}
    318  1.145  rillig 
    319  1.145  rillig 			if (com.len == 0)
    320  1.145  rillig 				com_add_char(' ');	/* force output of an
    321  1.145  rillig 							 * empty line */
    322  1.145  rillig 			output_line();
    323  1.167  rillig 			line_no++;
    324  1.145  rillig 			inp_skip();
    325  1.145  rillig 			continue;
    326  1.145  rillig 		}
    327   1.56  rillig 
    328  1.151  rillig 		com_add_char(*inp_p++);
    329  1.150  rillig 		if (com.len >= 2
    330  1.151  rillig 		    && com.s[com.len - 2] == '*'
    331  1.151  rillig 		    && com.s[com.len - 1] == '/'
    332  1.150  rillig 		    && kind == '*')
    333  1.145  rillig 			return;
    334  1.104  rillig 	}
    335    1.1     cgd }
    336   1.95  rillig 
    337   1.95  rillig void
    338   1.95  rillig process_comment(void)
    339   1.95  rillig {
    340  1.145  rillig 	bool may_wrap, delim;
    341  1.164  rillig 	int line_length;
    342   1.95  rillig 
    343  1.164  rillig 	analyze_comment(&may_wrap, &delim, &line_length);
    344  1.164  rillig 	copy_comment_start(may_wrap, &delim, line_length);
    345  1.145  rillig 	if (may_wrap)
    346  1.145  rillig 		copy_comment_wrap(line_length, delim);
    347  1.145  rillig 	else
    348  1.145  rillig 		copy_comment_nowrap();
    349   1.95  rillig }
    350