mirror of
git://sourceware.org/git/glibc.git
synced 2024-11-27 03:41:23 +08:00
74 lines
2.4 KiB
Python
Executable File
74 lines
2.4 KiB
Python
Executable File
#!/usr/bin/python3
|
|
# Check is all errno definitions at errlist.h documented in the manual.
|
|
# Copyright (C) 2020-2024 Free Software Foundation, Inc.
|
|
# This file is part of the GNU C Library.
|
|
#
|
|
# The GNU C Library is free software; you can redistribute it and/or
|
|
# modify it under the terms of the GNU Lesser General Public
|
|
# License as published by the Free Software Foundation; either
|
|
# version 2.1 of the License, or (at your option) any later version.
|
|
#
|
|
# The GNU C Library is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
# Lesser General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU Lesser General Public
|
|
# License along with the GNU C Library; if not, see
|
|
# <https://www.gnu.org/licenses/>.
|
|
|
|
import argparse
|
|
import sys
|
|
import re
|
|
|
|
RE_MANUAL = re.compile(
|
|
r'(?:^@errno){(\w+)')
|
|
|
|
RE_ERRLIST = re.compile(
|
|
r'\(E[a-zA-Z0-9]+\)')
|
|
|
|
PASS=0
|
|
FAIL=1
|
|
|
|
# Each manual entry is in the form:
|
|
#
|
|
# errno{EAGAIN, 35, Resource temporarily unavailable}
|
|
def parse_manual(f):
|
|
errlist = [RE_MANUAL.findall(s) for s in f]
|
|
return map(lambda x : x[0], filter(None, errlist))
|
|
|
|
# Each errlist entry is in the form:
|
|
#
|
|
# _S(ERR_MAP(EAGAIN), N_("Resource temporarily unavailable"))
|
|
def parse_errlist(f):
|
|
errlist = [RE_ERRLIST.findall(s) for s in f]
|
|
# Each element is '[]' or '['(EAGAIN)']'
|
|
return map(lambda s : s[0][s[0].find('(')+1:s[0].find(')')],
|
|
filter(None, errlist))
|
|
|
|
def check_errno_definitions(manual_fname, errlist_fname):
|
|
with open(manual_fname, 'r') as mfile, open(errlist_fname, 'r') as efile:
|
|
merr = parse_manual(mfile)
|
|
eerr = parse_errlist(efile)
|
|
diff = set(eerr).difference(merr)
|
|
if not diff:
|
|
sys.exit(PASS)
|
|
else:
|
|
print("Failure: the following value(s) are not in manual:",
|
|
", ".join(str(e) for e in diff))
|
|
sys.exit(FAIL)
|
|
|
|
def main():
|
|
parser = argparse.ArgumentParser(description='Generate errlist.h')
|
|
parser.add_argument('-m', dest='manual', metavar='FILE',
|
|
help='manual errno texi file')
|
|
parser.add_argument('-e', dest='errlist', metavar='FILE',
|
|
help='errlist with errno definitions')
|
|
args = parser.parse_args()
|
|
|
|
check_errno_definitions(args.manual, args.errlist)
|
|
|
|
|
|
if __name__ == '__main__':
|
|
main()
|