blob: 4eaea060b66429bbba804f15216c8920afd2c052 [file] [log] [blame]
Fred Drake8ca70061997-12-08 20:59:54 +00001# myformat.perl by Guido van Rossum <guido@cwi.nl> 25 Jan 1994 -*- perl -*-
Guido van Rossum9e93fb61994-01-25 20:06:09 +00002#
3# Extension to LaTeX2HTML for documents using myformat.sty.
4# Subroutines of the form do_cmd_<name> here define translations
5# for LaTeX commands \<name> defined in the corresponding .sty file.
6#
7# XXX Not complete: \indexii etc.; \funcitem etc.
8
Fred Drake44640221996-11-11 20:51:09 +00009package main;
Guido van Rossum9e93fb61994-01-25 20:06:09 +000010
11# \bcode and \ecode brackets around verbatim
12
13sub do_cmd_bcode{ @_[0]; }
14sub do_cmd_ecode{ @_[0]; }
15
16# words typeset in a special way (not in HTML though)
17
18sub do_cmd_ABC{ join('', 'ABC', @_[0]); }
19sub do_cmd_UNIX{ join('', 'Unix', @_[0]); }
20sub do_cmd_ASCII{ join('', 'ASCII', @_[0]); }
21sub do_cmd_C{ join('', 'C', @_[0]); }
Guido van Rossumb8b264b1994-08-12 13:13:50 +000022sub do_cmd_Cpp{ join('', 'C++', @_[0]); }
Guido van Rossum9e93fb61994-01-25 20:06:09 +000023sub do_cmd_EOF{ join('', 'EOF', @_[0]); }
Guido van Rossumd9a26ff1997-11-18 15:31:16 +000024sub do_cmd_NULL{ join('', 'NULL', @_[0]); }
Guido van Rossum9e93fb61994-01-25 20:06:09 +000025
Fred Drake3e1fe891996-11-11 23:03:36 +000026sub do_cmd_e{ local($_) = @_; '&#92;' . $_; }
Guido van Rossum9e93fb61994-01-25 20:06:09 +000027
Fred Drakec384d751996-11-11 16:04:35 +000028sub do_cmd_optional{
Guido van Rossum9e93fb61994-01-25 20:06:09 +000029 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000030 s/$any_next_pair_pr_rx/<\/var><big>\[<\/big><var>\2<\/var><big>\]<\/big><var>/;
Guido van Rossum9e93fb61994-01-25 20:06:09 +000031 $_;
32}
33
Fred Drakec384d751996-11-11 16:04:35 +000034sub do_cmd_varvars{
35 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000036 s/$any_next_pair_pr_rx/<var>\2<\/var>/;
Fred Drakec384d751996-11-11 16:04:35 +000037 $_;
38}
39
Fred Drake3e1fe891996-11-11 23:03:36 +000040# texinfo-like formatting commands: \code{...} etc.
41
Fred Drakec384d751996-11-11 16:04:35 +000042sub do_cmd_code{
43 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000044 s/$any_next_pair_pr_rx/<code>\2<\/code>/;
Fred Drakec384d751996-11-11 16:04:35 +000045 $_;
46}
47
48sub do_cmd_sectcode{ &do_cmd_code(@_); }
49
Guido van Rossum9e93fb61994-01-25 20:06:09 +000050sub do_cmd_kbd{
51 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000052 s/$any_next_pair_pr_rx/<kbd>\2<\/kbd>/;
Guido van Rossum9e93fb61994-01-25 20:06:09 +000053 $_;
54}
55
56sub do_cmd_key{
57 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000058 s/$any_next_pair_pr_rx/<tt>\2<\/tt>/;
Guido van Rossum9e93fb61994-01-25 20:06:09 +000059 $_;
60}
61
62sub do_cmd_var{
63 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000064 s/$any_next_pair_pr_rx/<var>\2<\/var>/;
Guido van Rossum9e93fb61994-01-25 20:06:09 +000065 $_;
66}
67
68sub do_cmd_dfn{
69 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000070 s/$any_next_pair_pr_rx/<i><dfn>\2<\/dfn><\/i>/;
Guido van Rossum9e93fb61994-01-25 20:06:09 +000071 $_;
72}
73
74sub do_cmd_emph{
75 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000076 s/$any_next_pair_pr_rx/<em>\2<\/em>/;
Guido van Rossum9e93fb61994-01-25 20:06:09 +000077 $_;
78}
79
80sub do_cmd_strong{
81 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +000082 s/$any_next_pair_pr_rx/<strong>\2<\/strong>/;
Guido van Rossum9e93fb61994-01-25 20:06:09 +000083 $_;
84}
85
Fred Drake7c4cba81997-12-03 19:45:08 +000086# file and samp are at the end of this file since they screw up fontlock.
87
Guido van Rossum9e93fb61994-01-25 20:06:09 +000088# index commands
89
90sub do_cmd_indexii{
91 local($_) = @_;
92 s/$next_pair_pr_rx//o;
93 local($br_id1, $str1) = ($1, $2);
94 s/$next_pair_pr_rx//o;
95 local($br_id2, $str2) = ($1, $2);
96 join('', &make_index_entry($br_id1, "$str1 $str2"),
97 &make_index_entry($br_id2, "$str2, $str1"), $_);
98}
99
100sub do_cmd_indexiii{
101 local($_) = @_;
102 s/$next_pair_pr_rx//o;
103 local($br_id1, $str1) = ($1, $2);
104 s/$next_pair_pr_rx//o;
105 local($br_id2, $str2) = ($1, $2);
106 s/$next_pair_pr_rx//o;
107 local($br_id3, $str3) = ($1, $2);
108 join('', &make_index_entry($br_id1, "$str1 $str2 $str3"),
109 &make_index_entry($br_id2, "$str2 $str3, $str1"),
110 &make_index_entry($br_id3, "$str3, $str1 $str2"),
Fred Drake72df9bc1997-12-16 21:13:20 +0000111 $_);
Guido van Rossum9e93fb61994-01-25 20:06:09 +0000112}
113
114sub do_cmd_indexiv{
115 local($_) = @_;
116 s/$next_pair_pr_rx//o;
117 local($br_id1, $str1) = ($1, $2);
118 s/$next_pair_pr_rx//o;
119 local($br_id2, $str2) = ($1, $2);
120 s/$next_pair_pr_rx//o;
121 local($br_id3, $str3) = ($1, $2);
122 s/$next_pair_pr_rx//o;
123 local($br_id4, $str4) = ($1, $2);
124 join('', &make_index_entry($br_id1, "$str1 $str2 $str3 $str4"),
125 &make_index_entry($br_id2, "$str2 $str3 $str4, $str1"),
126 &make_index_entry($br_id3, "$str3 $str4, $str1 $str2"),
127 &make_index_entry($br_id4, "$str4, $str1 $str2 $str3"),
Fred Drake72df9bc1997-12-16 21:13:20 +0000128 $_);
Guido van Rossum9e93fb61994-01-25 20:06:09 +0000129}
130
131sub do_cmd_ttindex{
132 &do_cmd_index(@_);
133}
134
135sub my_typed_index_helper{
136 local($word, $_) = @_;
137 s/$next_pair_pr_rx//o;
138 local($br_id, $str) = ($1, $2);
139 join('', &make_index_entry($br_id, "$str $word"),
140 &make_index_entry($br_id, "$word, $str"), $_);
141}
142
143sub do_cmd_stindex{ &my_typed_index_helper('statement', @_); }
144sub do_cmd_kwindex{ &my_typed_index_helper('keyword', @_); }
145sub do_cmd_opindex{ &my_typed_index_helper('operator', @_); }
146sub do_cmd_exindex{ &my_typed_index_helper('exception', @_); }
147sub do_cmd_obindex{ &my_typed_index_helper('object', @_); }
148
149sub my_parword_index_helper{
150 local($word, $_) = @_;
151 s/$next_pair_pr_rx//o;
152 local($br_id, $str) = ($1, $2);
Fred Drake72df9bc1997-12-16 21:13:20 +0000153 &make_index_entry($br_id, "$str ($word)") . $_;
Guido van Rossum9e93fb61994-01-25 20:06:09 +0000154}
155
Fred Drake84818d71997-12-17 02:59:39 +0000156sub make_mod_index_entry {
157 local($br_id,$str,$define) = @_;
158 # If TITLE is not yet available (i.e the \index command is in the title of the
159 # current section), use $ref_before.
160 $TITLE = $ref_before unless $TITLE;
161 # Save the reference
162 $str = &gen_index_id($str, $define);
163 $index{$str} .= &make_half_href("$CURRENT_FILE#$br_id");
Fred Drake8da9e6a1997-12-18 14:14:16 +0000164 "<a name=\"$br_id\">$anchor_invisible_mark<\/a>";
Fred Drake84818d71997-12-17 02:59:39 +0000165}
166
167sub my_module_index_helper{
168 local($word, $_, $define) = @_;
169 s/$next_pair_pr_rx//o;
170 local($br_id, $str) = ($1, $2);
171 &make_mod_index_entry($br_id, "<tt>$str</tt> ($word module)",
172 $define) . $_;
173}
174
Guido van Rossum9e93fb61994-01-25 20:06:09 +0000175sub do_cmd_bifuncindex{ &my_parword_index_helper('built-in function', @_); }
Fred Drake84818d71997-12-17 02:59:39 +0000176sub do_cmd_bimodindex{ &my_module_index_helper('built-in', @_, 'DEF'); }
177sub do_cmd_stmodindex{ &my_module_index_helper('standard', @_, 'DEF'); }
Guido van Rossum9e93fb61994-01-25 20:06:09 +0000178sub do_cmd_bifuncindex{ &my_parword_index_helper('standard module', @_); }
179
Fred Drake84818d71997-12-17 02:59:39 +0000180sub do_cmd_refbimodindex{ &my_module_index_helper('built-in', @_, 'REF'); }
181sub do_cmd_refstmodindex{ &my_module_index_helper('standard', @_, 'REF'); }
Fred Drake72df9bc1997-12-16 21:13:20 +0000182
Fred Drakec384d751996-11-11 16:04:35 +0000183sub do_cmd_nodename{ &do_cmd_label(@_); }
184
Fred Drake0bf68451998-01-09 16:26:54 +0000185sub do_cmd_mytableofcontents{ local($_) = @_; $_; }
Fred Drake46fbd7f1998-01-09 05:22:44 +0000186
Fred Drakec384d751996-11-11 16:04:35 +0000187$any_next_pair_rx3 = "$O(\\d+)$C([\\s\\S]*)$O\\3$C";
Fred Drake9597daf1997-12-22 22:37:34 +0000188$any_next_pair_rx5 = "$O(\\d+)$C([\\s\\S]*)$O\\5$C";
189$any_next_pair_rx7 = "$O(\\d+)$C([\\s\\S]*)$O\\7$C";
190$any_next_pair_rx9 = "$O(\\d+)$C([\\s\\S]*)$O\\9$C";
191$any_next_pair_pr_rx_5 = "$OP(\\d+)$CP([\\s\\S]*)$OP\\5$CP";
192$any_next_pair_pr_rx_7 = "$OP(\\d+)$CP([\\s\\S]*)$OP\\7$CP";
193$any_next_pair_pr_rx_9 = "$OP(\\d+)$CP([\\s\\S]*)$OP\\9$CP";
Fred Drakec384d751996-11-11 16:04:35 +0000194$new_command{"indexsubitem"} = "";
195
196sub get_indexsubitem{
197 local($result) = $new_command{"indexsubitem"};
198 #print "\nget_indexsubitem ==> $result\n";
Fred Drake9597daf1997-12-22 22:37:34 +0000199 $result ? " $result" : '';
Fred Drakec384d751996-11-11 16:04:35 +0000200}
201
Fred Drake84818d71997-12-17 02:59:39 +0000202# similar to make_index_entry(), but includes the string in the result
203# instead of the dummy filler.
204#
205sub make_str_index_entry {
206 local($br_id,$str) = @_;
207 # If TITLE is not yet available (i.e the \index command is in the title
208 # of the current section), use $ref_before.
209 $TITLE = $ref_before unless $TITLE;
210 # Save the reference
211 local($nstr) = &gen_index_id($str, '');
212 $index{$nstr} .= &make_half_href("$CURRENT_FILE#$br_id");
213 "<a name=\"$br_id\">$str<\/a>";
214}
215
Fred Drake7a7480d1996-10-29 15:56:57 +0000216sub do_env_cfuncdesc{
217 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000218 local($return_type,$function_name,$arg_list,$idx) = ('', '', '', '');
Fred Drake7a7480d1996-10-29 15:56:57 +0000219 local($cfuncdesc_rx) =
Fred Drakec384d751996-11-11 16:04:35 +0000220 "$next_pair_rx$any_next_pair_rx3$any_next_pair_rx5";
Fred Drake7a7480d1996-10-29 15:56:57 +0000221 $* = 1;
222 if (/$cfuncdesc_rx/o) {
223 $return_type = "$2";
224 $function_name = "$4";
225 $arg_list = "$6";
Fred Drake7c4cba81997-12-03 19:45:08 +0000226 $idx = &make_str_index_entry($3,
Fred Drake9597daf1997-12-22 22:37:34 +0000227 "<tt>$function_name</tt>" . &get_indexsubitem);
Fred Drake7a7480d1996-10-29 15:56:57 +0000228 }
229 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000230 "<dl><dt>$return_type <strong>$idx</strong>" .
231 "(<var>$arg_list</var>)\n<dd>$'\n</dl>"
Fred Drake7a7480d1996-10-29 15:56:57 +0000232}
233
Fred Drake9dcc5a91997-10-13 22:04:17 +0000234sub do_env_ctypedesc{
235 local($_) = @_;
236 local($type_name) = ('');
237 local($cfuncdesc_rx) =
238 "$next_pair_rx";
239 $* = 1;
240 if (/$cfuncdesc_rx/o) {
241 $type_name = "$2";
Fred Drake7c4cba81997-12-03 19:45:08 +0000242 $idx = &make_str_index_entry($1,
Fred Drake9597daf1997-12-22 22:37:34 +0000243 "<tt>$type_name</tt>" . &get_indexsubitem);
Fred Drake9dcc5a91997-10-13 22:04:17 +0000244 }
245 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000246 "<dl><dt><strong>$idx</strong>\n<dd>$'\n</dl>"
Fred Drake9dcc5a91997-10-13 22:04:17 +0000247}
248
249sub do_env_cvardesc{
250 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000251 local($var_type,$var_name,$idx) = ('', '', '');
Fred Drake9dcc5a91997-10-13 22:04:17 +0000252 local($cfuncdesc_rx) =
253 "$next_pair_rx$any_next_pair_rx3";
254 $* = 1;
255 if (/$cfuncdesc_rx/o) {
256 $var_type = "$2";
257 $var_name = "$4";
Fred Drake9597daf1997-12-22 22:37:34 +0000258 $idx = &make_str_index_entry($3,"<tt>$var_name</tt>" . &get_indexsubitem);
Fred Drake9dcc5a91997-10-13 22:04:17 +0000259 }
260 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000261 "<dl><dt>$var_type <strong>$idx</strong>\n" .
262 "<dd>$'\n</dl>";
Fred Drake9dcc5a91997-10-13 22:04:17 +0000263}
264
Fred Drakec384d751996-11-11 16:04:35 +0000265sub do_env_funcdesc{
266 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000267 local($function_name,$arg_list,$idx) = ('', '', '');
Fred Drakec384d751996-11-11 16:04:35 +0000268 local($funcdesc_rx) = "$next_pair_rx$any_next_pair_rx3";
269 $* = 1;
270 if (/$funcdesc_rx/o) {
271 $function_name = "$2";
272 $arg_list = "$4";
Fred Drake7c4cba81997-12-03 19:45:08 +0000273 $idx = &make_str_index_entry($3,
Fred Drake9597daf1997-12-22 22:37:34 +0000274 "<tt>$function_name</tt>" . &get_indexsubitem);
Fred Drakec384d751996-11-11 16:04:35 +0000275 }
276 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000277 "<dl><dt><strong>$idx</strong> (<var>$arg_list</var>)\n<dd>$'\n</dl>";
278}
279
280sub do_env_opcodedesc{
281 local($_) = @_;
282 local($opcode_name,$arg_list,$stuff,$idx) = ('', '', '', '');
283 local($opcodedesc_rx) = "$next_pair_rx$any_next_pair_rx3";
284 $* = 1;
285 if (/$opcodedesc_rx/o) {
286 $opcode_name = "$2";
287 $arg_list = "$4";
288 $idx = &make_str_index_entry($3,
289 "<tt>$opcode_name</tt> (byte code instruction)");
290 }
291 $* = 0;
292 $stuff = "<dl><dt><strong>$idx</strong>";
293 if ($arg_list) {
294 $stuff = "$stuff&nbsp;&nbsp;&nbsp;&nbsp;<var>$arg_list</var>";
295 }
296 $stuff . "\n<dd>$'\n</dl>";
Fred Drakec384d751996-11-11 16:04:35 +0000297}
298
299sub do_env_datadesc{
300 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000301 local($data_name,$idx) = ('', '');
Fred Drakec384d751996-11-11 16:04:35 +0000302 local($datadesc_rx) = "$next_pair_rx";
303 $* = 1;
304 if (/$datadesc_rx/o) {
305 $data_name = "$2";
Fred Drake7c4cba81997-12-03 19:45:08 +0000306 $idx = &make_str_index_entry($3,
Fred Drake9597daf1997-12-22 22:37:34 +0000307 "<tt>$data_name</tt>" . &get_indexsubitem);
Fred Drakec384d751996-11-11 16:04:35 +0000308 }
309 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000310 "<dl><dt><strong>$idx</strong>" .
311 "\n<dd>$'\n</dl>"
Fred Drakec384d751996-11-11 16:04:35 +0000312}
313
314sub do_env_excdesc{ &do_env_datadesc(@_); }
315
Fred Drake9597daf1997-12-22 22:37:34 +0000316@col_aligns = ("<td>", "<td>", "<td>");
317
318sub setup_column_alignments{
319 local($_) = @_;
320 local($j1,$a1,$a2,$a3,$j4) = split(/[|]/,$_);
321 $col_aligns[0] = (($a1 eq "c") ? "<td align=center>" : "<td>");
322 $col_aligns[1] = (($a2 eq "c") ? "<td align=center>" : "<td>");
323 $col_aligns[2] = (($a3 eq "c") ? "<td align=center>" : "<td>");
324}
325
326sub do_env_tableii{
327 local($_) = @_;
328 local($font,$h1,$h2) = ('', '', '');
329 local($tableiii_rx) =
330 "$next_pair_rx$any_next_pair_rx3$any_next_pair_rx5$any_next_pair_rx7";
331 $* = 1;
332 if (/$tableiii_rx/o) {
333 &setup_column_alignments($2);
334 $font = $4;
335 $h1 = $6;
336 $h2 = $8;
337 }
338 $globals{"lineifont"} = $font;
Fred Drake0ee35851997-12-28 03:41:07 +0000339 "<table border align=center>\n <tr><th>$h1</th>\n <th>$h2</th>$'\n"
Fred Drake9597daf1997-12-22 22:37:34 +0000340 . "</table>";
341}
342
343sub do_cmd_lineii{
344 local($_) = @_;
345 s/$next_pair_pr_rx//o;
346 local($c1) = $2;
347 s/$next_pair_pr_rx//o;
348 local($c2) = $2;
349 local($font) = $globals{"lineifont"};
350 local($c1align, $c2align) = @col_aligns[0,1];
351 "<tr>$c1align<$font>$c1</$font></td>\n"
352 . " $c2align$c2</td>$'";
353}
354
355sub do_env_tableiii{
356 local($_) = @_;
357 local($font,$h1,$h2,$h3) = ('', '', '', '');
358 local($tableiii_rx) =
359 "$next_pair_rx$any_next_pair_rx3$any_next_pair_rx5$any_next_pair_rx7"
360 . "$any_next_pair_rx9";
361 $* = 1;
362 if (/$tableiii_rx/o) {
363 &setup_column_alignments($2);
364 $font = $4;
365 $h1 = $6;
366 $h2 = $8;
367 $h3 = $10;
368 }
369 $globals{"lineifont"} = $font;
Fred Drake0ee35851997-12-28 03:41:07 +0000370 "<table border align=center>\n <tr><th>$h1</th>\n <th>$h2</th>"
Fred Drake9597daf1997-12-22 22:37:34 +0000371 . "\n <th>$h3</th>$'\n"
372 . "</table>";
373}
374
375sub do_cmd_lineiii{
376 local($_) = @_;
377 s/$next_pair_pr_rx//o;
378 local($c1) = $2;
379 s/$next_pair_pr_rx//o;
380 local($c2) = $2;
381 s/$next_pair_pr_rx//o;
382 local($c3) = $2;
383 local($font) = $globals{"lineifont"};
384 local($c1align, $c2align, $c3align) = @col_aligns;
385 "<tr>$c1align<$font>$c1</$font></td>\n"
386 . " $c2align$c2</td>\n"
387 . " $c3align$c3</td>$'";
388}
389
Fred Drake9dcc5a91997-10-13 22:04:17 +0000390sub do_env_seealso{
391 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000392 "<p><b>See Also:</b></p>\n" . $_;
Fred Drake9dcc5a91997-10-13 22:04:17 +0000393}
394
395sub do_cmd_seemodule{
396 local($_) = @_;
397 local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
Fred Drake7c4cba81997-12-03 19:45:08 +0000398 s/$next_pair_pr_rx$any_next_pair_pr_rx3/<p><code><b>\2<\/b><\/code> (\4)<\/p>/;
Fred Drake9dcc5a91997-10-13 22:04:17 +0000399 $_;
400}
401
402sub do_cmd_seetext{
403 local($_) = @_;
404 "<p>" . $_;
405}
406
Fred Drake7c4cba81997-12-03 19:45:08 +0000407# These are located down here since they screw up fontlock.
408
409sub do_cmd_file{
410 local($_) = @_;
411 s/$any_next_pair_pr_rx/`<code>\2<\/code>'/;
412 $_;
413}
414
415sub do_cmd_samp{
416 local($_) = @_;
417 s/$any_next_pair_pr_rx/`<samp>\2<\/samp>'/;
418 $_;
419}
420
Guido van Rossum9e93fb61994-01-25 20:06:09 +00004211; # This must be the last line