S2OJ/web/app/controllers/problem.php

<?php
requireLib('hljs');
requireLib('mathjax');
requirePHPLib('form');
requirePHPLib('judger');

Auth::check() || redirectToLogin();
UOJProblem::init(UOJRequest::get('id')) || UOJResponse::page404();

$problem = UOJProblem::cur()->info;
$problem_content = UOJProblem::cur()->queryContent();

if (UOJRequest::get('contest_id')) {
	UOJContest::init(UOJRequest::get('contest_id')) || UOJResponse::page404();
	UOJProblem::upgradeToContestProblem() || UOJResponse::page404();
}
UOJProblem::cur()->userCanView(Auth::user(), ['ensure' => true]);

$pre_submit_check_ret = UOJProblem::cur()->preSubmitCheck();

$is_participating = false;
$no_more_submission = false;
$submission_warning = null;
if (UOJContest::cur()) {
	if (UOJContest::cur()->userCanParticipateNow(Auth::user())) {
		if (!UOJContest::cur()->userHasMarkedParticipated(Auth::user())) {
			redirectTo(UOJContest::cur()->getUri("/confirm"));
		}
		$is_participating = true;
		$submit_time_limit = UOJContestProblem::cur()->submitTimeLimit();
		$max_cnt = UOJContest::cur()->maxSubmissionCountPerProblem();
		if ($submit_time_limit != -1) {
			$cur_contest_time = (UOJTime::$time_now->getTimestamp() - UOJContest::info('start_time')->getTimestamp()) / 60;
			if ($cur_contest_time > $submit_time_limit) {
				$no_more_submission = "本题只能在比赛的前 {$submit_time_limit} 分钟提交，没法再交咯";
			}
		}
		if (!$no_more_submission) {
			if ($max_cnt != -1) {
				$cnt = UOJContestProblem::cur()->queryUserSubmissionCountInContest(Auth::user());
				if ($cnt >= $max_cnt) {
					$no_more_submission = "提交次数已达到 {$cnt} 次，没法再交咯";
				}
			}
		}
		if (!$no_more_submission) {
			if ($max_cnt != -1) {
				$warning1 = "已使用 {$cnt}/{$max_cnt} 次提交机会";
			} else {
				$warning1 = null;
			}
			if ($submit_time_limit != -1) {
				$warning2 = "注意本题只能在比赛的前 {$submit_time_limit} 分钟提交";
			} else {
				$warning2 = null;
			}
			if ($warning1 && $warning2) {
				$submission_warning = "{$warning1}（{$warning2}）";
			} else {
				$submission_warning = $warning1 !== null ? $warning1 : $warning2;
			}
		}
	}

	// 比赛导航
	$tabs_info = [
		'dashboard' => [
			'name' => UOJLocale::get('contests::contest dashboard'),
			'url' =>  UOJContest::cur()->getUri(),
		],
		'submissions' => [
			'name' => UOJLocale::get('contests::contest submissions'),
			'url' => UOJContest::cur()->getUri('/submissions'),
		],
		'standings' => [
			'name' => UOJLocale::get('contests::contest standings'),
			'url' => UOJContest::cur()->getUri('/standings'),
		],
	];

	if (UOJContest::cur()->progress() > CONTEST_TESTING) {
		$tabs_info['after_contest_standings'] = [
			'name' => UOJLocale::get('contests::after contest standings'),
			'url' => UOJContest::cur()->getUri('/after_contest_standings'),
		];
		$tabs_info['self_reviews'] = [
			'name' => UOJLocale::get('contests::contest self reviews'),
			'url' => UOJContest::cur()->getUri('/self_reviews'),
		];
	}

	if (UOJContest::cur()->userCanManage(Auth::user())) {
		$tabs_info['backstage'] = [
			'name' => UOJLocale::get('contests::contest backstage'),
			'url' => UOJContest::cur()->getUri('/backstage'),
		];
	}
}

$submission_requirement = UOJProblem::cur()->getSubmissionRequirement();
$custom_test_requirement = UOJProblem::cur()->getCustomTestRequirement();
$custom_test_enabled = $custom_test_requirement && $pre_submit_check_ret === true && UOJProblem::info('type') != 'remote';

function handleUpload($zip_file_name, $content, $tot_size) {
	global $is_participating;

	$remote_oj = UOJProblem::cur()->getExtraConfig('remote_online_judge');
	$remote_provider = UOJRemoteProblem::$providers[$remote_oj];

	if (UOJProblem::info('type') == 'remote') {
		$submit_type = in_array($_POST['answer_remote_submit_type'], $remote_provider['submit_type']) ? $_POST['answer_remote_submit_type'] : $remote_provider['submit_type'][0];
		$content['remote_judge'] = true;
		$content['config'][] = ['remote_submit_type', $submit_type];

		if ($submit_type != 'bot') {
			$content['no_rejudge'] = true;
			$content['config'][] = ['remote_account_data', $_POST['answer_remote_account_data']];
		}

		if ($submit_type == 'archive') {
			$content['remote_submission_id'] = $_POST['answer_remote_submission_id'];
			$content['config'][] = ['remote_submission_id', $_POST['answer_remote_submission_id']];

			$content['config'] = array_values(array_filter(
				$content['config'],
				function ($row) {
					return !strEndWith($row[0], '_language');
				},
			));

			$zip_file = new ZipArchive();
			$zip_file->open(UOJContext::storagePath() . $zip_file_name, ZipArchive::OVERWRITE);
			$zip_file->addFromString('answer.code', '');
			$zip_file->close();

			$tot_size = 0;
		}
	}

	$id = UOJSubmission::onUpload($zip_file_name, $content, $tot_size, $is_participating);

	if ($is_participating) {
		// redirect by UOJForm
	} else {
		redirectTo("/submission/$id");
	}
}
function handleCustomTestUpload($zip_file_name, $content, $tot_size) {
	UOJCustomTestSubmission::onUpload($zip_file_name, $content, $tot_size);
}
if ($custom_test_enabled) {
	UOJCustomTestSubmission::init(UOJProblem::cur(), Auth::user());

	if (UOJRequest::get('get') == 'custom-test-status-details') {
		if (!UOJCustomTestSubmission::cur()) {
			echo json_encode(null);
		} elseif (!UOJCustomTestSubmission::cur()->hasJudged()) {
			echo json_encode([
				'judged' => false,
				'waiting' => true,
				'html' => UOJCustomTestSubmission::cur()->getStatusDetailsHTML(),
			]);
		} else {
			ob_start();
			$styler = new CustomTestSubmissionDetailsStyler();
			if (!UOJCustomTestSubmission::cur()->userPermissionCodeCheck(Auth::user(), UOJProblem::cur()->getExtraConfig('view_details_type'))) {
				$styler->fade_all_details = true;
			}
			echoJudgmentDetails(UOJCustomTestSubmission::cur()->getResult('details'), $styler, 'custom_test_details');
			$result = ob_get_contents();
			ob_end_clean();
			echo json_encode([
				'judged' => true,
				'waiting' => false,
				'html' => UOJCustomTestSubmission::cur()->getStatusDetailsHTML(),
				'result' => $result
			]);
		}
		die();
	}

	$custom_test_form = newSubmissionForm(
		'custom_test',
		$custom_test_requirement,
		'FS::randomAvailableTmpFileName',
		'handleCustomTestUpload'
	);
	$custom_test_form->appendHTML('<div id="div-custom_test_result"></div>');
	$custom_test_form->succ_href = 'none';
	$custom_test_form->extra_validator = function () {
		if (UOJCustomTestSubmission::cur() && !UOJCustomTestSubmission::cur()->hasJudged()) {
			return '上一个测评尚未结束';
		}
		return '';
	};
	$custom_test_form->setAjaxSubmit(<<<EOD
		function(response_text) {
			custom_test_onsubmit(
				response_text,
				$('#div-custom_test_result')[0],
				'{$_SERVER['REQUEST_URI']}?get=custom-test-status-details'
			)
		}
	EOD);
	$custom_test_form->config['submit_button']['text'] = UOJLocale::get('problems::run');
	$custom_test_form->runAtServer();
}

if (empty($submission_requirement)) {
	$no_more_submission = UOJLocale::get('problems::cannot submit');
}

if ($pre_submit_check_ret === true && !$no_more_submission) {
	$submission_extra_validator = function () {
		if (!submission_frequency_check()) {
			UOJLog::warning('a user exceeds the submission frequency limit! ' . Auth::id() . ' at problem #' . UOJProblem::info('id'));
			return '交题交得太快啦，坐下来喝杯阿华田休息下吧？';
		}
		return '';
	};

	if (UOJProblem::cur()->userCanUploadSubmissionViaZip(Auth::user())) {
		$zip_answer_form = newZipSubmissionForm(
			'zip_answer',
			$submission_requirement,
			'FS::randomAvailableSubmissionFileName',
			'handleUpload'
		);
		$zip_answer_form->extra_validators[] = $submission_extra_validator;
		$zip_answer_form->succ_href = $is_participating ? UOJContest::cur()->getUri('/submissions') : '/submissions';
		$zip_answer_form->runAtServer();
	}

	$answer_form = newSubmissionForm(
		'answer',
		$submission_requirement,
		'FS::randomAvailableSubmissionFileName',
		'handleUpload'
	);

	if (UOJProblem::info('type') == 'remote') {
		$remote_oj = UOJProblem::cur()->getExtraConfig('remote_online_judge');
		$remote_pid = UOJProblem::cur()->getExtraConfig('remote_problem_id');
		$remote_url = UOJRemoteProblem::getProblemRemoteUrl($remote_oj, $remote_pid);
		$remote_provider = UOJRemoteProblem::$providers[$remote_oj];
		$submit_type = json_encode($remote_provider['submit_type']);

		$answer_form->add('answer_remote_submit_type', '', function ($opt) use ($remote_provider) {
			return in_array($opt, $remote_provider['submit_type']) ? '' : '无效选项';
		}, null);
		$answer_form->add('answer_remote_account_data', '', function ($data) {
			return $_POST['answer_remote_submit_type'] == 'bot' || json_decode($data) !== null ? '' : '无效数据';
		}, null);
		$answer_form->add('answer_remote_submission_id', '', function ($id) {
			return $_POST['answer_remote_submit_type'] != 'archive' || validateUInt($id) ? '' : '无效 ID';
		}, null);
		$answer_form->appendHTML(<<<EOD
			<h5>Remote Judge 配置</h5>
			<div class="" id="answer-remote_submit_group"></div>
			<script>
				$('#answer-remote_submit_group').remote_submit_type_group("{$remote_oj}", "{$remote_pid}", "{$remote_url}", {$submit_type});
			</script>
		EOD);
	}

	$answer_form->extra_validator = $submission_extra_validator;
	$answer_form->succ_href = $is_participating ? UOJContest::cur()->getUri('/submissions') : '/submissions';
	$answer_form->runAtServer();
}

$conf = UOJProblem::cur()->getProblemConf();

if (UOJContest::cur()) {
	$pageTitle = UOJProblem::cur()->getTitle(['with' => 'letter', 'simplify' => true]);
} else {
	$pageTitle = UOJProblem::cur()->getTitle(['with' => 'id']);
}
?>

<?php echoUOJPageHeader(HTML::stripTags($pageTitle) . ' - ' . UOJLocale::get('problems::problem')) ?>

<div class="row">
	<!-- Left col -->
	<div class="col-lg-9">
		<?php if (isset($tabs_info)) : ?>
			<!-- 比赛导航 -->
			<div class="mb-2">
				<?= HTML::tablist($tabs_info, '', 'nav-pills') ?>
			</div>
		<?php endif ?>

		<div class="card card-default mb-2">
			<div class="card-body">
				<h1 class="card-title text-center">
					<?php if (UOJContest::cur()) : ?>
						<?= UOJProblem::cur()->getTitle(['with' => 'letter', 'simplify' => true]) ?>
					<?php else : ?>
						<?= UOJProblem::cur()->getTitle(['with' => 'id']) ?>
					<?php endif ?>
				</h1>

				<?php
				if (UOJProblem::info('type') == 'local') {
					$time_limit = $conf instanceof UOJProblemConf ? $conf->getVal('time_limit', 1) : null;
					$memory_limit = $conf instanceof UOJProblemConf ? $conf->getVal('memory_limit', 256) : null;
					$judge_type = $conf instanceof UOJProblemConf ? $conf->getNonTraditionalJudgeType() : null;
				} else if (UOJProblem::info('type') == 'remote') {
					$time_limit = UOJProblem::cur()->getExtraConfig('time_limit');
					$memory_limit = UOJProblem::cur()->getExtraConfig('memory_limit');
					$judge_type = 'remote_judge';
				}
				?>
				<div class="text-center small">
					<?= UOJLocale::get('problems::time limit') ?>: <?= $time_limit ? "$time_limit s" : "N/A" ?>
					&emsp;
					<?= UOJLocale::get('problems::memory limit') ?>: <?= $memory_limit ? "$memory_limit MB" : "N/A" ?>
					&emsp;
					<?= UOJLocale::get('problems::judge type') ?>: <?= $judge_type ? (UOJLocale::get("problems::judge type $judge_type") ?: $judge_type) : "N/A" ?>
				</div>

				<hr />

				<div class="tab-content">
					<div class="tab-pane active" id="statement">
						<?php if (!UOJContest::cur()) : ?>
							<?php $contest_problems = UOJProblem::cur()->findInContests(); ?>
							<?php if (!empty($contest_problems)) : ?>
								<div class="alert alert-light">
									<h5 class="alert-heading"><?= UOJLocale::get('problems::the problem was used in the following contest') ?>:</h5>
									<ul class="mb-0">
										<?php usort($contest_problems, fn ($a, $b) => $a->contest->info['start_time'] < $b->contest->info['start_time']); ?>
										<?php foreach ($contest_problems as $cp) : ?>
											<?php if ($cp->userCanView(Auth::user())) : ?>
												<li>
													<?= $cp->contest->getLink(['class' => 'alert-link text-decoration-underline']) ?>
													<small>(<?= $cp->contest->info['start_time_str'] ?>)</small>
												</li>
											<?php endif ?>
										<?php endforeach ?>
									</ul>
								</div>

								<hr />
							<?php endif ?>
						<?php endif ?>

						<article class="mt-3 markdown-body">
							<?= $problem_content['statement'] ?>
						</article>

						<?php if (UOJProblem::info('type') == 'remote') : ?>
							<hr>

							<article class="mt-3 markdown-body remote-content">
								<?= $problem_content['remote_content'] ?>
							</article>
						<?php endif ?>
					</div>
					<div class="tab-pane" id="submit">
						<?php if ($pre_submit_check_ret !== true) : ?>
							<p class="text-warning-emphasis h4"><?= $pre_submit_check_ret ?></p>
						<?php elseif ($no_more_submission) : ?>
							<p class="text-warning-emphasis h4"><?= $no_more_submission ?></p>
						<?php else : ?>
							<?php if ($submission_warning) : ?>
								<p class="text-warning-emphasis h4"><?= $submission_warning ?></p>
							<?php endif ?>
							<?php if (isset($zip_answer_form)) : ?>
								<?php $zip_answer_form->printHTML(); ?>
								<hr />
								<strong><?= UOJLocale::get('problems::or upload files one by one') ?><br /></strong>
							<?php endif ?>
							<?php $answer_form->printHTML(); ?>
						<?php endif ?>
					</div>
					<?php if ($custom_test_enabled) : ?>
						<div class="tab-pane" id="custom-test">
							<?php $custom_test_form->printHTML(); ?>
						</div>
					<?php endif ?>
				</div>
			</div>
		</div>
	</div>
	<!-- end left col -->

	<!-- right col -->
	<aside class="col-lg-3 mt-3 mt-lg-0">
		<?php if (UOJContest::cur()) : ?>
			<?= UOJContest::cur()->getContestCard() ?>
		<?php endif ?>

		<!-- 题目导航卡片 -->
		<div class="card card-default mb-2">
			<ul class="nav nav-pills nav-fill flex-column" role="tablist">
				<li class="nav-item text-start">
					<a href="#statement" class="nav-link active" role="tab" data-bs-toggle="pill" data-bs-target="#statement">
						<i class="bi bi-journal-text"></i>
						<?= UOJLocale::get('problems::statement') ?>
					</a>
				</li>
				<li class="nav-item text-start">
					<a href="#submit" class="nav-link" role="tab" data-bs-toggle="pill" data-bs-target="#submit">
						<i class="bi bi-upload"></i>
						<?= UOJLocale::get('problems::submit') ?>
					</a>
				</li>
				<?php if ($custom_test_enabled) : ?>
					<li class="nav-item text-start">
						<a class="nav-link" href="#custom-test" role="tab" data-bs-toggle="pill" data-bs-target="#custom-test">
							<i class="bi bi-braces"></i>
							<?= UOJLocale::get('problems::custom test') ?>
						</a>
					</li>
				<?php endif ?>
				<?php if (!UOJContest::cur() || UOJContest::cur()->progress() >= CONTEST_FINISHED) : ?>
					<li class="nav-item text-start">
						<a href="/problem/<?= UOJProblem::info('id') ?>/solutions" class="nav-link">
							<i class="bi bi-journal-bookmark"></i>
							<?= UOJLocale::get('problems::solutions') ?>
						</a>
					</li>
				<?php endif ?>
				<li class="nav-item text-start">
					<a class="nav-link" href="/submissions?problem_id=<?= UOJProblem::info('id') ?>">
						<i class="bi bi-list-ul"></i>
						<?= UOJLocale::get('submissions') ?>
					</a>
				</li>
				<?php if (UOJContest::cur() && UOJContest::cur()->userCanSeeProblemStatistics(Auth::user())) : ?>
					<li class="nav-item text-start">
						<a class="nav-link" href="<?= UOJContestProblem::cur()->getUri('/statistics') ?>">
							<i class="bi bi-graph-up"></i>
							<?= UOJLocale::get('problems::statistics') ?>
						</a>
					</li>
				<?php elseif (!UOJContest::cur()) : ?>
					<li class="nav-item text-start">
						<a class="nav-link" href="<?= UOJProblem::cur()->getUri('/statistics') ?>">
							<i class="bi bi-graph-up"></i>
							<?= UOJLocale::get('problems::statistics') ?>
						</a>
					</li>
				<?php endif ?>
				<?php if (UOJProblem::cur()->userCanManage(Auth::user())) : ?>
					<li class="nav-item text-start">
						<a class="nav-link" href="/problem/<?= UOJProblem::info('id') ?>/manage/statement">
							<i class="bi bi-sliders"></i>
							<?= UOJLocale::get('problems::manage') ?>
						</a>
					</li>
				<?php endif ?>
			</ul>
		</div>

		<!-- 题目信息卡片 -->
		<div class="card mb-2">
			<ul class="list-group list-group-flush">
				<li class="list-group-item d-flex justify-content-between align-items-center">
					<span class="flex-shrink-0">
						<?= UOJLocale::get('problems::uploader') ?>
					</span>
					<span class="text-end">
						<?= UOJProblem::cur()->getUploaderLink() ?>
					</span>
				</li>
				<li class="list-group-item d-flex justify-content-between align-items-center">
					<span class="flex-shrink-0">
						<?= UOJLocale::get('problems::problem source') ?>
					</span>
					<span class="text-end">
						<?= UOJProblem::cur()->getProviderLink() ?>
					</span>
				</li>
				<?php if (!UOJContest::cur() || UOJContest::cur()->progress() >= CONTEST_FINISHED) : ?>
					<li class="list-group-item d-flex justify-content-between align-items-center">
						<span class="flex-shrink-0">
							<?= UOJLocale::get('problems::difficulty') ?>
						</span>
						<span class="text-end">
							<?= UOJProblem::cur()->getDifficultyHTML() ?>
						</span>
					</li>
					<?php if (Auth::check()) : ?>
						<li class="list-group-item d-flex justify-content-between align-items-center">
							<span class="flex-shrink-0">
								<?= UOJLocale::get('problems::historical score') ?>
							</span>

							<?php $his_score = DB::selectSingle(["select max(score)", "from submissions", "where", ["problem_id" => UOJProblem::info('id'), "submitter" => Auth::id()]]) ?>
							<a class="<?= is_null($his_score) ? '' : 'uoj-score' ?> text-end" href="<?= HTML::url('/submissions', ['params' => ['problem_id' => UOJProblem::info('id'), 'submitter' => Auth::id()]]) ?>">
								<?= is_null($his_score) ? '无' : UOJSubmission::roundedScore($his_score) ?>
							</a>
						</li>
					<?php endif ?>
					<li class="list-group-item d-flex justify-content-between align-items-center">
						<span class="flex-shrink-0">
							<?= UOJLocale::get('problems::tags') ?>
						</span>
						<span class="text-end">
							<?php if (UOJProblem::info('is_hidden')) : ?>
								<a href="<?= HTML::url('/problems', ['params' => ['is_hidden' => 'on']]) ?>">
									<span class="badge text-bg-danger">
										<i class="bi bi-eye-slash-fill"></i>
										<?= UOJLocale::get('hidden') ?>
									</span>
								</a>
							<?php endif ?>
							<?php foreach (UOJProblem::cur()->queryTags() as $tag) : ?>
								<?= HTML::tag(
									'a',
									['class' => 'uoj-problem-tag'],
									HTML::tag('span', ['class' => 'badge bg-secondary'], HTML::escape($tag))
								) ?>
							<?php endforeach ?>
						</span>
					</li>
				<?php endif ?>
				<li class="list-group-item d-flex justify-content-between align-items-center">
					<span class="flex-shrink-0">
						<?= UOJLocale::get('appraisal') ?>
					</span>
					<span class="text-end">
						<?= UOJProblem::cur()->getZanBlock() ?>
					</span>
				</li>
			</ul>
		</div>

		<?php if (UOJProblem::info('hackable')) : ?>
			<div class="alert alert-primary mb-2">
				<i class="bi bi-info-circle"></i>
				本题目开放 Hack。
			</div>
		<?php endif ?>

		<!-- 附件 -->
		<div class="card mb-2">
			<div class="card-header fw-bold">
				<?= UOJLocale::get('problems::attachments') ?>
			</div>
			<div class="list-group list-group-flush">
				<?php if (UOJProblem::cur()->userCanDownloadTestData(Auth::user())) : ?>
					<a class="list-group-item list-group-item-action" href="<?= HTML::url(UOJProblem::cur()->getMainDataUri()) ?>">
						<i class="bi bi-hdd-stack"></i>
						<?= UOJLocale::get('problems::test data') ?>
					</a>
				<?php endif ?>
				<a class="list-group-item list-group-item-action" href="<?= HTML::url(UOJProblem::cur()->getAttachmentUri()) ?>">
					<i class="bi bi-download"></i>
					<?= UOJLocale::get('problems::attachments download') ?>
				</a>
				<a class="list-group-item list-group-item-action" href="<?= HTML::url(UOJProblem::cur()->getResourcesBaseUri()) ?>">
					<i class="bi bi-folder2-open"></i>
					<?= UOJLocale::get('problems::resources') ?>
				</a>
			</div>
		</div>

		<?php
		$sidebar_config = [];
		if (UOJContest::cur() && UOJContest::cur()->progress() <= CONTEST_IN_PROGRESS) {
			$sidebar_config['upcoming_contests_hidden'] = '';
		}

		uojIncludeView('sidebar', $sidebar_config);
		?>
	</aside>
	<!-- end right col -->

</div>

<script>
	$(document).ready(function() {
		// Javascript to enable link to tab
		var hash = location.hash.replace(/^#/, '');
		if (hash) {
			bootstrap.Tab.jQueryInterface.call($('.nav-pills a[href="#' + hash + '"]'), 'show').blur();
		}

		// Change hash for page-reload
		$('.nav-pills a').on('shown.bs.tab', function(e) {
			if (e.target.hash == '#statement') {
				window.location.hash = '';
			} else {
				window.location.hash = e.target.hash;
			}
		});
	});
</script>

<?php echoUOJPageFooter() ?>