OLD | NEW |
1 # Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 # Copyright (c) 2012 The Chromium Authors. All rights reserved. |
2 # Use of this source code is governed by a BSD-style license that can be | 2 # Use of this source code is governed by a BSD-style license that can be |
3 # found in the LICENSE file. | 3 # found in the LICENSE file. |
4 | 4 |
5 """Checks C++ and Objective-C files for illegal includes.""" | 5 """Checks C++ and Objective-C files for illegal includes.""" |
6 | 6 |
7 import codecs | 7 import codecs |
8 import re | 8 import re |
9 | 9 |
| 10 from rules import Rule |
| 11 |
10 | 12 |
11 class CppChecker(object): | 13 class CppChecker(object): |
12 | 14 |
13 EXTENSIONS = [ | 15 EXTENSIONS = [ |
14 '.h', | 16 '.h', |
15 '.cc', | 17 '.cc', |
16 '.m', | 18 '.m', |
17 '.mm', | 19 '.mm', |
18 ] | 20 ] |
19 | 21 |
20 # The maximum number of non-include lines we can see before giving up. | 22 # The maximum number of non-include lines we can see before giving up. |
21 _MAX_UNINTERESTING_LINES = 50 | 23 _MAX_UNINTERESTING_LINES = 50 |
22 | 24 |
23 # The maximum line length, this is to be efficient in the case of very long | 25 # The maximum line length, this is to be efficient in the case of very long |
24 # lines (which can't be #includes). | 26 # lines (which can't be #includes). |
25 _MAX_LINE_LENGTH = 128 | 27 _MAX_LINE_LENGTH = 128 |
26 | 28 |
27 # This regular expression will be used to extract filenames from include | 29 # This regular expression will be used to extract filenames from include |
28 # statements. | 30 # statements. |
29 _EXTRACT_INCLUDE_PATH = re.compile( | 31 _EXTRACT_INCLUDE_PATH = re.compile( |
30 '[ \t]*#[ \t]*(?:include|import)[ \t]+"(.*)"') | 32 '[ \t]*#[ \t]*(?:include|import)[ \t]+"(.*)"') |
31 | 33 |
32 def __init__(self, verbose): | 34 def __init__(self, verbose): |
33 self._verbose = verbose | 35 self._verbose = verbose |
34 | 36 |
35 def _CheckLine(self, rules, line): | 37 def CheckLine(self, rules, line, fail_on_temp_allow=False): |
36 """Checks the given file with the given rule set. | 38 """Checks the given line with the given rule set. |
37 Returns a tuple (is_include, illegal_description). | 39 Returns a triplet (is_include, illegal_description, rule_type). |
| 40 |
38 If the line is an #include directive the first value will be True. | 41 If the line is an #include directive the first value will be True. |
39 If it is also an illegal include, the second value will be a string | 42 If it is also an illegal include, the second value will be a |
40 describing the error. Otherwise, it will be None.""" | 43 string describing the error. Otherwise, it will be None. If |
| 44 fail_on_temp_allow is False, only Rule.DISALLOW rules will cause a |
| 45 problem to be reported. If it is true, both Rule.DISALLOW and |
| 46 Rule.TEMP_ALLOW will cause an error. |
| 47 |
| 48 The last item in the triplet returns the type of rule that |
| 49 applied, one of Rule.ALLOW (which implies the second item is |
| 50 None), Rule.DISALLOW (which implies that the second item is not |
| 51 None) and Rule.TEMP_ALLOW (in which case the second item will be |
| 52 None only if fail_on_temp_allow is False). |
| 53 """ |
41 found_item = self._EXTRACT_INCLUDE_PATH.match(line) | 54 found_item = self._EXTRACT_INCLUDE_PATH.match(line) |
42 if not found_item: | 55 if not found_item: |
43 return False, None # Not a match | 56 return False, None, Rule.ALLOW # Not a match |
44 | 57 |
45 include_path = found_item.group(1) | 58 include_path = found_item.group(1) |
46 | 59 |
47 if '\\' in include_path: | 60 if '\\' in include_path: |
48 return True, 'Include paths may not include backslashes' | 61 return True, 'Include paths may not include backslashes', Rule.DISALLOW |
49 | 62 |
50 if '/' not in include_path: | 63 if '/' not in include_path: |
51 # Don't fail when no directory is specified. We may want to be more | 64 # Don't fail when no directory is specified. We may want to be more |
52 # strict about this in the future. | 65 # strict about this in the future. |
53 if self._verbose: | 66 if self._verbose: |
54 print ' WARNING: directory specified with no path: ' + include_path | 67 print ' WARNING: directory specified with no path: ' + include_path |
55 return True, None | 68 return True, None, Rule.ALLOW |
56 | 69 |
57 (allowed, why_failed) = rules.DirAllowed(include_path) | 70 (allowed, why_failed) = rules.DirAllowed(include_path) |
58 if not allowed: | 71 if (allowed == Rule.DISALLOW or |
| 72 (fail_on_temp_allow and allowed == Rule.TEMP_ALLOW)): |
59 if self._verbose: | 73 if self._verbose: |
60 retval = '\nFor %s' % rules | 74 retval = '\nFor %s' % rules |
61 else: | 75 else: |
62 retval = '' | 76 retval = '' |
63 return True, retval + ('Illegal include: "%s"\n Because of %s' % | 77 return True, retval + ('Illegal include: "%s"\n Because of %s' % |
64 (include_path, why_failed)) | 78 (include_path, why_failed)), allowed |
65 | 79 |
66 return True, None | 80 return True, None, allowed |
67 | 81 |
68 def CheckFile(self, rules, filepath): | 82 def CheckFile(self, rules, filepath): |
69 if self._verbose: | 83 if self._verbose: |
70 print 'Checking: ' + filepath | 84 print 'Checking: ' + filepath |
71 | 85 |
72 ret_val = '' # We'll collect the error messages in here | 86 ret_val = '' # We'll collect the error messages in here |
73 last_include = 0 | 87 last_include = 0 |
74 with codecs.open(filepath, encoding='utf-8') as f: | 88 with codecs.open(filepath, encoding='utf-8') as f: |
75 in_if0 = 0 | 89 in_if0 = 0 |
76 for line_num, line in enumerate(f): | 90 for line_num, line in enumerate(f): |
77 if line_num - last_include > self._MAX_UNINTERESTING_LINES: | 91 if line_num - last_include > self._MAX_UNINTERESTING_LINES: |
78 break | 92 break |
79 | 93 |
80 line = line.strip() | 94 line = line.strip() |
81 | 95 |
82 # Check to see if we're at / inside a #if 0 block | 96 # Check to see if we're at / inside a #if 0 block |
83 if line.startswith('#if 0'): | 97 if line.startswith('#if 0'): |
84 in_if0 += 1 | 98 in_if0 += 1 |
85 continue | 99 continue |
86 if in_if0 > 0: | 100 if in_if0 > 0: |
87 if line.startswith('#if'): | 101 if line.startswith('#if'): |
88 in_if0 += 1 | 102 in_if0 += 1 |
89 elif line.startswith('#endif'): | 103 elif line.startswith('#endif'): |
90 in_if0 -= 1 | 104 in_if0 -= 1 |
91 continue | 105 continue |
92 | 106 |
93 is_include, line_status = self._CheckLine(rules, line) | 107 is_include, line_status, rule_type = self.CheckLine(rules, line) |
94 if is_include: | 108 if is_include: |
95 last_include = line_num | 109 last_include = line_num |
96 if line_status is not None: | 110 if line_status is not None: |
97 if len(line_status) > 0: # Add newline to separate messages. | 111 if len(line_status) > 0: # Add newline to separate messages. |
98 line_status += '\n' | 112 line_status += '\n' |
99 ret_val += line_status | 113 ret_val += line_status |
100 | 114 |
101 return ret_val | 115 return ret_val |
OLD | NEW |