author | Sune Foldager <cryo@cyanite.org> |
Thu, 18 Mar 2010 16:38:07 +0100 | |
branch | stable |
changeset 10728 | 4a70178f9bde |
parent 10658 | 95c7c4b7e67a |
child 10702 | 1437542a9fd7 |
child 10802 | 6e4cf8319f54 |
permissions | -rwxr-xr-x |
10281 | 1 |
#!/usr/bin/env python |
2 |
# |
|
3 |
# check-code - a style and portability checker for Mercurial |
|
4 |
# |
|
10290
7cc60de189d7
check-code: fix copyright date
Matt Mackall <mpm@selenic.com>
parents:
10287
diff
changeset
|
5 |
# Copyright 2010 Matt Mackall <mpm@selenic.com> |
10281 | 6 |
# |
7 |
# This software may be used and distributed according to the terms of the |
|
8 |
# GNU General Public License version 2 or any later version. |
|
9 |
||
10 |
import sys, re, glob |
|
11 |
||
12 |
def repquote(m): |
|
10451
63a9bfad50ff
check-code: two more rules
Matt Mackall <mpm@selenic.com>
parents:
10412
diff
changeset
|
13 |
t = re.sub(r"\w", "x", m.group(2)) |
63a9bfad50ff
check-code: two more rules
Matt Mackall <mpm@selenic.com>
parents:
10412
diff
changeset
|
14 |
t = re.sub(r"[^\sx]", "o", t) |
10281 | 15 |
return m.group(1) + t + m.group(1) |
16 |
||
17 |
def repcomment(m): |
|
18 |
return m.group(1) + "#" * len(m.group(2)) |
|
19 |
||
20 |
def repccomment(m): |
|
21 |
t = re.sub(r"((?<=\n) )|\S", "x", m.group(2)) |
|
22 |
return m.group(1) + t + "*/" |
|
23 |
||
24 |
def repcallspaces(m): |
|
25 |
t = re.sub(r"\n\s+", "\n", m.group(2)) |
|
26 |
return m.group(1) + t |
|
27 |
||
28 |
def repinclude(m): |
|
29 |
return m.group(1) + "<foo>" |
|
30 |
||
31 |
def rephere(m): |
|
32 |
t = re.sub(r"\S", "x", m.group(2)) |
|
33 |
return m.group(1) + t |
|
34 |
||
35 |
||
36 |
testpats = [ |
|
10374
3aa35db5e38c
check-code.py: make help strings consistent
Martin Geisler <mg@lazybytes.net>
parents:
10373
diff
changeset
|
37 |
(r'(pushd|popd)', "don't use 'pushd' or 'popd', use 'cd'"), |
3aa35db5e38c
check-code.py: make help strings consistent
Martin Geisler <mg@lazybytes.net>
parents:
10373
diff
changeset
|
38 |
(r'\W\$?\(\([^\)]*\)\)', "don't use (()) or $(()), use 'expr'"), |
10281 | 39 |
(r'^function', "don't use 'function', use old style"), |
10374
3aa35db5e38c
check-code.py: make help strings consistent
Martin Geisler <mg@lazybytes.net>
parents:
10373
diff
changeset
|
40 |
(r'grep.*-q', "don't use 'grep -q', redirect to /dev/null"), |
10373
e4c7972002e4
check-code.py: escape backslash
Mads Kiilerich <mads@kiilerich.com>
parents:
10291
diff
changeset
|
41 |
(r'echo.*\\n', "don't use 'echo \\n', use printf"), |
10374
3aa35db5e38c
check-code.py: make help strings consistent
Martin Geisler <mg@lazybytes.net>
parents:
10373
diff
changeset
|
42 |
(r'^diff.*-\w*N', "don't use 'diff -N'"), |
10281 | 43 |
(r'(^| )wc[^|]*$', "filter wc output"), |
10374
3aa35db5e38c
check-code.py: make help strings consistent
Martin Geisler <mg@lazybytes.net>
parents:
10373
diff
changeset
|
44 |
(r'head -c', "don't use 'head -c', use 'dd'"), |
3aa35db5e38c
check-code.py: make help strings consistent
Martin Geisler <mg@lazybytes.net>
parents:
10373
diff
changeset
|
45 |
(r'ls.*-\w*R', "don't use 'ls -R', use 'find'"), |
3aa35db5e38c
check-code.py: make help strings consistent
Martin Geisler <mg@lazybytes.net>
parents:
10373
diff
changeset
|
46 |
(r'printf.*\\\d\d\d', "don't use 'printf \NNN', use Python"), |
3aa35db5e38c
check-code.py: make help strings consistent
Martin Geisler <mg@lazybytes.net>
parents:
10373
diff
changeset
|
47 |
(r'printf.*\\x', "don't use printf \\x, use Python"), |
10281 | 48 |
(r'\$\(.*\)', "don't use $(expr), use `expr`"), |
49 |
(r'rm -rf \*', "don't use naked rm -rf, target a directory"), |
|
50 |
(r'(^|\|\s*)grep (-\w\s+)*[^|]*[(|]\w', |
|
51 |
"use egrep for extended grep syntax"), |
|
52 |
(r'/bin/', "don't use explicit paths for tools"), |
|
53 |
(r'\$PWD', "don't use $PWD, use `pwd`"), |
|
54 |
(r'[^\n]\Z', "no trailing newline"), |
|
10658
95c7c4b7e67a
test-merge-default and check-code.py: No "export x=x" in sh
Mads Kiilerich <mads@kiilerich.com>
parents:
10451
diff
changeset
|
55 |
(r'export.*=', "don't export and assign at once"), |
10281 | 56 |
] |
57 |
||
58 |
testfilters = [ |
|
59 |
(r"( *)(#([^\n]*\S)?)", repcomment), |
|
60 |
(r"<<(\S+)((.|\n)*?\n\1)", rephere), |
|
61 |
] |
|
62 |
||
63 |
pypats = [ |
|
64 |
(r'^\s*\t', "don't use tabs"), |
|
10412
5326800d6937
check-code: import some pylint checks
Matt Mackall <mpm@selenic.com>
parents:
10374
diff
changeset
|
65 |
(r'\S;\s*\n', "semicolon"), |
10281 | 66 |
(r'\w,\w', "missing whitespace after ,"), |
67 |
(r'\w[+/*\-<>]\w', "missing whitespace in expression"), |
|
68 |
(r'^\s+\w+=\w+[^,)]$', "missing whitespace in assignment"), |
|
69 |
(r'.{85}', "line too long"), |
|
70 |
(r'[^\n]\Z', "no trailing newline"), |
|
71 |
# (r'^\s+[^_ ][^_. ]+_[^_]+\s*=', "don't use underbars in identifiers"), |
|
72 |
# (r'\w*[a-z][A-Z]\w*\s*=', "don't use camelcase in identifiers"), |
|
10286 | 73 |
(r'^\s*(if|while|def|class|except|try)\s[^[]*:\s*[^\]#\s]+', |
74 |
"linebreak after :"), |
|
10281 | 75 |
(r'class\s[^(]:', "old-style class, use class foo(object)"), |
10291
61c93743fae0
check-code: del isn't a function
Matt Mackall <mpm@selenic.com>
parents:
10290
diff
changeset
|
76 |
(r'^\s+del\(', "del isn't a function"), |
10281 | 77 |
(r'^\s+except\(', "except isn't a function"), |
10412
5326800d6937
check-code: import some pylint checks
Matt Mackall <mpm@selenic.com>
parents:
10374
diff
changeset
|
78 |
(r',]', "unneeded trailing ',' in list"), |
10281 | 79 |
# (r'class\s[A-Z][^\(]*\((?!Exception)', |
80 |
# "don't capitalize non-exception classes"), |
|
81 |
# (r'in range\(', "use xrange"), |
|
82 |
# (r'^\s*print\s+', "avoid using print in core and extensions"), |
|
83 |
(r'[\x80-\xff]', "non-ASCII character literal"), |
|
84 |
(r'("\')\.format\(', "str.format() not available in Python 2.4"), |
|
85 |
(r'^\s*with\s+', "with not available in Python 2.4"), |
|
86 |
(r'if\s.*\selse', "if ... else form not available in Python 2.4"), |
|
87 |
(r'([\(\[]\s\S)|(\S\s[\)\]])', "gratuitous whitespace in () or []"), |
|
88 |
# (r'\s\s=', "gratuitous whitespace before ="), |
|
10412
5326800d6937
check-code: import some pylint checks
Matt Mackall <mpm@selenic.com>
parents:
10374
diff
changeset
|
89 |
(r'[^>< ](\+=|-=|!=|<>|<=|>=|<<=|>>=)\S', "missing whitespace around operator"), |
5326800d6937
check-code: import some pylint checks
Matt Mackall <mpm@selenic.com>
parents:
10374
diff
changeset
|
90 |
(r'[^>< ](\+=|-=|!=|<>|<=|>=|<<=|>>=)\s', "missing whitespace around operator"), |
5326800d6937
check-code: import some pylint checks
Matt Mackall <mpm@selenic.com>
parents:
10374
diff
changeset
|
91 |
(r'\s(\+=|-=|!=|<>|<=|>=|<<=|>>=)\S', "missing whitespace around operator"), |
5326800d6937
check-code: import some pylint checks
Matt Mackall <mpm@selenic.com>
parents:
10374
diff
changeset
|
92 |
(r'[^+=*!<>&| -](\s=|=\s)[^= ]', "wrong whitespace around ="), |
10451
63a9bfad50ff
check-code: two more rules
Matt Mackall <mpm@selenic.com>
parents:
10412
diff
changeset
|
93 |
(r'raise Exception', "don't raise generic exceptions"), |
63a9bfad50ff
check-code: two more rules
Matt Mackall <mpm@selenic.com>
parents:
10412
diff
changeset
|
94 |
(r'ui\.(status|progress|write|note)\([\'\"]x', "unwrapped ui message"), |
10281 | 95 |
] |
96 |
||
97 |
pyfilters = [ |
|
98 |
(r"""(''')(([^']|\\'|'{1,2}(?!'))*)'''""", repquote), |
|
99 |
(r'''(""")(([^"]|\\"|"{1,2}(?!"))*)"""''', repquote), |
|
100 |
(r'''(?<!")(")(([^"\n]|\\")+)"(?!")''', repquote), |
|
101 |
(r"""(?<!')(')(([^'\n]|\\')+)'(?!')""", repquote), |
|
102 |
(r"( *)(#([^\n]*\S)?)", repcomment), |
|
103 |
] |
|
104 |
||
105 |
cpats = [ |
|
106 |
(r'//', "don't use //-style comments"), |
|
107 |
(r'^ ', "don't use spaces to indent"), |
|
108 |
(r'\S\t', "don't use tabs except for indent"), |
|
109 |
(r'(\S\s+|^\s+)\n', "trailing whitespace"), |
|
110 |
(r'.{85}', "line too long"), |
|
111 |
(r'(while|if|do|for)\(', "use space after while/if/do/for"), |
|
112 |
(r'return\(', "return is not a function"), |
|
113 |
(r' ;', "no space before ;"), |
|
114 |
(r'\w+\* \w+', "use int *foo, not int* foo"), |
|
115 |
(r'\([^\)]+\) \w+', "use (int)foo, not (int) foo"), |
|
116 |
(r'\S+ (\+\+|--)', "use foo++, not foo ++"), |
|
117 |
(r'\w,\w', "missing whitespace after ,"), |
|
118 |
(r'\w[+/*]\w', "missing whitespace in expression"), |
|
119 |
(r'^#\s+\w', "use #foo, not # foo"), |
|
120 |
(r'[^\n]\Z', "no trailing newline"), |
|
121 |
] |
|
122 |
||
123 |
cfilters = [ |
|
124 |
(r'(/\*)(((\*(?!/))|[^*])*)\*/', repccomment), |
|
125 |
(r'''(?<!")(")(([^"]|\\")+"(?!"))''', repquote), |
|
126 |
(r'''(#\s*include\s+<)([^>]+)>''', repinclude), |
|
127 |
(r'(\()([^)]+\))', repcallspaces), |
|
128 |
] |
|
129 |
||
130 |
checks = [ |
|
131 |
('python', r'.*\.(py|cgi)$', pyfilters, pypats), |
|
132 |
('test script', r'(.*/)?test-[^.~]*$', testfilters, testpats), |
|
133 |
('c', r'.*\.c$', cfilters, cpats), |
|
134 |
] |
|
135 |
||
136 |
if len(sys.argv) == 1: |
|
137 |
check = glob.glob("*") |
|
138 |
else: |
|
139 |
check = sys.argv[1:] |
|
140 |
||
141 |
for f in check: |
|
142 |
for name, match, filters, pats in checks: |
|
143 |
fc = 0 |
|
144 |
if not re.match(match, f): |
|
145 |
continue |
|
146 |
pre = post = open(f).read() |
|
10287
5da892be3497
check-code: add some ignore hints
Matt Mackall <mpm@selenic.com>
parents:
10286
diff
changeset
|
147 |
if "no-" + "check-code" in pre: |
5da892be3497
check-code: add some ignore hints
Matt Mackall <mpm@selenic.com>
parents:
10286
diff
changeset
|
148 |
break |
10281 | 149 |
for p, r in filters: |
150 |
post = re.sub(p, r, post) |
|
151 |
# print post # uncomment to show filtered version |
|
152 |
z = enumerate(zip(pre.splitlines(), post.splitlines(True))) |
|
153 |
for n, l in z: |
|
10287
5da892be3497
check-code: add some ignore hints
Matt Mackall <mpm@selenic.com>
parents:
10286
diff
changeset
|
154 |
if "check-code" + "-ignore" in l[0]: |
5da892be3497
check-code: add some ignore hints
Matt Mackall <mpm@selenic.com>
parents:
10286
diff
changeset
|
155 |
continue |
10281 | 156 |
lc = 0 |
157 |
for p, msg in pats: |
|
158 |
if re.search(p, l[1]): |
|
159 |
if not lc: |
|
160 |
print "%s:%d:" % (f, n + 1) |
|
161 |
print " > %s" % l[0] |
|
162 |
print " %s" % msg |
|
163 |
lc += 1 |
|
164 |
fc += 1 |
|
165 |
if fc == 15: |
|
166 |
print " (too many errors, giving up)" |
|
167 |
break |
|
168 |
break |