Handle _out(STRING) parameters in Java API (Z3Prover#6325)

NikolajBjorner · Sep 6, 2022 · adf6e98 · adf6e98
1 parent 9732169
commit adf6e98
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/scripts/update_api.py b/scripts/update_api.py
@@ -776,6 +776,13 @@ def mk_java(java_src, java_dir, package_name):
                     java_wrapper.write('     jfieldID fid = jenv->GetFieldID(mc, "value", "I");\n')
                     java_wrapper.write('     jenv->SetIntField(a%s, fid, (jint) _a%s);\n' % (i, i))
                     java_wrapper.write('  }\n')
+                elif param_type(param) == STRING:
+                    java_wrapper.write('  {\n')
+                    java_wrapper.write('     jclass mc    = jenv->GetObjectClass(a%s);\n' % i)
+                    java_wrapper.write('     jfieldID fid = jenv->GetFieldID(mc, "value", "Ljava/lang/String;");')
+                    java_wrapper.write('     jstring fval = jenv->NewStringUTF(_a%s);\n' % i)
+                    java_wrapper.write('     jenv->SetObjectField(a%s, fid, fval);\n' % i)
+                    java_wrapper.write('  }\n')
                 else:
                     java_wrapper.write('  {\n')
                     java_wrapper.write('     jclass mc    = jenv->GetObjectClass(a%s);\n' % i)