Add library header files: Python port of 65a6fa3e26

Signed-off-by: Yuto Takano <yuto.takano@arm.com>
This commit is contained in:
Yuto Takano 2021-08-05 20:10:45 +01:00
parent c763cc368f
commit 157444c24d

View file

@ -119,12 +119,12 @@ class NameCheck(object):
if current_dir != root_dir:
raise Exception("Must be run from Mbed TLS root")
def get_files(self, directory):
def get_files(self, extension, directory):
filenames = []
for root, dirs, files in sorted(os.walk(directory)):
for filename in sorted(files):
if (filename not in self.excluded_files and
filename.endswith((".c", ".h"))):
filename.endswith("." + extension)):
filenames.append(os.path.join(root, filename))
return filenames
@ -375,21 +375,22 @@ class NameCheck(object):
"""
self.log.info("Parsing source code...")
m_headers = self.get_files(os.path.join("include", "mbedtls"))
p_headers = self.get_files(os.path.join("include", "psa"))
m_headers = self.get_files("h", os.path.join("include", "mbedtls"))
p_headers = self.get_files("h", os.path.join("include", "psa"))
t_headers = ["3rdparty/everest/include/everest/everest.h",
"3rdparty/everest/include/everest/x25519.h"]
libraries = self.get_files("library") + [
l_headers = self.get_files("h", "library")
libraries = self.get_files("c", "library") + [
"3rdparty/everest/library/everest.c",
"3rdparty/everest/library/x25519.c"]
all_macros = self.parse_macros(
m_headers + p_headers + t_headers)
m_headers + p_headers + t_headers + l_headers)
enum_consts = self.parse_enum_consts(m_headers + t_headers)
identifiers = self.parse_identifiers(m_headers + p_headers + t_headers)
symbols = self.parse_symbols()
mbed_names = self.parse_MBED_names(
m_headers + p_headers + t_headers + libraries)
m_headers + p_headers + t_headers + l_headers + libraries)
# Remove identifier macros like mbedtls_printf or mbedtls_calloc
macros = list(set(all_macros) - set(identifiers))