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