+ out_typescript_bindings += f"): {fn_line.ret_ty_info.java_ty};\n"
+
+ out_typescript_bindings = out_typescript_bindings + "\t\t}\n\n"
+
+ out_typescript_bindings += f"\t\texport function {struct_name}_new(impl: {struct_name}"
+ for var in field_var_conversions:
+ if isinstance(var, ConvInfo):
+ out_typescript_bindings += f", {var.arg_name}: {var.java_ty}"
+ else:
+ out_typescript_bindings += f", {var[1]}: {var[0]}"
+
+ out_typescript_bindings += f"""): number {{
+ throw new Error('unimplemented'); // TODO: bind to WASM
+ }}
+"""
+
+ out_typescript_bindings += '\n// OUT_TYPESCRIPT_BINDINGS :: MAP_TRAIT :: END\n\n\n'
+
+ # Now that we've written out our java code (and created java_meths), generate C
+ out_c = "typedef struct " + struct_name + "_JCalls {\n"
+ out_c = out_c + "\tatomic_size_t refcnt;\n"
+ out_c = out_c + "\t// TODO: Object pointer o;\n"
+ for var in field_var_conversions:
+ if isinstance(var, ConvInfo):
+ # We're a regular ol' field
+ pass
+ else:
+ # We're a supertrait
+ out_c = out_c + "\t" + var[0] + "_JCalls* " + var[1] + ";\n"
+ for fn in field_function_lines:
+ if fn.fn_name != "free" and fn.fn_name != "clone":
+ out_c = out_c + "\t// TODO: Some kind of method pointer " + fn.fn_name + "_meth;\n"
+ out_c = out_c + "} " + struct_name + "_JCalls;\n"
+
+ for fn_line in field_function_lines:
+ if fn_line.fn_name == "free":
+ out_c = out_c + "static void " + struct_name + "_JCalls_free(void* this_arg) {\n"
+ out_c = out_c + "\t" + struct_name + "_JCalls *j_calls = (" + struct_name + "_JCalls*) this_arg;\n"
+ out_c = out_c + "\tif (atomic_fetch_sub_explicit(&j_calls->refcnt, 1, memory_order_acquire) == 1) {\n"
+ out_c = out_c + "\t\t// TODO: do any release required for j_calls->o (refcnt-- in java, but may be redundant)\n"
+ out_c = out_c + "\t\tFREE(j_calls);\n"
+ out_c = out_c + "\t}\n}\n"
+
+ for idx, fn_line in enumerate(field_function_lines):
+ if fn_line.fn_name != "free" and fn_line.fn_name != "clone":
+ assert fn_line.ret_ty_info.ty_info.get_full_rust_ty()[1] == ""
+ out_c = out_c + fn_line.ret_ty_info.ty_info.get_full_rust_ty()[0] + " " + fn_line.fn_name + "_jcall("
+ if fn_line.self_is_const:
+ out_c = out_c + "const void* this_arg"
+ else:
+ out_c = out_c + "void* this_arg"
+
+ for idx, arg in enumerate(fn_line.args_ty):
+ out_c = out_c + ", " + arg.ty_info.get_full_rust_ty()[0] + " " + arg.arg_name + arg.ty_info.get_full_rust_ty()[1]
+
+ out_c = out_c + ") {\n"
+ out_c = out_c + "\t" + struct_name + "_JCalls *j_calls = (" + struct_name + "_JCalls*) this_arg;\n"
+
+ for arg_info in fn_line.args_ty:
+ if arg_info.ret_conv is not None:
+ out_c = out_c + "\t" + arg_info.ret_conv[0].replace('\n', '\n\t')
+ out_c = out_c + arg_info.arg_name
+ out_c = out_c + arg_info.ret_conv[1].replace('\n', '\n\t') + "\n"
+
+ out_c = out_c + "\t//TODO: jobject obj = get object we can call against on j_calls->o\n"
+ if fn_line.ret_ty_info.c_ty.endswith("Array"):
+ out_c = out_c + "\t" + fn_line.ret_ty_info.c_ty + " arg; // TODO: Call " + fn_line.fn_name + " on j_calls with instance obj, returning an object"
+ elif fn_line.ret_ty_info.java_ty == "void":
+ out_c = out_c + "\treturn; //TODO: Call " + fn_line.fn_name + " on j_calls with instance obj"
+ elif not fn_line.ret_ty_info.passed_as_ptr:
+ out_c = out_c + "\treturn 0; //TODO: Call " + fn_line.fn_name + " on j_calls with instance obj, returning " + fn_line.ret_ty_info.java_ty
+ else:
+ out_c = out_c + "\t" + fn_line.ret_ty_info.rust_obj + "* ret; // TODO: Call " + fn_line.fn_name + " on j_calls with instance obj, returning a pointer"
+
+ for idx, arg_info in enumerate(fn_line.args_ty):
+ if arg_info.ret_conv is not None:
+ out_c = out_c + ", " + arg_info.ret_conv_name
+ else:
+ out_c = out_c + ", " + arg_info.arg_name
+ out_c = out_c + ");\n"
+ if fn_line.ret_ty_info.arg_conv is not None:
+ out_c = out_c + "\t" + fn_line.ret_ty_info.arg_conv.replace("\n", "\n\t") + "\n\treturn " + fn_line.ret_ty_info.arg_conv_name + ";\n"
+
+ out_c = out_c + "}\n"
+
+ # Write out a clone function whether we need one or not, as we use them in moving to rust
+ out_c = out_c + "static void* " + struct_name + "_JCalls_clone(const void* this_arg) {\n"
+ out_c = out_c + "\t" + struct_name + "_JCalls *j_calls = (" + struct_name + "_JCalls*) this_arg;\n"
+ out_c = out_c + "\tatomic_fetch_add_explicit(&j_calls->refcnt, 1, memory_order_release);\n"
+ for var in field_var_conversions:
+ if not isinstance(var, ConvInfo):
+ out_c = out_c + "\tatomic_fetch_add_explicit(&j_calls->" + var[1] + "->refcnt, 1, memory_order_release);\n"
+ out_c = out_c + "\treturn (void*) this_arg;\n"
+ out_c = out_c + "}\n"
+
+ out_c = out_c + "static inline " + struct_name + " " + struct_name + "_init (" + self.c_fn_args_pfx + ", /*TODO: JS Object Reference */void* o"
+ for var in field_var_conversions:
+ if isinstance(var, ConvInfo):
+ out_c = out_c + ", " + var.c_ty + " " + var.arg_name
+ else:
+ out_c = out_c + ", /*TODO: JS Object Reference */void* " + var[1]
+ out_c = out_c + ") {\n"
+
+ out_c = out_c + "\t" + struct_name + "_JCalls *calls = MALLOC(sizeof(" + struct_name + "_JCalls), \"" + struct_name + "_JCalls\");\n"
+ out_c = out_c + "\tatomic_init(&calls->refcnt, 1);\n"
+ out_c = out_c + "\t//TODO: Assign calls->o from o\n"
+
+ for (fn_name, java_meth_descr) in java_meths:
+ if fn_name != "free" and fn_name != "clone":
+ out_c = out_c + "\tcalls->" + fn_name + "_meth = (*env)->GetMethodID(env, c, \"" + fn_name + "\", \"" + java_meth_descr + "\");\n"
+ out_c = out_c + "\tCHECK(calls->" + fn_name + "_meth != NULL);\n"
+
+ for var in field_var_conversions:
+ if isinstance(var, ConvInfo) and var.arg_conv is not None:
+ out_c = out_c + "\n\t" + var.arg_conv.replace("\n", "\n\t") +"\n"
+ out_c = out_c + "\n\t" + struct_name + " ret = {\n"
+ out_c = out_c + "\t\t.this_arg = (void*) calls,\n"
+ for fn_line in field_function_lines:
+ if fn_line.fn_name != "free" and fn_line.fn_name != "clone":
+ out_c = out_c + "\t\t." + fn_line.fn_name + " = " + fn_line.fn_name + "_jcall,\n"
+ elif fn_line.fn_name == "free":
+ out_c = out_c + "\t\t.free = " + struct_name + "_JCalls_free,\n"
+ else:
+ out_c = out_c + "\t\t.clone = " + struct_name + "_JCalls_clone,\n"
+ for var in field_var_conversions:
+ if isinstance(var, ConvInfo):
+ if var.arg_conv_name is not None:
+ out_c = out_c + "\t\t." + var.arg_name + " = " + var.arg_conv_name + ",\n"
+ out_c = out_c + "\t\t.set_" + var.arg_name + " = NULL,\n"
+ else:
+ out_c = out_c + "\t\t." + var.var_name + " = " + var.var_name + ",\n"
+ out_c = out_c + "\t\t.set_" + var.var_name + " = NULL,\n"
+ else:
+ out_c = out_c + "\t\t." + var[1] + " = " + var[0] + "_init(NULL, " + var[1] + "),\n"
+ out_c = out_c + "\t};\n"
+ for var in field_var_conversions:
+ if not isinstance(var, ConvInfo):
+ out_c = out_c + "\tcalls->" + var[1] + " = ret." + var[1] + ".this_arg;\n"
+ out_c = out_c + "\treturn ret;\n"
+ out_c = out_c + "}\n"
+
+ out_c = out_c + self.c_fn_ty_pfx + "long " + self.c_fn_name_pfx + struct_name.replace("_", "_1") + "_1new (" + self.c_fn_args_pfx + ", /*TODO: JS Object Reference */void* o"
+ for var in field_var_conversions:
+ if isinstance(var, ConvInfo):
+ out_c = out_c + ", " + var.c_ty + " " + var.arg_name
+ else:
+ out_c = out_c + ", /*TODO: JS Object Reference */ void* " + var[1]
+ out_c = out_c + ") {\n"
+ out_c = out_c + "\t" + struct_name + " *res_ptr = MALLOC(sizeof(" + struct_name + "), \"" + struct_name + "\");\n"
+ out_c = out_c + "\t*res_ptr = " + struct_name + "_init(NULL, o"
+ for var in field_var_conversions:
+ if isinstance(var, ConvInfo):
+ out_c = out_c + ", " + var.arg_name
+ else:
+ out_c = out_c + ", " + var[1]
+ out_c = out_c + ");\n"
+ out_c = out_c + "\treturn (long)res_ptr;\n"
+ out_c = out_c + "}\n"
+
+ return (out_typescript_bindings, out_typescript_human, out_c)
+
+ def trait_struct_inc_refcnt(self, ty_info):
+ return ""
+
+ def map_complex_enum(self, struct_name, variant_list, camel_to_snake):