Home | History | Annotate | Line # | Download | only in indent
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