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

cleanup pre-processor for z3_api.h

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-05-28 12:19:39 -07:00
parent 8d980ea704
commit 4953b95baa
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
doc/mk_api_doc.py
View file

@ -132,10 +132,12 @@ 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\(.*") pat3 = re.compile(r".*def_Type\(.*")
pat4 = re.compile("Z3_DECLARE_CLOSURE.*")
pat5 = re.compile("DEFINE_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) and not pat3.match(line): if not pat1.match(line) and not pat2.match(line) and not pat3.match(line) and not pat4.match(line) and not pat5.match(line):
_outf.write(line) _outf.write(line)
def configure_file(template_file_path, output_file_path, substitutions): def configure_file(template_file_path, output_file_path, substitutions):