mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-14 09:56:15 +00:00
Code Activity

Update parse-api.ts

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-10-19 12:52:58 -07:00
parent b084852397
commit 4c79e63c1b
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/js/scripts/parse-api.ts
View file

@ -45,6 +45,8 @@ const types = {
__proto__: null, __proto__: null,
// these are function types I can't be bothered to parse // these are function types I can't be bothered to parse
// NSB: They can be extracted automatically from z3_api.h thanks to the use
// of a macro.
Z3_error_handler: 'Z3_error_handler', Z3_error_handler: 'Z3_error_handler',
Z3_push_eh: 'Z3_push_eh', Z3_push_eh: 'Z3_push_eh',
Z3_pop_eh: 'Z3_pop_eh', Z3_pop_eh: 'Z3_pop_eh',
@ -54,6 +56,7 @@ const types = {
Z3_final_eh: 'Z3_final_eh', Z3_final_eh: 'Z3_final_eh',
Z3_created_eh: 'Z3_created_eh', Z3_created_eh: 'Z3_created_eh',
Z3_decide_eh: 'Z3_decide_eh', Z3_decide_eh: 'Z3_decide_eh',
Z3_on_clause_eh: 'Z3_on_clause_eh',
} as unknown as Record<string, string>; } as unknown as Record<string, string>;
export type ApiParam = { kind: string; sizeIndex?: number; type: string }; export type ApiParam = { kind: string; sizeIndex?: number; type: string };