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

add macro to track closures declared in z3_api

Browse source 
This is to ease integration with external API wrappers that rely on accessing
information about type names that are used.
#5762
This commit is contained in:
Nikolaj Bjorner 2022-01-12 02:47:39 -08:00
parent e5eaea46aa
commit 2bcc814031
2 changed files with 12 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
src/api/z3_api.h
View file

@ -1423,19 +1423,18 @@ typedef enum
/** /**
\brief Z3 custom error handler (See #Z3_set_error_handler). \brief Z3 custom error handler (See #Z3_set_error_handler).
*/ */
typedef void Z3_error_handler(Z3_context c, Z3_error_code e); Z3_DECLARE_CLOSURE(Z3_error_handler, void, (Z3_context c, Z3_error_code e));
/** /**
\brief callback functions for user propagator. \brief callback functions for user propagator.
*/ */
typedef void Z3_push_eh(void* ctx); Z3_DECLARE_CLOSURE(Z3_push_eh, void, (void* ctx));
typedef void Z3_pop_eh(void* ctx, unsigned num_scopes); Z3_DECLARE_CLOSURE(Z3_pop_eh, void, (void* ctx, unsigned num_scopes));
typedef void* Z3_fresh_eh(void* ctx, Z3_context new_context); Z3_DECLARE_CLOSURE(Z3_fresh_eh, void*, (void* ctx, Z3_context new_context));
typedef void Z3_fixed_eh(void* ctx, Z3_solver_callback cb, unsigned id, Z3_ast value); Z3_DECLARE_CLOSURE(Z3_fixed_eh, void, (void* ctx, Z3_solver_callback cb, unsigned id, Z3_ast value));
typedef void Z3_eq_eh(void* ctx, Z3_solver_callback cb, unsigned x, unsigned y); Z3_DECLARE_CLOSURE(Z3_eq_eh, void, (void* ctx, Z3_solver_callback cb, unsigned x, unsigned y));
typedef void Z3_final_eh(void* ctx, Z3_solver_callback cb); Z3_DECLARE_CLOSURE(Z3_final_eh, void, (void* ctx, Z3_solver_callback cb));
typedef void Z3_created_eh(void* ctx, Z3_solver_callback cb, Z3_ast e, unsigned id); Z3_DECLARE_CLOSURE(Z3_created_eh, void, (void* ctx, Z3_solver_callback cb, Z3_ast e, unsigned id));
/** /**

4
src/api/z3_macros.h
View file

@ -16,3 +16,7 @@ Copyright (c) 2015 Microsoft Corporation
#ifndef DEFINE_TYPE #ifndef DEFINE_TYPE
#define DEFINE_TYPE(T) typedef struct _ ## T *T #define DEFINE_TYPE(T) typedef struct _ ## T *T
#endif #endif
#ifndef Z3_DECLARE_CLOSURE
#define Z3_DECLARE_CLOSURE(_NAME_,_RETURN_,_ARGS_) typedef _RETURN_ _NAME_ _ARGS_
#endif