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
|
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
import os
import re
from mozlint.types import LineType
here = os.path.abspath(os.path.dirname(__file__))
HEADERS_FILE = os.path.join(here, "mingw-headers.txt")
# generated by cd mingw-w64/mingw-w64-headers &&
# find . -name "*.h" | xargs -I bob -- basename bob | sort | uniq)
class MinGWCapitalization(LineType):
def __init__(self, *args, **kwargs):
super(MinGWCapitalization, self).__init__(*args, **kwargs)
with open(HEADERS_FILE, "r") as fh:
self.headers = fh.read().strip().splitlines()
self.regex = re.compile("^#include\s*<(" + "|".join(self.headers) + ")>")
def condition(self, payload, line, config):
if not line.startswith("#include"):
return False
if self.regex.search(line, re.I):
return not self.regex.search(line)
def lint(paths, config, **lintargs):
results = []
m = MinGWCapitalization()
for path in paths:
results.extend(m._lint(path, config, **lintargs))
return results
|
