'; $accordion_parent = "{$this->name}_details_accordion"; $accordion_collapse = "{$accordion_parent}_collapse_custom_test"; if (!$this->styler->shouldFadeDetails($test_info)) { echo ''; } } elseif ($node->nodeName == 'in') { if (isset($REQUIRE_LIB['bootstrap5'])) { echo '

input:

'; } else { echo '

input:

'; } echo "

\n";
			$this->_print_c($node);
			echo "\n

"; } elseif ($node->nodeName == 'out') { if (isset($REQUIRE_LIB['bootstrap5'])) { echo '

output:

'; } else { echo '

output:

'; } echo "

\n";
			$this->_print_c($node);
			echo "\n

"; } elseif ($node->nodeName == 'res') { if (isset($REQUIRE_LIB['bootstrap5'])) { echo '

result:

'; } else { echo '

result:

'; } echo "

\n";
			$this->_print_c($node);
			echo "\n

"; } else { echo '<', $node->nodeName; foreach ($node->attributes as $attr) { echo ' ', $attr->name, '="', htmlspecialchars($attr->value), '"'; } echo '>'; $this->_print_c($node); echo 'nodeName, '>'; } } public function __construct($details, $styler, $name) { global $REQUIRE_LIB; $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() { global $REQUIRE_LIB; $this->subtask_num = null; $this->_print($this->dom->documentElement); } } function echoJudgementDetails($raw_details, $styler, $name) { global $REQUIRE_LIB; 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 getTestInfoIcon($test_info) { if ($test_info == 'Accepted' || $test_info == 'Extra Test Passed') { return ' '; } elseif ($test_info == 'Time Limit Exceeded') { return ' '; } elseif ($test_info == 'Acceptable Answer') { return ' '; } elseif ($test_info == 'Wrong Answer') { return ' '; } else { return ' '; } } 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 getTestInfoIcon($test_info) { if ($test_info == 'Accepted' || $test_info == 'Extra Test Passed') { return ' '; } elseif ($test_info == 'Time Limit Exceeded') { return ' '; } elseif ($test_info == 'Acceptable Answer') { return ' '; } elseif ($test_info == 'Wrong Answer') { return ' '; } else { return ' '; } } public function shouldFadeDetails($info) { return $this->fade_all_details; } } function echoSubmissionDetails($submission_details, $name) { global $REQUIRE_LIB; echoJudgementDetails($submission_details, new SubmissionDetailsStyler(), $name); } function echoCustomTestSubmissionDetails($submission_details, $name) { echoJudgementDetails($submission_details, new CustomTestSubmissionDetailsStyler(), $name); } function echoHackDetails($hack_details, $name) { global $REQUIRE_LIB; echoJudgementDetails($hack_details, new HackDetailsStyler(), $name); } function echoHack($hack, $config, $user) { $problem = queryProblemBrief($hack['problem_id']); echo ''; if (!isset($config['id_hidden'])) { echo '#', $hack['id'], ''; } if (!isset($config['submission_hidden'])) { echo '#', $hack['submission_id'], ''; } if (!isset($config['problem_hidden'])) { if ($hack['contest_id']) { echo '', getContestProblemLink($problem, $hack['contest_id'], '!id_and_title'), ''; } else { echo '', getProblemLink($problem, '!id_and_title'), ''; } } if (!isset($config['hacker_hidden'])) { echo '', getUserLink($hack['hacker']), ''; } if (!isset($config['owner_hidden'])) { echo '', getUserLink($hack['owner']), ''; } if (!isset($config['result_hidden'])) { if ($hack['judge_time'] == null) { echo 'Waiting'; } elseif ($hack['success'] == null) { echo 'Judging'; } elseif ($hack['success']) { echo 'Success!'; } else { echo 'Failed.'; } } else { echo 'Hidden'; } if (!isset($config['submit_time_hidden'])) { echo '', $hack['submit_time'], ''; } if (!isset($config['judge_time_hidden'])) { echo '', $hack['judge_time'], ''; } echo ''; } function echoHackListOnlyOne($hack, $config, $user) { global $REQUIRE_LIB; if (isset($REQUIRE_LIB['bootstrap5'])) { echo ''; } function echoHacksList($cond, $tail, $config, $user) { $header_row = ''; $col_names = array(); $col_names[] = 'id'; $col_names[] = 'success'; $col_names[] = 'judge_time'; if (!isset($config['id_hidden'])) { $header_row .= 'ID'; } if (!isset($config['submission_id_hidden'])) { $header_row .= ''.UOJLocale::get('problems::submission id').''; $col_names[] = 'submission_id'; } if (!isset($config['problem_hidden'])) { $header_row .= ''.UOJLocale::get('problems::problem').''; $col_names[] = 'problem_id'; } if (!isset($config['hacker_hidden'])) { $header_row .= ''.UOJLocale::get('problems::hacker').''; $col_names[] = 'hacker'; } if (!isset($config['owner_hidden'])) { $header_row .= ''.UOJLocale::get('problems::owner').''; $col_names[] = 'owner'; } if (!isset($config['result_hidden'])) { $header_row .= ''.UOJLocale::get('problems::result').''; } if (!isset($config['submit_time_hidden'])) { $header_row .= ''.UOJLocale::get('problems::submit time').''; $col_names[] = 'submit_time'; } if (!isset($config['judge_time_hidden'])) { $header_row .= ''.UOJLocale::get('problems::judge time').''; } $header_row .= ''; 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 '', HTML::escape($tag), ''; } function echoUOJPageHeader($page_title, $extra_config = array()) { global $REQUIRE_LIB; $config = UOJContext::pageConfig(); $config['REQUIRE_LIB'] = $REQUIRE_LIB; $config['PageTitle'] = $page_title; $config = array_merge($config, $extra_config); uojIncludeView('page-header', $config); } function echoUOJPageFooter($config = array()) { global $REQUIRE_LIB; $config['REQUIRE_LIB'] = $REQUIRE_LIB; uojIncludeView('page-footer', $config); } function echoRanklist($config = array()) { global $REQUIRE_LIB; $header_row = ''; $header_row .= ''; $header_row .= '#'; $header_row .= ''.UOJLocale::get('username').''; $header_row .= ''.UOJLocale::get('motto').''; $header_row .= ''.UOJLocale::get('solved').''; $header_row .= ''; $users = array(); $print_row = function($user, $now_cnt) use (&$users, $config) { if (!$users) { if ($now_cnt == 1) { $rank = 1; } else { $rank = DB::selectCount("select count(*) from (select b.username as username, count(*) as accepted from best_ac_submissions a inner join user_info b on a.submitter = b.username group by username) as derived where accepted > {$user['ac_num']}") + 1; } } else { $rank = $now_cnt; } $user['rank'] = $rank; echo ''; echo '' . $user['rank'] . ''; echo '' . getUserLink($user['username']) . ''; $motto_id = uniqid("motto-{$user['username']}-"); echo ""; $motto = addslashes($user['motto']); $dom_sanitize_config = DOM_SANITIZE_CONFIG; echo ''; echo '' . $user['ac_num'] . ''; echo ''; $users[] = $user; }; $from = 'best_ac_submissions a inner join user_info b on a.submitter = b.username'; $col_names = array('b.username as username', 'count(*) as ac_num', 'b.motto as motto'); $cond = '1'; $tail = 'group by username order by ac_num desc, username asc'; if (isset($config['group_id'])) { $group_id = $config['group_id']; $from = "best_ac_submissions a inner join user_info b on a.submitter = b.username inner join groups_users c on (a.submitter = c.username and c.group_id = {$group_id})"; } if (isset($config['top10'])) { $tail .= ' limit 10'; } $config['get_row_index'] = ''; $config['pagination_table'] = 'user_info'; echoLongTable($col_names, $from, $cond, $tail, $header_row, $print_row, $config); }