summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/patgen.ch
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-02-25 19:22:25 +0000
committerKarl Berry <karl@freefriends.org>2021-02-25 19:22:25 +0000
commitad547a6b5986815fda458221149728d9d9ab1d87 (patch)
tree16296910eb3eca724371474ea9aea3994dc69614 /Build/source/texk/web2c/patgen.ch
parent947b43de3dd21d58ccc2ffadefc4441ea1c2a813 (diff)
restore Build,TODO from r57911
git-svn-id: svn://tug.org/texlive/trunk@57915 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/patgen.ch')
-rw-r--r--Build/source/texk/web2c/patgen.ch305
1 files changed, 305 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/patgen.ch b/Build/source/texk/web2c/patgen.ch
new file mode 100644
index 00000000000..3d9054a446d
--- /dev/null
+++ b/Build/source/texk/web2c/patgen.ch
@@ -0,0 +1,305 @@
+% patgen.ch for C compilation with web2c.
+%
+% 07/01/83 (HWT) Original version, made to work with patgen released with
+% version 0.99 of TeX in July 1983. It may not work
+% properly---it is hard to test without more information.
+% 03/23/88 (ETM) Brought up to date, converted for use with WEB to C.
+
+@x WEAVE: print changes only
+\pageno=\contentspagenumber \advance\pageno by 1
+@y
+\pageno=\contentspagenumber \advance\pageno by 1
+\let\maybe=\iffalse
+\def\title{PATGEN changes for C}
+@z
+
+@x [1] Define my_name
+@d banner=='This is PATGEN, Version 2.4' {printed when the program starts}
+@y
+@d my_name=='patgen'
+@d banner=='This is PATGEN, Version 2.4' {printed when the program starts}
+@z
+
+@x Terminal I/O, Need standard input.
+@d get_input(#)==read(input,#)
+@d get_input_ln(#)==
+ begin if eoln(input) then read_ln(input);
+ read(input,#);
+ end
+@#
+@y
+@d get_input(#)==#:=input_int(std_input)
+@d get_input_ln(#)==begin #:=getc(std_input); read_ln(std_input); end
+@#
+@d std_input==stdin
+@z
+
+@x Eliminate the |end_of_PATGEN| label.
+@d end_of_PATGEN=9999
+@y
+@z
+@x
+label end_of_PATGEN;
+@y
+@z
+
+@x Add file opening to initialization
+procedure initialize; {this procedure gets things started properly}
+ var @<Local variables for initialization@>@/
+ begin print_ln(banner);@/
+@y
+@<Define |parse_arguments|@>
+procedure initialize; {this procedure gets things started properly}
+ var @<Local variables for initialization@>@/
+begin
+ kpse_set_program_name (argv[0], my_name);
+ parse_arguments;
+ print (banner);
+ print_ln (version_string);
+@z
+
+@x [10] Purge 'jump_out' and 'end_of_PATGEN'.
+error message about what caused the error. Such errors might be
+discovered inside of subroutines inside of subroutines, so a \.{WEB}
+macro called |jump_out| has been introduced. This macro, which transfers
+control to the label |end_of_PATGEN| at the end of the program, contains
+the only non-local |@!goto| statement in \.{PATGEN}. Some \PASCAL\
+compilers do not implement non-local |goto| statements. In such cases
+the |goto end_of_PATGEN| in the definition of |jump_out| should simply
+be replaced by a call on some system procedure that quietly terminates
+the program.
+@y
+error message about what caused the error.
+@z
+@x Error handling
+@d jump_out==goto end_of_PATGEN {terminates \.{PATGEN}}
+@#
+@d error(#)==begin print_ln(#); jump_out; end
+@y
+@d error(#)==begin write_ln(stderr, #); uexit(1); end;
+@z
+
+@x Fix signed char problem
+@!text_char=char; {the data type of characters in text files}
+@!ASCII_code=0..last_ASCII_code; {internal representation of input characters}
+@y
+@!ASCII_code=0..last_ASCII_code; {internal representation of input characters}
+@!text_char=ASCII_code; {the data type of characters in text files}
+@z
+
+% Much larger values requested from Keno Wehr, 17 May 2019 16:03:00,
+% but reduced (76000000/38000000) due to lack of memory on other
+% machines, from Johannes Hielscher, 10 Jul 2019 00:00:03 (tex-live list),
+% and later from Mojca Miklavec, 23 Sep 2019 21:21:42.
+% It seems hopeless, so went back to the original values (10000000/500000).
+%
+% The real solution is to provide a way to allocate the arrays
+% dynamically, so that the large arrays can be used by those who need
+% them but other are not affected.
+%
+% If the values here are still too big, you can probably get it to work
+% by adding swap or zram; or write a patch to allocate the arrays dynamically.
+@x
+@!trie_size=55000; {space for pattern trie}
+@!triec_size=26000; {space for pattern count trie, must be less than
+ |trie_size| and greater than the number of occurrences of any pattern in
+ the dictionary}
+@y
+@!trie_size=10000000; {space for pattern trie}
+@!triec_size=5000000; {space for pattern count trie, must be less than
+ |trie_size| and greater than the number of occurrences of any pattern in
+ the dictionary}
+@z
+@x
+@!max_buf_len=80; {maximum length of input lines, must be at least |max_len|}
+@y
+@!max_buf_len=3000; {maximum length of input lines, must be at least |max_len|}
+@z
+
+@x Close both input and output files.
+@d close_out(#)==close(#) {close an output file}
+@d close_in(#)==do_nothing {close an input file}
+@y
+@d close_out(#)==xfclose(#, 'outputfile') {close an output file}
+@d close_in(#)==xfclose(#, 'inputfile') {close an input file}
+@z
+
+@x Add f_name declaration, and temporaries for efficiency printing.
+@!dictionary, @!patterns, @!translate, @!patout, @!pattmp: text_file;
+@y
+@!dictionary, @!patterns, @!translate, @!patout, @!pattmp: text_file;
+@!f_name: ^char;
+@!bad_frac, @!denom, @!eff: real;
+@z
+
+@x Get translate filename from command line.
+reset(translate);
+@y
+f_name := cmdline (4);
+reset (translate, f_name);
+@z
+
+@x Input kludge.
+ repeat print('left_hyphen_min, right_hyphen_min: '); get_input(n1,n2);@/
+@y
+ repeat print('left_hyphen_min, right_hyphen_min: '); input_2ints(n1,n2);@/
+@z
+
+@x Floating point output kludge for Web2c.
+ print_ln(', efficiency = ',
+ good_count/(good_pat_count+bad_count/bad_eff):1:2)
+@y
+begin
+ print(', efficiency = ');
+ print_real(good_count/(good_pat_count+bad_count/bad_eff),1,2);
+ write_ln(output);
+end
+@z
+
+@x Get dictionary filename from command line.
+ reset(dictionary);@/
+@y
+f_name := cmdline(1);
+reset (dictionary, f_name);
+@z
+
+% Fix file name initialization, since can't assign a constant string
+% that we're going to write into.
+@x
+ begin filnam:='pattmp. ';
+ filnam[8]:=xdig[hyph_level];
+@y
+ begin strcpy (filnam, 'pattmp. ');
+ filnam[7]:=xdig[hyph_level];
+@z
+
+@x Work around floating point I/O deficiency; reorder to avoid overflow.
+ if (good_count+miss_count)>0 then
+ print_ln((100*good_count/(good_count+miss_count)):1:2,' %, ',
+ (100*bad_count/(good_count+miss_count)):1:2,' %, ',
+ (100*miss_count/(good_count+miss_count)):1:2,' %');
+@y
+ if (good_count+miss_count)>0 then
+ begin print_real((100*(good_count/(good_count+miss_count))),1,2);
+ print(' %, ');
+ print_real((100*(bad_count/(good_count+miss_count))),1,2);
+ print(' %, ');
+ print_real((100*(miss_count/(good_count+miss_count))),1,2);
+ print_ln(' %');
+ end;
+@z
+
+@x Get pattern filename from command line.
+reset(patterns);
+@y
+f_name := cmdline (2);
+reset (patterns, f_name);
+@z
+
+@x Fix reading of multiple variables in the same line
+repeat print('hyph_start, hyph_finish: '); get_input(n1,n2);@/
+@y
+repeat print('hyph_start, hyph_finish: '); input_2ints(n1,n2);@/
+@z
+@x
+ repeat print('pat_start, pat_finish: '); get_input(n1,n2);@/
+@y
+ repeat print('pat_start, pat_finish: '); input_2ints(n1,n2);@/
+@z
+@x
+ get_input(n1,n2,n3);@/
+@y
+ input_3ints(n1,n2,n3);@/
+@z
+
+@x Get output file name from command line.
+rewrite(patout);
+@y
+f_name := cmdline (3);
+rewrite (patout, f_name);
+@z
+
+@x Eliminate the |end_of_PATGEN| label.
+end_of_PATGEN:
+@y
+@z
+
+@x System-dependent changes.
+This section should be replaced, if necessary, by changes to the program
+that are necessary to make \.{PATGEN} work at a particular installation.
+It is usually best to design your change file so that all changes to
+previous sections preserve the section numbering; then everybody's version
+will be consistent with the printed program. More extensive changes,
+which introduce new sections, can be inserted here; then only the index
+itself will get a new section 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 = 2; {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 else if getopt_return_val = '?' then begin
+ usage (my_name);
+
+ end else if argument_is ('help') then begin
+ usage_help (PATGEN_HELP, nil);
+
+ end else if argument_is ('version') then begin
+ print_version_and_exit (banner, nil,
+ 'Frank M. Liang and Peter Breitenlohner',
+ nil);
+
+ end; {Else it was just 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 + 4 <> argc) then begin
+ write_ln (stderr, my_name, ': Need exactly four arguments.');
+ usage (my_name);
+ end;
+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);
+
+@ 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;
+@z