Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/utils/lib/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 11.8.2025 mit Größe 3 kB image not shown  

Quelle  files.gi   Sprache: unbekannt

 
#############################################################################
##
#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

[ Dauer der Verarbeitung: 0.7 Sekunden  (vorverarbeitet)  ]