Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 1 | # myformat.perl by Guido van Rossum <guido@cwi.nl> 25 Jan 1994 |
| 2 | # |
| 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 Drake | 4464022 | 1996-11-11 20:51:09 +0000 | [diff] [blame] | 9 | package main; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 10 | |
| 11 | # \bcode and \ecode brackets around verbatim |
| 12 | |
| 13 | sub do_cmd_bcode{ @_[0]; } |
| 14 | sub do_cmd_ecode{ @_[0]; } |
| 15 | |
| 16 | # words typeset in a special way (not in HTML though) |
| 17 | |
| 18 | sub do_cmd_ABC{ join('', 'ABC', @_[0]); } |
| 19 | sub do_cmd_UNIX{ join('', 'Unix', @_[0]); } |
| 20 | sub do_cmd_ASCII{ join('', 'ASCII', @_[0]); } |
| 21 | sub do_cmd_C{ join('', 'C', @_[0]); } |
Guido van Rossum | b8b264b | 1994-08-12 13:13:50 +0000 | [diff] [blame] | 22 | sub do_cmd_Cpp{ join('', 'C++', @_[0]); } |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 23 | sub do_cmd_EOF{ join('', 'EOF', @_[0]); } |
Guido van Rossum | d9a26ff | 1997-11-18 15:31:16 +0000 | [diff] [blame] | 24 | sub do_cmd_NULL{ join('', 'NULL', @_[0]); } |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 25 | |
Fred Drake | 3e1fe89 | 1996-11-11 23:03:36 +0000 | [diff] [blame] | 26 | sub do_cmd_e{ local($_) = @_; '\' . $_; } |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 27 | |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 28 | sub do_cmd_optional{ |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 29 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 30 | s/$any_next_pair_pr_rx/<\/var><big>\[<\/big><var>\2<\/var><big>\]<\/big><var>/; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 31 | $_; |
| 32 | } |
| 33 | |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 34 | sub do_cmd_varvars{ |
| 35 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 36 | s/$any_next_pair_pr_rx/<var>\2<\/var>/; |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 37 | $_; |
| 38 | } |
| 39 | |
Fred Drake | 3e1fe89 | 1996-11-11 23:03:36 +0000 | [diff] [blame] | 40 | # texinfo-like formatting commands: \code{...} etc. |
| 41 | |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 42 | sub do_cmd_code{ |
| 43 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 44 | s/$any_next_pair_pr_rx/<code>\2<\/code>/; |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 45 | $_; |
| 46 | } |
| 47 | |
| 48 | sub do_cmd_sectcode{ &do_cmd_code(@_); } |
| 49 | |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 50 | sub do_cmd_kbd{ |
| 51 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 52 | s/$any_next_pair_pr_rx/<kbd>\2<\/kbd>/; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 53 | $_; |
| 54 | } |
| 55 | |
| 56 | sub do_cmd_key{ |
| 57 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 58 | s/$any_next_pair_pr_rx/<tt>\2<\/tt>/; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 59 | $_; |
| 60 | } |
| 61 | |
| 62 | sub do_cmd_var{ |
| 63 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 64 | s/$any_next_pair_pr_rx/<var>\2<\/var>/; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 65 | $_; |
| 66 | } |
| 67 | |
| 68 | sub do_cmd_dfn{ |
| 69 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 70 | s/$any_next_pair_pr_rx/<i><dfn>\2<\/dfn><\/i>/; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 71 | $_; |
| 72 | } |
| 73 | |
| 74 | sub do_cmd_emph{ |
| 75 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 76 | s/$any_next_pair_pr_rx/<em>\2<\/em>/; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 77 | $_; |
| 78 | } |
| 79 | |
| 80 | sub do_cmd_strong{ |
| 81 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 82 | s/$any_next_pair_pr_rx/<strong>\2<\/strong>/; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 83 | $_; |
| 84 | } |
| 85 | |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 86 | # file and samp are at the end of this file since they screw up fontlock. |
| 87 | |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 88 | # index commands |
| 89 | |
| 90 | sub 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 | |
| 100 | sub 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"), |
| 111 | $_); |
| 112 | } |
| 113 | |
| 114 | sub 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"), |
| 128 | $_); |
| 129 | } |
| 130 | |
| 131 | sub do_cmd_ttindex{ |
| 132 | &do_cmd_index(@_); |
| 133 | } |
| 134 | |
| 135 | sub 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 | |
| 143 | sub do_cmd_stindex{ &my_typed_index_helper('statement', @_); } |
| 144 | sub do_cmd_kwindex{ &my_typed_index_helper('keyword', @_); } |
| 145 | sub do_cmd_opindex{ &my_typed_index_helper('operator', @_); } |
| 146 | sub do_cmd_exindex{ &my_typed_index_helper('exception', @_); } |
| 147 | sub do_cmd_obindex{ &my_typed_index_helper('object', @_); } |
| 148 | |
| 149 | sub my_parword_index_helper{ |
| 150 | local($word, $_) = @_; |
| 151 | s/$next_pair_pr_rx//o; |
| 152 | local($br_id, $str) = ($1, $2); |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 153 | &make_index_entry($br_id, "$str ($word)"); |
| 154 | $_; |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 155 | } |
| 156 | |
| 157 | sub do_cmd_bifuncindex{ &my_parword_index_helper('built-in function', @_); } |
| 158 | sub do_cmd_bimodindex{ &my_parword_index_helper('built-in module', @_); } |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 159 | sub do_cmd_stmodindex{ &my_parword_index_helper('standard module', @_); } |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 160 | sub do_cmd_bifuncindex{ &my_parword_index_helper('standard module', @_); } |
| 161 | |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 162 | sub do_cmd_nodename{ &do_cmd_label(@_); } |
| 163 | |
| 164 | $any_next_pair_rx3 = "$O(\\d+)$C([\\s\\S]*)$O\\3$C"; |
| 165 | $new_command{"indexsubitem"} = ""; |
| 166 | |
| 167 | sub get_indexsubitem{ |
| 168 | local($result) = $new_command{"indexsubitem"}; |
| 169 | #print "\nget_indexsubitem ==> $result\n"; |
| 170 | $result; |
| 171 | } |
| 172 | |
Fred Drake | 7a7480d | 1996-10-29 15:56:57 +0000 | [diff] [blame] | 173 | sub do_env_cfuncdesc{ |
| 174 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 175 | local($return_type,$function_name,$arg_list,$idx) = ('', '', '', ''); |
Fred Drake | 7a7480d | 1996-10-29 15:56:57 +0000 | [diff] [blame] | 176 | local($cfuncdesc_rx) = |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 177 | "$next_pair_rx$any_next_pair_rx3$any_next_pair_rx5"; |
Fred Drake | 7a7480d | 1996-10-29 15:56:57 +0000 | [diff] [blame] | 178 | $* = 1; |
| 179 | if (/$cfuncdesc_rx/o) { |
| 180 | $return_type = "$2"; |
| 181 | $function_name = "$4"; |
| 182 | $arg_list = "$6"; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 183 | $idx = &make_str_index_entry($3, |
| 184 | "<tt>$function_name</tt> " . &get_indexsubitem); |
Fred Drake | 7a7480d | 1996-10-29 15:56:57 +0000 | [diff] [blame] | 185 | } |
| 186 | $* = 0; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 187 | "<dl><dt>$return_type <strong>$idx</strong>" . |
| 188 | "(<var>$arg_list</var>)\n<dd>$'\n</dl>" |
Fred Drake | 7a7480d | 1996-10-29 15:56:57 +0000 | [diff] [blame] | 189 | } |
| 190 | |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 191 | sub do_env_ctypedesc{ |
| 192 | local($_) = @_; |
| 193 | local($type_name) = (''); |
| 194 | local($cfuncdesc_rx) = |
| 195 | "$next_pair_rx"; |
| 196 | $* = 1; |
| 197 | if (/$cfuncdesc_rx/o) { |
| 198 | $type_name = "$2"; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 199 | $idx = &make_str_index_entry($1, |
| 200 | "<tt>$type_name</tt> " . &get_indexsubitem); |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 201 | } |
| 202 | $* = 0; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 203 | "<dl><dt><strong>$idx</strong>\n<dd>$'\n</dl>" |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 204 | } |
| 205 | |
| 206 | sub do_env_cvardesc{ |
| 207 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 208 | local($var_type,$var_name,$idx) = ('', '', ''); |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 209 | local($cfuncdesc_rx) = |
| 210 | "$next_pair_rx$any_next_pair_rx3"; |
| 211 | $* = 1; |
| 212 | if (/$cfuncdesc_rx/o) { |
| 213 | $var_type = "$2"; |
| 214 | $var_name = "$4"; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 215 | $idx = &make_str_index_entry($3,"<tt>$var_name</tt> " . &get_indexsubitem); |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 216 | } |
| 217 | $* = 0; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 218 | "<dl><dt>$var_type <strong>$idx</strong>\n" . |
| 219 | "<dd>$'\n</dl>"; |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 220 | } |
| 221 | |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 222 | sub do_env_funcdesc{ |
| 223 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 224 | local($function_name,$arg_list,$idx) = ('', '', ''); |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 225 | local($funcdesc_rx) = "$next_pair_rx$any_next_pair_rx3"; |
| 226 | $* = 1; |
| 227 | if (/$funcdesc_rx/o) { |
| 228 | $function_name = "$2"; |
| 229 | $arg_list = "$4"; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 230 | $idx = &make_str_index_entry($3, |
| 231 | "<tt>$function_name</tt> " . &get_indexsubitem); |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 232 | } |
| 233 | $* = 0; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 234 | "<dl><dt><strong>$idx</strong> (<var>$arg_list</var>)\n<dd>$'\n</dl>"; |
| 235 | } |
| 236 | |
| 237 | sub do_env_opcodedesc{ |
| 238 | local($_) = @_; |
| 239 | local($opcode_name,$arg_list,$stuff,$idx) = ('', '', '', ''); |
| 240 | local($opcodedesc_rx) = "$next_pair_rx$any_next_pair_rx3"; |
| 241 | $* = 1; |
| 242 | if (/$opcodedesc_rx/o) { |
| 243 | $opcode_name = "$2"; |
| 244 | $arg_list = "$4"; |
| 245 | $idx = &make_str_index_entry($3, |
| 246 | "<tt>$opcode_name</tt> (byte code instruction)"); |
| 247 | } |
| 248 | $* = 0; |
| 249 | $stuff = "<dl><dt><strong>$idx</strong>"; |
| 250 | if ($arg_list) { |
| 251 | $stuff = "$stuff <var>$arg_list</var>"; |
| 252 | } |
| 253 | $stuff . "\n<dd>$'\n</dl>"; |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 254 | } |
| 255 | |
| 256 | sub do_env_datadesc{ |
| 257 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 258 | local($data_name,$idx) = ('', ''); |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 259 | local($datadesc_rx) = "$next_pair_rx"; |
| 260 | $* = 1; |
| 261 | if (/$datadesc_rx/o) { |
| 262 | $data_name = "$2"; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 263 | $idx = &make_str_index_entry($3, |
| 264 | "<tt>$data_name</tt> " . &get_indexsubitem); |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 265 | } |
| 266 | $* = 0; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 267 | "<dl><dt><strong>$idx</strong>" . |
| 268 | "\n<dd>$'\n</dl>" |
Fred Drake | c384d75 | 1996-11-11 16:04:35 +0000 | [diff] [blame] | 269 | } |
| 270 | |
| 271 | sub do_env_excdesc{ &do_env_datadesc(@_); } |
| 272 | |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 273 | sub do_env_seealso{ |
| 274 | local($_) = @_; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 275 | "<p><b>See Also:</b></p>\n" . $_; |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 276 | } |
| 277 | |
| 278 | sub do_cmd_seemodule{ |
| 279 | local($_) = @_; |
| 280 | local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP"; |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 281 | s/$next_pair_pr_rx$any_next_pair_pr_rx3/<p><code><b>\2<\/b><\/code> (\4)<\/p>/; |
Fred Drake | 9dcc5a9 | 1997-10-13 22:04:17 +0000 | [diff] [blame] | 282 | $_; |
| 283 | } |
| 284 | |
| 285 | sub do_cmd_seetext{ |
| 286 | local($_) = @_; |
| 287 | "<p>" . $_; |
| 288 | } |
| 289 | |
Fred Drake | 7c4cba8 | 1997-12-03 19:45:08 +0000 | [diff] [blame] | 290 | # These are located down here since they screw up fontlock. |
| 291 | |
| 292 | sub do_cmd_file{ |
| 293 | local($_) = @_; |
| 294 | s/$any_next_pair_pr_rx/`<code>\2<\/code>'/; |
| 295 | $_; |
| 296 | } |
| 297 | |
| 298 | sub do_cmd_samp{ |
| 299 | local($_) = @_; |
| 300 | s/$any_next_pair_pr_rx/`<samp>\2<\/samp>'/; |
| 301 | $_; |
| 302 | } |
| 303 | |
Guido van Rossum | 9e93fb6 | 1994-01-25 20:06:09 +0000 | [diff] [blame] | 304 | 1; # This must be the last line |