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