INNER CODE UNIT · Python

cmd_set

KSwordDEV/KSword · tools/acceptance_record.py:52

def cmd_set(args: argparse.Namespace) -> int:
    document = load()
    item = find(document, args.id)

    if args.implementation:
        if args.implementation not in IMPLEMENTATION_STATES:
            raise SystemExit("implementation must be one of %s" % (IMPLEMENTATION_STATES,))
        item["implementation_status"] = args.implementation
    if args.verification:
        if args.verification not in VERIFICATION_STATES:
            raise SystemExit("verification must be one of %s" % (VERIFICATION_STATES,))
        item["verification_status"] = args.verification
    if args.applicability:
        if args.applicability not in APPLICABILITY_STATES:
            raise SystemExit("applicability must be one of %s" % (APPLICABILITY_STATES,))
        item["applicability"] = args.applicability

    for path in args.path or []:

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…