mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

[Doxygen] Fix bug where def_Type directives in z3.h would appear

Browse source 
in generated doxygen documentation.
This commit is contained in:
Dan Liew 2017-04-24 15:45:57 +01:00
parent 81ba729aab
commit ca678c3675
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
doc/mk_api_doc.py
View file

@ -50,15 +50,16 @@ def mk_dir(d):
if not os.path.exists(d): if not os.path.exists(d):
os.makedirs(d) os.makedirs(d)
# Eliminate def_API and extra_API directives from file 'inf'. # Eliminate def_API, extra_API, and def_Type directives from file 'inf'.
# The result is stored in 'outf'. # The result is stored in 'outf'.
def cleanup_API(inf, outf): def cleanup_API(inf, outf):
pat1 = re.compile(".*def_API.*") pat1 = re.compile(".*def_API.*")
pat2 = re.compile(".*extra_API.*") pat2 = re.compile(".*extra_API.*")
pat3 = re.compile(r".*def_Type\(.*")
_inf = open(inf, 'r') _inf = open(inf, 'r')
_outf = open(outf, 'w') _outf = open(outf, 'w')
for line in _inf: for line in _inf:
if not pat1.match(line) and not pat2.match(line): if not pat1.match(line) and not pat2.match(line) and not pat3.match(line):
_outf.write(line) _outf.write(line)
try: try: