1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
#!/usr/bin/env python3
# Check files for whitespace problems
#
# Copyright (C) 2018 Kevin O'Connor <kevin@koconnor.net>
#
# This file may be distributed under the terms of the GNU GPLv3 license.
import sys, os.path, unicodedata
HaveError = False
def report_error(filename, lineno, msg):
global HaveError
if not HaveError:
sys.stderr.write("\n\nERROR:\nERROR: White space errors\nERROR:\n")
HaveError = True
sys.stderr.write("%s:%d: %s\n" % (filename, lineno + 1, msg))
def check_file(filename):
# Open and read file
try:
f = open(filename, 'rb')
data = f.read()
f.close()
except IOError:
return
if not data:
# Empty files are okay
return
# Do checks
is_source_code = any([filename.endswith(s) for s in ['.c', '.h', '.py']])
lineno = 0
for lineno, line in enumerate(data.split(b'\n')):
# Verify line is valid utf-8
try:
line = line.decode('utf-8')
except UnicodeDecodeError:
report_error(filename, lineno, "Found non utf-8 character")
continue
# Check for control characters
for c in line:
if unicodedata.category(c).startswith('C'):
char_name = repr(c)
if c == '\t':
if os.path.basename(filename).lower() == 'makefile':
continue
char_name = 'tab'
report_error(filename, lineno, "Invalid %s character" % (
char_name,))
break
# Check for trailing space
if line.endswith(' ') or line.endswith('\t'):
report_error(filename, lineno, "Line has trailing spaces")
# Check for more than 80 characters
if is_source_code and len(line) > 80:
report_error(filename, lineno, "Line longer than 80 characters")
if not data.endswith(b'\n'):
report_error(filename, lineno, "No newline at end of file")
if data.endswith(b'\n\n'):
report_error(filename, lineno, "Extra newlines at end of file")
def main():
files = sys.argv[1:]
for filename in files:
check_file(filename)
if HaveError:
sys.stderr.write("\n\n")
sys.exit(-1)
if __name__ == '__main__':
main()
|
