def main()

in summary/summary.py [0:0]

• 27 lines of code
• 12 McCabe index (conditional complexity)

def main():
    args = parse_arguments()
    args.project = [os.path.normpath(project) for project in args.project]

    configure_logger(args.verbose, args.debug)

    with open(args.github, encoding="utf-8") as handle:
        github = json.load(handle)

    summary = {}

    if not args.project:
        args.project = list(github)

    for project in args.project:
        project_repo = github[project]['github']
        proofs_path = github[project]['proofs']
        project_path = os.path.basename(project_repo)
        if args.clean:
            clean_project(project_path)
        if args.clone:
            clone_project(project_repo)
        if args.build:
            build_project(project_path, proofs_path)
        if args.summarize or args.chart:
            result = summarize_project(project_path, proofs_path)
            if result:
                summary[project] = result

    if args.summarize:
        print(json.dumps(summary, indent=2))

    if args.chart:
        print(chart_projects_json(summary))