S2OJ/uoj/1/app/libs/uoj-html-lib.php
Masco Skray c1294121d3 fix(uoj/1/app/libs): fix no preview of text files in problem_data_manage
When managing data, there will be a preview of test data or validator binary file.
But in PHP7 the prefiew of test data text file or problem.conf text file is not shown.
After my test it is caused by file_get_contents() when passing offset with -1.
It is strange that the manual on php.net in Chinese the default of $offset is -1,
but in English the default of $offset is 0. Use -1 will get nothing, 0 instead is fine.
The commit also change uojFilePreview() that can also be used as viewing binary file.
For backwards compatibility, we just set text as the default file type and no need to specify.
2018-10-11 23:40:05 +08:00

964 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>唔……未找到该页面……你是从哪里点进来的……&gt;_&lt;……</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>';
}
$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 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);
}