S2OJ/web/app/models/UOJProblemConfigure.php

267 lines
9.3 KiB
PHP

<?php
class UOJProblemConfigure {
public UOJProblem $problem;
public UOJProblemConf $problem_conf;
public string $href;
public array $conf_keys;
public UOJForm $simple_form;
public static $supported_checkers = [
'ownchk' => '自定义校验器',
'ncmp' => 'ncmp: 单行或多行整数序列',
'wcmp' => 'wcmp: 单行或多行字符串序列',
'fcmp' => 'fcmp: 单行或多行数据(不忽略行末空格,但忽略文末回车)',
'bcmp' => 'bcmp: 逐字节比较',
'uncmp' => 'uncmp: 单行或多行整数集合',
'yesno' => 'yesno: YES、NO 序列(不区分大小写)',
'rcmp4' => 'rcmp4: 浮点数序列,绝对或相对误差在 1e-4 以内则视为答案正确',
'rcmp6' => 'rcmp6: 浮点数序列,绝对或相对误差在 1e-6 以内则视为答案正确',
'rcmp9' => 'rcmp9: 浮点数序列,绝对或相对误差在 1e-9 以内则视为答案正确',
];
public static $supported_score_types = [
'int' => '整数,每个测试点的部分分向下取整',
'real-0' => '整数,每个测试点的部分分四舍五入到整数',
'real-1' => '实数,四舍五入到小数点后 1 位',
'real-2' => '实数,四舍五入到小数点后 2 位',
'real-3' => '实数,四舍五入到小数点后 3 位',
'real-4' => '实数,四舍五入到小数点后 4 位',
'real-5' => '实数,四舍五入到小数点后 5 位',
'real-6' => '实数,四舍五入到小数点后 6 位',
'real-7' => '实数,四舍五入到小数点后 7 位',
'real-8' => '实数,四舍五入到小数点后 8 位',
];
private static function getCardHeader($title, $body_class = 'vstack gap-3') {
return <<<EOD
<div class="col-12 col-md-6">
<div class="card">
<div class="card-header fw-bold">
{$title}
</div>
<div class="card-body {$body_class}">
EOD;
}
private static function getCardFooter() {
return <<<EOD
</div>
</div>
</div>
EOD;
}
public function __construct(UOJProblem $problem) {
$this->problem = $problem;
$problem_conf = $this->problem->getProblemConf('data');
if (!($problem_conf instanceof UOJProblemConf)) {
$problem_conf = new UOJProblemConf([]);
}
$this->problem_conf = $problem_conf;
$this->href = "/problem/{$this->problem->info['id']}/manage/data";
$this->simple_form = new UOJForm('simple');
$encoded_problem_conf = json_encode($problem_conf->conf, JSON_FORCE_OBJECT);
$this->simple_form->appendHTML(<<<EOD
<script>
var problem_conf = {$encoded_problem_conf};
</script>
EOD);
$this->simple_form->appendHTML(static::getCardHeader('基本信息'));
$this->addSelect($this->simple_form, 'use_builtin_judger', ['on' => '默认', 'off' => '自定义 Judger'], '测评逻辑', 'on');
$this->addSelect($this->simple_form, 'use_builtin_checker', self::$supported_checkers, '比对函数', 'ncmp');
$this->addSelect($this->simple_form, 'score_type', self::$supported_score_types, '测试点分数数值类型', 'int');
$this->simple_form->appendHTML(static::getCardFooter());
$this->simple_form->appendHTML(static::getCardHeader('数据配置'));
$this->addNumberInput($this->simple_form, 'n_tests', '数据点个数', 10);
$this->addNumberInput($this->simple_form, 'n_ex_tests', '额外数据点个数', 0);
$this->addNumberInput($this->simple_form, 'n_sample_tests', '样例数据点个数', 0, ['help' => '样例数据点为额外数据点的前 x 个数据点。']);
$this->simple_form->appendHTML(static::getCardFooter());
$this->simple_form->appendHTML(static::getCardHeader('文件配置'));
$this->addTextInput($this->simple_form, 'input_pre', '输入文件名称', '');
$this->addTextInput($this->simple_form, 'input_suf', '输入文件后缀', '');
$this->addTextInput($this->simple_form, 'output_pre', '输出文件名称', '');
$this->addTextInput($this->simple_form, 'output_suf', '输出文件后缀', '');
$this->simple_form->appendHTML(static::getCardFooter());
$this->simple_form->appendHTML(static::getCardHeader('运行时限制'));
$this->addTimeLimitInput($this->simple_form, 'time_limit', '时间限制', 1, ['help' => '单位为秒,至多三位小数。']);
$this->addNumberInput($this->simple_form, 'memory_limit', '内存限制', 256, ['help' => '单位为 MiB。']);
$this->addNumberInput($this->simple_form, 'output_limit', '输出长度限制', 64, ['help' => '单位为 MiB。']);
$this->simple_form->appendHTML(static::getCardFooter());
$this->simple_form->appendHTML(static::getCardHeader('测试点分值', ''));
$this->simple_form->appendHTML(<<<EOD
<div id="div-point-score-container" class="row gy-3"></div>
EOD);
$this->simple_form->appendHTML(static::getCardFooter());
$this->simple_form->appendHTML(<<<EOD
<script>
$(document).ready(function() {
$('#input-n_tests').change(function() {
problem_conf['n_tests'] = $(this).val();
$('#div-point-score-container').problem_configure_point_scores(problem_conf);
});
$('#input-score_type').change(function() {
problem_conf['score_type'] = $(this).val();
$('.uoj-problem-configure-point-score-input', $('#div-point-score-container')).first().trigger('change');
});
$('#div-point-score-container').problem_configure_point_scores(problem_conf);
});
</script>
EOD);
$this->simple_form->succ_href = $this->href;
$this->simple_form->config['form']['class'] = 'row gy-3 mt-2';
$this->simple_form->config['submit_container']['class'] = 'col-12 text-center mt-3';
$this->simple_form->config['back_button']['href'] = $this->href;
$this->simple_form->config['back_button']['class'] = 'btn btn-secondary me-2';
$this->simple_form->handle = fn (&$vdata) => $this->onUpload($vdata);
}
public function addSelect(UOJForm $form, $key, $options, $label, $default_val = '', $cfg = []) {
$this->conf_keys[$key] = true;
$form->addSelect($key, [
'options' => $options,
'label' => $label,
'div_class' => 'row',
'label_class' => 'col-form-label col-4',
'select_div_class' => 'col-8',
'default_value' => $this->problem_conf->getVal($key, $default_val),
] + $cfg);
$form->appendHTML(<<<EOD
<script>
$('#input-{$key}').change(function() {
problem_conf['{$key}'] = $(this).val();
});
</script>
EOD);
}
public function addNumberInput(UOJForm $form, $key, $label, $default_val = '', $cfg = []) {
$this->conf_keys[$key] = true;
$form->addInput($key, [
'type' => 'number',
'label' => $label,
'div_class' => 'row',
'label_class' => 'col-form-label col-4',
'input_div_class' => 'col-8',
'default_value' => $this->problem_conf->getVal($key, $default_val),
'validator_php' => function ($x) {
return validateInt($x) ? '' : '必须为一个整数';
},
] + $cfg);
$form->appendHTML(<<<EOD
<script>
$('#input-{$key}').change(function() {
problem_conf['{$key}'] = $(this).val();
});
</script>
EOD);
}
public function addTimeLimitInput(UOJForm $form, $key, $label, $default_val = '', $cfg = []) {
$this->conf_keys[$key] = true;
$form->addInput($key, [
'type' => 'number',
'label' => $label,
'input_attrs' => ['step' => 0.001],
'div_class' => 'row',
'label_class' => 'col-form-label col-4',
'input_div_class' => 'col-8',
'default_value' => $this->problem_conf->getVal($key, $default_val),
'validator_php' => function ($x) {
if (!validateUFloat($x)) {
return '必须为整数或小数,且值大于等于零';
} elseif (round($x * 1000) != $x * 1000) {
return '至多包含三位小数';
} else {
return '';
}
},
] + $cfg);
$form->appendHTML(<<<EOD
<script>
$('#input-{$key}').change(function() {
problem_conf['{$key}'] = $(this).val();
});
</script>
EOD);
}
public function addTextInput(UOJForm $form, $key, $label, $default_val = '', $cfg = []) {
$this->conf_keys[$key] = true;
$form->addInput($key, [
'label' => $label,
'div_class' => 'row',
'label_class' => 'col-form-label col-4',
'input_div_class' => 'col-8',
'default_value' => $this->problem_conf->getVal($key, $default_val),
'validator_php' => function ($x) {
return ctype_graph($x) ? '' : '必须仅包含除空格以外的可见字符';
},
] + $cfg);
$form->appendHTML(<<<EOD
<script>
$('#input-{$key}').change(function() {
problem_conf['{$key}'] = $(this).val();
});
</script>
EOD);
}
public function runAtServer() {
$this->simple_form->runAtServer();
}
public function onUpload(array &$vdata) {
$conf = $this->problem_conf->conf;
$conf_keys = $this->conf_keys;
$n_tests = intval(UOJRequest::post('n_tests', 'validateUInt', $this->problem_conf->getVal('n_tests', 10)));
for ($i = 1; $i <= $n_tests; $i++) {
$conf_keys["point_score_$i"] = true;
}
foreach (array_keys($conf_keys) as $key) {
$val = UOJRequest::post($key, 'is_string', '');
if ($key === 'use_builtin_judger') {
if ($val === 'off') {
unset($conf[$key]);
} else {
$conf[$key] = $val;
}
} elseif ($key === 'use_builtin_checker') {
if ($val === 'ownchk') {
unset($conf[$key]);
} else {
$conf[$key] = $val;
}
} else {
if ($val !== '') {
$conf[$key] = $val;
}
}
}
$err = dataUpdateProblemConf($this->problem->info, $conf);
if ($err) {
UOJResponse::message('<div>' . $err . '</div><a href="' . $this->href . '">返回</a>');
}
}
public function printHTML() {
$this->simple_form->printHTML();
}
}