mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-09-21 02:25:19 +00:00
96d4a3ecf7
Due to historical reasons, the code is in subfolder "1". With SVN removal, we place the code back and remove the annoying "1" folder.
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="/blog/'.$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.7':
|
|
case 'Python3':
|
|
$sh_class = 'sh_python';
|
|
break;
|
|
case 'Java7':
|
|
case 'Java8':
|
|
$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="panel panel-info">';
|
|
echo '<div class="panel-heading">';
|
|
echo '<h4 class="panel-title">'.$req['name'].'</h4>';
|
|
echo '</div>';
|
|
echo '<div class="panel-body">';
|
|
echo '<pre><code class="'.$sh_class.'">'.$file_content."\n".'</code></pre>';
|
|
echo '</div>';
|
|
echo '<div class="panel-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="panel panel-info">';
|
|
echo '<div class="panel-heading">';
|
|
echo '<h4 class="panel-title">'.$req['file_name'].'</h4>';
|
|
echo '</div>';
|
|
echo '<div class="panel-body">';
|
|
echo '<pre>'."\n".$file_content."\n".'</pre>';
|
|
echo '</div>';
|
|
echo '<div class="panel-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 class="panel-group" 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="panel ', $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="panel-heading" data-toggle="collapse" data-parent="#', $accordion_parent, '" data-target="#', $accordion_collapse, '">';
|
|
|
|
echo '<div class="row">';
|
|
echo '<div class="col-sm-2">';
|
|
echo '<h3 class="panel-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="panel-collapse collapse">';
|
|
echo '<div class="panel-body">';
|
|
|
|
echo '<div id="', $accordion_collapse_accordion, '" class="panel-group">';
|
|
$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="panel ', $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="panel-heading" data-toggle="collapse" data-parent="#', $accordion_parent, '" data-target="#', $accordion_collapse, '">';
|
|
} else {
|
|
echo '<div class="panel-heading">';
|
|
}
|
|
echo '<div class="row">';
|
|
echo '<div class="col-sm-2">';
|
|
if ($test_num > 0) {
|
|
echo '<h4 class="panel-title">', 'Test #', $test_num, ': ', '</h4>';
|
|
} else {
|
|
echo '<h4 class="panel-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 = 'panel-collapse collapse';
|
|
if ($this->styler->collapse_in) {
|
|
$accordion_collapse_class .= ' in';
|
|
}
|
|
echo '<div id="', $accordion_collapse, '" class="', $accordion_collapse_class, '">';
|
|
echo '<div class="panel-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="panel ', $this->styler->getTestInfoClass($test_info), '">';
|
|
|
|
$accordion_parent = "{$this->name}_details_accordion";
|
|
$accordion_collapse = "{$accordion_parent}_collapse_custom_test";
|
|
if (!$this->styler->shouldFadeDetails($test_info)) {
|
|
echo '<div class="panel-heading" data-toggle="collapse" data-parent="#', $accordion_parent, '" data-target="#', $accordion_collapse, '">';
|
|
} else {
|
|
echo '<div class="panel-heading">';
|
|
}
|
|
echo '<div class="row">';
|
|
echo '<div class="col-sm-2">';
|
|
echo '<h4 class="panel-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 = 'panel-collapse collapse';
|
|
if ($this->styler->collapse_in) {
|
|
$accordion_collapse_class .= ' in';
|
|
}
|
|
echo '<div id="', $accordion_collapse, '" class="', $accordion_collapse_class, '">';
|
|
echo '<div class="panel-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 'panel-uoj-accepted';
|
|
} elseif ($info == 'Time Limit Exceeded') {
|
|
return 'panel-uoj-tle';
|
|
} elseif ($info == 'Acceptable Answer') {
|
|
return 'panel-uoj-acceptable-answer';
|
|
} else {
|
|
return 'panel-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 'panel-uoj-accepted';
|
|
} elseif ($info == 'Time Limit Exceeded') {
|
|
return 'panel-uoj-tle';
|
|
} elseif ($info == 'Acceptable Answer') {
|
|
return 'panel-uoj-acceptable-answer';
|
|
} else {
|
|
return 'panel-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 'panel-uoj-accepted';
|
|
} elseif ($info == 'Time Limit Exceeded') {
|
|
return 'panel-uoj-tle';
|
|
} elseif ($info == 'Acceptable Answer') {
|
|
return 'panel-uoj-acceptable-answer';
|
|
} else {
|
|
return 'panel-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">', 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);
|
|
}
|