Based on dump

DOMjudge · Feb 3, 2024 · dcfd09e · dcfd09e
1 parent 501f681
commit dcfd09e
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 5 deletions.
diff --git a/phpstan-baseline.neon b/phpstan-baseline.neon
@@ -110,11 +110,6 @@ parameters:
 			count: 1
 			path: webapp/src/Controller/Jury/ClarificationController.php
 
-		-
-			message: "#^Method App\\\\Controller\\\\Jury\\\\RejudgingController\\:\\:getStats\\(\\) return type has no value type specified in iterable type array\\.$#"
-			count: 1
-			path: webapp/src/Controller/Jury/RejudgingController.php
-
 		-
 			message: "#^Method App\\\\Controller\\\\Jury\\\\SubmissionController\\:\\:determineFileChanged\\(\\) has parameter \\$files with no value type specified in iterable type array\\.$#"
 			count: 1

diff --git a/webapp/src/Controller/Jury/RejudgingController.php b/webapp/src/Controller/Jury/RejudgingController.php
@@ -800,6 +800,18 @@ private function generateFlashMessagesForSkippedJudgings(array $skipped): void
         }
     }
 
+    /**
+     * @return array{'judging_runs_differ': int[], 'judging_runs_differ_overflow': int,
+     *                'runtime_spread': array<array{'submitid': int, 'rank': int,
+     *                                              'spread': float, 'count': int,
+     *                                              'verdict': string}>,
+     *                'judgehost_stats': array<string, array{'judgehost': string, 'njudged': int,
+     *                                                       'avgrun': float, 'stddev': float,
+     *                                                       'avgduration': float}>,
+     *                'judgings': array<array{'rejudgingid': int, 'judgingid': int, 'submitid': int,
+     *                                        'hostname': string, 'result': string, 'runtime_avg': float|null,
+     *                                        'ntestcases': int, 'duration': float}>}
+     */
     private function getStats(Rejudging $rejudging): array
     {
         $judgings = $this->em->createQueryBuilder()