S2OJ/web/app/libs/uoj-html-lib.php

<?php

function uojHandleAtSign($str, $uri) {
	$referrers = array();
	$res = preg_replace_callback('/@(@|[a-zA-Z0-9_]{1,20})/', function ($matches) use (&$referrers) {
		if ($matches[1] === '@') {
			return '@';
		} else {
			$user = queryUser($matches[1]);
			if ($user == null) {
				return $matches[0];
			} else {
				$referrers[$user['username']] = '';
				return '<span class="uoj-username">@' . $user['username'] . '</span>';
			}
		}
	}, $str);

	$referrers_list = array();
	foreach ($referrers as $referrer => $val) {
		$referrers_list[] = $referrer;
	}

	return array($res, $referrers_list);
}

function uojStringPreview($str, $output_limit, $type = 'text') {
	switch ($type) {
		case 'text':
			return strOmit($str, $output_limit);
		case 'binary':
			return strOmit(chunk_split(chunk_split(bin2hex($str), 8, ' '), (8 + 1) * 8, "\n"), $output_limit * 2);
		default:
			return false;
	}
}

function uojFilePreview($file_name, $output_limit, $file_type = 'text') {
	return uojStringPreview(file_get_contents($file_name, false, null, 0, $output_limit + 4), $output_limit, $file_type);
}

function uojIncludeView($name, $view_params = array()) {
	extract($view_params);
	include $_SERVER['DOCUMENT_ROOT'] . '/app/views/' . $name . '.php';
}

function redirectTo(string $url) {
	header('Location: ' . $url);
	die();
}
function permanentlyRedirectTo(string $url) {
	header("HTTP/1.1 301 Moved Permanently");
	header('Location: ' . $url);
	die();
}
function permanentlyRedirectToHTTPS() {
	if (UOJContext::isUsingHttps()) {
		return false;
	}
	permanentlyRedirectTo('https://' . UOJContext::httpHost() . UOJContext::requestURI());
	die();
}
function permanentlyRedirectToHTTP() {
	if (!UOJContext::isUsingHttps()) {
		return false;
	}
	permanentlyRedirectTo('http://' . UOJContext::httpHost() . UOJContext::requestURI());
	die();
}
function redirectToLogin() {
	if (UOJContext::isAjax()) {
		die('please <a href="' . HTML::url('/login') . '">login</a>');
	} else {
		header('Location: ' . HTML::url('/login'));
		die();
	}
}
function becomeMsgPage($msg, $title = '消息') {
	global $REQUIRE_LIB;

	if (UOJContext::isAjax()) {
		die($msg);
	} else {
		$REQUIRE_LIB['bootstrap5'] = '';

		echoUOJPageHeader($title);
		echo $msg;
		echoUOJPageFooter();
		die();
	}
}
function become404Page($message = '未找到页面。') {
	header($_SERVER['SERVER_PROTOCOL'] . " 404 Not Found", true, 404);
	becomeMsgPage('<div class="text-center"><div style="font-size:150px">404</div><p>' . $message . '</p></div>', '404');
}
function become403Page($message = '访问被拒绝，您可能需要适当的权限以访问此页面。') {
	header($_SERVER['SERVER_PROTOCOL'] . " 403 Forbidden", true, 403);
	becomeMsgPage('<div class="text-center"><div style="font-size:150px">403</div><p>' . $message . '</p></div>', '403');
}

function getUserLink($username) {
	if (validateUsername($username) && ($user = queryUser($username)) && $user['usergroup'] != 'B') {
		$realname = $user['realname'];

		if ($realname == "") {
			return '<span class="uoj-username">' . $username . '</span>';
		} else {
			return '<span class="uoj-username" data-realname="' . HTML::escape($realname) . '">' . $username . '</span>';
		}
	} else {
		$esc_username = HTML::escape($username);
		return '<span>' . $esc_username . '</span>';
	}
}

function getUserName($username, $realname = null) {
	if ($realname == null) {
		if (validateUsername($username) && ($user = queryUser($username))) {
			$realname = $user['realname'];
		}
	}

	if ($realname == "") {
		return "$username";
	} else {
		return "$username ($realname)";
	}
}


function getProblemLink($problem, $problem_title = '!title_only') {
	global $REQUIRE_LIB;

	if ($problem_title == '!title_only') {
		$problem_title = $problem['title'];
	} elseif ($problem_title == '!id_and_title') {
		$problem_title = "#${problem['id']}. ${problem['title']}";
	}
	$result = '<a ';
	if (isset($REQUIRE_LIB['bootstrap5'])) {
		$result .= ' class="text-decoration-none" ';
	}
	$result .= ' href="/problem/' . $problem['id'] . '">' . $problem_title . '</a>';

	return $result;
}
function getContestProblemLink($problem, $contest_id, $problem_title = '!title_only') {
	if ($problem_title == '!title_only') {
		$problem_title = $problem['title'];
	} elseif ($problem_title == '!id_and_title') {
		$problem_title = "#{$problem['id']}. {$problem['title']}";
	}
	$result = '<a class="text-decoration-none" href="/contest/' . $contest_id . '/problem/' . $problem['id'] . '">' . $problem_title . '</a>';

	return $result;
}
function getBlogLink($id) {
	$result = '';
	if (validateUInt($id) && $blog = queryBlog($id)) {
		$result = '<a class="text-decoration-none" href="/blogs/' . $id . '">' . $blog['title'] . '</a>';
	}

	return $result;
}

function getLongTablePageRawUri($page) {
	$path = strtok(UOJContext::requestURI(), '?');
	$query_string = strtok('?');
	parse_str($query_string, $param);

	$param['page'] = $page;
	if ($page == 1) {
		unset($param['page']);
	}

	if ($param) {
		return $path . '?' . http_build_query($param);
	} else {
		return $path;
	}
}
function getLongTablePageUri($page) {
	return HTML::escape(getLongTablePageRawUri($page));
}

function echoLongTable($col_names, $table_name, $cond, $tail, $header_row, $print_row, $config) {
	$pag_config = $config;
	$pag_config['col_names'] = $col_names;
	$pag_config['table_name'] = $table_name;
	$pag_config['cond'] = $cond;
	$pag_config['tail'] = $tail;
	$pag = new Paginator($pag_config);

	$div_classes = isset($config['div_classes']) ? $config['div_classes'] : ['table-responsive'];
	$table_classes = isset($config['table_classes']) ? $config['table_classes'] : ['table', 'text-center', 'align-middle'];

	if (isset($config['head_pagination']) && $config['head_pagination']) {
		echo $pag->pagination();
	}

	echo '<div class="', implode(' ', $div_classes), '">';

	if (isset($config['print_before_table'])) {
		$fun = $config['print_before_table'];
		$fun();
	}

	echo '<table class="', implode(' ', $table_classes), '">';
	echo '<thead>';
	echo $header_row;
	echo '</thead>';
	echo '<tbody>';

	foreach ($pag->get() as $idx => $row) {
		if (isset($config['get_row_index'])) {
			$print_row($row, $idx);
		} else {
			$print_row($row);
		}
	}
	if ($pag->isEmpty()) {
		echo HTML::tr_none();
	}

	echo '</tbody>';
	echo '</table>';

	if (isset($config['print_after_table'])) {
		$fun = $config['print_after_table'];
		$fun();
	}

	echo '</div>';

	echo $pag->pagination();
}

function getSubmissionStatusDetails($submission) {
	$html = '<td class="text-center" colspan="233" style="vertical-align: middle">';

	$out_status = explode(', ', $submission['status'])[0];

	$fly = '<img src="/images/utility/qpx_n/b37.gif" alt="小熊像超人一样飞" class="img-rounded" />';
	$think = '<img src="/images/utility/qpx_n/b29.gif" alt="小熊像在思考" class="img-rounded" />';

	if ($out_status == 'Judged') {
		$status_text = '<strong>Judged!</strong>';
		$status_img = $fly;
	} else {
		if ($submission['status_details'] !== '') {
			$status_img = $fly;
			$status_text = HTML::escape($submission['status_details']);
		} else {
			$status_img = $think;
			$status_text = $out_status;
		}
	}
	$html .= '<div class="uoj-status-details-img-div">' . $status_img . '</div>';
	$html .= '<div class="uoj-status-details-text-div">' . $status_text . '</div>';

	$html .= '</td>';
	return $html;
}

function getSubmissionStatusDetailsHTML($status, $status_details) {
	$html = '<td class="text-center" colspan="233" style="vertical-align: middle">';

	$fly = '<img src="/images/utility/qpx_n/b37.gif" alt="小熊像超人一样飞" class="img-rounded" />';
	$think = '<img src="/images/utility/qpx_n/b29.gif" alt="小熊像在思考" class="img-rounded" />';

	if ($status == 'Judged') {
		$status_text = '<strong>Judged!</strong>';
		$status_img = $fly;
	} else {
		if ($status_details !== '') {
			$status_img = $fly;
			$status_text = HTML::escape($status_details);
		} else {
			$status_img = $think;
			$status_text = $status;
		}
	}
	$html .= '<div class="uoj-status-details-img-div">' . $status_img . '</div>';
	$html .= '<div class="uoj-status-details-text-div">' . $status_text . '</div>';

	$html .= '</td>';
	return $html;
}


function echoSubmission($submission, $config, $viewer) {
	$usubm = new UOJSubmission($submission);
	$usubm->setProblem();
	$usubm->echoStatusTableRow($config, $viewer);
}


function echoSubmissionsListOnlyOne($submission, $config, $user) {
	echo '<div class="card mb-3 table-responsive">';
	echo '<table class="table text-center uoj-table mb-0">';
	echo '<thead>';
	echo '<tr>';
	if (!isset($config['id_hidden'])) {
		echo '<th>ID</th>';
	}
	if (!isset($config['problem_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::problem') . '</th>';
	}
	if (!isset($config['submitter_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::submitter') . '</th>';
	}
	if (!isset($config['result_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::result') . '</th>';
	}
	if (!isset($config['used_time_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::used time') . '</th>';
	}
	if (!isset($config['used_memory_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::used memory') . '</th>';
	}
	echo '<th>' . UOJLocale::get('problems::language') . '</th>';
	echo '<th>' . UOJLocale::get('problems::file size') . '</th>';
	if (!isset($config['submit_time_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::submit time') . '</th>';
	}
	if (!isset($config['judge_time_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::judge time') . '</th>';
	}
	echo '</tr>';
	echo '</thead>';
	echo '<tbody>';
	echoSubmission($submission, $config, $user);
	echo '</tbody>';
	echo '</table>';
	echo '</div>';
}


function echoSubmissionsList($cond, $tail, $config, $user) {
	$header_row = '<tr>';
	$col_names = [
		'submissions.status_details',
		'submissions.status',
		'submissions.result_error',
		'submissions.score',
	];

	if (!isset($config['problem'])) {
		$config['problem'] = null;
	}
	if (!isset($config['id_hidden'])) {
		$header_row .= '<th>ID</th>';
		$col_names[] = 'submissions.id';
	}
	if (!isset($config['problem_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::problem') . '</th>';
		$col_names[] = 'submissions.problem_id';
		$col_names[] = 'submissions.contest_id';
	}
	if (!isset($config['submitter_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::submitter') . '</th>';
		$col_names[] = 'submissions.submitter';
	}
	if (!isset($config['result_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::result') . '</th>';
	}
	if (!isset($config['used_time_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::used time') . '</th>';
		$col_names[] = 'submissions.used_time';
	}
	if (!isset($config['used_memory_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::used memory') . '</th>';
		$col_names[] = 'submissions.used_memory';
	}
	$header_row .= '<th>' . UOJLocale::get('problems::language') . '</th>';
	$col_names[] = 'submissions.language';
	$header_row .= '<th>' . UOJLocale::get('problems::file size') . '</th>';
	$col_names[] = 'submissions.tot_size';

	if (!isset($config['submit_time_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::submit time') . '</th>';
		$col_names[] = 'submissions.submit_time';
	}
	if (!isset($config['judge_time_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::judge time') . '</th>';
		$col_names[] = 'submissions.judge_time';
	}
	$header_row .= '</tr>';

	$table_name = isset($config['table_name']) ? $config['table_name'] : 'submissions';

	if (!isProblemManager($user)) {
		if ($user != null) {
			$permission_cond = DB::lor([
				"submissions.is_hidden" => "false",
				"submissions.submitter" => $user['username'],
				DB::land([
					"submissions.is_hidden" => true,
					DB::lor([
						"submissions.problem_id in (select problem_id from problems_permissions where username = '{$user['username']}')",
						"submissions.problem_id in (select id from problems where uploader = '{$user['username']}'))",
					]),
				]),
			]);
		} else {
			$permission_cond = ["submissions.is_hidden" => "false"];
		}
		if ($cond !== '1') {
			$cond = DB::land($cond, $permission_cond);
		} else {
			$cond = $permission_cond;
		}
	}

	$table_config = isset($config['table_config']) ? $config['table_config'] : null;

	echoLongTable(
		$col_names,
		$table_name,
		$cond,
		$tail,
		$header_row,
		function ($submission) use ($config, $user) {
			echoSubmission($submission, $config, $user);
		},
		$table_config
	);
}

function echoSubmissionContent($submission, $requirement) {
	$zip_file = new ZipArchive();
	$submission_content = json_decode($submission['content'], true);
	$zip_file->open(UOJContext::storagePath() . $submission_content['file_name']);

	$config = array();
	foreach ($submission_content['config'] as $config_key => $config_val) {
		$config[$config_val[0]] = $config_val[1];
	}

	foreach ($requirement as $req) {
		if ($req['type'] == "source code") {
			$file_content = $zip_file->getFromName("{$req['name']}.code");
			$file_content = uojTextEncode($file_content, array('allow_CR' => true, 'html_escape' => true));
			$file_language = htmlspecialchars($config["{$req['name']}_language"]);
			$footer_text = UOJLocale::get('problems::source code') . ', ' . UOJLocale::get('problems::language') . ': ' . $file_language;
			switch ($file_language) {
				case 'C++':
				case 'C++11':
				case 'C++17':
				case 'C++20':
				case 'C++98':
				case 'C++03':
					$sh_class = 'sh_cpp language-cpp';
					break;
				case 'Python2':
				case 'Python2.7':
				case 'Python3':
					$sh_class = 'sh_python language-python';
					break;
				case 'Java8':
				case 'Java11':
				case 'Java17':
					$sh_class = 'sh_java language-java';
					break;
				case 'C':
					$sh_class = 'sh_c language-c';
					break;
				case 'Pascal':
					$sh_class = 'sh_pascal language-pascal';
					break;
				default:
					$sh_class = '';
					break;
			}
			echo '<div class="card border-info mb-3">';
			echo '<div class="card-header bg-info">';
			echo '<h4 class="card-title">' . $req['name'] . '</h4>';
			echo '</div>';
			echo '<div class="card-body">';
			echo '<pre><code class="' . $sh_class . ' bg-light rounded p-3">' . $file_content . "\n" . '</code></pre>';
			echo '</div>';
			echo '<div class="card-footer">' . $footer_text . '</div>';
			echo '</div>';
		} elseif ($req['type'] == "text") {
			$file_content = $zip_file->getFromName("{$req['file_name']}", 504);
			$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 '<div class="card border-info mb-3">';
			echo '<div class="card-header bg-info">';
			echo '<h4 class="card-title">' . $req['file_name'] . '</h4>';
			echo '</div>';
			echo '<div class="card-body">';
			echo '<pre class="bg-light rounded p-3 ">', "\n" . $file_content . "\n" . '</pre>';
			echo '</div>';
			echo '<div class="card-footer">' . $footer_text . '</div>';
			echo '</div>';
		}
	}

	$zip_file->close();
}


class JudgmentDetailsPrinter {
	private $name;
	private $styler;
	private DOMDocument $dom;

	private $subtask_num;

	private function _get_attr(DOMElement $node, string $attr, $default = '') {
		$val = $node->getAttribute($attr);
		if ($val === '') {
			$val = $default;
		}
		return $val;
	}

	private function _print_c(DOMElement $node) {
		foreach ($node->childNodes as $child) {
			if ($child->nodeName == '#text') {
				echo htmlspecialchars($child->nodeValue);
			} else {
				$this->_print($child);
			}
		}
	}
	private function _print(DOMElement $node) {
		if ($node->nodeName == 'error') {
			echo '<pre class="bg-light rounded p-3">', "\n";
			$this->_print_c($node);
			echo "\n</pre>";
		} elseif ($node->nodeName == 'tests') {
			if ($node->hasAttribute("errcode")) {
				echo "<pre>", "Judgment Failed. Error Code: ", $node->getAttribute("errcode"), ".</pre>";
			}
			echo '<div id="', $this->name, '_details_accordion">';
			$this->_print_c($node);
			if ($this->styler->show_small_tip) {
				echo '<div class="my-2 px-2 text-end text-muted">', '小提示：点击横条可展开更详细的信息', '</div>';
			}
			echo '</div>';
		} elseif ($node->nodeName == 'subtask') {
			$subtask_info = $node->getAttribute('info');
			$subtask_num = $node->getAttribute('num');
			$subtask_score = $node->getAttribute('score');
			$subtask_time = $this->_get_attr($node, 'time', -1);
			$subtask_memory = $this->_get_attr($node, 'memory', -1);

			$subtask_type = $this->_get_attr($node, 'type', 'packed');
			$subtask_used_time_type = $this->_get_attr($node, 'used-time-type', 'sum');

			echo '<div class="card border-0 rounded-0 border-bottom ', $this->styler->getTestInfoClass($subtask_info), '">';

			$accordion_parent = "{$this->name}_details_accordion";
			$accordion_collapse =  "{$accordion_parent}_collapse_subtask_{$subtask_num}";
			$accordion_collapse_accordion =  "{$accordion_collapse}_accordion";
			echo 	'<div class="card-header uoj-submission-result-item bg-transparent rounded-0 border-0" data-bs-toggle="collapse" data-bs-parent="#', $accordion_parent, '" data-bs-target="#', $accordion_collapse, '">';

			echo 		'<div class="row">';
			echo 			'<div class="col-sm-4">';
			echo 				'<h3 class="fs-5">', 'Subtask #', $subtask_num, ': ', '</h3>';
			echo 			'</div>';

			if ($this->styler->show_score) {
				echo 		'<div class="col-sm-2">';
				echo        '<i class="bi bi-clipboard-check"></i>: ', $subtask_score;
				echo 		'</div>';
				echo 		'<div class="col-sm-2 uoj-status-text">';
				echo 		$this->styler->getTestInfoIcon($subtask_info);
				echo 			htmlspecialchars($subtask_info);
				echo 		'</div>';
			} else {
				echo 		'<div class="col-sm-4">';
				echo		$this->styler->getTestInfoIcon($subtask_info);
				echo 			htmlspecialchars($subtask_info);
				echo 		'</div>';
			}

			if ($subtask_time >= 0) {
				echo '<div class="col-sm-3">';
				echo '<i class="bi bi-hourglass-split"></i> ', $subtask_time, ' ms';
				echo '</div>';
			}

			if ($subtask_memory >= 0) {
				echo '<div class="col-sm-3">';
				echo '<i class="bi bi-memory"></i> ', $subtask_memory, ' kB';
				echo '</div>';
			}

			echo 		'</div>';
			echo 	'</div>';

			echo 	'<div id="', $accordion_collapse, '" class="card-collapse collapse">';
			echo 		'<div class="card-body pt-0">';

			echo 			'<div id="', $accordion_collapse_accordion, '" class="border rounded overflow-hidden">';
			$this->subtask_num = $subtask_num;
			$this->_print_c($node);
			$this->subtask_num = null;
			echo 			'</div>';

			echo 		'</div>';
			echo 	'</div>';
			echo '</div>';
		} elseif ($node->nodeName == 'test') {
			$test_info = $node->getAttribute('info');
			$test_num = $node->getAttribute('num');
			$test_score = $node->getAttribute('score');
			$test_time = $this->_get_attr($node, 'time', -1);
			$test_memory = $this->_get_attr($node, 'memory', -1);

			echo '<div class="card border-0 rounded-0 border-bottom ', $this->styler->getTestInfoClass($test_info), '">';

			$accordion_parent = "{$this->name}_details_accordion";
			if ($this->subtask_num != null) {
				$accordion_parent .= "_collapse_subtask_{$this->subtask_num}_accordion";
			}
			$accordion_collapse = "{$accordion_parent}_collapse_test_{$test_num}";
			if (!$this->styler->shouldFadeDetails($test_info)) {
				echo '<div class="card-header uoj-submission-result-item bg-transparent rounded-0 border-0" data-bs-toggle="collapse" data-bs-parent="#', $accordion_parent, '" data-bs-target="#', $accordion_collapse, '">';
			} else {
				echo '<div class="card-header uoj-submission-result-item bg-transparent rounded-0 border-0">';
			}
			echo '<div class="row">';
			echo '<div class="col-sm-4">';
			if ($test_num > 0) {
				echo '<h4 class="fs-5">', 'Test #', $test_num, ': ', '</h4>';
			} else {
				echo '<h4 class="fs-5">', 'Extra Test:', '</h4>';
			}
			echo '</div>';

			if ($this->styler->show_score) {
				echo '<div class="col-sm-2">';
				echo '<i class="bi bi-clipboard-check"></i> ', $test_score, ' pts';
				echo '</div>';
				echo '<div class="col-sm-2 uoj-status-text">';
				echo $this->styler->getTestInfoIcon($test_info);
				echo htmlspecialchars($test_info);
				echo '</div>';
			} else {
				echo '<div class="col-sm-4 uoj-status-text">';
				echo $this->styler->getTestInfoIcon($test_info);
				echo htmlspecialchars($test_info);
				echo '</div>';
			}

			if ($test_time >= 0) {
				echo '<div class="col-sm-2">';
				echo '<i class="bi bi-hourglass-split"></i> ', $test_time, ' ms';
				echo '</div>';
			}

			if ($test_memory >= 0) {
				echo '<div class="col-sm-2">';
				echo '<i class="bi bi-memory"></i> ', $test_memory, 'kB';
				echo '</div>';
			}

			echo '</div>';
			echo '</div>';

			if (!$this->styler->shouldFadeDetails($test_info)) {
				$accordion_collapse_class = 'card-collapse collapse';
				if ($this->styler->collapse_in) {
					$accordion_collapse_class .= ' in';
				}
				echo '<div id="', $accordion_collapse, '" class="uoj-testcase ', $accordion_collapse_class, '" data-test=' . $test_num . '>';
				echo '<div class="card-body">';

				$this->_print_c($node);

				echo '</div>';
				echo '</div>';
			}

			echo '</div>';
		} elseif ($node->nodeName == 'custom-test') {
			$test_info = $node->getAttribute('info');
			$test_time = $this->_get_attr($node, 'time', -1);
			$test_memory = $this->_get_attr($node, 'memory', -1);

			echo '<div class="card ', $this->styler->getTestInfoClass($test_info), ' mb-3">';

			$accordion_parent = "{$this->name}_details_accordion";
			$accordion_collapse = "{$accordion_parent}_collapse_custom_test";
			if (!$this->styler->shouldFadeDetails($test_info)) {
				echo '<div class="card-header uoj-submission-result-item bg-transparent rounded-0 border-0" data-bs-toggle="collapse" data-bs-parent="#', $accordion_parent, '" data-bs-target="#', $accordion_collapse, '">';
			} else {
				echo '<div class="card-header uoj-submission-result-item bg-transparent rounded-0 border-0">';
			}
			echo '<div class="row">';
			echo '<div class="col-sm-4">';
			echo '<h4 class="card-title">', 'Custom Test: ', '</h4>';
			echo '</div>';

			echo '<div class="col-sm-4 uoj-status-text">';
			echo $this->styler->getTestInfoIcon($test_info);
			echo htmlspecialchars($test_info);
			echo '</div>';

			if ($test_time >= 0) {
				echo '<div class="col-sm-2">';
				echo '<i class="bi bi-hourglass-split"></i> ', $test_time, ' ms';
				echo '</div>';
			}

			if ($test_memory >= 0) {
				echo '<div class="col-sm-2">';
				echo '<i class="bi bi-memory"></i> ', $test_memory, ' kB';
				echo '</div>';
			}

			echo '</div>';
			echo '</div>';

			if (!$this->styler->shouldFadeDetails($test_info)) {
				$accordion_collapse_class = 'card-collapse collapse';
				if ($this->styler->collapse_in) {
					$accordion_collapse_class .= ' in';
				}
				echo '<div id="', $accordion_collapse, '" class="', $accordion_collapse_class, '">';
				echo '<div class="card-body">';

				$this->_print_c($node);

				echo '</div>';
				echo '</div>';

				echo '</div>';
			}
		} elseif ($node->nodeName == 'in') {
			echo '<h4 class="fs-6"><span>input: </span></h4>';
			echo '<pre class="bg-light p-3 rounded">', "\n";
			$this->_print_c($node);
			echo "\n</pre>";
		} elseif ($node->nodeName == 'out') {
			echo '<h4 class="fs-6"><span>output: </span></h4>';
			echo '<pre class="bg-light p-3 rounded">', "\n";
			$this->_print_c($node);
			echo "\n</pre>";
		} elseif ($node->nodeName == 'res') {
			echo '<h4 class="fs-6"><span>result: </span></h4>';
			echo '<pre class="bg-light p-3 rounded">', "\n";
			if ($node->hasChildNodes()) {
				$this->_print_c($node);
			} else {
				echo "\n";
			}
			echo "</pre>";
		} elseif ($node->nodeName == "info-block") {
			echo '<div>';
			if ($node->hasAttribute("title")) {
				if ($node->hasAttribute("size")) {
					echo '<div class="float-end text-muted">';
					if ($node->getAttribute("size") <= 1) {
						echo '(', $node->getAttribute("size"), ' byte)';
					} else {
						echo '(', $node->getAttribute("size"), ' bytes)';
					}
					echo '</div>';
				}
				echo '<h4 class="mb-2">', $node->getAttribute("title"), ":</h4>";
			}
			echo '<pre>', "\n";
			$this->_print_c($node);
			echo "\n</pre>";
			echo '</div>';
		} else {
			echo '<', $node->nodeName;
			foreach ($node->attributes as $attr) {
				echo ' ', $attr->name, '="', htmlspecialchars($attr->value), '"';
			}
			echo '>';
			$this->_print_c($node);
			echo '</', $node->nodeName, '>';
		}
	}

	public function __construct($details, $styler, $name) {
		$this->name = $name;
		$this->styler = $styler;
		$this->details = $details;
		$this->dom = new DOMDocument();
		if (!$this->dom->loadXML($this->details)) {
			throw new Exception("XML syntax error");
		}
		$this->details = '';
	}
	public function printHTML() {
		$this->subtask_num = null;
		$this->_print($this->dom->documentElement);
	}
}

function echoJudgementDetails($raw_details, $styler, $name) {
	try {
		$printer = new JudgmentDetailsPrinter($raw_details, $styler, $name);
		$printer->printHTML();
	} catch (Exception $e) {
		echo 'Failed to show details';
	}
}

class SubmissionDetailsStyler {
	public $show_score = true;
	public $show_small_tip = true;
	public $collapse_in = false;
	public $fade_all_details = false;
	public function getTestInfoClass($info) {
		if ($info == 'Accepted' || $info == 'Extra Test Passed') {
			return 'card-uoj-accepted';
		} elseif ($info == 'Time Limit Exceeded') {
			return 'card-uoj-tle';
		} elseif ($info == 'Acceptable Answer') {
			return 'card-uoj-acceptable-answer';
		} else {
			return 'card-uoj-wrong';
		}
	}
	public function getTestInfoIcon($test_info) {
		if ($test_info == 'Accepted' || $test_info == 'Extra Test Passed') {
			return '<i class="bi bi-check-lg"></i> ';
		} elseif ($test_info == 'Time Limit Exceeded') {
			return '<i class="bi bi-clock"></i> ';
		} elseif ($test_info == 'Acceptable Answer') {
			return '<i class="bi bi-dash-square"></i> ';
		} elseif ($test_info == 'Wrong Answer') {
			return '<i class="bi bi-x-lg"></i> ';
		} else {
			return '<i class="bi bi-slash-circle"></i> ';
		}
	}
	public function shouldFadeDetails($info) {
		return $this->fade_all_details || $info == 'Extra Test Passed';
	}
}
class CustomTestSubmissionDetailsStyler {
	public $show_score = true;
	public $show_small_tip = false;
	public $collapse_in = true;
	public $fade_all_details = false;
	public $ioi_contest_is_running = false;
	public function getTestInfoClass($info) {
		if ($info == 'Success') {
			return 'card-uoj-accepted';
		} elseif ($info == 'Time Limit Exceeded') {
			return 'card-uoj-tle';
		} elseif ($info == 'Acceptable Answer') {
			return 'card-uoj-acceptable-answer';
		} else {
			return 'card-uoj-wrong';
		}
	}
	public function getTestInfoIcon($test_info) {
		if ($test_info == 'Success') {
			return '<i class="bi bi-check-lg"></i> ';
		} elseif ($test_info == 'Time Limit Exceeded') {
			return '<i class="bi bi-clock"></i> ';
		} elseif ($test_info == 'Acceptable Answer') {
			return '<i class="bi bi-dash-square"></i> ';
		} elseif ($test_info == 'Wrong Answer') {
			return '<i class="bi bi-x-lg"></i> ';
		} else {
			return '<i class="bi bi-slash-circle"></i> ';
		}
	}
	public function shouldFadeDetails($info) {
		return $this->fade_all_details;
	}
}
class HackDetailsStyler {
	public $show_score = false;
	public $show_small_tip = false;
	public $collapse_in = true;
	public $fade_all_details = false;
	public function getTestInfoClass($info) {
		if ($info == 'Accepted' || $info == 'Extra Test Passed') {
			return 'card-uoj-accepted';
		} elseif ($info == 'Time Limit Exceeded') {
			return 'card-uoj-tle';
		} elseif ($info == 'Acceptable Answer') {
			return 'card-uoj-acceptable-answer';
		} else {
			return 'card-uoj-wrong';
		}
	}
	public function getTestInfoIcon($test_info) {
		if ($test_info == 'Accepted' || $test_info == 'Extra Test Passed') {
			return '<i class="bi bi-check-lg"></i> ';
		} elseif ($test_info == 'Time Limit Exceeded') {
			return '<i class="bi bi-clock"></i> ';
		} elseif ($test_info == 'Acceptable Answer') {
			return '<i class="bi bi-dash-square"></i> ';
		} elseif ($test_info == 'Wrong Answer') {
			return '<i class="bi bi-x-lg"></i> ';
		} else {
			return '<i class="bi bi-slash-circle"></i> ';
		}
	}
	public function shouldFadeDetails($info) {
		return $this->fade_all_details;
	}
}

function echoSubmissionDetails($submission_details, $name) {
	echoJudgementDetails($submission_details, new SubmissionDetailsStyler(), $name);
}
function echoCustomTestSubmissionDetails($submission_details, $name) {
	echoJudgementDetails($submission_details, new CustomTestSubmissionDetailsStyler(), $name);
}
function echoHackDetails($hack_details, $name) {
	echoJudgementDetails($hack_details, new HackDetailsStyler(), $name);
}

function echoHack($hack, $config, $user) {
	$problem = queryProblemBrief($hack['problem_id']);
	echo '<tr>';
	if (!isset($config['id_hidden'])) {
		echo '<td><a href="/hack/', $hack['id'], '">#', $hack['id'], '</a></td>';
	}
	if (!isset($config['submission_hidden'])) {
		echo '<td><a href="/submission/', $hack['submission_id'], '">#', $hack['submission_id'], '</a></td>';
	}
	if (!isset($config['problem_hidden'])) {
		if ($hack['contest_id']) {
			echo '<td>', getContestProblemLink($problem, $hack['contest_id'], '!id_and_title'), '</td>';
		} else {
			echo '<td>', getProblemLink($problem, '!id_and_title'), '</td>';
		}
	}
	if (!isset($config['hacker_hidden'])) {
		echo '<td>', getUserLink($hack['hacker']), '</td>';
	}
	if (!isset($config['owner_hidden'])) {
		echo '<td>', getUserLink($hack['owner']), '</td>';
	}
	if (!isset($config['result_hidden'])) {
		if ($hack['judge_time'] == null) {
			echo '<td><a href="/hack/', $hack['id'], '">Waiting</a></td>';
		} elseif ($hack['success'] == null) {
			echo '<td><a href="/hack/', $hack['id'], '">Judging</a></td>';
		} elseif ($hack['success']) {
			echo '<td><a href="/hack/', $hack['id'], '" class="uoj-status" data-success="1"><strong>Success!</strong></a></td>';
		} else {
			echo '<td><a href="/hack/', $hack['id'], '" class="uoj-status" data-success="0"><strong>Failed.</strong></a></td>';
		}
	} else {
		echo '<td>Hidden</td>';
	}
	if (!isset($config['submit_time_hidden'])) {
		echo '<td>', $hack['submit_time'], '</td>';
	}
	if (!isset($config['judge_time_hidden'])) {
		echo '<td>', $hack['judge_time'], '</td>';
	}
	echo '</tr>';
}
function echoHackListOnlyOne($hack, $config, $user) {
	echo '<div class="card mb-3 table-responsive">';
	echo '<table class="table text-center uoj-table mb-0">';
	echo '<thead>';
	echo '<tr>';
	if (!isset($config['id_hidden'])) {
		echo '<th>ID</th>';
	}
	if (!isset($config['submission_id_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::submission id') . '</th>';
	}
	if (!isset($config['problem_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::problem') . '</th>';
	}
	if (!isset($config['hacker_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::hacker') . '</th>';
	}
	if (!isset($config['owner_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::owner') . '</th>';
	}
	if (!isset($config['result_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::result') . '</th>';
	}
	if (!isset($config['submit_time_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::submit time') . '</th>';
	}
	if (!isset($config['judge_time_hidden'])) {
		echo '<th>' . UOJLocale::get('problems::judge time') . '</th>';
	}
	echo '</tr>';
	echo '</thead>';
	echo '<tbody>';
	echoHack($hack, $config, $user);
	echo '</tbody>';
	echo '</table>';
	echo '</div>';
}
function echoHacksList($cond, $tail, $config, $user) {
	$header_row = '<tr>';
	$col_names = [];

	$col_names[] = 'id';
	$col_names[] = 'success';
	$col_names[] = 'status';
	$col_names[] = 'judge_time';

	if (!isset($config['id_hidden'])) {
		$header_row .= '<th>ID</th>';
	}
	if (!isset($config['submission_id_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::submission id') . '</th>';
		$col_names[] = 'submission_id';
	}
	if (!isset($config['problem_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::problem') . '</th>';
		$col_names[] = 'problem_id';
	}
	if (!isset($config['hacker_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::hacker') . '</th>';
		$col_names[] = 'hacker';
	}
	if (!isset($config['owner_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::owner') . '</th>';
		$col_names[] = 'owner';
	}
	if (!isset($config['result_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::result') . '</th>';
	}
	if (!isset($config['submit_time_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::submit time') . '</th>';
		$col_names[] = 'submit_time';
	}
	if (!isset($config['judge_time_hidden'])) {
		$header_row .= '<th>' . UOJLocale::get('problems::judge time') . '</th>';
	}
	$header_row .= '</tr>';

	if (!isSuperUser($user)) {
		if ($user != null) {
			$permission_cond = DB::lor([
				'is_hidden' => false,
				DB::land([
					'is_hidden' => true,
					DB::lor([
						[
							'problem_id', 'in', DB::rawbracket([
								'select problem_id from problems_permissions',
								'where', ['username' => $user['username']]
							])
						],
						[
							'problem_id', 'in', DB::rawbracket([
								'select problem_id from problems',
								'where', ['uploader' => $user['username']]
							])
						]
					])
				])
			]);
		} else {
			$permission_cond = ['is_hidden' => false];
		}
		if ($cond !== '1') {
			$cond = [
				DB::conds($cond),
				DB::conds($permission_cond)
			];
		} else {
			$cond = $permission_cond;
		}
	}

	$table_config = isset($config['table_config']) ? $config['table_config'] : null;

	echoLongTable(
		$col_names,
		'hacks',
		$cond,
		$tail,
		$header_row,
		function ($hacks) use ($config, $user) {
			echoHack($hacks, $config, $user);
		},
		$table_config
	);
}

function echoBlog($blog, $config = array()) {
	global $REQUIRE_LIB;

	$default_config = array(
		'blog' => $blog,
		'show_title_only' => false,
		'is_preview' => false
	);
	foreach ($default_config as $key => $val) {
		if (!isset($config[$key])) {
			$config[$key] = $val;
		}
	}

	$config['REQUIRE_LIB'] = $REQUIRE_LIB;

	uojIncludeView('blog-preview', $config);
}
function echoBlogTag($tag) {
	echo ' <a class="uoj-blog-tag">', '<span class="badge bg-secondary">', HTML::escape($tag), '</span></a> ';
}

function echoUOJPageHeader($page_title, $extra_config = array()) {
	global $REQUIRE_LIB;
	$config = UOJContext::pageConfig();
	$config['REQUIRE_LIB'] = $REQUIRE_LIB;
	$config['PageTitle'] = $page_title;
	$config = array_merge($config, $extra_config);
	uojIncludeView('page-header', $config);
}
function echoUOJPageFooter($config = array()) {
	global $REQUIRE_LIB;
	$config['REQUIRE_LIB'] = $REQUIRE_LIB;

	uojIncludeView('page-footer', $config);
}

function echoRanklist($config = []) {
	$header_row = '';
	$header_row .= '<tr>';
	$header_row .= '<th style="width: 5em;">#</th>';
	$header_row .= '<th style="width: 14em;">' . UOJLocale::get('username') . '</th>';
	$header_row .= '<th style="width: 50em;">' . UOJLocale::get('motto') . '</th>';
	$header_row .= '<th style="width: 5em;">' . UOJLocale::get('solved') . '</th>';
	$header_row .= '</tr>';

	$parsedown = HTML::parsedown();
	$purifier = HTML::purifier_inline();
	$users = [];
	$print_row = function ($user, $now_cnt) use (&$users, $config, $purifier, $parsedown) {
		if (!$users) {
			if ($now_cnt == 1) {
				$rank = 1;
			} else {
				$rank = DB::selectCount("select count(*) from (select b.username as username, count(*) as accepted from best_ac_submissions a inner join user_info b on a.submitter = b.username group by username) as derived where accepted > {$user['ac_num']}") + 1;
			}
		} else {
			$rank = $now_cnt;
		}

		$user['rank'] = $rank;

		echo '<tr>';
		echo '<td>' . $user['rank'] . '</td>';
		echo '<td>' . getUserLink($user['username']) . '</td>';
		echo "<td>";
		echo $purifier->purify($parsedown->line($user['motto']));
		echo "</td>";
		echo '<td>' . $user['ac_num'] . '</td>';
		echo '</tr>';

		$users[] = $user;
	};

	$from = 'user_info';
	$col_names = ['user_info.username as username', 'ac_num', 'motto'];
	$cond = '1';
	$tail = 'group by user_info.username order by ac_num desc, user_info.username asc';

	if (isset($config['group_id'])) {
		$group_id = $config['group_id'];
		$from = "user_info inner join groups_users on (user_info.username = groups_users.username and groups_users.group_id = {$group_id})";
		$config['pagination_cond'] = "group_id = {$group_id}";
	}

	if (isset($config['top10'])) {
		$tail .= ' limit 10';
	}

	$config['get_row_index'] = '';
	echoLongTable($col_names, $from, $cond, $tail, $header_row, $print_row, $config);
}

// ===== uoj.ac =====

function echoJudgmentDetails($raw_details, $styler, $name) {
	try {
		$printer = new JudgmentDetailsPrinter($raw_details, $styler, $name);
		$printer->printHTML();
	} catch (Exception $e) {
		echo 'Failed to show details';
	}
}