+
+
+ 
+
+ "; +$ENDPRE=""; +$BEGINALLTT="
"; +$ENDALLTT=""; + +############################################################################ +# +# Global variables and tables +# +############################################################################ +$PARAM='[^\{\}]*'; +sub globalInit() +{ +@GLOBALTOC=(); # table of contents for entire document +@LOCALTOC=(); # table of contents for each section +%LINKLABEL={}; # name to link for referenceing +%LINKNAME={}; +$PATHNAME=""; # current pathname +$FILENAME=""; # current file +$HTML_FILENAME=""; +$LINE_NO=0; # current line +$GENERATE_TOC=0; # generate table of contents? +$PAGE_TITLE=""; +$DOCUMENT_TITLE=""; +$DOCUMENT_ABSTRACT=""; +$DOCUMENT_AUTHOR=""; +%SECTION_TEXT = (); +@TEXT=(); +@TEXT_STACK=(); +} + +sub IGNORE { return ""; } + +############################################################################ +# +# Error +# +############################################################################ +sub msg +{ my($text) = @_; + print "$FILENAME:$LINE_NO: ", $text, "\n"; +} +sub warning { msg("WARNING: " . $_[0]); } +sub error { msg($_[0]); die($_[0]); } +############################################################################ +# +# Filename processing +# +############################################################################ +sub basename +{ my($f) = @_; + $f =~ s|^.*/||; + return $f; +} + +sub dirname +{ my($f) = @_; + $f =~ s|^(.*/).*$|\1|; + return $f; +} + +sub suffix +{ my($f) = @_; + $f = basename($f); + $f =~ /^.*\.(.*)/; + return $1; +} + +sub replaceSuffix +{ my($f, $old, $new) = @_; + if ($f =~ /^(.*\.)$old/) + { return $1 . $new; + } else + { error("file $f does not have suffix $old"); + } +} + +############################################################################ +# +# Indexing and Cross Referencing. +# +############################################################################ +sub localtocentry # add local index entry +{ my($name,$level) = @_; + my(@entry) = ($name, $level); + push @LOCALTOC, \@entry; + my($label) = $LABELCOUNTER++; + $LINKLABEL{$name} = '#'. $label; + $LINKNAME{$name} = $name; + $CURRENT_SECTION_NAME=$name; + return ""; +} + +sub globaltocentry # add global index entry +{ my($name, $level) = @_; + my(@entry) = ($name, $level); + push @GLOBALTOC, \@entry; + my($key) = "section:$name"; + $LINKLABEL{$key} = $HTML_FILENAME; + $LINKNAME{$key} = $name; + $CURRENT_SECTION_NAME=$name; +} + +sub tableofcontents +{ $GENERATE_TOC = 1; + print "[Generating table of contents]\n"; + return ""; +} + +sub label +{ my($label) = @_; + $LINKLABEL{$label} = $HTML_FILENAME . '#' . $label; + $LINKNAME{$label} = $CURRENT_SECTION_NAME; + return ""; +} + +sub ref +{ my($label) = @_; + return "{$label}"; +} + +sub lookupRef +{ my($label) = @_; + my($ref) = $LINKLABEL{$label}; + my($name) = $LINKNAME{$label}; + return " $name"; +} + +sub resolveReferences +{ my($text) = @_; + $text =~ s/\{($PARAM)\}/&lookupRef($1)/oge; + return $text; +} + +############################################################################ +# +# Execute a subprogram +# +############################################################################ +sub runprog +{ my($command) = @_; + print STDERR "running: ", $command, "\n"; + system("$command"); + if ($?) { die("$? $command"); } +} + +############################################################################ +# +# Environment/command processing +# +############################################################################ +sub enterMode +{ my($m) = @_; + push @MODE_STACK, $m; + $MODE = $m; +} + +sub leaveMode +{ my($m) = @_; + if ($MODE ne $m) + { die("Trying to leave $m but actually in " . $MODE . " mode"); } + pop @MODE_STACK; + $MODE = $MODE_STACK[$#MODE_STACK]; + $parbreak=1; +} + +sub pushTextStack +{ push @TEXT_STACK, \@TEXT; + @TEXT=(); +} + +sub popTextStack +{ my(@text) = @TEXT; + my($old) = pop @TEXT_STACK; + @TEXT = @{$old}; + return "@text"; +} + +%DEFINEDNAMES = {}; +%BEGINENV = {}; # how to process \begin{env} +%ENDENV = {}; # how to process \end{env} +%HTMLENV = {}; # html tag translation +%COMMAND = {}; # how to process \command +%ARITY = {}; # how many parameters does the environment has +@ENV0 = (); +@ENV1 = (); +@ENV2 = (); +@COMMAND0 = (); +@COMMAND1 = (); +@COMMAND2 = (); +@COMMAND3 = (); + +sub newenvironment +{ my($name,$arity,$begin,$end) = @_; + if (defined $DEFINEDNAMES{$name}) + { die("$name has already been defined"); + } + $DEFINEDNAMES{$name} = "env"; + $BEGINENV{$name} = $begin; + $ENDENV{$name} = $end; + $ARITY{$name} = $arity; + push @ENV0, $name if $arity == 0; + push @ENV1, $name if $arity == 1; + push @ENV2, $name if $arity == 2; +} + +sub newhtmlenvironment +{ my($name,$tag) = @_; + if (defined $DEFINEDNAMES{$name}) + { die("$name has already been defined"); + } + $DEFINEDNAMES{$name} = "htmltag"; + $HTMLENV{$name} = $tag; + push @ENV0, $name; +} + +# This environment does not cause trailing paragraph breaks +sub newhtmlparenvironment +{ newhtmlenvironment(@_); + my($name) = @_; + $PARENV{$name} = 1; +} + +sub newcommand +{ my($name,$arity,$command) = @_; + if (defined $DEFINEDNAMES{$name}) + { die("$name has already been defined"); + } + $DEFINEDNAMES{$name} = "command"; + $COMMAND{$name} = $command; + $ARITY{$name} = $arity; + push @COMMAND0, $name if $arity == 0; + push @COMMAND1, $name if $arity == 1; + push @COMMAND2, $name if $arity == 2; + push @COMMAND3, $name if $arity == 3; +} + +sub beginenv +{ my($env,@args) = @_; + my($type) = $DEFINEDNAMES{$env}; + if (! defined $type) + { warning("environment $env is not defined"); + return "\\begin{$env}"; + } + if ($type eq "env") + { my($func) = $BEGINENV{$env}; + return $func->(@args); # call function + } + return "<$HTMLENV{$env}>" if $type eq "htmltag"; + die("don't know how to handle \\begin{$env} at line $LINE_NO"); +} + +sub endenv +{ my($env) = @_; + my($type) = $DEFINEDNAMES{$env}; + if (! defined $type) + { warning("environment $env is not defined"); + return "\\end{$env}"; + } + return "" if $type eq "htmltag"; + if ($type eq "env") + { my($func) = $ENDENV{$env}; + my($text) = $func->(); # call function + $parbreak = 1; + return $text; + } + die("don't know how to handle \\end{$env} at line $LINE_NO"); +} + +sub command +{ my($command,@args) = @_; + my($type) = $DEFINEDNAMES{$command}; + if (! defined $type) + { warning("command $command is not defined"); + return "\\$env"; + } + #print "[$command]"; + if ($type eq "command") + { my($func) = $COMMAND{$command}; + if (! $func) + { die("don't know how to handle \\$command at line $LINE_NO"); } + return $func->(@args); + } + die("don't know how to handle \\$command at line $LINE_NO"); +} +############################################################################ +# +# Color processing +# +############################################################################ +$COLORS{"red"} = "#ff0000"; +$COLORS{"green"} = "#00ff00"; +$COLORS{"blue"} = "#0000ff"; +$COLORS{"darkred"} = "#aa0000"; +$COLORS{"darkgreen"} = "#00aa00"; +$COLORS{"darkblue"} = "#0000aa"; +$COLORS{"black"} = "#000000"; +$COLORS{"grey"} = "#777777"; +$COLORS{"white"} = "#ffffff"; + +sub colorOf +{ my($c) = @_; + return $COLORS{$c} if (defined $COLORS{$c}); + return "\"$c\""; +} +sub begincolor { my($c) = @_; return ""; } +sub endcolor { return ""; } + +############################################################################ +# +# Generic LaTeX fonts and sizes handling. +# +############################################################################ +sub bf { return ""; } +sub tt { return ""; } +sub it { return ""; } +sub em { return ""; } +sub sf { return ""; } +sub rm { return ""; } +sub huge { return ""; } +sub LARGE { return ""; } +sub Large { return ""; } +sub large { return ""; } +sub normalsize { return ""; } +sub small { return ""; } +sub footnotesize { return ""; } +sub scriptsize { return ""; } +sub tiny { return ""; } + +############################################################################ +# +# Headers and footers +# +############################################################################ +sub header +{ $HEADER= <<"END"; + + + +END + return $HEADER; +} + +sub footer +{ my($filename) = @_; + my($URL)="http://$WWWHOST/$URLPREFIX$outfile"; + my($contact) = "
| \n"; + $contact .= "$author\n"; + $contact .= " |
| + $contact + | +
+
+
+
+
+
+
+ |
+
| + + Generated by + + mltex2html + + + + | +|
| + + Last modified: $DATE by $USER\@$HOSTNAME + + | +
| "; +} + +sub endfig +{ my($caption) = @_; + msg("new figure, caption=$caption"); + if ($caption ne "") + { $caption = <<"END"; + |
| + + $caption + + | +
| "; } +sub endboxit { return " |
| +END + + for $entry (@TOC) + { my($name) = $entry->[0]; + my($level) = $entry->[1]; + my($label) = $LINKLABEL{$labelprefix . $name}; + my($text) = truncentry($name,$max_len); + + # Major section heading + if ($level == 0) + { + $toc .= <<"END"; + | |
+
| |
|
+END
+ } else
+ # Normal extries
+ {
+ my($indent) = "-" x ($level - 2);
+
+ if ($name eq $highlight)
+ { $text = "$text"; }
+
+ if ($type eq "local")
+ { $text = "$text";
+ } else
+ { $text = "$text";
+ }
+
+ $toc .= <<"END";
+ $indent$text +END + } + } + + $toc .= <<"END"; + |
| + |
+ $TITLE+ $localtoc + $maintext + $footer + |
+
| $toc | ++ |
+ $DOCUMENT_TITLE+ + $DOCUMENT_ABSTRACT ++ $footer + |
\n"; $parbreak=1; } + } else + { $parbreak = 0; } + } + + # special formatting environments + if (s|\\begin{SML}|$BEGINPRE|) { enterMode("sml"); }; + if (s|\\end{SML}|$ENDPRE|) { leaveMode("sml"); }; + if (s|\\begin{code}|$BEGINPRE|) { enterMode("code"); }; + if (s|\\end{code}|$ENDPRE|) { leaveMode("code"); }; + if (s|\\begin{verbatim}|$BEGINPRE|) { enterMode("verbatim"); }; + if (s|\\begin{alltt}|$BEGINALLTT|) { enterMode("alltt"); }; + + # method + if (s|\\begin{methods}|