blob: f4b147c6022297f9fbca392bd457d5b9d854ea2c [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");
164 "<A NAME=\"$br_id\">$anchor_invisible_mark<\/A>";
165}
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
185$any_next_pair_rx3 = "$O(\\d+)$C([\\s\\S]*)$O\\3$C";
186$new_command{"indexsubitem"} = "";
187
188sub get_indexsubitem{
189 local($result) = $new_command{"indexsubitem"};
190 #print "\nget_indexsubitem ==> $result\n";
191 $result;
192}
193
Fred Drake84818d71997-12-17 02:59:39 +0000194# similar to make_index_entry(), but includes the string in the result
195# instead of the dummy filler.
196#
197sub make_str_index_entry {
198 local($br_id,$str) = @_;
199 # If TITLE is not yet available (i.e the \index command is in the title
200 # of the current section), use $ref_before.
201 $TITLE = $ref_before unless $TITLE;
202 # Save the reference
203 local($nstr) = &gen_index_id($str, '');
204 $index{$nstr} .= &make_half_href("$CURRENT_FILE#$br_id");
205 "<a name=\"$br_id\">$str<\/a>";
206}
207
Fred Drake7a7480d1996-10-29 15:56:57 +0000208sub do_env_cfuncdesc{
209 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000210 local($return_type,$function_name,$arg_list,$idx) = ('', '', '', '');
Fred Drake7a7480d1996-10-29 15:56:57 +0000211 local($cfuncdesc_rx) =
Fred Drakec384d751996-11-11 16:04:35 +0000212 "$next_pair_rx$any_next_pair_rx3$any_next_pair_rx5";
Fred Drake7a7480d1996-10-29 15:56:57 +0000213 $* = 1;
214 if (/$cfuncdesc_rx/o) {
215 $return_type = "$2";
216 $function_name = "$4";
217 $arg_list = "$6";
Fred Drake7c4cba81997-12-03 19:45:08 +0000218 $idx = &make_str_index_entry($3,
219 "<tt>$function_name</tt> " . &get_indexsubitem);
Fred Drake7a7480d1996-10-29 15:56:57 +0000220 }
221 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000222 "<dl><dt>$return_type <strong>$idx</strong>" .
223 "(<var>$arg_list</var>)\n<dd>$'\n</dl>"
Fred Drake7a7480d1996-10-29 15:56:57 +0000224}
225
Fred Drake9dcc5a91997-10-13 22:04:17 +0000226sub do_env_ctypedesc{
227 local($_) = @_;
228 local($type_name) = ('');
229 local($cfuncdesc_rx) =
230 "$next_pair_rx";
231 $* = 1;
232 if (/$cfuncdesc_rx/o) {
233 $type_name = "$2";
Fred Drake7c4cba81997-12-03 19:45:08 +0000234 $idx = &make_str_index_entry($1,
235 "<tt>$type_name</tt> " . &get_indexsubitem);
Fred Drake9dcc5a91997-10-13 22:04:17 +0000236 }
237 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000238 "<dl><dt><strong>$idx</strong>\n<dd>$'\n</dl>"
Fred Drake9dcc5a91997-10-13 22:04:17 +0000239}
240
241sub do_env_cvardesc{
242 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000243 local($var_type,$var_name,$idx) = ('', '', '');
Fred Drake9dcc5a91997-10-13 22:04:17 +0000244 local($cfuncdesc_rx) =
245 "$next_pair_rx$any_next_pair_rx3";
246 $* = 1;
247 if (/$cfuncdesc_rx/o) {
248 $var_type = "$2";
249 $var_name = "$4";
Fred Drake7c4cba81997-12-03 19:45:08 +0000250 $idx = &make_str_index_entry($3,"<tt>$var_name</tt> " . &get_indexsubitem);
Fred Drake9dcc5a91997-10-13 22:04:17 +0000251 }
252 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000253 "<dl><dt>$var_type <strong>$idx</strong>\n" .
254 "<dd>$'\n</dl>";
Fred Drake9dcc5a91997-10-13 22:04:17 +0000255}
256
Fred Drakec384d751996-11-11 16:04:35 +0000257sub do_env_funcdesc{
258 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000259 local($function_name,$arg_list,$idx) = ('', '', '');
Fred Drakec384d751996-11-11 16:04:35 +0000260 local($funcdesc_rx) = "$next_pair_rx$any_next_pair_rx3";
261 $* = 1;
262 if (/$funcdesc_rx/o) {
263 $function_name = "$2";
264 $arg_list = "$4";
Fred Drake7c4cba81997-12-03 19:45:08 +0000265 $idx = &make_str_index_entry($3,
266 "<tt>$function_name</tt> " . &get_indexsubitem);
Fred Drakec384d751996-11-11 16:04:35 +0000267 }
268 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000269 "<dl><dt><strong>$idx</strong> (<var>$arg_list</var>)\n<dd>$'\n</dl>";
270}
271
272sub do_env_opcodedesc{
273 local($_) = @_;
274 local($opcode_name,$arg_list,$stuff,$idx) = ('', '', '', '');
275 local($opcodedesc_rx) = "$next_pair_rx$any_next_pair_rx3";
276 $* = 1;
277 if (/$opcodedesc_rx/o) {
278 $opcode_name = "$2";
279 $arg_list = "$4";
280 $idx = &make_str_index_entry($3,
281 "<tt>$opcode_name</tt> (byte code instruction)");
282 }
283 $* = 0;
284 $stuff = "<dl><dt><strong>$idx</strong>";
285 if ($arg_list) {
286 $stuff = "$stuff&nbsp;&nbsp;&nbsp;&nbsp;<var>$arg_list</var>";
287 }
288 $stuff . "\n<dd>$'\n</dl>";
Fred Drakec384d751996-11-11 16:04:35 +0000289}
290
291sub do_env_datadesc{
292 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000293 local($data_name,$idx) = ('', '');
Fred Drakec384d751996-11-11 16:04:35 +0000294 local($datadesc_rx) = "$next_pair_rx";
295 $* = 1;
296 if (/$datadesc_rx/o) {
297 $data_name = "$2";
Fred Drake7c4cba81997-12-03 19:45:08 +0000298 $idx = &make_str_index_entry($3,
299 "<tt>$data_name</tt> " . &get_indexsubitem);
Fred Drakec384d751996-11-11 16:04:35 +0000300 }
301 $* = 0;
Fred Drake7c4cba81997-12-03 19:45:08 +0000302 "<dl><dt><strong>$idx</strong>" .
303 "\n<dd>$'\n</dl>"
Fred Drakec384d751996-11-11 16:04:35 +0000304}
305
306sub do_env_excdesc{ &do_env_datadesc(@_); }
307
Fred Drake9dcc5a91997-10-13 22:04:17 +0000308sub do_env_seealso{
309 local($_) = @_;
Fred Drake7c4cba81997-12-03 19:45:08 +0000310 "<p><b>See Also:</b></p>\n" . $_;
Fred Drake9dcc5a91997-10-13 22:04:17 +0000311}
312
313sub do_cmd_seemodule{
314 local($_) = @_;
315 local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
Fred Drake7c4cba81997-12-03 19:45:08 +0000316 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 +0000317 $_;
318}
319
320sub do_cmd_seetext{
321 local($_) = @_;
322 "<p>" . $_;
323}
324
Fred Drake7c4cba81997-12-03 19:45:08 +0000325# These are located down here since they screw up fontlock.
326
327sub do_cmd_file{
328 local($_) = @_;
329 s/$any_next_pair_pr_rx/`<code>\2<\/code>'/;
330 $_;
331}
332
333sub do_cmd_samp{
334 local($_) = @_;
335 s/$any_next_pair_pr_rx/`<samp>\2<\/samp>'/;
336 $_;
337}
338
Guido van Rossum9e93fb61994-01-25 20:06:09 +00003391; # This must be the last line