|
| 1 | +#!/usr/bin/python3 |
| 2 | + |
| 3 | +import argparse |
| 4 | +import os |
| 5 | +from atcodertools.common.judgetype import NormalJudge, DecimalJudge, ErrorType,\ |
| 6 | + JudgeType, NoJudgeTypeException, DEFAULT_EPS |
| 7 | +from atcodertools.common.logging import logger |
| 8 | +from atcodertools.tools.models.metadata import Metadata |
| 9 | +from atcodertools.common.language import Language, ALL_LANGUAGES |
| 10 | +from atcodertools.tools.codegen import main as codegen_main |
| 11 | + |
| 12 | +USER_FACING_JUDGE_TYPE_LIST = [ |
| 13 | + "normal", "absolute", "relative", "absolute_or_relative"] |
| 14 | + |
| 15 | + |
| 16 | +def main(prog, args) -> None: |
| 17 | + if len(args) == 0: |
| 18 | + print("Usage: atcoder tools set [options]") |
| 19 | + return |
| 20 | + |
| 21 | + parser = argparse.ArgumentParser( |
| 22 | + prog=prog, |
| 23 | + formatter_class=argparse.RawTextHelpFormatter) |
| 24 | + |
| 25 | + parser.add_argument('--judge-type', '-j', |
| 26 | + help='error type' |
| 27 | + ' must be one of [{}]'.format( |
| 28 | + ', '.join(USER_FACING_JUDGE_TYPE_LIST)), |
| 29 | + type=str, |
| 30 | + default=None) |
| 31 | + |
| 32 | + parser.add_argument('--error-value', '-v', |
| 33 | + help='error value for decimal number judge:' |
| 34 | + ' [Default] ' + str(DEFAULT_EPS), |
| 35 | + type=float, |
| 36 | + default=None) |
| 37 | + |
| 38 | + parser.add_argument("--lang", '-l', |
| 39 | + help="Programming language of your template code, {}.\n".format( |
| 40 | + " or ".join([lang.name for lang in ALL_LANGUAGES])), |
| 41 | + default=None) |
| 42 | + |
| 43 | + parser.add_argument("--dir", '-d', |
| 44 | + help="Target directory to test. [Default] Current directory", |
| 45 | + default=".") |
| 46 | + |
| 47 | + parser.add_argument("--without-login", |
| 48 | + action="store_true", |
| 49 | + help="Download data without login") |
| 50 | + |
| 51 | + args = parser.parse_args(args) |
| 52 | + |
| 53 | + old_metadata = Metadata.load_from(os.path.join(args.dir, "metadata.json")) |
| 54 | + |
| 55 | + # Use the old metadata as base metadata. |
| 56 | + output_metadata = Metadata.load_from( |
| 57 | + os.path.join(args.dir, "metadata.json")) |
| 58 | + |
| 59 | + old_metadata_judge_type = old_metadata.judge_method.judge_type.value |
| 60 | + |
| 61 | + if args.judge_type in ["absolute", "relative", "absolute_or_relative"]: |
| 62 | + new_metadata_judge_type = "decimal" |
| 63 | + output_metadata.judge_method.error_type = ErrorType(args.judge_type) |
| 64 | + elif args.judge_type is not None: |
| 65 | + new_metadata_judge_type = args.judge_type |
| 66 | + else: |
| 67 | + new_metadata_judge_type = old_metadata_judge_type |
| 68 | + |
| 69 | + if new_metadata_judge_type is not None and new_metadata_judge_type != old_metadata_judge_type: |
| 70 | + if new_metadata_judge_type == JudgeType.Normal.value: |
| 71 | + output_metadata.judge_method = NormalJudge() |
| 72 | + elif new_metadata_judge_type == JudgeType.Decimal.value: |
| 73 | + output_metadata.judge_method = DecimalJudge() |
| 74 | + if args.error_value is None: |
| 75 | + logger.warn( |
| 76 | + "Error-value is not specified. DEFAULT_EPS is set") |
| 77 | + output_metadata.judge_method.diff = DEFAULT_EPS |
| 78 | + else: |
| 79 | + raise NoJudgeTypeException() |
| 80 | + |
| 81 | + if new_metadata_judge_type == JudgeType.Decimal.value and args.error_value is not None: |
| 82 | + output_metadata.judge_method.diff = args.error_value |
| 83 | + |
| 84 | + if args.lang is not None: |
| 85 | + if args.lang != output_metadata.lang.name: |
| 86 | + output_metadata.lang = Language.from_name(args.lang) |
| 87 | + output_metadata.code_filename = output_metadata.lang.get_code_filename( |
| 88 | + 'main') |
| 89 | + url = "https://atcoder.jp/contests/{}/tasks/{}".format( |
| 90 | + output_metadata.problem.contest.contest_id, output_metadata.problem.problem_id) |
| 91 | + main_code_filename = os.path.join( |
| 92 | + args.dir, output_metadata.code_filename) |
| 93 | + if not os.path.exists(main_code_filename): |
| 94 | + a = ["--lang", output_metadata.lang.name, url] |
| 95 | + if args.without_login: |
| 96 | + a.append("--without-login") |
| 97 | + codegen_main("", a, open(main_code_filename, 'w')) |
| 98 | + else: |
| 99 | + print("File exists: ", output_metadata.code_filename) |
| 100 | + else: |
| 101 | + print("Already set to {}. Skipping changing language...".format(args.lang)) |
| 102 | + output_metadata.save_to(os.path.join(args.dir, "metadata.json")) |
0 commit comments