mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-12-23 19:51:52 +00:00
c49b69aa86
Let's welcome brand new look made by Bootstrap 4! Not only website but also our logo is being flat now. The new logo uses blue as main color, to be different from original. For us, it also shows the project has up to a new stage. We hope that the project will get better and better. BREAKING CHANGE: The path for users to place their images is renamed. Logos are saved as new names too. Users should move "pictures" to "images". Any modifications should suit the Bootstrap 4's standard.
968 lines
30 KiB
PHP
968 lines
30 KiB
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" data-rating="'.$user['rating'].'">@'.$user['username'].'</span>';
|
|
}
|
|
}
|
|
}, $str);
|
|
|
|
$referrers_list = array();
|
|
foreach ($referrers as $referrer => $val) {
|
|
$referrers_list[] = $referrer;
|
|
}
|
|
|
|
return array($res, $referrers_list);
|
|
}
|
|
|
|
function uojFilePreview($file_name, $output_limit, $file_type = 'text') {
|
|
switch ($file_type) {
|
|
case 'text':
|
|
return strOmit(file_get_contents($file_name, false, null, 0, $output_limit + 4), $output_limit);
|
|
default:
|
|
return strOmit(shell_exec('xxd -g 4 -l 5000 ' . escapeshellarg($file_name) . ' | head -c ' . ($output_limit + 4)), $output_limit);
|
|
}
|
|
}
|
|
|
|
function uojIncludeView($name, $view_params = array()) {
|
|
extract($view_params);
|
|
include $_SERVER['DOCUMENT_ROOT'].'/app/views/'.$name.'.php';
|
|
}
|
|
|
|
function redirectTo($url) {
|
|
header('Location: '.$url);
|
|
die();
|
|
}
|
|
function permanentlyRedirectTo($url) {
|
|
header("HTTP/1.1 301 Moved Permanently");
|
|
header('Location: '.$url);
|
|
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 = '消息') {
|
|
if (UOJContext::isAjax()) {
|
|
die($msg);
|
|
} else {
|
|
echoUOJPageHeader($title);
|
|
echo $msg;
|
|
echoUOJPageFooter();
|
|
die();
|
|
}
|
|
}
|
|
function become404Page() {
|
|
header($_SERVER['SERVER_PROTOCOL'] . " 404 Not Found", true, 404);
|
|
becomeMsgPage('<div class="text-center"><div style="font-size:233px">404</div><p>唔……未找到该页面……你是从哪里点进来的……>_<……</p></div>', '404');
|
|
}
|
|
function become403Page() {
|
|
header($_SERVER['SERVER_PROTOCOL'] . " 403 Forbidden", true, 403);
|
|
becomeMsgPage('<div class="text-center"><div style="font-size:233px">403</div><p>禁止入内！ T_T</p></div>', '403');
|
|
}
|
|
|
|
function getUserLink($username, $rating = null) {
|
|
if (validateUsername($username) && ($user = queryUser($username))) {
|
|
if ($rating == null) {
|
|
$rating = $user['rating'];
|
|
}
|
|
return '<span class="uoj-username" data-rating="'.$rating.'">'.$username.'</span>';
|
|
} else {
|
|
$esc_username = HTML::escape($username);
|
|
return '<span>'.$esc_username.'</span>';
|
|
}
|
|
}
|
|
|
|
function getProblemLink($problem, $problem_title = '!title_only') {
|
|
if ($problem_title == '!title_only') {
|
|
$problem_title = $problem['title'];
|
|
} else if ($problem_title == '!id_and_title') {
|
|
$problem_title = "#${problem['id']}. ${problem['title']}";
|
|
}
|
|
return '<a href="/problem/'.$problem['id'].'">'.$problem_title.'</a>';
|
|
}
|
|
function getContestProblemLink($problem, $contest_id, $problem_title = '!title_only') {
|
|
if ($problem_title == '!title_only') {
|
|
$problem_title = $problem['title'];
|
|
} else if ($problem_title == '!id_and_title') {
|
|
$problem_title = "#{$problem['id']}. {$problem['title']}";
|
|
}
|
|
return '<a href="/contest/'.$contest_id.'/problem/'.$problem['id'].'">'.$problem_title.'</a>';
|
|
}
|
|
function getBlogLink($id) {
|
|
if (validateUInt($id) && $blog = queryBlog($id)) {
|
|
return '<a href="/blogs/'.$id.'">'.$blog['title'].'</a>';
|
|
}
|
|
}
|
|
function getClickZanBlock($type, $id, $cnt, $val = null) {
|
|
if ($val == null) {
|
|
$val = queryZanVal($id, $type, Auth::user());
|
|
}
|
|
return '<div class="uoj-click-zan-block" data-id="'.$id.'" data-type="'.$type.'" data-val="'.$val.'" data-cnt="'.$cnt.'"></div>';
|
|
}
|
|
|
|
|
|
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'] : array('table-responsive');
|
|
$table_classes = isset($config['table_classes']) ? $config['table_classes'] : array('table', 'table-bordered', 'table-hover', 'table-striped', 'table-text-center');
|
|
|
|
echo '<div class="', join($div_classes, ' '), '">';
|
|
echo '<table class="', join($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 '<tr><td colspan="233">'.UOJLocale::get('none').'</td></tr>';
|
|
}
|
|
|
|
echo '</tbody>';
|
|
echo '</table>';
|
|
echo '</div>';
|
|
|
|
if (isset($config['print_after_table'])) {
|
|
$fun = $config['print_after_table'];
|
|
$fun();
|
|
}
|
|
|
|
echo $pag->pagination();
|
|
}
|
|
|
|
function getSubmissionStatusDetails($submission) {
|
|
$html = '<td colspan="233" style="vertical-align: middle">';
|
|
|
|
$out_status = explode(', ', $submission['status'])[0];
|
|
|
|
$fly = '<img src="http://img.uoj.ac/utility/bear-flying.gif" alt="小熊像超人一样飞" class="img-rounded" />';
|
|
$think = '<img src="http://img.uoj.ac/utility/bear-thinking.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 echoSubmission($submission, $config, $user) {
|
|
$problem = queryProblemBrief($submission['problem_id']);
|
|
$submitterLink = getUserLink($submission['submitter']);
|
|
|
|
if ($submission['score'] == null) {
|
|
$used_time_str = "/";
|
|
$used_memory_str = "/";
|
|
} else {
|
|
$used_time_str = $submission['used_time'] . 'ms';
|
|
$used_memory_str = $submission['used_memory'] . 'kb';
|
|
}
|
|
|
|
$status = explode(', ', $submission['status'])[0];
|
|
|
|
$show_status_details = Auth::check() && $submission['submitter'] === Auth::id() && $status !== 'Judged';
|
|
|
|
if (!$show_status_details) {
|
|
echo '<tr>';
|
|
} else {
|
|
echo '<tr class="warning">';
|
|
}
|
|
if (!isset($config['id_hidden'])) {
|
|
echo '<td><a href="/submission/', $submission['id'], '">#', $submission['id'], '</a></td>';
|
|
}
|
|
if (!isset($config['problem_hidden'])) {
|
|
if ($submission['contest_id']) {
|
|
echo '<td>', getContestProblemLink($problem, $submission['contest_id'], '!id_and_title'), '</td>';
|
|
} else {
|
|
echo '<td>', getProblemLink($problem, '!id_and_title'), '</td>';
|
|
}
|
|
}
|
|
if (!isset($config['submitter_hidden'])) {
|
|
echo '<td>', $submitterLink, '</td>';
|
|
}
|
|
if (!isset($config['result_hidden'])) {
|
|
echo '<td>';
|
|
if ($status == 'Judged') {
|
|
if ($submission['score'] == null) {
|
|
echo '<a href="/submission/', $submission['id'], '" class="small">', $submission['result_error'], '</a>';
|
|
} else {
|
|
echo '<a href="/submission/', $submission['id'], '" class="uoj-score">', $submission['score'], '</a>';
|
|
}
|
|
} else {
|
|
echo '<a href="/submission/', $submission['id'], '" class="small">', $status, '</a>';
|
|
}
|
|
echo '</td>';
|
|
}
|
|
if (!isset($config['used_time_hidden']))
|
|
echo '<td>', $used_time_str, '</td>';
|
|
if (!isset($config['used_memory_hidden']))
|
|
echo '<td>', $used_memory_str, '</td>';
|
|
|
|
echo '<td>', '<a href="/submission/', $submission['id'], '">', $submission['language'], '</a>', '</td>';
|
|
|
|
if ($submission['tot_size'] < 1024) {
|
|
$size_str = $submission['tot_size'] . 'b';
|
|
} else {
|
|
$size_str = sprintf("%.1f", $submission['tot_size'] / 1024) . 'kb';
|
|
}
|
|
echo '<td>', $size_str, '</td>';
|
|
|
|
if (!isset($config['submit_time_hidden']))
|
|
echo '<td><small>', $submission['submit_time'], '</small></td>';
|
|
if (!isset($config['judge_time_hidden']))
|
|
echo '<td><small>', $submission['judge_time'], '</small></td>';
|
|
echo '</tr>';
|
|
if ($show_status_details) {
|
|
echo '<tr id="', "status_details_{$submission['id']}", '" class="info">';
|
|
echo getSubmissionStatusDetails($submission);
|
|
echo '</tr>';
|
|
echo '<script type="text/javascript">update_judgement_status_details('.$submission['id'].')</script>';
|
|
}
|
|
}
|
|
|
|
|
|
function echoSubmissionsListOnlyOne($submission, $config, $user) {
|
|
echo '<div class="table-responsive">';
|
|
echo '<table class="table table-bordered table-text-center">';
|
|
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 = array();
|
|
$col_names[] = 'submissions.status_details';
|
|
$col_names[] = 'submissions.status';
|
|
$col_names[] = 'submissions.result_error';
|
|
$col_names[] = 'submissions.score';
|
|
|
|
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 (!isSuperUser($user)) {
|
|
if ($user != null) {
|
|
$permission_cond = "submissions.is_hidden = false or (submissions.is_hidden = true and submissions.problem_id in (select problem_id from problems_permissions where username = '{$user['username']}'))";
|
|
} else {
|
|
$permission_cond = "submissions.is_hidden = false";
|
|
}
|
|
if ($cond !== '1') {
|
|
$cond = "($cond) and ($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':
|
|
$sh_class = 'sh_cpp';
|
|
break;
|
|
case 'Python2':
|
|
case 'Python3':
|
|
$sh_class = 'sh_python';
|
|
break;
|
|
case 'Java8':
|
|
case 'Java11':
|
|
$sh_class = 'sh_java';
|
|
break;
|
|
case 'C':
|
|
$sh_class = 'sh_c';
|
|
break;
|
|
case 'Pascal':
|
|
$sh_class = 'sh_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.'">'.$file_content."\n".'</code></pre>';
|
|
echo '</div>';
|
|
echo '<div class="card-footer">'.$footer_text.'</div>';
|
|
echo '</div>';
|
|
}
|
|
else if ($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>'."\n".$file_content."\n".'</pre>';
|
|
echo '</div>';
|
|
echo '<div class="card-footer">'.$footer_text.'</div>';
|
|
echo '</div>';
|
|
}
|
|
}
|
|
|
|
$zip_file->close();
|
|
}
|
|
|
|
|
|
class JudgementDetailsPrinter {
|
|
private $name;
|
|
private $styler;
|
|
private $dom;
|
|
|
|
private $subtask_num;
|
|
|
|
private function _print_c($node) {
|
|
foreach ($node->childNodes as $child) {
|
|
if ($child->nodeName == '#text') {
|
|
echo htmlspecialchars($child->nodeValue);
|
|
} else {
|
|
$this->_print($child);
|
|
}
|
|
}
|
|
}
|
|
private function _print($node) {
|
|
if ($node->nodeName == 'error') {
|
|
echo "<pre>\n";
|
|
$this->_print_c($node);
|
|
echo "\n</pre>";
|
|
} elseif ($node->nodeName == 'tests') {
|
|
echo '<div id="', $this->name, '_details_accordion">';
|
|
if ($this->styler->show_small_tip) {
|
|
echo '<div class="text-right text-muted">', '小提示：点击横条可展开更详细的信息', '</div>';
|
|
}
|
|
elseif ($this->styler->ioi_contest_is_running) {
|
|
echo '<div class="text-right text-muted">', 'IOI赛制比赛中不支持显示详细信息', '</div>';
|
|
}
|
|
$this->_print_c($node);
|
|
echo '</div>';
|
|
} elseif ($node->nodeName == 'subtask') {
|
|
$subtask_num = $node->getAttribute('num');
|
|
$subtask_score = $node->getAttribute('score');
|
|
$subtask_info = $node->getAttribute('info');
|
|
|
|
echo '<div class="card ', $this->styler->getTestInfoClass($subtask_info), ' mb-3">';
|
|
|
|
$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" data-toggle="collapse" data-parent="#', $accordion_parent, '" data-target="#', $accordion_collapse, '">';
|
|
|
|
echo '<div class="row">';
|
|
echo '<div class="col-sm-2">';
|
|
echo '<h3 class="card-title">', 'Subtask #', $subtask_num, ': ', '</h3>';
|
|
echo '</div>';
|
|
|
|
if ($this->styler->show_score) {
|
|
echo '<div class="col-sm-2">';
|
|
echo 'score: ', $subtask_score;
|
|
echo '</div>';
|
|
echo '<div class="col-sm-2">';
|
|
echo htmlspecialchars($subtask_info);
|
|
echo '</div>';
|
|
} else {
|
|
echo '<div class="col-sm-4">';
|
|
echo htmlspecialchars($subtask_info);
|
|
echo '</div>';
|
|
}
|
|
|
|
echo '</div>';
|
|
echo '</div>';
|
|
|
|
echo '<div id="', $accordion_collapse, '" class="card-collapse collapse">';
|
|
echo '<div class="card-body">';
|
|
|
|
echo '<div id="', $accordion_collapse_accordion, '">';
|
|
$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 = $node->getAttribute('time');
|
|
$test_memory = $node->getAttribute('memory');
|
|
|
|
echo '<div class="card ', $this->styler->getTestInfoClass($test_info), ' mb-3">';
|
|
|
|
$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" data-toggle="collapse" data-parent="#', $accordion_parent, '" data-target="#', $accordion_collapse, '">';
|
|
} else {
|
|
echo '<div class="card-header">';
|
|
}
|
|
echo '<div class="row">';
|
|
echo '<div class="col-sm-2">';
|
|
if ($test_num > 0) {
|
|
echo '<h4 class="card-title">', 'Test #', $test_num, ': ', '</h4>';
|
|
} else {
|
|
echo '<h4 class="card-title">', 'Extra Test:', '</h4>';
|
|
}
|
|
echo '</div>';
|
|
|
|
if ($this->styler->show_score) {
|
|
echo '<div class="col-sm-2">';
|
|
echo 'score: ', $test_score;
|
|
echo '</div>';
|
|
echo '<div class="col-sm-2">';
|
|
echo htmlspecialchars($test_info);
|
|
echo '</div>';
|
|
} else {
|
|
echo '<div class="col-sm-4">';
|
|
echo htmlspecialchars($test_info);
|
|
echo '</div>';
|
|
}
|
|
|
|
echo '<div class="col-sm-3">';
|
|
if ($test_time >= 0) {
|
|
echo 'time: ', $test_time, 'ms';
|
|
}
|
|
echo '</div>';
|
|
|
|
echo '<div class="col-sm-3">';
|
|
if ($test_memory >= 0) {
|
|
echo 'memory: ', $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 == 'custom-test') {
|
|
$test_info = $node->getAttribute('info');
|
|
$test_time = $node->getAttribute('time');
|
|
$test_memory = $node->getAttribute('memory');
|
|
|
|
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" data-toggle="collapse" data-parent="#', $accordion_parent, '" data-target="#', $accordion_collapse, '">';
|
|
} else {
|
|
echo '<div class="card-header">';
|
|
}
|
|
echo '<div class="row">';
|
|
echo '<div class="col-sm-2">';
|
|
echo '<h4 class="card-title">', 'Custom Test: ', '</h4>';
|
|
echo '</div>';
|
|
|
|
echo '<div class="col-sm-4">';
|
|
echo htmlspecialchars($test_info);
|
|
echo '</div>';
|
|
|
|
echo '<div class="col-sm-3">';
|
|
if ($test_time >= 0) {
|
|
echo 'time: ', $test_time, 'ms';
|
|
}
|
|
echo '</div>';
|
|
|
|
echo '<div class="col-sm-3">';
|
|
if ($test_memory >= 0) {
|
|
echo 'memory: ', $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>input:</h4><pre>\n";
|
|
$this->_print_c($node);
|
|
echo "\n</pre>";
|
|
} elseif ($node->nodeName == 'out') {
|
|
echo "<h4>output:</h4><pre>\n";
|
|
$this->_print_c($node);
|
|
echo "\n</pre>";
|
|
} elseif ($node->nodeName == 'res') {
|
|
echo "<h4>result:</h4><pre>\n";
|
|
$this->_print_c($node);
|
|
echo "\n</pre>";
|
|
} 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 JudgementDetailsPrinter($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 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 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 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="table-responsive">';
|
|
echo '<table class="table table-bordered table-text-center">';
|
|
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 = array();
|
|
|
|
$col_names[] = 'id';
|
|
$col_names[] = 'success';
|
|
$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 = "is_hidden = false or (is_hidden = true and problem_id in (select problem_id from problems_permissions where username = '{$user['username']}'))";
|
|
} else {
|
|
$permission_cond = "is_hidden = false";
|
|
}
|
|
if ($cond !== '1') {
|
|
$cond = "($cond) and ($permission_cond)";
|
|
} else {
|
|
$cond = $permission_cond;
|
|
}
|
|
}
|
|
|
|
echoLongTable($col_names, 'hacks', $cond, $tail, $header_row,
|
|
function($hacks) use($config, $user) {
|
|
echoHack($hacks, $config, $user);
|
|
}, null);
|
|
}
|
|
|
|
function echoBlog($blog, $config = array()) {
|
|
$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;
|
|
}
|
|
}
|
|
uojIncludeView('blog-preview', $config);
|
|
}
|
|
function echoBlogTag($tag) {
|
|
echo '<a class="uoj-blog-tag"><span class="badge badge-pill badge-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()) {
|
|
uojIncludeView('page-footer', $config);
|
|
}
|
|
|
|
function echoRanklist($config = array()) {
|
|
$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('rating').'</th>';
|
|
$header_row .= '</tr>';
|
|
|
|
$users = array();
|
|
$print_row = function($user, $now_cnt) use(&$users) {
|
|
if (!$users) {
|
|
$rank = DB::selectCount("select count(*) from user_info where rating > {$user['rating']}") + 1;
|
|
} else if ($user['rating'] == $users[count($users) - 1]['rating']) {
|
|
$rank = $users[count($users) - 1]['rank'];
|
|
} else {
|
|
$rank = $now_cnt;
|
|
}
|
|
|
|
$user['rank'] = $rank;
|
|
|
|
echo '<tr>';
|
|
echo '<td>' . $user['rank'] . '</td>';
|
|
echo '<td>' . getUserLink($user['username']) . '</td>';
|
|
echo '<td>' . HTML::escape($user['motto']) . '</td>';
|
|
echo '<td>' . $user['rating'] . '</td>';
|
|
echo '</tr>';
|
|
|
|
$users[] = $user;
|
|
};
|
|
$col_names = array('username', 'rating', 'motto');
|
|
$tail = 'order by rating desc, username asc';
|
|
|
|
if (isset($config['top10'])) {
|
|
$tail .= ' limit 10';
|
|
}
|
|
|
|
$config['get_row_index'] = '';
|
|
echoLongTable($col_names, 'user_info', '1', $tail, $header_row, $print_row, $config);
|
|
}
|