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

Remove use of global data structures in

Browse source 
``mk_install_tactic_cpp_internal()``
This commit is contained in:
Dan Liew 2016-03-09 01:20:08 +00:00
parent 87e99cd734
commit b3f6a3c4af
1 changed files with 13 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
scripts/mk_genfile_common.py
View file

@ -223,19 +223,6 @@ def mk_gparams_register_modules_internal(component_src_dirs, path):
# Functions/data structures for generating ``install_tactics.cpp`` # Functions/data structures for generating ``install_tactics.cpp``
############################################################################### ###############################################################################
# FIXME: Remove use of global data structures
ADD_TACTIC_DATA=[]
ADD_PROBE_DATA=[]
def ADD_TACTIC(name, descr, cmd):
global ADD_TACTIC_DATA
ADD_TACTIC_DATA.append((name, descr, cmd))
def ADD_PROBE(name, descr, cmd):
global ADD_PROBE_DATA
ADD_PROBE_DATA.append((name, descr, cmd))
def mk_install_tactic_cpp_internal(component_src_dirs, path): def mk_install_tactic_cpp_internal(component_src_dirs, path):
""" """
Generate a ``install_tactics.cpp`` file in the directory ``path``. Generate a ``install_tactics.cpp`` file in the directory ``path``.
@ -251,9 +238,19 @@ def mk_install_tactic_cpp_internal(component_src_dirs, path):
``component_src_dirs`` The procedure looks for ``ADD_TACTIC`` commands ``component_src_dirs`` The procedure looks for ``ADD_TACTIC`` commands
in the ``.h`` and ``.hpp`` files of these components. in the ``.h`` and ``.hpp`` files of these components.
""" """
global ADD_TACTIC_DATA, ADD_PROBE_DATA
ADD_TACTIC_DATA = [] ADD_TACTIC_DATA = []
ADD_PROBE_DATA = [] ADD_PROBE_DATA = []
def ADD_TACTIC(name, descr, cmd):
ADD_TACTIC_DATA.append((name, descr, cmd))
def ADD_PROBE(name, descr, cmd):
ADD_PROBE_DATA.append((name, descr, cmd))
exec_globals = {
'ADD_TACTIC': ADD_TACTIC,
'ADD_PROBE': ADD_PROBE,
}
assert isinstance(component_src_dirs, list) assert isinstance(component_src_dirs, list)
assert check_dir_exists(path) assert check_dir_exists(path)
fullname = os.path.join(path, 'install_tactic.cpp') fullname = os.path.join(path, 'install_tactic.cpp')
@ -275,7 +272,7 @@ def mk_install_tactic_cpp_internal(component_src_dirs, path):
added_include = True added_include = True
fout.write('#include"%s"\n' % h_file) fout.write('#include"%s"\n' % h_file)
try: try:
exec(line.strip('\n '), globals()) exec(line.strip('\n '), exec_globals)
except Exception as e: except Exception as e:
_logger.error("Failed processing ADD_TACTIC command at '{}'\n{}".format( _logger.error("Failed processing ADD_TACTIC command at '{}'\n{}".format(
fullname, line)) fullname, line))
@ -285,7 +282,7 @@ def mk_install_tactic_cpp_internal(component_src_dirs, path):
added_include = True added_include = True
fout.write('#include"%s"\n' % h_file) fout.write('#include"%s"\n' % h_file)
try: try:
exec(line.strip('\n '), globals()) exec(line.strip('\n '), exec_globals)
except Exception as e: except Exception as e:
_logger.error("Failed processing ADD_PROBE command at '{}'\n{}".format( _logger.error("Failed processing ADD_PROBE command at '{}'\n{}".format(
fullname, line)) fullname, line))