Lines Matching refs:log_h

944     global log_h, log_c
948     mk_log_header(log_h, name, params)
949     log_h.write(';\n')
1107     mk_log_macro(log_h, name, params)
1109         mk_log_result_macro(log_h, name, result, params)
1710 def write_log_h_preamble(log_h):  argument
1711   log_h.write('// Automatically generated file\n')
1712   log_h.write('#include\"api/z3.h\"\n')
1713   log_h.write('#ifdef __GNUC__\n')
1714   log_h.write('#define _Z3_UNUSED __attribute__((unused))\n')
1715   log_h.write('#else\n')
1716   log_h.write('#define _Z3_UNUSED\n')
1717   log_h.write('#endif\n')
1719   log_h.write('#include<iostream>\n')
1720   log_h.write('#include<atomic>\n')
1721   log_h.write('extern std::ostream * g_z3_log;\n')
1722   log_h.write('extern std::atomic<bool>      g_z3_log_enabled;\n')
1723 …log_h.write('class z3_log_ctx { bool m_prev; public: z3_log_ctx() { m_prev = g_z3_log && g_z3_log_…
1724 …log_h.write('inline void SetR(void * obj) { *g_z3_log << "= " << obj << "\\n"; }\ninline void SetO…
1725   log_h.write('#define RETURN_Z3(Z3RES) if (_LOG_CTX.enabled()) { SetR(Z3RES); } return Z3RES\n')
1726   log_h.write('void _Z3_append_log(char const * msg);\n')
1876 log_h = None  variable
1916   global log_h, log_c, exe_c, core_py
1933   with mk_file_or_temp(api_output_dir, 'api_log_macros.h') as log_h:
1938           write_log_h_preamble(log_h)
1951             print("Generated '{}'".format(log_h.name))