diff options
Diffstat (limited to 'Build/source/texk/web2c/weave.ch')
| -rw-r--r-- | Build/source/texk/web2c/weave.ch | 470 |
1 files changed, 0 insertions, 470 deletions
diff --git a/Build/source/texk/web2c/weave.ch b/Build/source/texk/web2c/weave.ch deleted file mode 100644 index 8c11a9d9966..00000000000 --- a/Build/source/texk/web2c/weave.ch +++ /dev/null @@ -1,470 +0,0 @@ -% weave.ch for C compilation using web2c. -% -% 11/29/82 HWT Original version. This modifies weave to allow a new -% control sequence: -% @=...text...@> Put ...text... verbatim on a line -% by itself in the Pascal output. -% (argument must fit on one line) -% This control sequence facilitates putting #include "gcons.h" -% (for example) in files meant for the pc compiler. -% Also, there is a command line option, -c, which means that -% only the modules affected by the change file are to generate -% TeX output. (All the limbo stuff still goes to the output -% file, as does the index and table of contents.) -% 2/12/83 HWT Brought up for use with version 1.3. Uses Knuth's new -% control sequences for verbatim Pascal (as above, without -% the "on one line" part), and the force_line (@\) primitive. -% Also, he added stuff to keep track of changed modules, and -% output enough information that macros can choose only to -% print changed modules. This isn't as efficient as my -% implementation because I avoided outputting the text for -% non-changed modules altogether, but this feature won't be -% used too often (just for TeX and TeXware), so Knuth's -% solution is accepted. -% The change file changes that used -% to implement these features have been removed. -% There is a -x flag to cause WEAVE to omit cross referencing -% of identifiers, and index and T.of.C. processing. -% This, too, is unnecessary, for one could simply redefine some -% WEB macros to avoid the printing, but there are only a couple -% of easy changes, so they have been made. -% 2/18 HWT Increased stack size to 400 (not for TeX-related programs). -% 3/18 HWT Brought up for Version 1.5. Made it print newline at end of -% run. -% 4/13 PC Merged with Pavel's version, including adding a call to -% exit() at the end of the program, based upon the value of -% `history'. -% 4/16 PC Brought up to version 1.5 released with TeX 0.97 in April 1983 -% 6/29 HWT Brought up to version 1.7 released with TeX 0.99 in June 1983, -% introducing a new change file format -% 7/17 HWT Brought up to version 2.0 released with TeX 0.999 in July 1983 -% 7/29 HWT Brought up to version 2.1 -% 11/17 HWT Brought up to version 2.4 released with TeX 1.0. Made -% changes to use C routines for I/O, for speedup. -% 1/31 HWT Brought up to version 2.6 -% 12/15/85 ETM Brought up to version 2.8 -% 03/15/88 ETM Converted for use with WEB to C, and for version 2.9 of Weave. -% 11/30/89 KB Version 4. -% (more recent changes in the ChangeLog) - -@x [0] WEAVE: print changes only -\pageno=\contentspagenumber \advance\pageno by 1 -@y -\pageno=\contentspagenumber \advance\pageno by 1 -\let\maybe=\iffalse -\def\title{WEAVE changes for C} -@z - -@x [1] Define my_name -@d banner=='This is WEAVE, Version 4.5' -@y -@d my_name=='weave' -@d banner=='This is WEAVE, Version 4.5' -@z - -@x [2] No global labels, define and call parse_arguments. -calls the `|jump_out|' procedure, which goes to the label |end_of_WEAVE|. - -@d end_of_WEAVE = 9999 {go here to wrap it up} -@y -calls the `|jump_out|' procedure. -@z -@x -label end_of_WEAVE; {go here to finish} -const @<Constants in the outer block@>@/ -type @<Types in the outer block@>@/ -var @<Globals in the outer block@>@/ -@<Error handling procedures@>@/ -procedure initialize; - var @<Local variables for initialization@>@/ - begin @<Set initial values@>@/ -@y -const @<Constants in the outer block@>@/ -type @<Types in the outer block@>@/ -var @<Globals in the outer block@>@/ -@<Define |parse_arguments|@>@/ -@<Error handling procedures@>@/ -procedure initialize; - var @<Local variables for initialization@>@/ - begin - kpse_set_program_name (argv[0], my_name); - parse_arguments; - @<Set initial values@>@/ -@z - -@x [8] Increase constants for tex2pdf, etc. -@!max_bytes=45000; {|1/ww| times the number of bytes in identifiers, - index entries, and module names; must be less than 65536} -@!max_names=5000; {number of identifiers, index entries, and module names; - must be less than 10240} -@y -@!max_bytes=65535; {|1/ww| times the number of bytes in identifiers, - index entries, and module names; must be less than 65536} -@!max_names=10239; {number of identifiers, index entries, and module names; - must be less than 10240} -@z -@x -@!max_modules=2000;{greater than the total number of modules} -@!hash_size=353; {should be prime} -@!buf_size=100; {maximum length of input line} -@!longest_name=400; {module names shouldn't be longer than this} -@!long_buf_size=500; {|buf_size+longest_name|} -@!line_length=80; {lines of \TeX\ output have at most this many characters, -@y -@!max_modules=10239; {greater than the total number of modules} -@!hash_size=8501; {should be prime} -@!buf_size=1000; {maximum length of input line} -@!longest_name=10000; {module names shouldn't be longer than this} -@!long_buf_size=buf_size+longest_name; {C arithmetic in \PASCAL\ constant} -@!line_length=80; {lines of \TeX\ output have at most this many characters, -@z -@x -@!max_refs=30000; {number of cross references; must be less than 65536} -@!max_toks=30000; {number of symbols in \PASCAL\ texts being parsed; - must be less than 65536} -@!max_texts=2000; {number of phrases in \PASCAL\ texts being parsed; - must be less than 10240} -@!max_scraps=1000; {number of tokens in \PASCAL\ texts being parsed} -@!stack_size=200; {number of simultaneous output levels} -@y -@!max_refs=65535; {number of cross references; must be less than 65536} -@!max_toks=65535; {number of symbols in \PASCAL\ texts being parsed; - must be less than 65536} -@!max_texts=10239; {number of phrases in \PASCAL\ texts being parsed; - must be less than 10240} -@!max_scraps=10000; {number of tokens in \PASCAL\ texts being parsed} -@!stack_size=2000; {number of simultaneous output levels} -@z - -% [??] The text_char type is used as an array index into xord. The -% default type `char' produces signed integers, which are bad array -% indices in C. -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@x -@d text_char == char {the data type of characters in text files} -@y -@d text_char == ASCII_code {the data type of characters in text files} -@z - -@x [17] enable maximum character set -for i:=1 to @'37 do xchr[i]:=' '; -for i:=@'200 to @'377 do xchr[i]:=' '; -@y -for i:=1 to @'37 do xchr[i]:=chr(i); -for i:=@'200 to @'377 do xchr[i]:=chr(i); -@z - -@x [20] Terminal I/O. -@d print(#)==write(term_out,#) {`|print|' means write on the terminal} -@y -@d term_out==stdout -@d print(#)==write(term_out,#) {`|print|' means write on the terminal} -@z - -@x -@<Globals...@>= -@!term_out:text_file; {the terminal as an output file} -@y -@z - -@x [21] Don't initialize the terminal. -@ Different systems have different ways of specifying that the output on a -certain file will appear on the user's terminal. Here is one way to do this -on the \PASCAL\ system that was used in \.{TANGLE}'s initial development: -@^system dependencies@> - -@<Set init...@>= -rewrite(term_out,'TTY:'); {send |term_out| output to the terminal} -@y -@ Different systems have different ways of specifying that the output on a -certain file will appear on the user's terminal. -@^system dependencies@> - -@<Set init...@>= -{nothing need be done} -@z - -@x [22] `break' is `fflush'. -@d update_terminal == break(term_out) {empty the terminal output buffer} -@y -@d update_terminal == fflush(term_out) {empty the terminal output buffer} -@z - -@x [24] Open input files. -@ The following code opens the input files. Since these files were listed -in the program header, we assume that the \PASCAL\ runtime system has -already checked that suitable file names have been given; therefore no -additional error checking needs to be done. We will see below that -\.{WEAVE} reads through the entire input twice. -@^system dependencies@> - -@p procedure open_input; {prepare to read |web_file| and |change_file|} -begin reset(web_file); reset(change_file); -end; -@y -@ The following code opens the input files. -This is called after the filename variables have been set appropriately. -@^system dependencies@> - -@p procedure open_input; {prepare to read |web_file| and |change_file|} -begin web_file := kpse_open_file(web_name, kpse_web_format); - if chg_name then change_file := kpse_open_file(chg_name, kpse_web_format); -end; -@z - -@x [26] Opening the .tex file. -rewrite(tex_file); -@y -rewrite(tex_file,tex_name); -@z - -@x [28] web2c doesn't understand f^. - begin buffer[limit]:=xord[f^]; get(f); - incr(limit); - if buffer[limit-1]<>" " then final_limit:=limit; - if limit=buf_size then - begin while not eoln(f) do get(f); -@y - begin buffer[limit]:=xord[getc(f)]; - incr(limit); - if buffer[limit-1]<>" " then final_limit:=limit; - if limit=buf_size then - begin while not eoln(f) do vgetc(f); -@z - -@x [33] Fix jump_out -@ The |jump_out| procedure just cuts across all active procedure levels -and jumps out of the program. This is the only non-local \&{goto} statement -in \.{WEAVE}. It is used when no recovery from a particular error has -been provided. - -Some \PASCAL\ compilers do not implement non-local |goto| statements. -@^system dependencies@> -In such cases the code that appears at label |end_of_WEAVE| should be -copied into the |jump_out| procedure, followed by a call to a system procedure -that terminates the program. -@y -@ The |jump_out| procedure just cuts across all active procedure levels -and jumps out of the program. -It is used when no recovery from a particular error has -been provided. -@z -@x -@d fatal_error(#)==begin new_line; print(#); error; mark_fatal; jump_out; - end - -@<Error handling...@>= -procedure jump_out; -begin goto end_of_WEAVE; -end; -@y -@d fatal_error(#)==begin new_line; write(stderr, #); - error; mark_fatal; jump_out; - end - -@<Error handling...@>= -procedure jump_out; -begin -stat @<Print statistics about memory usage@>;@+tats@;@/ -@t\4\4@>{here files should be closed if the operating system requires it} - @<Print the job |history|@>; - new_line; - if (history <> spotless) and (history <> harmless_message) then - uexit(1) - else - uexit(0); -end; -@z - -@x [50] don't enter xrefs if no_xref set -@d append_xref(#)==if xref_ptr=max_refs then overflow('cross reference') - else begin incr(xref_ptr); num(xref_ptr):=#; - end - -@p procedure new_xref(@!p:name_pointer); -label exit; -var q:xref_number; {pointer to previous cross reference} -@!m,@!n: sixteen_bits; {new and previous cross-reference value} -begin if (reserved(p)or(byte_start[p]+1=byte_start[p+ww]))and -@y -If the user has sent the |no_xref| flag (the -x option of the command line), -then it is unnecessary to keep track of cross references for identifiers. -If one were careful, one could probably make more changes around module -100 to avoid a lot of identifier looking up. - -@d append_xref(#)==if xref_ptr=max_refs then overflow('cross reference') - else begin incr(xref_ptr); num(xref_ptr):=#; - end - -@p procedure new_xref(@!p:name_pointer); -label exit; -var q:xref_number; {pointer to previous cross-reference} -@!m,@!n: sixteen_bits; {new and previous cross-reference value} -begin if no_xref then return; -if (reserved(p)or(byte_start[p]+1=byte_start[p+ww]))and -@z - -@x [239] omit index and module names if no_xref set -@<Phase III: Output the cross-reference index@>= -@y -If the user has set the |no_xref| flag (the -x option on the command line), -just finish off the page, omitting the index, module name list, and table of -contents. - -@<Phase III: Output the cross-reference index@>= -if no_xref then begin - finish_line; - out("\"); out5("v")("f")("i")("l")("l"); - out4("\")("e")("n")("d"); - finish_line; - end -else begin -@z - -@x -print('Done.'); -@y -end; -print('Done.'); -@z - -@x [258] term_in == stdin, when debugging. -any error stop will set |debug_cycle| to zero. -@y -any error stop will set |debug_cycle| to zero. - -@d term_in==stdin -@z - -@x -@!term_in:text_file; {the user's terminal as an input file} -@y -@z - -@x [259] Take out reset(term_in) -reset(term_in,'TTY:','/I'); {open |term_in| as the terminal, don't do a |get|} -@y -@z - -@x [261] print newline at end of run and exit based upon value of history -print_ln(banner); {print a ``banner line''} -@y -print (banner); {print a ``banner line''} -print_ln (version_string); -@z - -@x -end_of_WEAVE: -stat @<Print statistics about memory usage@>;@+tats@;@/ -@t\4\4@>{here files should be closed if the operating system requires it} -@<Print the job |history|@>; -end. -@y -jump_out; -end. -@z - -@x [264] System-dependent changes. -This module should be replaced, if necessary, by changes to the program -that are necessary to make \.{WEAVE} work at a particular installation. -It is usually best to design your change file so that all changes to -previous modules preserve the module numbering; then everybody's version -will be consistent with the printed program. More extensive changes, -which introduce new modules, can be inserted here; then only the index -itself will get a new module number. -@^system dependencies@> -@y -Parse a Unix-style command line. - -@d argument_is (#) == (strcmp (long_options[option_index].name, #) = 0) - -@<Define |parse_arguments|@> = -procedure parse_arguments; -const n_options = 4; {Pascal won't count array lengths for us.} -var @!long_options: array[0..n_options] of getopt_struct; - @!getopt_return_val: integer; - @!option_index: c_int_type; - @!current_option: 0..n_options; -begin - @<Define the option table@>; - repeat - getopt_return_val := getopt_long_only (argc, argv, '', long_options, - address_of (option_index)); - if getopt_return_val = -1 then begin - do_nothing; {End of arguments; we exit the loop below.} - - end else if getopt_return_val = "?" then begin - usage (my_name); - - end else if argument_is ('help') then begin - usage_help (WEAVE_HELP, nil); - - end else if argument_is ('version') then begin - print_version_and_exit (banner, nil, 'D.E. Knuth', nil); - - end; {Else it was a flag; |getopt| has already done the assignment.} - until getopt_return_val = -1; - - {Now |optind| is the index of first non-option on the command line.} - if (optind + 1 <> argc) and (optind + 2 <> argc) then begin - write_ln (stderr, my_name, ': Need one or two file arguments.'); - usage (my_name); - end; - - {Supply |".web"| and |".ch"| extensions if necessary.} - web_name := extend_filename (cmdline (optind), 'web'); - if optind + 2 = argc then begin - chg_name := extend_filename (cmdline (optind + 1), 'ch'); - end; - - {Change |".web"| to |".tex"| and use the current directory.} - tex_name := basename_change_suffix (web_name, '.web', '.tex'); -end; - -@ Here are the options we allow. The first is one of the standard GNU options. -@.-help@> - -@<Define the option...@> = -current_option := 0; -long_options[current_option].name := 'help'; -long_options[current_option].has_arg := 0; -long_options[current_option].flag := 0; -long_options[current_option].val := 0; -incr (current_option); - -@ Another of the standard options. -@.-version@> - -@<Define the option...@> = -long_options[current_option].name := 'version'; -long_options[current_option].has_arg := 0; -long_options[current_option].flag := 0; -long_options[current_option].val := 0; -incr (current_option); - -@ Omit cross-referencing? -@.-x@> - -@<Define the option...@> = -long_options[current_option].name := char_to_string ('x'); -long_options[current_option].has_arg := 0; -long_options[current_option].flag := address_of (no_xref); -long_options[current_option].val := 1; -incr (current_option); - -@ @<Global...@> = -@!no_xref:c_int_type; - -@ An element with all zeros always ends the list. - -@<Define the option...@> = -long_options[current_option].name := 0; -long_options[current_option].has_arg := 0; -long_options[current_option].flag := 0; -long_options[current_option].val := 0; - -@ Global filenames. - -@<Global...@> = -@!web_name,@!chg_name,@!tex_name:const_c_string; -@z |