view.php

<?php

class ViewSubmissionUtils {

    /**
     * generates a short summary html
     *
     * @param int assignmentId assignment
     * @param int submissionId submission to create a report for
     * @return string html
     */
    public static function generateSummaryHtml(
        int $assignmentId,
        int $submissionId
    ): string {

        // fetch data
        $summary = DbUtils::getResultSummaryFromDatabase($assignmentId, $submissionId);
        $html = "";

        // calculate success rate, if no unknown result states or compilation errors
        $successRate = "?";
        if ($summary->unknownCount() == 0 && $summary->compilationErrorCount() == 0) {
            $successRate = round(($summary->successfulCount() / $summary->resultCount()) * 100, 2 );
        }

        // generate html
        $html .= $summary->successfulCount() . "/";
        $html .= ($summary->compilationErrorCount() == 0 && $summary->unknownCount() == 0)
            ? $summary->resultCount() . " (" . $successRate . "%)"
                : "?";
        $html .= " tests successful<br>";

        if ($summary->compilationErrorCount() > 0) {
            $html .= $summary->compilationErrorCount() . " compilation error(s)<br>";
        }

        if ($summary->unknownCount() > 0) {
            $html .= $summary->unknownCount() . " test(s) with unknown state<br>";
        }

        return html_writer::div($html, "dtaSubmissionSummary");
    }

    /**
     * generates detailed view html
     *
     * @param int assignmentId assignment
     * @param int submissionId submission to create a report for
     */
    public static function generateDetailHtml(
        int $assignmentId,
        int $submissionId
    ): string {

        // fetch data
        $summary = DbUtils::getResultSummaryFromDatabase($assignmentId, $submissionId);
        $html = "";

        // define a few css classes and prepare html attribute arrays
        $tableHeaderRowAttributes = array("class" => "dtaTableHeaderRow");
        $tableRowAttributes = array("class" => "dtaTableRow");
        $resultRowAttributes = $tableRowAttributes;
        $unknownAttrib = 'dtaResultUnknown';
        $successAttrib = 'dtaResultSuccess';
        $failureAttrib = 'dtaResultFailure';
        $compErrorAttrib = 'dtaResultCompilationError';

        // summary table
        $tmp = "";