def eof_check()

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

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

def eof_check(lines, path):
    if not lines[-1].endswith("\n"):
        return [(ERR_EOF, len(lines), path)]
    return []