+ for idx, arg_conv_info in enumerate(fn_line.args_ty):
+ if idx >= 1:
+ out_java_interface += ", "
+ out_interface_implementation_overrides += ", "
+ out_java_interface += f"{arg_conv_info.arg_name}: {arg_conv_info.java_hu_ty}"
+ out_interface_implementation_overrides += f"{arg_conv_info.arg_name}: {arg_conv_info.java_ty}"
+ java_method_descriptor += arg_conv_info.java_fn_ty_arg
+ out_java_interface += f"): {fn_line.ret_ty_info.java_hu_ty};\n\t\t\t\t"
+ java_method_descriptor += ")" + fn_line.ret_ty_info.java_fn_ty_arg
+ java_methods.append((fn_line.fn_name, java_method_descriptor))
+
+ out_interface_implementation_overrides += f"): {fn_line.ret_ty_info.java_ty} {{\n"
+
+ interface_method_override_inset = "\t\t\t\t\t\t"
+ interface_implementation_inset = "\t\t\t\t\t\t\t"
+ for arg_info in fn_line.args_ty:
+ if arg_info.to_hu_conv is not None:
+ out_interface_implementation_overrides += interface_implementation_inset + arg_info.to_hu_conv.replace("\n", "\n\t\t\t\t") + "\n"
+
+ if fn_line.ret_ty_info.java_ty != "void":
+ out_interface_implementation_overrides += interface_implementation_inset + fn_line.ret_ty_info.java_hu_ty + " ret = arg." + fn_line.fn_name + "("
+ else:
+ out_interface_implementation_overrides += f"{interface_implementation_inset}arg." + fn_line.fn_name + "("
+
+ for idx, arg_info in enumerate(fn_line.args_ty):
+ if idx != 0:
+ out_interface_implementation_overrides += ", "
+ if arg_info.to_hu_conv_name is not None:
+ out_interface_implementation_overrides += arg_info.to_hu_conv_name
+ else:
+ out_interface_implementation_overrides += arg_info.arg_name
+
+ out_interface_implementation_overrides += ");\n"
+ if fn_line.ret_ty_info.java_ty != "void":
+ if fn_line.ret_ty_info.from_hu_conv is not None:
+ out_interface_implementation_overrides = out_interface_implementation_overrides + "\t\t\t\t" + f"result: {fn_line.ret_ty_info.java_ty} = " + fn_line.ret_ty_info.from_hu_conv[0] + ";\n"
+ if fn_line.ret_ty_info.from_hu_conv[1] != "":
+ out_interface_implementation_overrides = out_interface_implementation_overrides + "\t\t\t\t" + fn_line.ret_ty_info.from_hu_conv[1].replace("this", "impl_holder.held") + ";\n"
+ #if fn_line.ret_ty_info.rust_obj in result_types:
+ # XXX: We need to handle this in conversion logic so that its cross-language!
+ # Avoid double-free by breaking the result - we should learn to clone these and then we can be safe instead
+ # out_interface_implementation_overrides = out_interface_implementation_overrides + "\t\t\t\tret.ptr = 0;\n"
+ out_interface_implementation_overrides = out_interface_implementation_overrides + "\t\t\t\treturn result;\n"
+ else:
+ out_interface_implementation_overrides = out_interface_implementation_overrides + "\t\t\t\treturn ret;\n"
+ out_interface_implementation_overrides += f"{interface_method_override_inset}}},\n\n{interface_method_override_inset}"
+
+ trait_constructor_arguments = ""
+ for var in field_var_conversions:
+ if isinstance(var, ConvInfo):
+ trait_constructor_arguments += ", " + var.arg_name
+ else:
+ trait_constructor_arguments += ", " + var[1] + ".new_impl(" + var[1] + "_impl"
+ for suparg in var[2]:
+ if isinstance(suparg, ConvInfo):
+ trait_constructor_arguments += ", " + suparg.arg_name
+ else:
+ trait_constructor_arguments += ", " + suparg[1]
+ trait_constructor_arguments += ").bindings_instance"
+ for suparg in var[2]:
+ if isinstance(suparg, ConvInfo):
+ trait_constructor_arguments += ", " + suparg.arg_name
+ else:
+ trait_constructor_arguments += ", " + suparg[1]
+
+ out_typescript_human = f"""
+ {self.hu_struct_file_prefix}
+
+ export class {struct_name.replace("LDK","")} extends CommonBase {{
+
+ bindings_instance?: bindings.{struct_name};
+
+ constructor(ptr?: number, arg?: bindings.{struct_name}{constructor_arguments}) {{
+ if (Number.isFinite(ptr)) {{
+ super(ptr);
+ this.bindings_instance = null;
+ }} else {{
+ // TODO: private constructor instantiation
+ super(bindings.{struct_name}_new(arg{super_instantiator}));
+ this.ptrs_to.push(arg);
+ {pointer_to_adder}
+ }}
+ }}
+
+ protected finalize() {{
+ if (this.ptr != 0) {{
+ bindings.{struct_name.replace("LDK","")}_free(this.ptr);
+ }}
+ super.finalize();
+ }}
+
+ static new_impl(arg: {struct_name.replace("LDK", "")}Interface{impl_constructor_arguments}): {struct_name.replace("LDK", "")} {{
+ const impl_holder: {struct_name}Holder = new {struct_name}Holder();
+ let structImplementation = <bindings.{struct_name}>{{
+ // todo: in-line interface filling
+ {out_interface_implementation_overrides}
+ }};
+ impl_holder.held = new {struct_name.replace("LDK", "")} (null, structImplementation{trait_constructor_arguments});
+ }}
+ }}
+
+ export interface {struct_name.replace("LDK", "")}Interface {{
+ {out_java_interface}
+ }}
+
+ class {struct_name}Holder {{
+ held: {struct_name.replace("LDK", "")};
+ }}
+"""
+
+ out_typescript_bindings += "\t\texport interface " + struct_name + " {\n"
+ java_meths = []
+ for fn_line in field_function_lines:
+ if fn_line.fn_name != "free" and fn_line.fn_name != "cloned":
+ out_typescript_bindings += f"\t\t\t{fn_line.fn_name} ("
+
+ for idx, arg_conv_info in enumerate(fn_line.args_ty):
+ if idx >= 1:
+ out_typescript_bindings = out_typescript_bindings + ", "
+ out_typescript_bindings += f"{arg_conv_info.arg_name}: {arg_conv_info.java_ty}"
+
+ 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 flattened_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"
+ for var in flattened_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 != "cloned":
+ out_c = out_c + "\tuint32_t " + 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"
+ for fn in field_function_lines:
+ if fn.fn_name != "free" and fn.fn_name != "cloned":
+ out_c = out_c + "\t\tjs_free(j_calls->" + fn.fn_name + "_meth);\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 != "cloned":
+ 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 + "_" + struct_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"
+
+ if fn_line.ret_ty_info.c_ty.endswith("Array"):
+ out_c = out_c + "\t" + fn_line.ret_ty_info.c_ty + " ret = js_invoke_function_" + str(len(fn_line.args_ty)) + "(j_calls->" + fn_line.fn_name + "_meth"
+ elif fn_line.ret_ty_info.java_ty == "void":
+ out_c = out_c + "\tjs_invoke_function_" + str(len(fn_line.args_ty)) + "(j_calls->" + fn_line.fn_name + "_meth"
+ elif fn_line.ret_ty_info.java_ty == "String":
+ out_c = out_c + "\tuint32_t ret = js_invoke_function_" + str(len(fn_line.args_ty)) + "(j_calls->" + fn_line.fn_name + "_meth"
+ elif not fn_line.ret_ty_info.passed_as_ptr:
+ out_c = out_c + "\treturn js_invoke_function_" + str(len(fn_line.args_ty)) + "(j_calls->" + fn_line.fn_name + "_meth"
+ else:
+ out_c = out_c + "\tuint32_t ret = js_invoke_function_" + str(len(fn_line.args_ty)) + "(j_calls->" + fn_line.fn_name + "_meth"
+
+ 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_cloned(" + struct_name + "* new_obj) {\n"
+ out_c = out_c + "\t" + struct_name + "_JCalls *j_calls = (" + struct_name + "_JCalls*) new_obj->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 + "}\n"
+
+ out_c = out_c + "static inline " + struct_name + " " + struct_name + "_init (/*TODO: JS Object Reference */void* o"
+ for var in flattened_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 != "cloned":
+ 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 flattened_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 != "cloned":
+ out_c = out_c + "\t\t." + fn_line.fn_name + " = " + fn_line.fn_name + "_" + struct_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.cloned = " + struct_name + "_JCalls_cloned,\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 += "\t\t." + var[1] + " = " + var[0] + "_init(" + var[1]
+ for suparg in var[2]:
+ if isinstance(suparg, ConvInfo):
+ out_c += ", " + suparg.arg_name
+ else:
+ out_c += ", " + suparg[1]
+ out_c += "),\n"
+ out_c = out_c + "\t};\n"
+ for var in flattened_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_define_pfx(struct_name + "_new", True) + "/*TODO: JS Object Reference */void* o"
+ for var in flattened_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(o"
+ for var in flattened_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, enum_doc_comment):