1997-12-08 16:59:54 -04:00
|
|
|
# myformat.perl by Guido van Rossum <guido@cwi.nl> 25 Jan 1994 -*- perl -*-
|
1994-01-25 16:06:09 -04:00
|
|
|
#
|
|
|
|
# Extension to LaTeX2HTML for documents using myformat.sty.
|
|
|
|
# Subroutines of the form do_cmd_<name> here define translations
|
|
|
|
# for LaTeX commands \<name> defined in the corresponding .sty file.
|
|
|
|
#
|
|
|
|
# XXX Not complete: \indexii etc.; \funcitem etc.
|
|
|
|
|
1996-11-11 16:51:09 -04:00
|
|
|
package main;
|
1994-01-25 16:06:09 -04:00
|
|
|
|
|
|
|
# \bcode and \ecode brackets around verbatim
|
|
|
|
|
|
|
|
sub do_cmd_bcode{ @_[0]; }
|
|
|
|
sub do_cmd_ecode{ @_[0]; }
|
|
|
|
|
|
|
|
# words typeset in a special way (not in HTML though)
|
|
|
|
|
|
|
|
sub do_cmd_ABC{ join('', 'ABC', @_[0]); }
|
|
|
|
sub do_cmd_UNIX{ join('', 'Unix', @_[0]); }
|
|
|
|
sub do_cmd_ASCII{ join('', 'ASCII', @_[0]); }
|
1998-01-22 12:13:44 -04:00
|
|
|
sub do_cmd_POSIX{ join('', 'POSIX', @_[0]); }
|
1994-01-25 16:06:09 -04:00
|
|
|
sub do_cmd_C{ join('', 'C', @_[0]); }
|
1994-08-12 10:13:50 -03:00
|
|
|
sub do_cmd_Cpp{ join('', 'C++', @_[0]); }
|
1994-01-25 16:06:09 -04:00
|
|
|
sub do_cmd_EOF{ join('', 'EOF', @_[0]); }
|
1998-02-13 03:21:03 -04:00
|
|
|
sub do_cmd_NULL{ join('', '<tt>NULL</tt>', @_[0]); }
|
1994-01-25 16:06:09 -04:00
|
|
|
|
1996-11-11 19:03:36 -04:00
|
|
|
sub do_cmd_e{ local($_) = @_; '\' . $_; }
|
1994-01-25 16:06:09 -04:00
|
|
|
|
1996-11-11 12:04:35 -04:00
|
|
|
sub do_cmd_optional{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<\/var><big>\[<\/big><var>\2<\/var><big>\]<\/big><var>/;
|
|
|
|
$_;
|
1996-11-11 12:04:35 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_varvars{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<var>\2<\/var>/;
|
|
|
|
$_;
|
1996-11-11 12:04:35 -04:00
|
|
|
}
|
|
|
|
|
1996-11-11 19:03:36 -04:00
|
|
|
# texinfo-like formatting commands: \code{...} etc.
|
|
|
|
|
1994-01-25 16:06:09 -04:00
|
|
|
sub do_cmd_code{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<tt>\2<\/tt>/;
|
|
|
|
$_;
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
1996-11-11 12:04:35 -04:00
|
|
|
sub do_cmd_sectcode{ &do_cmd_code(@_); }
|
1998-01-22 12:13:44 -04:00
|
|
|
sub do_cmd_module{ &do_cmd_code(@_); }
|
|
|
|
sub do_cmd_keyword{ &do_cmd_code(@_); }
|
|
|
|
sub do_cmd_exception{ &do_cmd_code(@_); }
|
|
|
|
sub do_cmd_class{ &do_cmd_code(@_); }
|
|
|
|
sub do_cmd_function{ &do_cmd_code(@_); }
|
|
|
|
sub do_cmd_cfunction{ &do_cmd_code(@_); }
|
|
|
|
sub do_cmd_constant{ &do_cmd_code(@_); }
|
|
|
|
sub do_cmd_method{ &do_cmd_code(@_); }
|
|
|
|
sub do_cmd_email{ &do_cmd_code(@_); }
|
1998-02-13 03:21:03 -04:00
|
|
|
sub do_cmd_program{ &do_cmd_code(@_); }
|
1998-01-22 12:13:44 -04:00
|
|
|
|
|
|
|
sub do_cmd_url{
|
|
|
|
# use the URL as both text and hyperlink
|
|
|
|
local($_) = @_;
|
1998-02-13 03:21:03 -04:00
|
|
|
s/$any_next_pair_pr_rx/<tt><a href="\2">\2<\/a><\/tt>/;
|
1998-01-22 12:13:44 -04:00
|
|
|
$_;
|
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_manpage{
|
|
|
|
# two parameters: \manpage{name}{section}
|
|
|
|
local($_) = @_;
|
|
|
|
local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
|
|
|
|
s/$next_pair_pr_rx$any_next_pair_pr_rx3/<em>\2<\/em>(\4)/;
|
|
|
|
$_;
|
|
|
|
}
|
1996-11-11 12:04:35 -04:00
|
|
|
|
1998-02-10 18:11:07 -04:00
|
|
|
sub do_cmd_rfc{
|
|
|
|
local($_) = @_;
|
|
|
|
s/$next_pair_pr_rx//;
|
|
|
|
local($br_id,$rfcnumber) = ($1, $2);
|
|
|
|
|
|
|
|
# Save the reference
|
|
|
|
local($nstr) = &gen_index_id("RFC!RFC $rfcnumber", '');
|
|
|
|
$index{$nstr} .= &make_half_href("$CURRENT_FILE#$br_id");
|
|
|
|
"<a name=\"$br_id\">RFC $rfcnumber<\/a>" .$_;
|
|
|
|
}
|
|
|
|
|
1994-01-25 16:06:09 -04:00
|
|
|
sub do_cmd_kbd{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<kbd>\2<\/kbd>/;
|
|
|
|
$_;
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_key{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<tt>\2<\/tt>/;
|
|
|
|
$_;
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_var{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<em>\2<\/em>/;
|
|
|
|
$_;
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_dfn{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<i><dfn>\2<\/dfn><\/i>/;
|
|
|
|
$_;
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_emph{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<em>\2<\/em>/;
|
|
|
|
$_;
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_strong{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/<b>\2<\/b>/;
|
|
|
|
$_;
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
1997-12-03 15:45:08 -04:00
|
|
|
# file and samp are at the end of this file since they screw up fontlock.
|
|
|
|
|
1994-01-25 16:06:09 -04:00
|
|
|
# index commands
|
|
|
|
|
1998-02-10 18:11:07 -04:00
|
|
|
$INDEX_SUBITEM = "";
|
|
|
|
|
|
|
|
sub do_cmd_setindexsubitem{
|
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx//;
|
|
|
|
$INDEX_SUBITEM = $2;
|
|
|
|
$_;
|
|
|
|
}
|
|
|
|
|
1994-01-25 16:06:09 -04:00
|
|
|
sub do_cmd_indexii{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id1, $str1) = ($1, $2);
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id2, $str2) = ($1, $2);
|
|
|
|
join('', &make_index_entry($br_id1, "$str1 $str2"),
|
|
|
|
&make_index_entry($br_id2, "$str2, $str1"), $_);
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_indexiii{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id1, $str1) = ($1, $2);
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id2, $str2) = ($1, $2);
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id3, $str3) = ($1, $2);
|
|
|
|
join('', &make_index_entry($br_id1, "$str1 $str2 $str3"),
|
|
|
|
&make_index_entry($br_id2, "$str2 $str3, $str1"),
|
|
|
|
&make_index_entry($br_id3, "$str3, $str1 $str2"),
|
|
|
|
$_);
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_indexiv{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id1, $str1) = ($1, $2);
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id2, $str2) = ($1, $2);
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id3, $str3) = ($1, $2);
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id4, $str4) = ($1, $2);
|
|
|
|
join('', &make_index_entry($br_id1, "$str1 $str2 $str3 $str4"),
|
|
|
|
&make_index_entry($br_id2, "$str2 $str3 $str4, $str1"),
|
|
|
|
&make_index_entry($br_id3, "$str3 $str4, $str1 $str2"),
|
|
|
|
&make_index_entry($br_id4, "$str4, $str1 $str2 $str3"),
|
|
|
|
$_);
|
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_ttindex{ &do_cmd_index(@_); }
|
1994-01-25 16:06:09 -04:00
|
|
|
|
|
|
|
sub my_typed_index_helper{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($word, $_) = @_;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id, $str) = ($1, $2);
|
|
|
|
join('', &make_index_entry($br_id, "$str $word"),
|
|
|
|
&make_index_entry($br_id, "$word, $str"), $_);
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_stindex{ &my_typed_index_helper('statement', @_); }
|
|
|
|
sub do_cmd_opindex{ &my_typed_index_helper('operator', @_); }
|
|
|
|
sub do_cmd_exindex{ &my_typed_index_helper('exception', @_); }
|
|
|
|
sub do_cmd_obindex{ &my_typed_index_helper('object', @_); }
|
|
|
|
|
|
|
|
sub my_parword_index_helper{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($word, $_) = @_;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id, $str) = ($1, $2);
|
|
|
|
&make_index_entry($br_id, "$str ($word)") . $_;
|
1994-01-25 16:06:09 -04:00
|
|
|
}
|
|
|
|
|
1998-02-10 18:11:07 -04:00
|
|
|
|
|
|
|
# Set this to true to strip out the <tt>...</tt> from index entries;
|
|
|
|
# this is analogous to using the second definition of \idxcode{} from
|
|
|
|
# myformat.sty.
|
|
|
|
#
|
|
|
|
# It is used from &make_mod_index_entry() and &make_str_index_entry().
|
|
|
|
#
|
|
|
|
$STRIP_INDEX_TT = 0;
|
|
|
|
|
1997-12-16 22:59:39 -04:00
|
|
|
sub make_mod_index_entry {
|
|
|
|
local($br_id,$str,$define) = @_;
|
1998-01-13 00:05:11 -04:00
|
|
|
local($halfref) = &make_half_href("$CURRENT_FILE#$br_id");
|
|
|
|
# If TITLE is not yet available (i.e the \index command is in the title
|
|
|
|
# of the current section), use $ref_before.
|
1997-12-16 22:59:39 -04:00
|
|
|
$TITLE = $ref_before unless $TITLE;
|
|
|
|
# Save the reference
|
1998-01-13 00:05:11 -04:00
|
|
|
if ($define eq "DEF") {
|
|
|
|
local($nstr,$garbage) = split / /, $str, 2;
|
|
|
|
$Modules{$nstr} .= $halfref;
|
|
|
|
}
|
1997-12-16 22:59:39 -04:00
|
|
|
$str = &gen_index_id($str, $define);
|
1998-02-10 18:11:07 -04:00
|
|
|
if ($STRIP_INDEX_TT) {
|
|
|
|
$str =~ s/<tt>(.*)<\/tt>/\1/;
|
|
|
|
}
|
1998-01-13 00:05:11 -04:00
|
|
|
$index{$str} .= $halfref;
|
1997-12-18 10:14:16 -04:00
|
|
|
"<a name=\"$br_id\">$anchor_invisible_mark<\/a>";
|
1997-12-16 22:59:39 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub my_module_index_helper{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($word, $_, $define) = @_;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id, $str) = ($1, $2);
|
|
|
|
&make_mod_index_entry($br_id, "<tt>$str</tt> ($word module)",
|
|
|
|
$define) . $_;
|
1997-12-16 22:59:39 -04:00
|
|
|
}
|
|
|
|
|
1994-01-25 16:06:09 -04:00
|
|
|
sub do_cmd_bifuncindex{ &my_parword_index_helper('built-in function', @_); }
|
1997-12-16 22:59:39 -04:00
|
|
|
sub do_cmd_bimodindex{ &my_module_index_helper('built-in', @_, 'DEF'); }
|
|
|
|
sub do_cmd_stmodindex{ &my_module_index_helper('standard', @_, 'DEF'); }
|
1994-01-25 16:06:09 -04:00
|
|
|
|
1997-12-16 22:59:39 -04:00
|
|
|
sub do_cmd_refbimodindex{ &my_module_index_helper('built-in', @_, 'REF'); }
|
|
|
|
sub do_cmd_refstmodindex{ &my_module_index_helper('standard', @_, 'REF'); }
|
1997-12-16 17:13:20 -04:00
|
|
|
|
1996-11-11 12:04:35 -04:00
|
|
|
sub do_cmd_nodename{ &do_cmd_label(@_); }
|
|
|
|
|
1998-01-12 19:15:29 -04:00
|
|
|
sub init_myformat{
|
|
|
|
# XXX need some way for this to be called after &initialise;
|
|
|
|
# <<2>>...<<2>>
|
|
|
|
$any_next_pair_rx3 = "$O(\\d+)$C([\\s\\S]*)$O\\3$C";
|
|
|
|
$any_next_pair_rx5 = "$O(\\d+)$C([\\s\\S]*)$O\\5$C";
|
|
|
|
$any_next_pair_rx7 = "$O(\\d+)$C([\\s\\S]*)$O\\7$C";
|
|
|
|
$any_next_pair_rx9 = "$O(\\d+)$C([\\s\\S]*)$O\\9$C";
|
|
|
|
# <#2#>...<#2#>
|
|
|
|
$any_next_pair_pr_rx_3 = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
|
|
|
|
$any_next_pair_pr_rx_5 = "$OP(\\d+)$CP([\\s\\S]*)$OP\\5$CP";
|
|
|
|
$any_next_pair_pr_rx_7 = "$OP(\\d+)$CP([\\s\\S]*)$OP\\7$CP";
|
|
|
|
$any_next_pair_pr_rx_9 = "$OP(\\d+)$CP([\\s\\S]*)$OP\\9$CP";
|
|
|
|
}
|
|
|
|
|
|
|
|
&init_myformat;
|
1996-11-11 12:04:35 -04:00
|
|
|
|
|
|
|
sub get_indexsubitem{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($result) = $INDEX_SUBITEM;
|
1996-11-11 12:04:35 -04:00
|
|
|
#print "\nget_indexsubitem ==> $result\n";
|
1997-12-22 18:37:34 -04:00
|
|
|
$result ? " $result" : '';
|
1996-11-11 12:04:35 -04:00
|
|
|
}
|
|
|
|
|
1997-12-16 22:59:39 -04:00
|
|
|
# similar to make_index_entry(), but includes the string in the result
|
|
|
|
# instead of the dummy filler.
|
|
|
|
#
|
|
|
|
sub make_str_index_entry {
|
|
|
|
local($br_id,$str) = @_;
|
|
|
|
# If TITLE is not yet available (i.e the \index command is in the title
|
|
|
|
# of the current section), use $ref_before.
|
|
|
|
$TITLE = $ref_before unless $TITLE;
|
|
|
|
# Save the reference
|
|
|
|
local($nstr) = &gen_index_id($str, '');
|
1998-02-10 18:11:07 -04:00
|
|
|
if ($STRIP_INDEX_TT) {
|
|
|
|
$nstr =~ s/<tt>(.*)<\/tt>/\1/;
|
|
|
|
}
|
1997-12-16 22:59:39 -04:00
|
|
|
$index{$nstr} .= &make_half_href("$CURRENT_FILE#$br_id");
|
|
|
|
"<a name=\"$br_id\">$str<\/a>";
|
|
|
|
}
|
|
|
|
|
1996-10-29 11:56:57 -04:00
|
|
|
sub do_env_cfuncdesc{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($return_type,$function_name,$arg_list,$idx) = ('', '', '', '');
|
|
|
|
local($cfuncdesc_rx) =
|
|
|
|
"$next_pair_rx$any_next_pair_rx3$any_next_pair_rx5";
|
|
|
|
if (/$cfuncdesc_rx/o) {
|
|
|
|
$return_type = "$2";
|
|
|
|
$function_name = "$4";
|
|
|
|
$arg_list = "$6";
|
|
|
|
$idx = &make_str_index_entry($3,
|
|
|
|
"<tt>$function_name</tt>" . &get_indexsubitem);
|
|
|
|
$idx =~ s/ \(.*\)//;
|
|
|
|
}
|
|
|
|
"<dl><dt>$return_type <b>$idx</b>"
|
|
|
|
. "(<var>$arg_list</var>)\n<dd>$'\n</dl>"
|
1996-10-29 11:56:57 -04:00
|
|
|
}
|
|
|
|
|
1997-10-13 19:04:17 -03:00
|
|
|
sub do_env_ctypedesc{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($type_name) = ('');
|
|
|
|
local($cfuncdesc_rx) = "$next_pair_rx";
|
|
|
|
if (/$cfuncdesc_rx/o) {
|
|
|
|
$type_name = "$2";
|
|
|
|
$idx = &make_str_index_entry($1,
|
|
|
|
"<tt>$type_name</tt>" . &get_indexsubitem);
|
|
|
|
$idx =~ s/ \(.*\)//;
|
|
|
|
}
|
|
|
|
"<dl><dt><b>$idx</b>\n<dd>$'\n</dl>"
|
1997-10-13 19:04:17 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_env_cvardesc{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($var_type,$var_name,$idx) = ('', '', '');
|
|
|
|
local($cfuncdesc_rx) = "$next_pair_rx$any_next_pair_rx3";
|
|
|
|
if (/$cfuncdesc_rx/o) {
|
|
|
|
$var_type = "$2";
|
|
|
|
$var_name = "$4";
|
|
|
|
$idx = &make_str_index_entry($3,
|
|
|
|
"<tt>$var_name</tt>" . &get_indexsubitem);
|
|
|
|
$idx =~ s/ \(.*\)//;
|
|
|
|
}
|
|
|
|
"<dl><dt>$var_type <b>$idx</b>\n"
|
|
|
|
. "<dd>$'\n</dl>";
|
1997-10-13 19:04:17 -03:00
|
|
|
}
|
|
|
|
|
1996-11-11 12:04:35 -04:00
|
|
|
sub do_env_funcdesc{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($function_name,$arg_list,$idx) = ('', '', '');
|
|
|
|
local($funcdesc_rx) = "$next_pair_rx$any_next_pair_rx3";
|
|
|
|
if (/$funcdesc_rx/o) {
|
|
|
|
$function_name = "$2";
|
|
|
|
$arg_list = "$4";
|
|
|
|
$idx = &make_str_index_entry($3,
|
|
|
|
"<tt>$function_name</tt>" . &get_indexsubitem);
|
|
|
|
$idx =~ s/ \(.*\)//;
|
|
|
|
}
|
|
|
|
"<dl><dt><b>$idx</b> (<var>$arg_list</var>)\n<dd>$'\n</dl>";
|
1998-01-12 19:15:29 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_funcline{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($funcdesc_rx) = "$next_pair_pr_rx$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
|
1998-01-12 19:15:29 -04:00
|
|
|
|
1998-02-13 03:21:03 -04:00
|
|
|
s/$funcdesc_rx//o;
|
|
|
|
local($br_id, $function_name, $arg_list) = ($3, $2, $4);
|
|
|
|
local($idx) = &make_str_index_entry($br_id, "<tt>$function_name</tt>");
|
1998-01-12 19:15:29 -04:00
|
|
|
|
1998-02-13 03:21:03 -04:00
|
|
|
"<dt><b>$idx</b> (<var>$arg_list</var>)\n<dd>" . $_;
|
1997-12-03 15:45:08 -04:00
|
|
|
}
|
|
|
|
|
1998-02-13 03:21:03 -04:00
|
|
|
# Change this flag to index the opcode entries. I don't think it's very
|
|
|
|
# useful to index them, since they're only presented to describe the dis
|
|
|
|
# module.
|
|
|
|
#
|
|
|
|
$INDEX_OPCODES = 0;
|
|
|
|
|
1997-12-03 15:45:08 -04:00
|
|
|
sub do_env_opcodedesc{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($opcode_name,$arg_list,$stuff,$idx) = ('', '', '', '');
|
|
|
|
local($opcodedesc_rx) = "$next_pair_rx$any_next_pair_rx3";
|
|
|
|
if (/$opcodedesc_rx/o) {
|
|
|
|
$opcode_name = "$2";
|
|
|
|
$arg_list = "$4";
|
|
|
|
if ($INDEX_OPCODES) {
|
|
|
|
$idx = &make_str_index_entry($3,
|
|
|
|
"<tt>$opcode_name</tt> (byte code instruction)");
|
|
|
|
$idx =~ s/ \(byte code instruction\)//;
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
$idx = "<tt>$opcode_name</tt>";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
$stuff = "<dl><dt><b>$idx</b>";
|
|
|
|
if ($arg_list) {
|
|
|
|
$stuff .= " <var>$arg_list</var>";
|
|
|
|
}
|
|
|
|
$stuff . "\n<dd>$'\n</dl>";
|
1996-11-11 12:04:35 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_env_datadesc{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($idx) = '';
|
|
|
|
if (/$next_pair_rx/o) {
|
|
|
|
$idx = &make_str_index_entry($1, "<tt>$2</tt>" . &get_indexsubitem);
|
|
|
|
$idx =~ s/ \(.*\)//;
|
|
|
|
}
|
|
|
|
"<dl><dt><b>$idx</b>\n<dd>$'\n</dl>"
|
1998-01-12 19:15:29 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_dataline{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
1998-01-12 19:15:29 -04:00
|
|
|
|
1998-02-13 03:21:03 -04:00
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($br_id, $data_name) = ($1, $2);
|
|
|
|
local($idx) = &make_str_index_entry($br_id, "<tt>$data_name</tt>"
|
|
|
|
. &get_indexsubitem);
|
|
|
|
$idx =~ s/ \(.*\)//;
|
1998-01-12 19:15:29 -04:00
|
|
|
|
1998-02-13 03:21:03 -04:00
|
|
|
"<dt><b>$idx</b>\n<dd>" . $_;
|
1996-11-11 12:04:35 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_env_excdesc{ &do_env_datadesc(@_); }
|
1998-02-13 03:21:03 -04:00
|
|
|
sub do_env_codesample{ &do_env_verbatim(@_); }
|
|
|
|
|
1996-11-11 12:04:35 -04:00
|
|
|
|
1997-12-22 18:37:34 -04:00
|
|
|
@col_aligns = ("<td>", "<td>", "<td>");
|
|
|
|
|
|
|
|
sub setup_column_alignments{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($j1,$a1,$a2,$a3,$j4) = split(/[|]/,$_);
|
|
|
|
local($th1,$th2,$th3) = ('<th>', '<th>', '<th>');
|
|
|
|
$col_aligns[0] = (($a1 eq "c") ? "<td align=center>" : "<td>");
|
|
|
|
$col_aligns[1] = (($a2 eq "c") ? "<td align=center>" : "<td>");
|
|
|
|
$col_aligns[2] = (($a3 eq "c") ? "<td align=center>" : "<td>");
|
|
|
|
# return the aligned header start tags; only used for \begin{tableiii?}
|
|
|
|
$th1 = (($a1 eq "l") ? "<th align=left>"
|
|
|
|
: ($a1 eq "r" ? "<th align=right>" : "<th>"));
|
|
|
|
$th2 = (($a2 eq "l") ? "<th align=left>"
|
|
|
|
: ($a2 eq "r" ? "<th align=right>" : "<th>"));
|
|
|
|
$th3 = (($a3 eq "l") ? "<th align=left>"
|
|
|
|
: ($a3 eq "r" ? "<th align=right>" : "<th>"));
|
|
|
|
($th1, $th2, $th3);
|
1997-12-22 18:37:34 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_env_tableii{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($font,$h1,$h2) = ('', '', '');
|
|
|
|
local($tableiii_rx) =
|
|
|
|
"$next_pair_rx$any_next_pair_rx3$any_next_pair_rx5$any_next_pair_rx7";
|
|
|
|
if (/$tableiii_rx/o) {
|
|
|
|
$font = $4;
|
|
|
|
$h1 = $6;
|
|
|
|
$h2 = $8;
|
|
|
|
}
|
|
|
|
local($th1,$th2,$th3) = &setup_column_alignments($2);
|
|
|
|
$globals{"lineifont"} = $font;
|
|
|
|
"<table border align=center>\n <tr>$th1$h1</th>\n $th2$h2</th>$'\n"
|
|
|
|
. "</table>";
|
1997-12-22 18:37:34 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_lineii{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($c1) = $2;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($c2) = $2;
|
|
|
|
local($font) = $globals{"lineifont"};
|
|
|
|
local($c1align, $c2align) = @col_aligns[0,1];
|
|
|
|
"<tr>$c1align<$font>$c1</$font></td>\n"
|
|
|
|
. " $c2align$c2</td>$'";
|
1997-12-22 18:37:34 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_env_tableiii{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($font,$h1,$h2,$h3) = ('', '', '', '');
|
1998-01-12 19:15:29 -04:00
|
|
|
|
1998-02-13 03:21:03 -04:00
|
|
|
local($tableiii_rx) =
|
|
|
|
"$next_pair_rx$any_next_pair_rx3$any_next_pair_rx5$any_next_pair_rx7"
|
|
|
|
. "$any_next_pair_rx9";
|
|
|
|
if (/$tableiii_rx/o) {
|
|
|
|
$font = $4;
|
|
|
|
$h1 = $6;
|
|
|
|
$h2 = $8;
|
|
|
|
$h3 = $10;
|
|
|
|
}
|
|
|
|
local($th1,$th2,$th3) = &setup_column_alignments($2);
|
|
|
|
$globals{"lineifont"} = $font;
|
|
|
|
"<table border align=center>\n <tr>$th1$h1</th>\n $th2$h2</th>"
|
|
|
|
. "\n $th3$h3</th>$'\n"
|
|
|
|
. "</table>";
|
1997-12-22 18:37:34 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_lineiii{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($c1) = $2;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($c2) = $2;
|
|
|
|
s/$next_pair_pr_rx//o;
|
|
|
|
local($c3) = $2;
|
|
|
|
local($font) = $globals{"lineifont"};
|
|
|
|
local($c1align, $c2align, $c3align) = @col_aligns;
|
|
|
|
"<tr>$c1align<$font>$c1</$font></td>\n"
|
|
|
|
. " $c2align$c2</td>\n"
|
|
|
|
. " $c3align$c3</td>$'";
|
1997-12-22 18:37:34 -04:00
|
|
|
}
|
|
|
|
|
1997-10-13 19:04:17 -03:00
|
|
|
sub do_env_seealso{
|
1998-02-13 03:21:03 -04:00
|
|
|
"<p><b>See Also:</b></p>\n" . @_[0];
|
1997-10-13 19:04:17 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_seemodule{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
local($any_next_pair_pr_rx3) = "$OP(\\d+)$CP([\\s\\S]*)$OP\\3$CP";
|
|
|
|
s/$next_pair_pr_rx$any_next_pair_pr_rx3/<p><tt><b>\2<\/b><\/tt> (\4)<\/p>/;
|
|
|
|
$_;
|
1997-10-13 19:04:17 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_seetext{
|
1998-02-13 03:21:03 -04:00
|
|
|
"<p>" . @_[0];
|
1997-10-13 19:04:17 -03:00
|
|
|
}
|
|
|
|
|
1997-12-03 15:45:08 -04:00
|
|
|
# These are located down here since they screw up fontlock.
|
|
|
|
|
|
|
|
sub do_cmd_file{
|
1998-02-13 03:21:03 -04:00
|
|
|
# This uses a weird HTML construct to adjust the font to be
|
|
|
|
# reasonable match that used in the printed form as much as
|
|
|
|
# possible. The expected behavior is that a browser that doesn't
|
|
|
|
# understand "<font face=...>" markup will use courier (or whatever
|
|
|
|
# the font is for <tt>).
|
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/`<tt><font face=sans-serif>\2<\/font><\/tt>'/;
|
|
|
|
$_;
|
1997-12-03 15:45:08 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
sub do_cmd_samp{
|
1998-02-13 03:21:03 -04:00
|
|
|
local($_) = @_;
|
|
|
|
s/$any_next_pair_pr_rx/`<samp>\2<\/samp>'/;
|
|
|
|
$_;
|
1997-12-03 15:45:08 -04:00
|
|
|
}
|
|
|
|
|
1994-01-25 16:06:09 -04:00
|
|
|
1; # This must be the last line
|