Annotation of src/usr.bin/indent/indent.c, Revision 1.18
1.18 ! jsg 1: /* $OpenBSD: indent.c,v 1.17 2003/06/26 21:43:07 deraadt Exp $ */
1.3 deraadt 2:
1.1 deraadt 3: /*
1.9 pjanzen 4: * Copyright (c) 1980, 1993
5: * The Regents of the University of California.
6: * Copyright (c) 1976 Board of Trustees of the University of Illinois.
1.1 deraadt 7: * Copyright (c) 1985 Sun Microsystems, Inc.
8: * All rights reserved.
9: *
10: * Redistribution and use in source and binary forms, with or without
11: * modification, are permitted provided that the following conditions
12: * are met:
13: * 1. Redistributions of source code must retain the above copyright
14: * notice, this list of conditions and the following disclaimer.
15: * 2. Redistributions in binary form must reproduce the above copyright
16: * notice, this list of conditions and the following disclaimer in the
17: * documentation and/or other materials provided with the distribution.
1.15 deraadt 18: * 3. Neither the name of the University nor the names of its contributors
1.1 deraadt 19: * may be used to endorse or promote products derived from this software
20: * without specific prior written permission.
21: *
22: * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23: * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24: * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25: * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26: * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27: * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28: * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29: * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30: * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31: * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32: * SUCH DAMAGE.
33: */
34:
35: #ifndef lint
36: char copyright[] =
37: "@(#) Copyright (c) 1985 Sun Microsystems, Inc.\n\
1.9 pjanzen 38: @(#) Copyright (c) 1980, 1993\n\
39: The Regents of the University of California.\n\
1.1 deraadt 40: @(#) Copyright (c) 1976 Board of Trustees of the University of Illinois.\n\
41: All rights reserved.\n";
42: #endif /* not lint */
43:
44: #ifndef lint
1.9 pjanzen 45: /*static char sccsid[] = "@(#)indent.c 5.17 (Berkeley) 6/7/93";*/
1.18 ! jsg 46: static char rcsid[] = "$OpenBSD: indent.c,v 1.17 2003/06/26 21:43:07 deraadt Exp $";
1.1 deraadt 47: #endif /* not lint */
48:
49: #include <sys/param.h>
50: #include <fcntl.h>
51: #include <unistd.h>
52: #include <stdio.h>
53: #include <stdlib.h>
54: #include <string.h>
55: #include "indent_globs.h"
56: #include "indent_codes.h"
57: #include <ctype.h>
1.2 deraadt 58: #include <errno.h>
1.4 mickey 59: #include <err.h>
1.1 deraadt 60:
61: char *in_name = "Standard Input"; /* will always point to name of input
62: * file */
63: char *out_name = "Standard Output"; /* will always point to name
64: * of output file */
65: char bakfile[MAXPATHLEN] = "";
66:
1.17 deraadt 67: void bakcopy(void);
1.4 mickey 68:
69: int
1.16 deraadt 70: main(int argc, char **argv)
1.1 deraadt 71: {
72:
73: extern int found_err; /* flag set in diag() on error */
74: int dec_ind; /* current indentation for declarations */
75: int di_stack[20]; /* a stack of structure indentation levels */
76: int flushed_nl; /* used when buffering up comments to remember
77: * that a newline was passed over */
78: int force_nl; /* when true, code must be broken */
79: int hd_type; /* used to store type of stmt for if (...),
80: * for (...), etc */
1.11 mpech 81: int i; /* local loop counter */
1.1 deraadt 82: int scase; /* set to true when we see a case, so we will
83: * know what to do with the following colon */
84: int sp_sw; /* when true, we are in the expressin of
85: * if(...), while(...), etc. */
86: int squest; /* when this is positive, we have seen a ?
87: * without the matching : in a <c>?<s>:<s>
88: * construct */
1.11 mpech 89: char *t_ptr; /* used for copying tokens */
1.1 deraadt 90: int type_code; /* the type of token, returned by lexi */
91:
92: int last_else = 0; /* true iff last keyword was an else */
93:
94:
95: /*-----------------------------------------------*\
96: | INITIALIZATION |
97: \*-----------------------------------------------*/
98:
99:
1.9 pjanzen 100: hd_type = 0;
1.1 deraadt 101: ps.p_stack[0] = stmt; /* this is the parser's stack */
102: ps.last_nl = true; /* this is true if the last thing scanned was
103: * a newline */
104: ps.last_token = semicolon;
105: combuf = (char *) malloc(bufsize);
106: labbuf = (char *) malloc(bufsize);
107: codebuf = (char *) malloc(bufsize);
108: tokenbuf = (char *) malloc(bufsize);
1.9 pjanzen 109: if (combuf == NULL || labbuf == NULL || codebuf == NULL ||
110: tokenbuf == NULL)
1.10 pjanzen 111: err(1, NULL);
1.1 deraadt 112: l_com = combuf + bufsize - 5;
113: l_lab = labbuf + bufsize - 5;
114: l_code = codebuf + bufsize - 5;
115: l_token = tokenbuf + bufsize - 5;
116: combuf[0] = codebuf[0] = labbuf[0] = ' '; /* set up code, label, and
117: * comment buffers */
118: combuf[1] = codebuf[1] = labbuf[1] = '\0';
119: ps.else_if = 1; /* Default else-if special processing to on */
120: s_lab = e_lab = labbuf + 1;
121: s_code = e_code = codebuf + 1;
122: s_com = e_com = combuf + 1;
123: s_token = e_token = tokenbuf + 1;
124:
125: in_buffer = (char *) malloc(10);
1.9 pjanzen 126: if (in_buffer == NULL)
1.10 pjanzen 127: err(1, NULL);
1.1 deraadt 128: in_buffer_limit = in_buffer + 8;
129: buf_ptr = buf_end = in_buffer;
130: line_no = 1;
131: had_eof = ps.in_decl = ps.decl_on_line = break_comma = false;
132: sp_sw = force_nl = false;
133: ps.in_or_st = false;
134: ps.bl_line = true;
135: dec_ind = 0;
136: di_stack[ps.dec_nest = 0] = 0;
137: ps.want_blank = ps.in_stmt = ps.ind_stmt = false;
138:
139:
140: scase = ps.pcase = false;
141: squest = 0;
142: sc_end = 0;
143: bp_save = 0;
144: be_save = 0;
145:
146: output = 0;
147:
148:
149:
150: /*--------------------------------------------------*\
151: | COMMAND LINE SCAN |
152: \*--------------------------------------------------*/
153:
154: #ifdef undef
155: max_col = 78; /* -l78 */
156: lineup_to_parens = 1; /* -lp */
157: ps.ljust_decl = 0; /* -ndj */
158: ps.com_ind = 33; /* -c33 */
159: star_comment_cont = 1; /* -sc */
160: ps.ind_size = 8; /* -i8 */
161: verbose = 0;
162: ps.decl_indent = 16; /* -di16 */
163: ps.indent_parameters = 1; /* -ip */
164: ps.decl_com_ind = 0; /* if this is not set to some positive value
165: * by an arg, we will set this equal to
166: * ps.com_ind */
167: btype_2 = 1; /* -br */
168: cuddle_else = 1; /* -ce */
169: ps.unindent_displace = 0; /* -d0 */
170: ps.case_indent = 0; /* -cli0 */
171: format_col1_comments = 1; /* -fc1 */
172: procnames_start_line = 1; /* -psl */
173: proc_calls_space = 0; /* -npcs */
174: comment_delimiter_on_blankline = 1; /* -cdb */
175: ps.leave_comma = 1; /* -nbc */
176: #endif
177:
178: for (i = 1; i < argc; ++i)
179: if (strcmp(argv[i], "-npro") == 0)
180: break;
181: set_defaults();
182: if (i >= argc)
183: set_profile();
184:
185: for (i = 1; i < argc; ++i) {
186:
187: /*
188: * look thru args (if any) for changes to defaults
189: */
190: if (argv[i][0] != '-') {/* no flag on parameter */
191: if (input == 0) { /* we must have the input file */
192: in_name = argv[i]; /* remember name of input file */
193: input = fopen(in_name, "r");
1.4 mickey 194: if (input == NULL) /* check for open error */
1.7 millert 195: err(1, "%s", in_name);
1.1 deraadt 196: continue;
197: }
198: else if (output == 0) { /* we have the output file */
199: out_name = argv[i]; /* remember name of output file */
1.4 mickey 200: if (strcmp(in_name, out_name) == 0) /* attempt to overwrite
1.1 deraadt 201: * the file */
1.5 deraadt 202: errx(1, "input and output files must be different");
1.1 deraadt 203: output = fopen(out_name, "w");
1.4 mickey 204: if (output == NULL) /* check for create error */
1.7 millert 205: err(1, "%s", out_name);
1.1 deraadt 206: continue;
207: }
1.5 deraadt 208: errx(1, "unknown parameter: %s", argv[i]);
1.1 deraadt 209: }
210: else
211: set_option(argv[i]);
212: } /* end of for */
1.6 alex 213: if (input == NULL) {
214: fprintf(stderr, "usage: indent file [ outfile ] [ options ]\n");
215: exit(1);
216: }
1.9 pjanzen 217: if (output == NULL) {
1.1 deraadt 218: if (troff)
219: output = stdout;
220: else {
221: out_name = in_name;
222: bakcopy();
223: }
1.9 pjanzen 224: }
1.1 deraadt 225: if (ps.com_ind <= 1)
226: ps.com_ind = 2; /* dont put normal comments before column 2 */
227: if (troff) {
228: if (bodyf.font[0] == 0)
229: parsefont(&bodyf, "R");
230: if (scomf.font[0] == 0)
231: parsefont(&scomf, "I");
232: if (blkcomf.font[0] == 0)
233: blkcomf = scomf, blkcomf.size += 2;
234: if (boxcomf.font[0] == 0)
235: boxcomf = blkcomf;
236: if (stringf.font[0] == 0)
237: parsefont(&stringf, "L");
238: if (keywordf.font[0] == 0)
239: parsefont(&keywordf, "B");
240: writefdef(&bodyf, 'B');
241: writefdef(&scomf, 'C');
242: writefdef(&blkcomf, 'L');
243: writefdef(&boxcomf, 'X');
244: writefdef(&stringf, 'S');
245: writefdef(&keywordf, 'K');
246: }
247: if (block_comment_max_col <= 0)
248: block_comment_max_col = max_col;
249: if (ps.decl_com_ind <= 0) /* if not specified by user, set this */
250: ps.decl_com_ind = ps.ljust_decl ? (ps.com_ind <= 10 ? 2 : ps.com_ind - 8) : ps.com_ind;
251: if (continuation_indent == 0)
252: continuation_indent = ps.ind_size;
1.4 mickey 253: fill_buffer(); /* get first batch of stuff into input buffer */
1.1 deraadt 254:
255: parse(semicolon);
256: {
1.9 pjanzen 257: char *p = buf_ptr;
258: int col = 1;
1.1 deraadt 259:
260: while (1) {
261: if (*p == ' ')
262: col++;
263: else if (*p == '\t')
264: col = ((col - 1) & ~7) + 9;
265: else
266: break;
267: p++;
268: }
269: if (col > ps.ind_size)
270: ps.ind_level = ps.i_l_follow = col / ps.ind_size;
271: }
272: if (troff) {
1.11 mpech 273: char *p = in_name,
1.1 deraadt 274: *beg = in_name;
275:
276: while (*p)
277: if (*p++ == '/')
278: beg = p;
279: fprintf(output, ".Fn \"%s\"\n", beg);
280: }
281: /*
282: * START OF MAIN LOOP
283: */
284:
285: while (1) { /* this is the main loop. it will go until we
286: * reach eof */
287: int is_procname;
288:
289: type_code = lexi(); /* lexi reads one token. The actual
290: * characters read are stored in "token". lexi
291: * returns a code indicating the type of token */
292: is_procname = ps.procname[0];
293:
294: /*
295: * The following code moves everything following an if (), while (),
296: * else, etc. up to the start of the following stmt to a buffer. This
297: * allows proper handling of both kinds of brace placement.
298: */
299:
300: flushed_nl = false;
301: while (ps.search_brace) { /* if we scanned an if(), while(),
302: * etc., we might need to copy stuff
303: * into a buffer we must loop, copying
304: * stuff into save_com, until we find
305: * the start of the stmt which follows
306: * the if, or whatever */
307: switch (type_code) {
308: case newline:
309: ++line_no;
310: flushed_nl = true;
311: case form_feed:
312: break; /* form feeds and newlines found here will be
313: * ignored */
314:
315: case lbrace: /* this is a brace that starts the compound
316: * stmt */
317: if (sc_end == 0) { /* ignore buffering if a comment wasnt
318: * stored up */
319: ps.search_brace = false;
320: goto check_type;
321: }
322: if (btype_2) {
323: save_com[0] = '{'; /* we either want to put the brace
324: * right after the if */
325: goto sw_buffer; /* go to common code to get out of
326: * this loop */
327: }
328: case comment: /* we have a comment, so we must copy it into
329: * the buffer */
330: if (!flushed_nl || sc_end != 0) {
331: if (sc_end == 0) { /* if this is the first comment, we
332: * must set up the buffer */
333: save_com[0] = save_com[1] = ' ';
334: sc_end = &(save_com[2]);
335: }
336: else {
337: *sc_end++ = '\n'; /* add newline between
338: * comments */
339: *sc_end++ = ' ';
340: --line_no;
341: }
342: *sc_end++ = '/'; /* copy in start of comment */
343: *sc_end++ = '*';
344:
345: for (;;) { /* loop until we get to the end of the comment */
346: *sc_end = *buf_ptr++;
347: if (buf_ptr >= buf_end)
348: fill_buffer();
349:
350: if (*sc_end++ == '*' && *buf_ptr == '/')
351: break; /* we are at end of comment */
352:
353: if (sc_end >= &(save_com[sc_size])) { /* check for temp buffer
354: * overflow */
355: diag(1, "Internal buffer overflow - Move big comment from right after if, while, or whatever.");
356: fflush(output);
357: exit(1);
358: }
359: }
360: *sc_end++ = '/'; /* add ending slash */
361: if (++buf_ptr >= buf_end) /* get past / in buffer */
362: fill_buffer();
363: break;
364: }
365: default: /* it is the start of a normal statment */
366: if (flushed_nl) /* if we flushed a newline, make sure it is
367: * put back */
368: force_nl = true;
1.4 mickey 369: if ((type_code == sp_paren && *token == 'i'
370: && last_else && ps.else_if) ||
371: (type_code == sp_nparen && *token == 'e'
372: && e_code != s_code && e_code[-1] == '}'))
373: force_nl = false;
1.1 deraadt 374:
375: if (sc_end == 0) { /* ignore buffering if comment wasnt
376: * saved up */
377: ps.search_brace = false;
378: goto check_type;
379: }
380: if (force_nl) { /* if we should insert a nl here, put it into
381: * the buffer */
382: force_nl = false;
383: --line_no; /* this will be re-increased when the nl is
384: * read from the buffer */
385: *sc_end++ = '\n';
386: *sc_end++ = ' ';
387: if (verbose && !flushed_nl) /* print error msg if the line
388: * was not already broken */
389: diag(0, "Line broken");
390: flushed_nl = false;
391: }
392: for (t_ptr = token; *t_ptr; ++t_ptr)
393: *sc_end++ = *t_ptr; /* copy token into temp buffer */
394: ps.procname[0] = 0;
395:
396: sw_buffer:
397: ps.search_brace = false; /* stop looking for start of
398: * stmt */
399: bp_save = buf_ptr; /* save current input buffer */
400: be_save = buf_end;
401: buf_ptr = save_com; /* fix so that subsequent calls to
402: * lexi will take tokens out of
403: * save_com */
404: *sc_end++ = ' ';/* add trailing blank, just in case */
405: buf_end = sc_end;
406: sc_end = 0;
407: break;
408: } /* end of switch */
409: if (type_code != 0) /* we must make this check, just in case there
410: * was an unexpected EOF */
411: type_code = lexi(); /* read another token */
412: /* if (ps.search_brace) ps.procname[0] = 0; */
413: if ((is_procname = ps.procname[0]) && flushed_nl
414: && !procnames_start_line && ps.in_decl
415: && type_code == ident)
416: flushed_nl = 0;
417: } /* end of while (search_brace) */
418: last_else = 0;
419: check_type:
420: if (type_code == 0) { /* we got eof */
421: if (s_lab != e_lab || s_code != e_code
422: || s_com != e_com) /* must dump end of line */
423: dump_line();
424: if (ps.tos > 1) /* check for balanced braces */
1.12 vincent 425: diag(1, "Missing braces at end of file.");
1.1 deraadt 426:
427: if (verbose) {
428: printf("There were %d output lines and %d comments\n",
429: ps.out_lines, ps.out_coms);
430: printf("(Lines with comments)/(Lines with code): %6.3f\n",
431: (1.0 * ps.com_lines) / code_lines);
432: }
433: fflush(output);
434: exit(found_err);
435: }
436: if (
437: (type_code != comment) &&
438: (type_code != newline) &&
439: (type_code != preesc) &&
440: (type_code != form_feed)) {
441: if (force_nl &&
442: (type_code != semicolon) &&
443: (type_code != lbrace || !btype_2)) {
444: /* we should force a broken line here */
445: if (verbose && !flushed_nl)
446: diag(0, "Line broken");
447: flushed_nl = false;
448: dump_line();
449: ps.want_blank = false; /* dont insert blank at line start */
450: force_nl = false;
451: }
452: ps.in_stmt = true; /* turn on flag which causes an extra level of
453: * indentation. this is turned off by a ; or
454: * '}' */
455: if (s_com != e_com) { /* the turkey has embedded a comment
456: * in a line. fix it */
457: *e_code++ = ' ';
458: for (t_ptr = s_com; *t_ptr; ++t_ptr) {
459: CHECK_SIZE_CODE;
460: *e_code++ = *t_ptr;
461: }
462: *e_code++ = ' ';
463: *e_code = '\0'; /* null terminate code sect */
464: ps.want_blank = false;
465: e_com = s_com;
466: }
467: }
468: else if (type_code != comment) /* preserve force_nl thru a comment */
469: force_nl = false; /* cancel forced newline after newline, form
470: * feed, etc */
471:
472:
473:
474: /*-----------------------------------------------------*\
475: | do switch on type of token scanned |
476: \*-----------------------------------------------------*/
477: CHECK_SIZE_CODE;
478: switch (type_code) { /* now, decide what to do with the token */
479:
480: case form_feed: /* found a form feed in line */
481: ps.use_ff = true; /* a form feed is treated much like a newline */
482: dump_line();
483: ps.want_blank = false;
484: break;
485:
486: case newline:
487: if (ps.last_token != comma || ps.p_l_follow > 0
488: || !ps.leave_comma || ps.block_init || !break_comma || s_com != e_com) {
489: dump_line();
490: ps.want_blank = false;
491: }
492: ++line_no; /* keep track of input line number */
493: break;
494:
495: case lparen: /* got a '(' or '[' */
496: ++ps.p_l_follow; /* count parens to make Healy happy */
497: if (ps.want_blank && *token != '[' &&
498: (ps.last_token != ident || proc_calls_space
499: || (ps.its_a_keyword && (!ps.sizeof_keyword || Bill_Shannon))))
500: *e_code++ = ' ';
501: if (ps.in_decl && !ps.block_init)
502: if (troff && !ps.dumped_decl_indent && !is_procname && ps.last_token == decl) {
503: ps.dumped_decl_indent = 1;
1.14 krw 504: snprintf(e_code, (l_code - e_code) + 5,
505: "\n.Du %dp+\200p \"%s\"\n", dec_ind * 7, token);
1.1 deraadt 506: e_code += strlen(e_code);
1.14 krw 507: CHECK_SIZE_CODE;
1.1 deraadt 508: }
509: else {
510: while ((e_code - s_code) < dec_ind) {
511: CHECK_SIZE_CODE;
512: *e_code++ = ' ';
513: }
514: *e_code++ = token[0];
515: }
516: else
517: *e_code++ = token[0];
518: ps.paren_indents[ps.p_l_follow - 1] = e_code - s_code;
519: if (sp_sw && ps.p_l_follow == 1 && extra_expression_indent
520: && ps.paren_indents[0] < 2 * ps.ind_size)
521: ps.paren_indents[0] = 2 * ps.ind_size;
522: ps.want_blank = false;
523: if (ps.in_or_st && *token == '(' && ps.tos <= 2) {
524: /*
525: * this is a kluge to make sure that declarations will be
526: * aligned right if proc decl has an explicit type on it, i.e.
527: * "int a(x) {..."
528: */
529: parse(semicolon); /* I said this was a kluge... */
530: ps.in_or_st = false; /* turn off flag for structure decl or
531: * initialization */
532: }
533: if (ps.sizeof_keyword)
534: ps.sizeof_mask |= 1 << ps.p_l_follow;
535: break;
536:
537: case rparen: /* got a ')' or ']' */
538: rparen_count--;
539: if (ps.cast_mask & (1 << ps.p_l_follow) & ~ps.sizeof_mask) {
540: ps.last_u_d = true;
541: ps.cast_mask &= (1 << ps.p_l_follow) - 1;
542: }
543: ps.sizeof_mask &= (1 << ps.p_l_follow) - 1;
544: if (--ps.p_l_follow < 0) {
545: ps.p_l_follow = 0;
546: diag(0, "Extra %c", *token);
547: }
548: if (e_code == s_code) /* if the paren starts the line */
549: ps.paren_level = ps.p_l_follow; /* then indent it */
550:
551: *e_code++ = token[0];
552: ps.want_blank = true;
553:
554: if (sp_sw && (ps.p_l_follow == 0)) { /* check for end of if
555: * (...), or some such */
556: sp_sw = false;
557: force_nl = true;/* must force newline after if */
558: ps.last_u_d = true; /* inform lexi that a following
559: * operator is unary */
560: ps.in_stmt = false; /* dont use stmt continuation
561: * indentation */
562:
563: parse(hd_type); /* let parser worry about if, or whatever */
564: }
565: ps.search_brace = btype_2; /* this should insure that constructs
566: * such as main(){...} and int[]{...}
567: * have their braces put in the right
568: * place */
569: break;
570:
571: case unary_op: /* this could be any unary operation */
572: if (ps.want_blank)
573: *e_code++ = ' ';
574:
575: if (troff && !ps.dumped_decl_indent && ps.in_decl && !is_procname) {
1.14 krw 576: snprintf(e_code, (l_code - e_code) + 5,
577: "\n.Du %dp+\200p \"%s\"\n", dec_ind * 7, token);
1.1 deraadt 578: ps.dumped_decl_indent = 1;
579: e_code += strlen(e_code);
1.14 krw 580: CHECK_SIZE_CODE;
1.1 deraadt 581: }
582: else {
583: char *res = token;
584:
585: if (ps.in_decl && !ps.block_init) { /* if this is a unary op
586: * in a declaration, we
587: * should indent this
588: * token */
589: for (i = 0; token[i]; ++i); /* find length of token */
590: while ((e_code - s_code) < (dec_ind - i)) {
591: CHECK_SIZE_CODE;
592: *e_code++ = ' '; /* pad it */
593: }
594: }
595: if (troff && token[0] == '-' && token[1] == '>')
596: res = "\\(->";
597: for (t_ptr = res; *t_ptr; ++t_ptr) {
598: CHECK_SIZE_CODE;
599: *e_code++ = *t_ptr;
600: }
601: }
602: ps.want_blank = false;
603: break;
604:
605: case binary_op: /* any binary operation */
606: if (ps.want_blank)
607: *e_code++ = ' ';
608: {
609: char *res = token;
610:
611: if (troff)
612: switch (token[0]) {
613: case '<':
614: if (token[1] == '=')
615: res = "\\(<=";
616: break;
617: case '>':
618: if (token[1] == '=')
619: res = "\\(>=";
620: break;
621: case '!':
622: if (token[1] == '=')
623: res = "\\(!=";
624: break;
625: case '|':
626: if (token[1] == '|')
627: res = "\\(br\\(br";
628: else if (token[1] == 0)
629: res = "\\(br";
630: break;
631: }
632: for (t_ptr = res; *t_ptr; ++t_ptr) {
633: CHECK_SIZE_CODE;
634: *e_code++ = *t_ptr; /* move the operator */
635: }
636: }
637: ps.want_blank = true;
638: break;
639:
640: case postop: /* got a trailing ++ or -- */
641: *e_code++ = token[0];
642: *e_code++ = token[1];
643: ps.want_blank = true;
644: break;
645:
646: case question: /* got a ? */
647: squest++; /* this will be used when a later colon
648: * appears so we can distinguish the
649: * <c>?<n>:<n> construct */
650: if (ps.want_blank)
651: *e_code++ = ' ';
652: *e_code++ = '?';
653: ps.want_blank = true;
654: break;
655:
656: case casestmt: /* got word 'case' or 'default' */
657: scase = true; /* so we can process the later colon properly */
658: goto copy_id;
659:
660: case colon: /* got a ':' */
661: if (squest > 0) { /* it is part of the <c>?<n>: <n> construct */
662: --squest;
663: if (ps.want_blank)
664: *e_code++ = ' ';
665: *e_code++ = ':';
666: ps.want_blank = true;
667: break;
668: }
669: if (ps.in_decl) {
670: *e_code++ = ':';
671: ps.want_blank = false;
672: break;
673: }
674: ps.in_stmt = false; /* seeing a label does not imply we are in a
675: * stmt */
676: for (t_ptr = s_code; *t_ptr; ++t_ptr)
677: *e_lab++ = *t_ptr; /* turn everything so far into a label */
678: e_code = s_code;
679: *e_lab++ = ':';
680: *e_lab++ = ' ';
681: *e_lab = '\0';
682:
683: force_nl = ps.pcase = scase; /* ps.pcase will be used by
684: * dump_line to decide how to
685: * indent the label. force_nl
686: * will force a case n: to be
687: * on a line by itself */
688: scase = false;
689: ps.want_blank = false;
690: break;
691:
692: case semicolon: /* got a ';' */
693: ps.in_or_st = false;/* we are not in an initialization or
694: * structure declaration */
695: scase = false; /* these will only need resetting in a error */
696: squest = 0;
697: if (ps.last_token == rparen && rparen_count == 0)
698: ps.in_parameter_declaration = 0;
699: ps.cast_mask = 0;
700: ps.sizeof_mask = 0;
701: ps.block_init = 0;
702: ps.block_init_level = 0;
703: ps.just_saw_decl--;
704:
705: if (ps.in_decl && s_code == e_code && !ps.block_init)
706: while ((e_code - s_code) < (dec_ind - 1)) {
707: CHECK_SIZE_CODE;
708: *e_code++ = ' ';
709: }
710:
711: ps.in_decl = (ps.dec_nest > 0); /* if we were in a first level
712: * structure declaration, we
713: * arent any more */
714:
715: if ((!sp_sw || hd_type != forstmt) && ps.p_l_follow > 0) {
716:
717: /*
718: * This should be true iff there were unbalanced parens in the
719: * stmt. It is a bit complicated, because the semicolon might
720: * be in a for stmt
721: */
722: diag(1, "Unbalanced parens");
723: ps.p_l_follow = 0;
724: if (sp_sw) { /* this is a check for a if, while, etc. with
725: * unbalanced parens */
726: sp_sw = false;
727: parse(hd_type); /* dont lose the if, or whatever */
728: }
729: }
730: *e_code++ = ';';
731: ps.want_blank = true;
732: ps.in_stmt = (ps.p_l_follow > 0); /* we are no longer in the
733: * middle of a stmt */
734:
735: if (!sp_sw) { /* if not if for (;;) */
736: parse(semicolon); /* let parser know about end of stmt */
737: force_nl = true;/* force newline after a end of stmt */
738: }
739: break;
740:
741: case lbrace: /* got a '{' */
742: ps.in_stmt = false; /* dont indent the {} */
743: if (!ps.block_init)
744: force_nl = true;/* force other stuff on same line as '{' onto
745: * new line */
746: else if (ps.block_init_level <= 0)
747: ps.block_init_level = 1;
748: else
749: ps.block_init_level++;
750:
751: if (s_code != e_code && !ps.block_init) {
752: if (!btype_2) {
753: dump_line();
754: ps.want_blank = false;
755: }
756: else if (ps.in_parameter_declaration && !ps.in_or_st) {
757: ps.i_l_follow = 0;
758: dump_line();
759: ps.want_blank = false;
760: }
761: }
762: if (ps.in_parameter_declaration)
763: prefix_blankline_requested = 0;
764:
1.18 ! jsg 765: if (ps.p_l_follow > 0) { /* check for preceding unbalanced
1.1 deraadt 766: * parens */
767: diag(1, "Unbalanced parens");
768: ps.p_l_follow = 0;
769: if (sp_sw) { /* check for unclosed if, for, etc. */
770: sp_sw = false;
771: parse(hd_type);
772: ps.ind_level = ps.i_l_follow;
773: }
774: }
775: if (s_code == e_code)
776: ps.ind_stmt = false; /* dont put extra indentation on line
777: * with '{' */
778: if (ps.in_decl && ps.in_or_st) { /* this is either a structure
779: * declaration or an init */
780: di_stack[ps.dec_nest++] = dec_ind;
781: /* ? dec_ind = 0; */
782: }
783: else {
1.9 pjanzen 784: ps.decl_on_line = false;
785: /* we can't be in the middle of a declaration, so don't do
786: * special indentation of comments */
1.1 deraadt 787: if (blanklines_after_declarations_at_proctop
788: && ps.in_parameter_declaration)
789: postfix_blankline_requested = 1;
790: ps.in_parameter_declaration = 0;
791: }
792: dec_ind = 0;
793: parse(lbrace); /* let parser know about this */
794: if (ps.want_blank) /* put a blank before '{' if '{' is not at
795: * start of line */
796: *e_code++ = ' ';
797: ps.want_blank = false;
798: *e_code++ = '{';
799: ps.just_saw_decl = 0;
800: break;
801:
802: case rbrace: /* got a '}' */
803: if (ps.p_stack[ps.tos] == decl && !ps.block_init) /* semicolons can be
804: * omitted in
805: * declarations */
806: parse(semicolon);
807: if (ps.p_l_follow) {/* check for unclosed if, for, else. */
808: diag(1, "Unbalanced parens");
809: ps.p_l_follow = 0;
810: sp_sw = false;
811: }
812: ps.just_saw_decl = 0;
813: ps.block_init_level--;
814: if (s_code != e_code && !ps.block_init) { /* '}' must be first on
815: * line */
816: if (verbose)
817: diag(0, "Line broken");
818: dump_line();
819: }
820: *e_code++ = '}';
821: ps.want_blank = true;
822: ps.in_stmt = ps.ind_stmt = false;
823: if (ps.dec_nest > 0) { /* we are in multi-level structure
824: * declaration */
825: dec_ind = di_stack[--ps.dec_nest];
826: if (ps.dec_nest == 0 && !ps.in_parameter_declaration)
827: ps.just_saw_decl = 2;
828: ps.in_decl = true;
829: }
830: prefix_blankline_requested = 0;
831: parse(rbrace); /* let parser know about this */
832: ps.search_brace = cuddle_else && ps.p_stack[ps.tos] == ifhead
833: && ps.il[ps.tos] >= ps.ind_level;
834: if (ps.tos <= 1 && blanklines_after_procs && ps.dec_nest <= 0)
835: postfix_blankline_requested = 1;
836: break;
837:
838: case swstmt: /* got keyword "switch" */
839: sp_sw = true;
840: hd_type = swstmt; /* keep this for when we have seen the
841: * expression */
842: goto copy_id; /* go move the token into buffer */
843:
844: case sp_paren: /* token is if, while, for */
845: sp_sw = true; /* the interesting stuff is done after the
846: * expression is scanned */
847: hd_type = (*token == 'i' ? ifstmt :
848: (*token == 'w' ? whilestmt : forstmt));
849:
850: /*
851: * remember the type of header for later use by parser
852: */
853: goto copy_id; /* copy the token into line */
854:
855: case sp_nparen: /* got else, do */
856: ps.in_stmt = false;
857: if (*token == 'e') {
858: if (e_code != s_code && (!cuddle_else || e_code[-1] != '}')) {
859: if (verbose)
860: diag(0, "Line broken");
861: dump_line();/* make sure this starts a line */
862: ps.want_blank = false;
863: }
864: force_nl = true;/* also, following stuff must go onto new line */
865: last_else = 1;
866: parse(elselit);
867: }
868: else {
869: if (e_code != s_code) { /* make sure this starts a line */
870: if (verbose)
871: diag(0, "Line broken");
872: dump_line();
873: ps.want_blank = false;
874: }
875: force_nl = true;/* also, following stuff must go onto new line */
876: last_else = 0;
877: parse(dolit);
878: }
879: goto copy_id; /* move the token into line */
880:
881: case decl: /* we have a declaration type (int, register,
882: * etc.) */
883: parse(decl); /* let parser worry about indentation */
884: if (ps.last_token == rparen && ps.tos <= 1) {
885: ps.in_parameter_declaration = 1;
886: if (s_code != e_code) {
887: dump_line();
888: ps.want_blank = 0;
889: }
890: }
891: if (ps.in_parameter_declaration && ps.indent_parameters && ps.dec_nest == 0) {
892: ps.ind_level = ps.i_l_follow = 1;
893: ps.ind_stmt = 0;
894: }
895: ps.in_or_st = true; /* this might be a structure or initialization
896: * declaration */
897: ps.in_decl = ps.decl_on_line = true;
898: if ( /* !ps.in_or_st && */ ps.dec_nest <= 0)
899: ps.just_saw_decl = 2;
900: prefix_blankline_requested = 0;
901: for (i = 0; token[i++];); /* get length of token */
902:
903: /*
904: * dec_ind = e_code - s_code + (ps.decl_indent>i ? ps.decl_indent
905: * : i);
906: */
907: dec_ind = ps.decl_indent > 0 ? ps.decl_indent : i;
908: goto copy_id;
909:
910: case ident: /* got an identifier or constant */
911: if (ps.in_decl) { /* if we are in a declaration, we must indent
912: * identifier */
913: if (ps.want_blank)
914: *e_code++ = ' ';
915: ps.want_blank = false;
916: if (is_procname == 0 || !procnames_start_line) {
1.9 pjanzen 917: if (!ps.block_init) {
1.1 deraadt 918: if (troff && !ps.dumped_decl_indent) {
1.14 krw 919: snprintf(e_code, (l_code - e_code) + 5,
920: "\n.De %dp+\200p\n", dec_ind * 7);
1.1 deraadt 921: ps.dumped_decl_indent = 1;
922: e_code += strlen(e_code);
1.14 krw 923: CHECK_SIZE_CODE;
1.1 deraadt 924: }
925: else
926: while ((e_code - s_code) < dec_ind) {
927: CHECK_SIZE_CODE;
928: *e_code++ = ' ';
929: }
1.9 pjanzen 930: }
1.1 deraadt 931: }
932: else {
933: if (dec_ind && s_code != e_code)
934: dump_line();
935: dec_ind = 0;
936: ps.want_blank = false;
937: }
938: }
939: else if (sp_sw && ps.p_l_follow == 0) {
940: sp_sw = false;
941: force_nl = true;
942: ps.last_u_d = true;
943: ps.in_stmt = false;
944: parse(hd_type);
945: }
946: copy_id:
947: if (ps.want_blank)
948: *e_code++ = ' ';
949: if (troff && ps.its_a_keyword) {
950: e_code = chfont(&bodyf, &keywordf, e_code);
951: for (t_ptr = token; *t_ptr; ++t_ptr) {
952: CHECK_SIZE_CODE;
953: *e_code++ = keywordf.allcaps && islower(*t_ptr)
954: ? toupper(*t_ptr) : *t_ptr;
955: }
956: e_code = chfont(&keywordf, &bodyf, e_code);
957: }
958: else
959: for (t_ptr = token; *t_ptr; ++t_ptr) {
960: CHECK_SIZE_CODE;
961: *e_code++ = *t_ptr;
962: }
963: ps.want_blank = true;
964: break;
965:
966: case period: /* treat a period kind of like a binary
967: * operation */
968: *e_code++ = '.'; /* move the period into line */
969: ps.want_blank = false; /* dont put a blank after a period */
970: break;
971:
972: case comma:
973: ps.want_blank = (s_code != e_code); /* only put blank after comma
974: * if comma does not start the
975: * line */
976: if (ps.in_decl && is_procname == 0 && !ps.block_init)
977: while ((e_code - s_code) < (dec_ind - 1)) {
978: CHECK_SIZE_CODE;
979: *e_code++ = ' ';
980: }
981:
982: *e_code++ = ',';
983: if (ps.p_l_follow == 0) {
984: if (ps.block_init_level <= 0)
985: ps.block_init = 0;
986: if (break_comma && (!ps.leave_comma || compute_code_target() + (e_code - s_code) > max_col - 8))
987: force_nl = true;
988: }
989: break;
990:
991: case preesc: /* got the character '#' */
992: if ((s_com != e_com) ||
993: (s_lab != e_lab) ||
994: (s_code != e_code))
995: dump_line();
996: *e_lab++ = '#'; /* move whole line to 'label' buffer */
997: {
998: int in_comment = 0;
999: int com_start = 0;
1000: char quote = 0;
1001: int com_end = 0;
1002:
1003: while (*buf_ptr == ' ' || *buf_ptr == '\t') {
1004: buf_ptr++;
1005: if (buf_ptr >= buf_end)
1006: fill_buffer();
1007: }
1.8 espie 1008: while (*buf_ptr != '\n' || (in_comment && !had_eof)) {
1.1 deraadt 1009: CHECK_SIZE_LAB;
1010: *e_lab = *buf_ptr++;
1011: if (buf_ptr >= buf_end)
1012: fill_buffer();
1013: switch (*e_lab++) {
1014: case BACKSLASH:
1015: if (troff)
1016: *e_lab++ = BACKSLASH;
1017: if (!in_comment) {
1018: *e_lab++ = *buf_ptr++;
1019: if (buf_ptr >= buf_end)
1020: fill_buffer();
1021: }
1022: break;
1023: case '/':
1024: if (*buf_ptr == '*' && !in_comment && !quote) {
1025: in_comment = 1;
1026: *e_lab++ = *buf_ptr++;
1027: com_start = e_lab - s_lab - 2;
1028: }
1029: break;
1030: case '"':
1031: if (quote == '"')
1032: quote = 0;
1033: break;
1034: case '\'':
1035: if (quote == '\'')
1036: quote = 0;
1037: break;
1038: case '*':
1039: if (*buf_ptr == '/' && in_comment) {
1040: in_comment = 0;
1041: *e_lab++ = *buf_ptr++;
1042: com_end = e_lab - s_lab;
1043: }
1044: break;
1045: }
1046: }
1047:
1048: while (e_lab > s_lab && (e_lab[-1] == ' ' || e_lab[-1] == '\t'))
1049: e_lab--;
1050: if (e_lab - s_lab == com_end && bp_save == 0) { /* comment on
1051: * preprocessor line */
1052: if (sc_end == 0) /* if this is the first comment, we
1053: * must set up the buffer */
1054: sc_end = &(save_com[0]);
1055: else {
1056: *sc_end++ = '\n'; /* add newline between
1057: * comments */
1058: *sc_end++ = ' ';
1059: --line_no;
1060: }
1061: bcopy(s_lab + com_start, sc_end, com_end - com_start);
1062: sc_end += com_end - com_start;
1063: if (sc_end >= &save_com[sc_size])
1064: abort();
1065: e_lab = s_lab + com_start;
1066: while (e_lab > s_lab && (e_lab[-1] == ' ' || e_lab[-1] == '\t'))
1067: e_lab--;
1068: bp_save = buf_ptr; /* save current input buffer */
1069: be_save = buf_end;
1070: buf_ptr = save_com; /* fix so that subsequent calls to
1071: * lexi will take tokens out of
1072: * save_com */
1073: *sc_end++ = ' '; /* add trailing blank, just in case */
1074: buf_end = sc_end;
1075: sc_end = 0;
1076: }
1077: *e_lab = '\0'; /* null terminate line */
1078: ps.pcase = false;
1079: }
1080:
1081: if (strncmp(s_lab, "#if", 3) == 0) {
1082: if (blanklines_around_conditional_compilation) {
1.9 pjanzen 1083: int c;
1.1 deraadt 1084: prefix_blankline_requested++;
1085: while ((c = getc(input)) == '\n');
1086: ungetc(c, input);
1087: }
1088: if (ifdef_level < sizeof state_stack / sizeof state_stack[0]) {
1089: match_state[ifdef_level].tos = -1;
1090: state_stack[ifdef_level++] = ps;
1091: }
1092: else
1093: diag(1, "#if stack overflow");
1094: }
1095: else if (strncmp(s_lab, "#else", 5) == 0)
1096: if (ifdef_level <= 0)
1097: diag(1, "Unmatched #else");
1098: else {
1099: match_state[ifdef_level - 1] = ps;
1100: ps = state_stack[ifdef_level - 1];
1101: }
1102: else if (strncmp(s_lab, "#endif", 6) == 0) {
1103: if (ifdef_level <= 0)
1104: diag(1, "Unmatched #endif");
1105: else {
1106: ifdef_level--;
1107:
1108: #ifdef undef
1109: /*
1110: * This match needs to be more intelligent before the
1111: * message is useful
1112: */
1113: if (match_state[ifdef_level].tos >= 0
1114: && bcmp(&ps, &match_state[ifdef_level], sizeof ps))
1.13 deraadt 1115: diag(0, "Syntactically inconsistent #ifdef alternatives.");
1.1 deraadt 1116: #endif
1117: }
1118: if (blanklines_around_conditional_compilation) {
1119: postfix_blankline_requested++;
1120: n_real_blanklines = 0;
1121: }
1122: }
1123: break; /* subsequent processing of the newline
1124: * character will cause the line to be printed */
1125:
1.4 mickey 1126: case comment: /* we have gotten a comment this is a biggie */
1.1 deraadt 1127: if (flushed_nl) { /* we should force a broken line here */
1128: flushed_nl = false;
1129: dump_line();
1130: ps.want_blank = false; /* dont insert blank at line start */
1131: force_nl = false;
1132: }
1133: pr_comment();
1134: break;
1135: } /* end of big switch stmt */
1136:
1137: *e_code = '\0'; /* make sure code section is null terminated */
1138: if (type_code != comment && type_code != newline && type_code != preesc)
1139: ps.last_token = type_code;
1140: } /* end of main while (1) loop */
1141: }
1142:
1143: /*
1144: * copy input file to backup file if in_name is /blah/blah/blah/file, then
1145: * backup file will be ".Bfile" then make the backup file the input and
1146: * original input file the output
1147: */
1.4 mickey 1148: void
1.16 deraadt 1149: bakcopy(void)
1.1 deraadt 1150: {
1151: int n,
1152: bakchn;
1153: char buff[8 * 1024];
1.9 pjanzen 1154: char *p;
1.1 deraadt 1155:
1156: /* construct file name .Bfile */
1157: for (p = in_name; *p; p++); /* skip to end of string */
1158: while (p > in_name && *p != '/') /* find last '/' */
1159: p--;
1160: if (*p == '/')
1161: p++;
1.9 pjanzen 1162: if (snprintf(bakfile, MAXPATHLEN, "%s.BAK", p) >= MAXPATHLEN)
1163: errx(1, "%s.BAK: %s", p, strerror(ENAMETOOLONG));
1.1 deraadt 1164:
1165: /* copy in_name to backup file */
1166: bakchn = creat(bakfile, 0600);
1167: if (bakchn < 0)
1.7 millert 1168: err(1, "%s", bakfile);
1.4 mickey 1169: while ((n = read(fileno(input), buff, sizeof buff)) > 0)
1.1 deraadt 1170: if (write(bakchn, buff, n) != n)
1.7 millert 1171: err(1, "%s", bakfile);
1.1 deraadt 1172: if (n < 0)
1.7 millert 1173: err(1, "%s", in_name);
1.1 deraadt 1174: close(bakchn);
1175: fclose(input);
1176:
1177: /* re-open backup file as the input file */
1178: input = fopen(bakfile, "r");
1.4 mickey 1179: if (input == NULL)
1.7 millert 1180: err(1, "%s", bakfile);
1.1 deraadt 1181: /* now the original input file will be the output */
1182: output = fopen(in_name, "w");
1.4 mickey 1183: if (output == NULL) {
1.1 deraadt 1184: unlink(bakfile);
1.7 millert 1185: err(1, "%s", in_name);
1.1 deraadt 1186: }
1187: }