S2OJ/web/app/models/UOJSubmissionHistory.php

239 lines
8.8 KiB
PHP
Raw Normal View History

2022-11-06 02:26:21 +00:00
<?php
class UOJSubmissionHistory {
use UOJDataTrait;
public $submission = null;
public $n_versions;
public static $fields_without_result = [
'tid' => 'id', 'message' => 'judge_reason', 'time' => 'judge_time',
'judger', 'status', 'result_error',
'actual_score' => 'score', 'used_time', 'used_memory',
'type' => 'if(major, "major", "minor")'
];
public static $fields = [
'tid' => 'id', 'message' => 'judge_reason', 'time' => 'judge_time',
'judger', 'result', 'status', 'result_error',
'actual_score' => 'score', 'used_time', 'used_memory',
'type' => 'if(major, "major", "minor")'
];
public static function query(UOJSubmission $submission, $cfg = []) {
$cfg += [
'minor' => false,
'system' => true
];
$q = [
"select", DB::fields([
'tid' => DB::value(0),
'message' => 'judge_reason',
'time' => DB::if_func(['judge_time' => null], UOJTime::MAX_TIME, DB::raw('judge_time')),
'judger', 'status', 'result_error',
'actual_score' => UOJSubmission::sqlForActualScore(), 'used_time', 'used_memory',
'type' => DB::value('major'),
'priority' => 1000,
]), "from submissions",
"where", ["id" => $submission->info['id']],
"union all",
"select", DB::fields(
UOJSubmissionHistory::$fields_without_result + [
'priority' => 100
]),
"from submissions_history",
"where", [
'submission_id' => $submission->info['id'],
['judge_time', 'is not', null]
] + ($cfg['minor'] ? [] : ['major' => true]),
"union all",
"select", DB::fields([
'tid' => DB::value(-1),
'message',
'time',
'judger' => DB::value(null), 'status' => DB::value(null), 'result_error' => DB::value(null),
'actual_score' => DB::value(null), 'used_time' => DB::value(null), 'used_memory' => DB::value(null),
'type',
'priority' => 99
]), "from system_updates",
"where", [
'type' => 'problem',
'target_id' => $submission->info['problem_id']
],
"union all",
"select", DB::fields([
'tid' => DB::value(-1),
'message' => DB::value(''),
'time' => 'submit_time',
'judger' => DB::value(null), 'status' => DB::value(null), 'result_error' => DB::value(null),
'actual_score' => DB::value(null), 'used_time' => DB::value(null), 'used_memory' => DB::value(null),
'type' => DB::value('submit'),
'priority' => 10
]), "from submissions",
"where", ["id" => $submission->info['id']],
];
if ($cfg['system']) {
$q = array_merge($q, [
"union all",
"select", DB::fields([
'tid' => DB::value(-1),
'message',
'time',
'judger' => DB::value(null), 'status' => DB::value(null), 'result_error' => DB::value(null),
'actual_score' => DB::value(null), 'used_time' => DB::value(null), 'used_memory' => DB::value(null),
'type',
'priority' => 10
]), "from system_updates",
"where", [
['type', 'in', DB::rawtuple(['judge', 'submissions_history'])]
]
]);
}
$q = array_merge($q, [
"order by time, priority asc"
]);
$ret = DB::selectAll($q);
if ($ret === false) {
return null;
}
$st = null;
$ed = null;
foreach ($ret as $idx => &$his) {
if ($his['type'] == 'major' || $his['type'] == 'minor' || $his['type'] == 'submit') {
$ed = $idx;
if ($his['type'] == 'submit') {
$st = $idx;
}
}
if ($his['time'] == UOJTime::MAX_TIME) {
$his['time'] = null;
}
}
$res = [];
foreach ($ret as $idx => &$his) {
if ($st !== null && $idx >= $st) {
$res[] = $his;
}
}
$res = array_reverse($res);
return new UOJSubmissionHistory($res, $submission);
}
public function __construct($info, UOJSubmission $submission) {
$this->info = $info;
$this->submission = $submission;
$this->n_versions = 0;
foreach ($this->info as $his) {
if ($his['type'] == 'major' || $his['type'] == 'minor') {
$this->n_versions++;
}
}
}
public function echoTimeline() {
echo '<div class="list-group timeline">';
if ($this->submission->isLatest()) {
echo '<p class="text-success"><i class="bi bi-check-circle"></i> 你现在查看的是最新测评结果</p>';
} else if (UOJSubmission::info('judge_time') !== null) {
if ($this->submission->isMajor()) {
echo '<p class="text-danger"><i class="bi bi-exclamation-circle"></i> 你现在查看的是测评时间为 ', UOJSubmission::info('judge_time'),' 的历史记录</p>';
} else {
echo '<p class="text-warning"><i class="bi bi-exclamation-circle"></i> 你现在查看的是测评时间为 ', UOJSubmission::info('judge_time'),' 的隐藏记录</p>';
}
}
$h = clone $this->submission;
$cfg = [
'show_actual_score' => true
];
foreach ($this->info as $his) {
$message = json_decode($his['message'], true);
$show_result = true;
$extra = null;
if ($his['type'] == 'major' || $his['type'] == 'minor') {
$h->loadHistory($his);
$cls = 'list-group-item rounded-0';
if ($h->info['tid'] == $this->submission->getTID()) {
$cls .= ' list-group-item-warning';
}
echo '<div class="', $cls, '">';
$extra = '<a class="text-decoration-none" href="'.$h->getUri().'"><i class="bi bi-info-circle"></i> 查看</a>';
$split_cls = ['col-sm-10', 'col-sm-2'];
} else {
$show_result = false;
echo '<div class="list-group-item rounded-0">';
}
if ($extra) {
echo '<div class="row align-items-center">';
echo '<div class="', $split_cls[0], '">';
}
echo '<ul class="list-group-item-text list-inline text-primary mb-1">';
echo '<li class="list-inline-item">';
if ($his['time'] !== null) {
echo '<strong>[', $his['time'], ']</strong>';
} else {
$show_result = false;
if ($his['type'] == 'major' || $his['type'] == 'minor') {
echo '<strong>[', $h->echoStatusBarTD('result', $cfg), ']</strong>';
} else {
echo '<strong>[error]</strong>';
}
}
echo '</li>';
echo '<li class="list-inline-item">';
if (empty($message['text'])) {
if ($his['type'] == 'submit') {
echo '提交';
} else {
echo '评测';
}
} else {
echo HTML::escape($message['text']);
}
echo '</li>';
echo '<li class="list-inline-item">';
if (!empty($message['url'])) {
echo '(', HTML::autolink($message['url']), ')';
}
echo '</li>';
echo '</ul>';
if ($show_result) {
echo '<ul class="-text list-inline mb-0">';
echo '<li class="list-inline-item">';
echo '<strong>测评结果:</strong>';
echo $h->echoStatusBarTD('result', $cfg);
echo '</li>';
echo '<li class="list-inline-item">';
echo '<strong>用时:</strong>';
echo $h->echoStatusBarTD('used_time', $cfg);
echo '</li>';
echo '<li class="list-inline-item">';
echo '<strong>内存:</strong>';
echo $h->echoStatusBarTD('used_memory', $cfg);
echo '</li>';
echo '</ul>';
}
if ($extra) {
echo '</div>'; // col-md-9
echo '<div class="', $split_cls[1],' text-end">', $extra, '</div>';
echo '</div>'; // row
}
echo '</div>'; //
}
echo '</div>';
}
}