modernc.org/knuth@v0.0.4/web/testdata/ctan.org/tex-archive/systems/knuth/dist/mf/mf.ch (about) 1 @x mf.web:250: 2 start_of_MF@t\hskip-2pt@>, end_of_MF@t\hskip-2pt@>,@,final_end; 3 @y 4 start_of_MF; 5 @z 6 7 @x mf.web:337: 8 @d othercases == others: {default for cases not listed explicitly} 9 @y 10 @d othercases == else {default for cases not listed explicitly} 11 @z 12 13 14 @x mf.web:922: 15 @d update_terminal == break(term_out) {empty the terminal output buffer} 16 @d clear_terminal == break_in(term_in,true) {clear the terminal input buffer} 17 @y 18 @d update_terminal == {empty the terminal output buffer} 19 @d clear_terminal == {clear the terminal input buffer} 20 @z 21 22 @x mf.web:955: 23 begin write_ln(term_out,'Buffer size exceeded!'); goto final_end; 24 @y 25 begin write_ln(term_out,'Buffer size exceeded!'); panic(final_end); 26 @z 27 28 @x mf.web:1413: 29 @d wterm_ln(#)==write_ln(term_out,#) 30 @y 31 @d wterm_ln(#)==write_ln(term_out,#) 32 @d write_ln(#)==writeln(#) 33 @d read_ln(#)==readln(#) 34 @z 35 36 @x mf.web:1738: 37 procedure jump_out; 38 begin goto end_of_MF; 39 end; 40 @y 41 procedure jump_out; 42 begin panic(end_of_MF); 43 end; 44 @z 45 46 @x mf.web:12138: 47 @p procedure blank_rectangle(@!left_col,@!right_col:screen_col; 48 @!top_row,@!bot_row:screen_row); 49 var @!r:screen_row; 50 @!c:screen_col; 51 @y 52 @p procedure blank_rectangle(@!left_col,@!right_col:screen_col; 53 @!top_row,@!bot_row:screen_row); 54 @z 55 56 @x mf.web:12165: 57 @p procedure paint_row(@!r:screen_row;@!b:pixel_color;var @!a:trans_spec; 58 @!n:screen_col); 59 var @!k:screen_col; {an index into |a|} 60 @!c:screen_col; {an index into |screen_pixel|} 61 @y 62 @p procedure paint_row(@!r:screen_row;@!b:pixel_color;var @!a:trans_spec; 63 @!n:screen_col); 64 var @!k:screen_col; {an index into |a|} 65 @z 66 67 @x mf.web:15878: 68 @p procedure open_log_file; 69 var @!old_setting:0..max_selector; {previous |selector| setting} 70 @!k:0..buf_size; {index into |months| and |buffer|} 71 @!l:0..buf_size; {end of first input line} 72 @!m:integer; {the current month} 73 @y 74 @p procedure open_log_file; 75 var @!old_setting:0..max_selector; {previous |selector| setting} 76 @!k:0..buf_size; {index into |months| and |buffer|} 77 @!l:0..buf_size; {end of first input line} 78 @z 79 80 @x mf.web:22628: 81 @<Undump constants for consistency check@>= 82 x:=base_file^.int; 83 @y 84 @<Undump constants for consistency check@>= 85 read(base_file, x); 86 @z 87 88 89 @x mf.web:22883: 90 main_control; {come to life} 91 final_cleanup; {prepare for death} 92 end_of_MF: close_files_and_terminate; 93 final_end: ready_already:=0; 94 end. 95 @y 96 main_control; {come to life} 97 final_cleanup; {prepare for death} 98 close_files_and_terminate; 99 final_end: ready_already:=0; 100 end. 101 @z