Example #1
0
 function write_print_body()
 {
     // number of spaces in a tab
     if (isset($_REQUEST['tabsize'])) {
         $tabsize = intval($_REQUEST['tabsize']);
         if ($tabsize == 0) {
             $this->tab_replacement = "\t";
         } else {
             $this->tab_replacement = '';
             for ($i = 0; $i < $tabsize; ++$i) {
                 $this->tab_replacement .= ' ';
             }
         }
     }
     // for each userid => subm
     $subms = $this->entity->all_final_submissions();
     // make unique
     $unique_subms = array();
     foreach ($subms as $subm) {
         $unique_subms[$subm->submissionid] = $subm;
     }
     // sort by users
     $by_name = array();
     foreach ($unique_subms as $subm) {
         $users = $subm->users();
         $name_of_first_user = User::names_for_sort($users);
         $by_name[$name_of_first_user] = $subm;
     }
     ksort($by_name);
     // print each submission
     foreach ($by_name as $subm) {
         $this->write_print_submission($subm);
     }
 }
Example #2
0
 function write_print_body()
 {
     // number of spaces in a tab
     if (isset($_REQUEST['tabsize'])) {
         $tabsize = intval($_REQUEST['tabsize']);
         if ($tabsize == 0) {
             $this->tab_replacement = "\t";
         } else {
             $this->tab_replacement = '';
             for ($i = 0; $i < $tabsize; ++$i) {
                 $this->tab_replacement .= ' ';
             }
         }
     }
     // for each userid => subm
     $subms = $this->entity->all_final_submissions();
     // make unique
     $unique_subms = array();
     foreach ($subms as $subm) {
         $unique_subms[$subm->submissionid] = $subm;
     }
     // sort by users
     $by_name = array();
     foreach ($unique_subms as $subm) {
         $users = $subm->users();
         $name_of_first_user = User::names_for_sort($users);
         $by_name[$name_of_first_user] = $subm;
     }
     ksort($by_name);
     echo '<pre>';
     echo "\\documentclass[a4paper,10pt,twoside]{article}\n";
     echo "\\usepackage[dutch]{babel}\n";
     echo "\\usepackage{graphicx}\n";
     echo "\\usepackage{listings}\n";
     echo "\\usepackage{color}\n";
     echo "\\usepackage[hmargin=1.5cm,vmargin=2.5cm]{geometry}\n";
     echo "\\pagestyle{empty}\n";
     echo "\\definecolor{MyGray}{rgb}{0.95,0.95,0.95}\n";
     echo "\\RequirePackage{pifont}\n";
     echo "\\lstset{";
     echo "\tlanguage=C,";
     echo "\ttabsize=3,";
     echo "\ttab=\$\\longrightarrow\$,";
     echo "\tshowstringspaces=false,";
     echo "\tbreaklines=true,";
     echo "\tbasicstyle=\\sffamily,";
     echo "\tkeywordstyle=\\bfseries,";
     echo "\tcommentstyle=\\itshape,";
     echo "\tcolumns=fullflexible,";
     echo "\tstepnumber=5,firstnumber=0,numbers=left,";
     echo "\tnumberstyle=\\scriptsize,";
     echo "\tpostbreak=\\makebox[0pt][r]{\\color[rgb]{0.7,0.7,0.7}{\\ding{229}}\\hspace*{0.45em}},";
     echo "\tbackgroundcolor=\\color[rgb]{0.9,0.9,0.9},";
     echo "\tframe=lines,";
     echo "\tframesep=0pt,";
     echo "}\n";
     echo "\\begin{document}\n";
     // print each submission
     foreach ($by_name as $subm) {
         $this->write_print_submission($subm);
     }
     echo '\\end{document}</pre>';
 }