def lint()

in lean/scripts/lint_style.py [0:0]

• 23 lines of code
• 2 McCabe index (conditional complexity)

def lint(path):
    with path.open(encoding="utf-8") as f:
        lines = f.readlines()
        errs = eof_check(lines, path)
        format_errors(errs)
        errs = tailing_space_check(lines, path)
        format_errors(errs)
        errs = sorry_comma_check(lines, path)
        format_errors(errs)
        errs = parathesis_space_check(lines, path)
        format_errors(errs)
        (b, errs) = import_only_check(lines, path)
        if b:
            format_errors(errs)
            return
        errs = regular_check(lines, path)
        format_errors(errs)
        errs = small_alpha_vrachy_check(lines, path)
        format_errors(errs)
        errs = reserved_notation_check(lines, path)
        format_errors(errs)
        errs = set_option_check(lines, path)
        format_errors(errs)