INNER CODE UNIT · Python

main

KSwordDEV/KSword · tools/acceptance_record.py:124

def main(argv: list[str]) -> int:
    parser = argparse.ArgumentParser(description=__doc__,
                                     formatter_class=argparse.RawDescriptionHelpFormatter)
    sub = parser.add_subparsers(dest="command", required=True)

    setter = sub.add_parser("set", help="update one acceptance item")
    setter.add_argument("id")
    setter.add_argument("--implementation")
    setter.add_argument("--verification")
    setter.add_argument("--applicability")
    setter.add_argument("--path", action="append")
    setter.add_argument("--env", action="append")
    setter.add_argument("--exec", action="append")
    setter.add_argument("--evidence", action="append")
    setter.add_argument("--issue", action="append")
    setter.add_argument("--blocking")
    setter.add_argument("--notes")
    setter.set_defaults(func=cmd_set)

View source record →