id: 1
unit: def regular_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 42 LOC
McCabe index: 27
number of parameters: 2

id: 2
unit: def format_errors()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 42 LOC
McCabe index: 15
number of parameters: 1

id: 3
unit: def lint()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 23 LOC
McCabe index: 2
number of parameters: 1

id: 4
unit: def skip_string()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 13
number of parameters: 1

id: 5
unit: def import_only_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 6
number of parameters: 2

id: 6
unit: def skip_comments()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 6
number of parameters: 1

id: 7
unit: def reserved_notation_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 5
number of parameters: 2

id: 8
unit: def set_option_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 6
number of parameters: 2

id: 9
unit: def long_lines_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 4
number of parameters: 2

id: 10
unit: def small_alpha_vrachy_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 2

id: 11
unit: def tailing_space_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 2

id: 12
unit: def sorry_comma_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 2

id: 13
unit: def parathesis_space_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 4
number of parameters: 2

id: 14
unit: def output_message()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 4

id: 15
unit: def eof_check()
file: lean/scripts/lint_style.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2