'auto']; $problem = $cfg['problem'] === 'auto' ? UOJProblem::query($this->info['problem_id']) : $cfg['problem']; if (!($problem instanceof UOJProblem && $problem->info['id'] == $this->info['problem_id'])) { return false; } if (isset($this->info['contest_id'])) { if (!($problem instanceof UOJContestProblem && $problem->contest->info['id'] == $this->info['contest_id'])) { $problem = new UOJContestProblem($problem->info, UOJContest::query($this->info['contest_id'])); if (!$problem->valid()) { return false; } } } else { if ($problem instanceof UOJContestProblem) { $problem = new UOJProblem($problem->info); } } $this->problem = $problem; return true; } public function userIsSubmitter(array $user = null) { return $user && $this->info['submitter'] === $user['username']; } public function userCanView(array $user = null, array $cfg = []) { $cfg += ['ensure' => false]; if (!$this->problem->userCanView($user) && !$this->userIsSubmitter($user)) { $cfg['ensure'] && UOJResponse::page403(); return false; } elseif (!$this->info['is_hidden']) { return true; } elseif ($this->userCanManageProblemOrContest($user)) { return true; } else { $cfg['ensure'] && UOJResponse::page404(); return false; } } public function userCanManageProblemOrContest(array $user = null) { if (!$this->problem instanceof UOJContestProblem && $this->problem->userCanManage($user)) { return true; } elseif ($this->problem instanceof UOJContestProblem && $this->problem->contest->userCanManage($user)) { return true; } else { return false; } } public function userCanDelete(array $user = null) { return isSuperUser($user); } public function publicStatus() { return explode(', ', $this->info['status'])[0]; } public function isWaiting() { $status = $this->publicStatus(); return $status === 'Waiting' || $status === 'Waiting Rejudge'; } public function hasJudged() { return $this->publicStatus() === 'Judged'; } public function userPermissionCodeCheck(array $user = null, $perm_code) { switch ($perm_code) { case 'SELF': return $this->userIsSubmitter($user); default: return $this->problem->userPermissionCodeCheck($user, $perm_code); } } public function viewerCanSeeStatusDetailsHTML(array $user = null) { return $this->userIsSubmitter($user) && !$this->hasJudged(); } public function getStatusDetailsHTML() { return getSubmissionStatusDetailsHTML($this->publicStatus(), $this->info['status_details']); } public function getUri() { return $this->info['id']; } public function getLink() { return '#' . $this->info['id'] . ''; } public function getResult($key = null) { if (!isset($this->info['result'])) { return null; } $result = json_decode($this->info['result'], true); if ($key === null) { return $result; } return isset($result[$key]) ? $result[$key] : null; } public function getContent($key = null) { if (!isset($this->info['content'])) { return null; } $content = json_decode($this->info['content'], true); if ($key === null) { return $content; } return isset($content[$key]) ? $content[$key] : null; } public function echoContent($cfg = []) { $cfg += [ 'list_group' => false, ]; $content = $this->getContent(); if (!$content) { return false; } $card_class = 'card mb-3'; $card_header_class = 'card-header fw-bold'; $card_body_class = 'card-body'; $card_footer_class = 'card-footer'; if ($cfg['list_group']) { $card_class = 'list-group-item'; $card_header_class = 'fw-bold mb-2'; $card_body_class = ''; $card_footer_class = 'text-end mt-2'; } if ($content['remote_submission_id']) { echo <<
远程提交
远程提交 ID: {$content['remote_submission_id']}
源代码请在「详细信息」选项卡查看。
EOD; return true; } $zip_file = new ZipArchive(); if ($zip_file->open(UOJContext::storagePath() . $content['file_name'], ZipArchive::RDONLY) !== true) { echo <<
提交内容
木有
EOD; return false; } $config = []; foreach ($content['config'] as $val) { $config[$val[0]] = $val[1]; } foreach ($this->problem->getSubmissionRequirement() as $req) { if ($req['type'] == "source code") { $file_content = $zip_file->getFromName("{$req['name']}.code"); if ($file_content === false) { $file_content = ''; } if (isset($config["{$req['name']}_language"])) { $file_language = $config["{$req['name']}_language"]; } else { $file_language = '?'; } $file_content = uojTextEncode($file_content, array('allow_CR' => true, 'html_escape' => true)); $footer_text = UOJLocale::get('problems::source code') . ': '; $footer_text .= UOJLang::getLanguageDisplayName($file_language); $sh_class = UOJLang::getLanguagesCSSClass($file_language); echo <<
{$req['name']}
{$file_content}\n
EOD; } elseif ($req['type'] == "text") { $file_content = $zip_file->getFromName("{$req['file_name']}", 504); if ($file_content === false) { $file_content = ''; } $file_content = strOmit($file_content, 500); $file_content = uojTextEncode($file_content, array('allow_CR' => true, 'html_escape' => true)); $footer_text = UOJLocale::get('problems::text file'); echo <<
{$req['file_name']}
\n{$file_content}\n
EOD; } } $zip_file->close(); return true; } protected function echoStatusBarTDBase($name, array $cfg) { $cfg += [ 'time_format' => 'normal', 'time_font_size' => 'small', 'unknown_char' => '/', ]; switch ($name) { case 'id': echo $this->getLink(); break; case 'problem': if ($this->problem) { echo $this->problem->getLink(isset($cfg['problem_title']) ? $cfg['problem_title'] : []); } else { echo '?'; } break; case 'submitter': case 'owner': case 'hacker': echo UOJUser::getLink($this->info[$name]); break; case 'used_time': if ($cfg['show_actual_score']) { if ($this->info['used_time'] < 1000) { echo $this->info['used_time'] . ' ms'; } else { echo sprintf("%.2f", $this->info['used_time'] / 1000) . ' s'; } } else { echo $cfg['unknown_char']; } break; case 'used_memory': if ($cfg['show_actual_score']) { if ($this->info['used_memory'] < 1024) { echo $this->info['used_memory'] . ' KB'; } else { echo sprintf("%.2f", $this->info['used_memory'] / 1024) . ' MB'; } } else { echo $cfg['unknown_char']; } break; case 'tot_size': if ($this->info['tot_size'] < 1024) { echo $this->info['tot_size'] . ' B'; } else { echo sprintf("%.2f", $this->info['tot_size'] / 1024) . ' KB'; } break; case 'submit_time': case 'judge_time': if ($cfg['time_font_size'] == 'small') { echo ''; } if ($cfg['time_format'] == 'friendly') { echo UOJTime::userFriendlyFormat($this->info[$name]); } else { echo $this->info[$name]; } if ($cfg['time_font_size'] == 'small') { echo ''; } break; default: echo '?'; break; } } }