mirror of
https://github.com/ddnet/ddnet.git
synced 2024-11-10 01:58:19 +00:00
23af9ef448
Example: Wrong header guard in src/game/bezier.h, is: #ifndef GAAME_BEZIER_H, should be: #ifndef GAME_BEZIER_H
51 lines
1.4 KiB
Python
Executable file
51 lines
1.4 KiB
Python
Executable file
#!/usr/bin/env python3
|
|
import os
|
|
import sys
|
|
|
|
os.chdir(os.path.dirname(__file__) + "/..")
|
|
|
|
PATH = "src/"
|
|
EXCEPTIONS = [
|
|
"src/base/unicode/confusables.h",
|
|
"src/base/unicode/confusables_data.h",
|
|
"src/base/unicode/tolower.h",
|
|
"src/base/unicode/tolower_data.h",
|
|
"src/tools/config_common.h"
|
|
]
|
|
|
|
def check_file(filename):
|
|
if filename in EXCEPTIONS:
|
|
return False
|
|
error = False
|
|
with open(filename) as file:
|
|
for line in file:
|
|
if line == "// This file can be included several times.\n":
|
|
break
|
|
if line[0] == "/" or line[0] == "*" or line[0] == "\r" or line[0] == "\n" or line[0] == "\t":
|
|
continue
|
|
header_guard = "#ifndef " + ("_".join(filename.split(PATH)[1].split("/"))[:-2]).upper() + "_H"
|
|
if line.startswith("#ifndef"):
|
|
if line[:-1] != header_guard:
|
|
error = True
|
|
print("Wrong header guard in {}, is: {}, should be: {}".format(filename, line[:-1], header_guard))
|
|
else:
|
|
error = True
|
|
print("Missing header guard in {}, should be: {}".format(filename, header_guard))
|
|
break
|
|
return error
|
|
|
|
def check_dir(directory):
|
|
errors = 0
|
|
file_list = os.listdir(directory)
|
|
for file in file_list:
|
|
path = directory + file
|
|
if os.path.isdir(path):
|
|
if file not in ("external", "generated"):
|
|
errors += check_dir(path + "/")
|
|
elif file.endswith(".h") and file != "keynames.h":
|
|
errors += check_file(path)
|
|
return errors
|
|
|
|
if __name__ == '__main__':
|
|
sys.exit(int(check_dir(PATH) != 0))
|