#############################################################################
##
#W files.gi GAP4 package `Utils' Sebastian Gutsche
## Max Horn
## Stefan Kohl
#Y Copyright (C) 2015-2025, The GAP Group,
#############################################################################
## this function has been transferred from RCWA
##
#F Log2HTML ( logfilename ) . . . . convert GAP logfile to XHTML 1.0 Strict
##
BindGlobal(
"Log2HTML",
function ( logfilename )
local outputname, s1, s2, header, footer, pos,
lastlf, nextlf, crlf, prompt;
if ARCH_IS_UNIX()
then crlf :=
1;
else crlf :=
2;
fi;
header := Concatenation(
"<?xml version = \"1.
0\
" encoding = \"ISO-
8859-
1\
"?>\n\n",
"<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML
1.
0 Strict//EN\
"\n",
" \"http://www.w3.org/TR/xhtml1/DTD/",
"xhtml1-strict.dtd\">\n<html>\n\n<head>\n <title>
",
logfilename,
" </title>\n <link rel = \"stylesheet\
" ",
"type = \"text/css\
" href = \"gaplog.css\
" />\n",
"</head>\n\n<body>\n\n<pre class = \"logfile\
">\n");
footer :=
"</pre> </body> </html>";
s1 := StringFile( logfilename );
pos := PositionSublist( s1,
"gap>" );
prompt :=
"gap> ";
s2 := ReplacedString( s1{[
1..pos-
1]},
"<",
"<" );
while pos <> fail
do
s2 := Concatenation(s2,
"<em class = \"prompt\
">",prompt,
"</em>");
s2 := Concatenation(s2,
"<em class = \"input\
">");
nextlf := Position(s1,
'\n',pos); prompt :=
"gap>";
if nextlf = fail
then
nextlf := Length(s1);
fi;
s2 := Concatenation(s2,ReplacedString(s1{[pos+
5..nextlf-crlf]},
"<",
"<"),
"</em>");
while nextlf < Length(s1) and s1[nextlf+
1] =
'>' do
s2 := Concatenation(s2,
"\n<em class = \"prompt\
">></em>",
"<em class = \"input\
">");
lastlf := nextlf;
nextlf := Position(s1,
'\n',lastlf);
if nextlf = fail
then
nextlf := Length(s1);
fi;
s2 := Concatenation(s2,ReplacedString(s1{[lastlf+
2..nextlf-crlf]},
"<",
"<"),
"</em>");
od;
s2 := Concatenation( s2,
"\n" );
pos := PositionSublist( s1,
"\ngap>", nextlf-
1 );
if pos = fail
then
pos := Length(s1);
fi;
if pos > nextlf
then
s2 := Concatenation(s2,
"<em class = \"output\
">",
ReplacedString( s1{[nextlf+
1..pos-crlf]},
"<",
"<"),
"</em>\n" );
fi;
if pos > Length(s1) -
3 then
break;
fi;
od;
s2 := Concatenation( header, s2, footer );
logfilename := LowercaseString( logfilename );
if ( PositionSublist(logfilename,
".log") <> fail )
then
outputname := ReplacedString( logfilename,
".log",
".html" );
elif ( PositionSublist( logfilename,
".txt" ) <> fail )
then
outputname := ReplacedString( logfilename,
".txt",
".html" );
else
outputname := Concatenation( logfilename,
".html" );
fi;
FileString( outputname, s2 );
end );
#############################################################################
##
#E files.gi . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
