From e178b9fc62db2941d7417fe90fbe879a352c188d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 25 Nov 2025 20:54:49 -0800 Subject: [PATCH] update java API code to work with boolean pointers Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/update_api.py b/scripts/update_api.py index 90164e108..27b4e1827 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -558,6 +558,8 @@ def param2java(p): return "LongPtr" elif param_type(p) == STRING: return "StringPtr" + elif param_type(p) == BOOL: + return "BoolPtr" else: print("ERROR: unreachable code") assert(False) @@ -623,6 +625,7 @@ def mk_java(java_src, java_dir, package_name): java_native.write(' public static class StringPtr { public String value; }\n') java_native.write(' public static class ObjArrayPtr { public long[] value; }\n') java_native.write(' public static class UIntArrayPtr { public int[] value; }\n') + java_native.write(' public static class BoolPtr { public boolean[] value; }\n') java_native.write(' public static native void setInternalErrorHandler(long ctx);\n\n') java_native.write(' static {\n')