Function print_checkers

tools/get_checkers.py:17–30

(glob_pattern:str)

        return iterable

def print_checkers(glob_pattern:str):
    checkers = {}
    for filename in glob.glob(glob_pattern):
        for line in open(filename,'rt'):
            res = re.match(r'[ \t]*logChecker\(\s*"([^"]+)"\s*\);.*', line)
            if res is None:
                continue
            if line.find('//') > 0:
                req = line[line.find('//')+2:].strip()
            else:
                req = ''
            checkers[res.group(1)] = req
    for c,req in dict(sorted(checkers.items())).items():
        print('        {"%s","%s"},' % (c, req))


print("""/*