+
+ def map_tuple(self, struct_name):
+ return self.map_opaque_struct(struct_name, "A Tuple")
+
+ def map_function(self, argument_types, c_call_string, method_name, meth_n, return_type_info, struct_meth, default_constructor_args, takes_self, takes_self_as_ref, args_known, type_mapping_generator, doc_comment):
+ out_java = ""
+ out_c = ""
+ out_java_struct = None
+
+ out_java += ("\tpublic static native ")
+ out_c += (self.c_fn_ty_pfx)
+ out_c += (return_type_info.c_ty)
+ out_java += (return_type_info.java_ty)
+ if return_type_info.ret_conv is not None:
+ ret_conv_pfx, ret_conv_sfx = return_type_info.ret_conv
+ out_java += (" " + method_name + "(")
+ have_args = len(argument_types) > 1 or (len(argument_types) > 0 and argument_types[0].c_ty != "void")
+ out_c += (" " + self.c_fn_name_define_pfx(method_name, have_args))
+
+ for idx, arg_conv_info in enumerate(argument_types):
+ if idx != 0:
+ out_java += (", ")
+ out_c += (", ")
+ if arg_conv_info.c_ty != "void":
+ out_c += (arg_conv_info.c_ty + " " + arg_conv_info.arg_name)
+ out_java += (arg_conv_info.java_ty + " " + arg_conv_info.arg_name)
+
+ out_java_struct = ""
+ extra_java_struct_out = ""
+ if not args_known:
+ out_java_struct += ("\t// Skipped " + method_name + "\n")
+ else:
+ if doc_comment is not None:
+ out_java_struct += "\t/**\n\t * " + doc_comment.replace("\n", "\n\t * ") + "\n\t */\n"
+ if return_type_info.nullable:
+ out_java_struct += "\t@Nullable\n"
+ if not takes_self:
+ if meth_n == "new":
+ out_java_struct += "\tpublic static " + return_type_info.java_hu_ty + " of("
+ elif meth_n == "default":
+ out_java_struct += "\tpublic static " + return_type_info.java_hu_ty + " with_default("
+ else:
+ out_java_struct += "\tpublic static " + return_type_info.java_hu_ty + " " + meth_n + "("
+ elif meth_n == "clone_ptr" or (struct_meth.startswith("LDKCResult") and (meth_n == "get_ok" or meth_n == "get_err")):
+ out_java_struct += ("\t" + return_type_info.java_hu_ty + " " + meth_n + "(")
+ else:
+ if meth_n == "hash" and return_type_info.java_hu_ty == "long":
+ extra_java_struct_out = "\t@Override public int hashCode() {\n"
+ extra_java_struct_out += "\t\treturn (int)this.hash();\n"
+ extra_java_struct_out += "\t}\n"
+ elif meth_n == "eq" and return_type_info.java_hu_ty == "boolean":
+ extra_java_struct_out = "\t@Override public boolean equals(Object o) {\n"
+ extra_java_struct_out += "\t\tif (!(o instanceof " + struct_meth + ")) return false;\n"
+ extra_java_struct_out += "\t\treturn this.eq((" + struct_meth + ")o);\n"
+ extra_java_struct_out += "\t}\n"
+ out_java_struct += ("\tpublic " + return_type_info.java_hu_ty + " " + meth_n + "(")
+ for idx, arg in enumerate(argument_types):
+ if idx != 0:
+ if not takes_self or idx > 1:
+ out_java_struct += ", "
+ elif takes_self:
+ continue
+ if arg.java_ty != "void":
+ if arg.arg_name in default_constructor_args:
+ assert not arg.nullable
+ for explode_idx, explode_arg in enumerate(default_constructor_args[arg.arg_name]):
+ if explode_idx != 0:
+ out_java_struct += (", ")
+ out_java_struct += (
+ explode_arg.java_hu_ty + " " + arg.arg_name + "_" + explode_arg.arg_name)
+ else:
+ if arg.nullable:
+ out_java_struct += "@Nullable "
+ ty_string = arg.java_hu_ty
+ if arg.java_fn_ty_arg[0] == "L" and arg.java_fn_ty_arg[len(arg.java_fn_ty_arg) - 1] == ";":
+ ty_string = arg.java_fn_ty_arg.strip("L;").replace("/", ".")
+ out_java_struct += ty_string + " " + arg.arg_name
+ out_java += (");\n")
+ out_c += (") {\n")
+ if out_java_struct is not None:
+ out_java_struct += (") {\n")
+ for info in argument_types:
+ if info.arg_conv is not None:
+ out_c += ("\t" + info.arg_conv.replace('\n', "\n\t") + "\n")
+ if return_type_info.ret_conv is not None:
+ out_c += ("\t" + ret_conv_pfx.replace('\n', '\n\t'))
+ elif return_type_info.c_ty != "void":
+ out_c += ("\t" + return_type_info.c_ty + " ret_val = ")
+ else:
+ out_c += ("\t")
+ if c_call_string is None:
+ out_c += (method_name + "(")
+ else:
+ out_c += (c_call_string)
+ for idx, info in enumerate(argument_types):
+ if info.arg_conv_name is not None:
+ if idx != 0:
+ out_c += (", ")
+ elif c_call_string is not None:
+ continue
+ out_c += (info.arg_conv_name)
+ out_c += (")")
+ if return_type_info.ret_conv is not None:
+ out_c += (ret_conv_sfx.replace('\n', '\n\t'))
+ else:
+ out_c += (";")
+ for info in argument_types:
+ if info.arg_conv_cleanup is not None:
+ out_c += ("\n\t" + info.arg_conv_cleanup.replace("\n", "\n\t"))
+ if return_type_info.ret_conv is not None:
+ out_c += ("\n\treturn " + return_type_info.ret_conv_name + ";")
+ elif return_type_info.c_ty != "void":
+ out_c += ("\n\treturn ret_val;")
+ out_c += ("\n}\n\n")
+
+ if args_known:
+ out_java_struct += ("\t\t")
+ if return_type_info.java_ty != "void":
+ out_java_struct += (return_type_info.java_ty + " ret = ")
+ out_java_struct += ("bindings." + method_name + "(")
+ for idx, info in enumerate(argument_types):
+ if idx != 0:
+ out_java_struct += (", ")
+ if idx == 0 and takes_self:
+ out_java_struct += ("this.ptr")
+ elif info.arg_name in default_constructor_args:
+ out_java_struct += ("bindings." + info.java_hu_ty + "_new(")
+ for explode_idx, explode_arg in enumerate(default_constructor_args[info.arg_name]):
+ if explode_idx != 0:
+ out_java_struct += (", ")
+ expl_arg_name = info.arg_name + "_" + explode_arg.arg_name
+ if explode_arg.from_hu_conv is not None:
+ out_java_struct += (
+ explode_arg.from_hu_conv[0].replace(explode_arg.arg_name, expl_arg_name))
+ else:
+ out_java_struct += (expl_arg_name)
+ out_java_struct += (")")
+ elif info.from_hu_conv is not None:
+ out_java_struct += (info.from_hu_conv[0])
+ else:
+ out_java_struct += (info.arg_name)
+ out_java_struct += (");\n")
+
+ # This is completely nuts. The OpenJDK JRE JIT will optimize out a object which is on
+ # the stack, calling its finalizer immediately even if member methods are *actively
+ # executing* on the same object, as long as said object is on the stack. There is no
+ # concrete specification for when the optimizer is allowed to do this, and when it is
+ # not, so there is absolutely no way to be certain that this fix suffices.
+ #
+ # Instead, the "Java Language Specification" says only that an object is reachable
+ # (i.e. will not yet be finalized) if it "can be accessed in any potential continuing
+ # computation from any live thread". To any sensible reader this would mean actively
+ # executing a member function on an object would make it not eligible for finalization.
+ # But, no, dear reader, this statement does not say that. Well, okay, it says that,
+ # very explicitly in fact, but those are just, like, words, man.
+ #
+ # In the seemingly non-normative text further down, a few examples of things the
+ # optimizer can do are given, including "if the values in an object's fields are
+ # stored in registers[, t]he may then access the registers instead of the object, and
+ # never access the object again[, implying] that the object is garbage". This appears
+ # to fully contradict both the above statement, the API documentation in java.lang.ref
+ # regarding when a reference is "strongly reachable", and basic common sense. There is
+ # no concrete set of limitations stated, however, seemingly implying the JIT could
+ # decide your code would run faster by simply garbage collecting everything
+ # immediately, ensuring your code finishes soon, just by SEGFAULT. Thus, we're really
+ # entirely flying blind here. We add some fences and hope that its sufficient, but
+ # with no specification to rely on, we cannot be certain of anything.
+ #
+ # TL;DR: The Java Language "Specification" provides no real guarantees on when an
+ # object will be considered available for garbage collection once the JIT kicks in, so
+ # we put in some fences and hope to god the JIT doesn't get smarter/more broken.
+ for idx, info in enumerate(argument_types):
+ if idx == 0 and takes_self:
+ out_java_struct += ("\t\tReference.reachabilityFence(this);\n")
+ elif info.arg_name in default_constructor_args:
+ for explode_idx, explode_arg in enumerate(default_constructor_args[info.arg_name]):
+ expl_arg_name = info.arg_name + "_" + explode_arg.arg_name
+ out_java_struct += ("\t\tReference.reachabilityFence(" + expl_arg_name + ");\n")
+ elif info.c_ty != "void":
+ out_java_struct += ("\t\tReference.reachabilityFence(" + info.arg_name + ");\n")
+
+ if return_type_info.java_ty == "long" and return_type_info.java_hu_ty != "long":
+ out_java_struct += "\t\tif (ret >= 0 && ret <= 4096) { return null; }\n"
+
+ if return_type_info.to_hu_conv is not None:
+ if not takes_self:
+ out_java_struct += ("\t\t" + return_type_info.to_hu_conv.replace("\n", "\n\t\t").replace("this",
+ return_type_info.to_hu_conv_name) + "\n")
+ else:
+ out_java_struct += ("\t\t" + return_type_info.to_hu_conv.replace("\n", "\n\t\t") + "\n")
+
+ for idx, info in enumerate(argument_types):
+ if idx == 0 and takes_self:
+ pass
+ elif info.arg_name in default_constructor_args:
+ for explode_arg in default_constructor_args[info.arg_name]:
+ expl_arg_name = info.arg_name + "_" + explode_arg.arg_name
+ if explode_arg.from_hu_conv is not None and return_type_info.to_hu_conv_name:
+ out_java_struct += ("\t\t" + explode_arg.from_hu_conv[1].replace(explode_arg.arg_name,
+ expl_arg_name).replace(
+ "this", return_type_info.to_hu_conv_name) + ";\n")
+ elif info.from_hu_conv is not None and info.from_hu_conv[1] != "":
+ if not takes_self and return_type_info.to_hu_conv_name is not None:
+ out_java_struct += (
+ "\t\t" + info.from_hu_conv[1].replace("this", return_type_info.to_hu_conv_name).replace("\n", "\n\t\t") + ";\n")
+ else:
+ out_java_struct += ("\t\t" + info.from_hu_conv[1].replace("\n", "\n\t\t") + ";\n")
+
+ if takes_self and not takes_self_as_ref:
+ out_java_struct += "\t\t" + argument_types[0].from_hu_conv[1].replace("\n", "\n\t\t").replace("this_arg", "this") + ";\n"
+ if return_type_info.to_hu_conv_name is not None:
+ out_java_struct += ("\t\treturn " + return_type_info.to_hu_conv_name + ";\n")
+ elif return_type_info.java_ty != "void" and return_type_info.rust_obj != "LDK" + struct_meth:
+ out_java_struct += ("\t\treturn ret;\n")
+ out_java_struct += ("\t}\n\n")
+
+ return (out_java, out_c, out_java_struct + extra_java_struct_out)
+
+ def cleanup(self):
+ pass