_ Git - ldk-java/blob - genbindings.py

   1 #!/usr/bin/env python3
   2 import sys, re
   3
   4 if len(sys.argv) != 6:
   5     print("USAGE: /path/to/lightning.h /path/to/bindings/output.java /path/to/bindings/ /path/to/bindings/output.c debug")
   6     print("debug should be true or false and indicates whether to track allocations and ensure we don't leak")
   7     sys.exit(1)
   8
   9 class TypeInfo:
  10     def __init__(self, rust_obj, java_ty, java_fn_ty_arg, c_ty, passed_as_ptr, is_ptr, var_name, arr_len, arr_access):
  11         self.rust_obj = rust_obj
  12         self.java_ty = java_ty
  13         self.java_fn_ty_arg = java_fn_ty_arg
  14         self.c_ty = c_ty
  15         self.passed_as_ptr = passed_as_ptr
  16         self.is_ptr = is_ptr
  17         self.var_name = var_name
  18         self.arr_len = arr_len
  19         self.arr_access = arr_access
  20
  21 class ConvInfo:
  22     def __init__(self, ty_info, arg_name, arg_conv, arg_conv_name, arg_conv_cleanup, ret_conv, ret_conv_name):
  23         assert(ty_info.c_ty is not None)
  24         assert(ty_info.java_ty is not None)
  25         assert(arg_name is not None)
  26         self.passed_as_ptr = ty_info.passed_as_ptr
  27         self.rust_obj = ty_info.rust_obj
  28         self.c_ty = ty_info.c_ty
  29         self.java_ty = ty_info.java_ty
  30         self.java_fn_ty_arg = ty_info.java_fn_ty_arg
  31         self.arg_name = arg_name
  32         self.arg_conv = arg_conv
  33         self.arg_conv_name = arg_conv_name
  34         self.arg_conv_cleanup = arg_conv_cleanup
  35         self.ret_conv = ret_conv
  36         self.ret_conv_name = ret_conv_name
  37
  38     def print_ty(self):
  39         out_c.write(self.c_ty)
  40         out_java.write(self.java_ty)
  41
  42     def print_name(self):
  43         if self.arg_name != "":
  44             out_java.write(" " + self.arg_name)
  45             out_c.write(" " + self.arg_name)
  46         else:
  47             out_java.write(" arg")
  48             out_c.write(" arg")
  49 fn_ptr_regex = re.compile("^extern const ([A-Za-z_0-9\* ]*) \(\*(.*)\)\((.*)\);$")
  50 fn_ret_arr_regex = re.compile("(.*) \(\*(.*)\((.*)\)\)\[([0-9]*)\];$")
  51 reg_fn_regex = re.compile("([A-Za-z_0-9\* ]* \*?)([a-zA-Z_0-9]*)\((.*)\);$")
  52 clone_fns = set()
  53 with open(sys.argv[1]) as in_h:
  54     for line in in_h:
  55         reg_fn = reg_fn_regex.match(line)
  56         if reg_fn is not None:
  57             if reg_fn.group(2).endswith("_clone"):
  58                 clone_fns.add(reg_fn.group(2))
  59             continue
  60         arr_fn = fn_ret_arr_regex.match(line)
  61         if arr_fn is not None:
  62             if arr_fn.group(2).endswith("_clone"):
  63                 clone_fns.add(arr_fn.group(2))
  64             continue
  65
  66 with open(sys.argv[1]) as in_h, open(sys.argv[2], "w") as out_java, open(sys.argv[4], "w") as out_c:
  67     opaque_structs = set()
  68     trait_structs = set()
  69     unitary_enums = set()
  70
  71     def camel_to_snake(s):
  72         # Convert camel case to snake case, in a way that appears to match cbindgen
  73         con = "_"
  74         ret = ""
  75         lastchar = ""
  76         lastund = False
  77         for char in s:
  78             if lastchar.isupper():
  79                 if not char.isupper() and not lastund:
  80                     ret = ret + "_"
  81                     lastund = True
  82                 else:
  83                     lastund = False
  84                 ret = ret + lastchar.lower()
  85             else:
  86                 ret = ret + lastchar
  87                 if char.isupper() and not lastund:
  88                     ret = ret + "_"
  89                     lastund = True
  90                 else:
  91                     lastund = False
  92             lastchar = char
  93             if char.isnumeric():
  94                 lastund = True
  95         return (ret + lastchar.lower()).strip("_")
  96
  97     var_is_arr_regex = re.compile("\(\*([A-za-z0-9_]*)\)\[([a-z0-9]*)\]")
  98     var_ty_regex = re.compile("([A-za-z_0-9]*)(.*)")
  99     def java_c_types(fn_arg, ret_arr_len):
 100         fn_arg = fn_arg.strip()
 101         if fn_arg.startswith("MUST_USE_RES "):
 102             fn_arg = fn_arg[13:]
 103         is_const = False
 104         if fn_arg.startswith("const "):
 105             fn_arg = fn_arg[6:]
 106             is_const = True
 107
 108         is_ptr = False
 109         take_by_ptr = False
 110         rust_obj = None
 111         arr_access = None
 112         if fn_arg.startswith("LDKThirtyTwoBytes"):
 113             fn_arg = "uint8_t (*" + fn_arg[18:] + ")[32]"
 114             assert var_is_arr_regex.match(fn_arg[8:])
 115             rust_obj = "LDKThirtyTwoBytes"
 116             arr_access = "data"
 117         if fn_arg.startswith("LDKPublicKey"):
 118             fn_arg = "uint8_t (*" + fn_arg[13:] + ")[33]"
 119             assert var_is_arr_regex.match(fn_arg[8:])
 120             rust_obj = "LDKPublicKey"
 121             arr_access = "compressed_form"
 122         if fn_arg.startswith("LDKSecretKey"):
 123             fn_arg = "uint8_t (*" + fn_arg[13:] + ")[32]"
 124             assert var_is_arr_regex.match(fn_arg[8:])
 125             rust_obj = "LDKSecretKey"
 126             arr_access = "bytes"
 127         if fn_arg.startswith("LDKSignature"):
 128             fn_arg = "uint8_t (*" + fn_arg[13:] + ")[64]"
 129             assert var_is_arr_regex.match(fn_arg[8:])
 130             rust_obj = "LDKSignature"
 131             arr_access = "compact_form"
 132         if fn_arg.startswith("LDKThreeBytes"):
 133             fn_arg = "uint8_t (*" + fn_arg[14:] + ")[3]"
 134             assert var_is_arr_regex.match(fn_arg[8:])
 135             rust_obj = "LDKThreeBytes"
 136             arr_access = "data"
 137         if fn_arg.startswith("LDKu8slice"):
 138             fn_arg = "uint8_t (*" + fn_arg[11:] + ")[datalen]"
 139             assert var_is_arr_regex.match(fn_arg[8:])
 140             rust_obj = "LDKu8slice"
 141             arr_access = "data"
 142
 143         if fn_arg.startswith("void"):
 144             java_ty = "void"
 145             c_ty = "void"
 146             fn_ty_arg = "V"
 147             fn_arg = fn_arg[4:].strip()
 148         elif fn_arg.startswith("bool"):
 149             java_ty = "boolean"
 150             c_ty = "jboolean"
 151             fn_ty_arg = "Z"
 152             fn_arg = fn_arg[4:].strip()
 153         elif fn_arg.startswith("uint8_t"):
 154             java_ty = "byte"
 155             c_ty = "jbyte"
 156             fn_ty_arg = "B"
 157             fn_arg = fn_arg[7:].strip()
 158         elif fn_arg.startswith("uint16_t"):
 159             java_ty = "short"
 160             c_ty = "jshort"
 161             fn_ty_arg = "S"
 162             fn_arg = fn_arg[8:].strip()
 163         elif fn_arg.startswith("uint32_t"):
 164             java_ty = "int"
 165             c_ty = "jint"
 166             fn_ty_arg = "I"
 167             fn_arg = fn_arg[8:].strip()
 168         elif fn_arg.startswith("uint64_t") or fn_arg.startswith("uintptr_t"):
 169             java_ty = "long"
 170             c_ty = "jlong"
 171             fn_ty_arg = "J"
 172             if fn_arg.startswith("uint64_t"):
 173                 fn_arg = fn_arg[8:].strip()
 174             else:
 175                 fn_arg = fn_arg[9:].strip()
 176         elif is_const and fn_arg.startswith("char *"):
 177             java_ty = "String"
 178             c_ty = "const char*"
 179             fn_ty_arg = "Ljava/lang/String;"
 180             fn_arg = fn_arg[6:].strip()
 181         else:
 182             ma = var_ty_regex.match(fn_arg)
 183             if ma.group(1).strip() in unitary_enums:
 184                 java_ty = ma.group(1).strip()
 185                 c_ty = "jclass"
 186                 fn_ty_arg = "Lorg/ldk/enums/" + ma.group(1).strip() + ";"
 187                 fn_arg = ma.group(2).strip()
 188                 rust_obj = ma.group(1).strip()
 189                 take_by_ptr = True
 190             else:
 191                 java_ty = "long"
 192                 c_ty = "jlong"
 193                 fn_ty_arg = "J"
 194                 fn_arg = ma.group(2).strip()
 195                 rust_obj = ma.group(1).strip()
 196                 take_by_ptr = True
 197
 198         if fn_arg.startswith(" *") or fn_arg.startswith("*"):
 199             fn_arg = fn_arg.replace("*", "").strip()
 200             is_ptr = True
 201             c_ty = "jlong"
 202             java_ty = "long"
 203             fn_ty_arg = "J"
 204
 205         var_is_arr = var_is_arr_regex.match(fn_arg)
 206         if var_is_arr is not None or ret_arr_len is not None:
 207             assert(not take_by_ptr)
 208             assert(not is_ptr)
 209             java_ty = java_ty + "[]"
 210             c_ty = c_ty + "Array"
 211             if var_is_arr is not None:
 212                 if var_is_arr.group(1) == "":
 213                     return TypeInfo(rust_obj=rust_obj, java_ty=java_ty, java_fn_ty_arg="[" + fn_ty_arg, c_ty=c_ty,
 214                         passed_as_ptr=False, is_ptr=False, var_name="arg", arr_len=var_is_arr.group(2), arr_access=arr_access)
 215                 return TypeInfo(rust_obj=rust_obj, java_ty=java_ty, java_fn_ty_arg="[" + fn_ty_arg, c_ty=c_ty,
 216                     passed_as_ptr=False, is_ptr=False, var_name=var_is_arr.group(1), arr_len=var_is_arr.group(2), arr_access=arr_access)
 217         return TypeInfo(rust_obj=rust_obj, java_ty=java_ty, java_fn_ty_arg=fn_ty_arg, c_ty=c_ty, passed_as_ptr=is_ptr or take_by_ptr,
 218             is_ptr=is_ptr, var_name=fn_arg, arr_len=None, arr_access=None)
 219
 220     def map_type(fn_arg, print_void, ret_arr_len, is_free):
 221         ty_info = java_c_types(fn_arg, ret_arr_len)
 222
 223         if ty_info.c_ty == "void":
 224             if not print_void:
 225                 return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 226                     arg_conv = None, arg_conv_name = None, arg_conv_cleanup = None,
 227                     ret_conv = None, ret_conv_name = None)
 228
 229         if ty_info.c_ty.endswith("Array"):
 230             arr_len = ty_info.arr_len
 231             if arr_len is not None:
 232                 arr_name = ty_info.var_name
 233             else:
 234                 arr_name = "ret"
 235                 arr_len = ret_arr_len
 236             assert(ty_info.c_ty == "jbyteArray")
 237             ret_conv = ("jbyteArray " + arr_name + "_arr = (*_env)->NewByteArray(_env, " + arr_len + ");\n" + "(*_env)->SetByteArrayRegion(_env, " + arr_name + "_arr, 0, " + arr_len + ", ", "")
 238             arg_conv_cleanup = None
 239             if not arr_len.isdigit():
 240                 arg_conv = ty_info.rust_obj + " " + arr_name + "_ref;\n"
 241                 arg_conv = arg_conv + arr_name + "_ref." + ty_info.arr_access + " = (*_env)->GetByteArrayElements (_env, " + arr_name + ", NULL);\n"
 242                 arg_conv = arg_conv + arr_name + "_ref." + arr_len + " = (*_env)->GetArrayLength (_env, " + arr_name + ");"
 243                 arg_conv_cleanup = "(*_env)->ReleaseByteArrayElements(_env, " + arr_name + ", (int8_t*)" + arr_name + "_ref." + ty_info.arr_access + ", 0);"
 244                 arr_access = "." + ty_info.arr_access
 245                 ret_conv = (ty_info.rust_obj + " " + arr_name + "_var = ", "")
 246                 ret_conv = (ret_conv[0], ";\njbyteArray " + arr_name + "_arr = (*_env)->NewByteArray(_env, " + arr_name + "_var." + arr_len + ");\n")
 247                 ret_conv = (ret_conv[0], ret_conv[1] + "(*_env)->SetByteArrayRegion(_env, " + arr_name + "_arr, 0, " + arr_name + "_var." + arr_len + ", " + arr_name + "_var." + ty_info.arr_access + ");")
 248             elif ty_info.rust_obj is not None:
 249                 arg_conv = ty_info.rust_obj + " " + arr_name + "_ref;\n"
 250                 arg_conv = arg_conv + "CHECK((*_env)->GetArrayLength (_env, " + arr_name + ") == " + arr_len + ");\n"
 251                 arg_conv = arg_conv + "(*_env)->GetByteArrayRegion (_env, " + arr_name + ", 0, " + arr_len + ", " + arr_name + "_ref." + ty_info.arr_access + ");"
 252                 ret_conv = (ret_conv[0], "." + ty_info.arr_access + ");")
 253             else:
 254                 arg_conv = "unsigned char " + arr_name + "_arr[" + arr_len + "];\n"
 255                 arg_conv = arg_conv + "CHECK((*_env)->GetArrayLength (_env, " + arr_name + ") == " + arr_len + ");\n"
 256                 arg_conv = arg_conv + "(*_env)->GetByteArrayRegion (_env, " + arr_name + ", 0, " + arr_len + ", " + arr_name + "_arr);\n" + "unsigned char (*" + arr_name + "_ref)[" + arr_len + "] = &" + arr_name + "_arr;"
 257                 ret_conv = (ret_conv[0] + "*", ");")
 258             return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 259                 arg_conv = arg_conv, arg_conv_name = arr_name + "_ref", arg_conv_cleanup = arg_conv_cleanup,
 260                 ret_conv = ret_conv, ret_conv_name = arr_name + "_arr")
 261         elif ty_info.var_name != "":
 262             # If we have a parameter name, print it (noting that it may indicate its a pointer)
 263             if ty_info.rust_obj is not None:
 264                 assert(ty_info.passed_as_ptr)
 265                 opaque_arg_conv = ty_info.rust_obj + " " + ty_info.var_name + "_conv;\n"
 266                 opaque_arg_conv = opaque_arg_conv + ty_info.var_name + "_conv.inner = (void*)(" + ty_info.var_name + " & (~1));\n"
 267                 opaque_arg_conv = opaque_arg_conv + ty_info.var_name + "_conv.is_owned = (" + ty_info.var_name + " & 1) || (" + ty_info.var_name + " == 0);"
 268                 if not ty_info.is_ptr and not is_free:
 269                     if (ty_info.rust_obj.replace("LDK", "") + "_clone") in clone_fns:
 270                         # TODO: This is a bit too naive, even with the checks above, we really need to know if rust wants a ref or not, not just if its pass as a ptr.
 271                         opaque_arg_conv = opaque_arg_conv + "\nif (" + ty_info.var_name + "_conv.inner != NULL)\n"
 272                         opaque_arg_conv = opaque_arg_conv + "\t" + ty_info.var_name + "_conv = " + ty_info.rust_obj.replace("LDK", "") + "_clone(&" + ty_info.var_name + "_conv);"
 273                     elif ty_info.passed_as_ptr:
 274                         opaque_arg_conv = opaque_arg_conv + "\n// Warning: we may need a move here but can't clone!"
 275                 if not ty_info.is_ptr:
 276                     if ty_info.rust_obj in unitary_enums:
 277                         return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 278                             arg_conv = ty_info.rust_obj + " " + ty_info.var_name + "_conv = " + ty_info.rust_obj + "_from_java(_env, " + ty_info.var_name + ");",
 279                             arg_conv_name = ty_info.var_name + "_conv",
 280                             arg_conv_cleanup = None,
 281                             ret_conv = ("jclass " + ty_info.var_name + "_conv = " + ty_info.rust_obj + "_to_java(_env, ", ");"),
 282                             ret_conv_name = ty_info.var_name + "_conv")
 283                     if ty_info.rust_obj in opaque_structs:
 284                         ret_conv_suf = ";\nCHECK((((long)" + ty_info.var_name + "_var.inner) & 1) == 0); // We rely on a free low bit, malloc guarantees this.\n"
 285                         ret_conv_suf = ret_conv_suf + "CHECK((((long)&" + ty_info.var_name + "_var) & 1) == 0); // We rely on a free low bit, pointer alignment guarantees this.\n"
 286                         ret_conv_suf = ret_conv_suf + "long " + ty_info.var_name + "_ref;\n"
 287                         ret_conv_suf = ret_conv_suf + "if (" + ty_info.var_name + "_var.is_owned) {\n"
 288                         ret_conv_suf = ret_conv_suf + "\t" + ty_info.var_name + "_ref = (long)" + ty_info.var_name + "_var.inner | 1;\n"
 289                         ret_conv_suf = ret_conv_suf + "} else {\n"
 290                         ret_conv_suf = ret_conv_suf + "\t" + ty_info.var_name + "_ref = (long)&" + ty_info.var_name + "_var;\n"
 291                         ret_conv_suf = ret_conv_suf + "}"
 292                         return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 293                             arg_conv = opaque_arg_conv, arg_conv_name = ty_info.var_name + "_conv", arg_conv_cleanup = None,
 294                             ret_conv = (ty_info.rust_obj + " " + ty_info.var_name + "_var = ", ret_conv_suf),
 295                             ret_conv_name = ty_info.var_name + "_ref")
 296                     base_conv = ty_info.rust_obj + " " + ty_info.var_name + "_conv = *(" + ty_info.rust_obj + "*)" + ty_info.var_name + ";";
 297                     if ty_info.rust_obj in trait_structs:
 298                         if not is_free:
 299                             base_conv = base_conv + "\nif (" + ty_info.var_name + "_conv.free == " + ty_info.rust_obj + "_JCalls_free) {\n"
 300                             base_conv = base_conv + "\t// If this_arg is a JCalls struct, then we need to increment the refcnt in it.\n"
 301                             base_conv = base_conv + "\t" + ty_info.rust_obj + "_JCalls_clone(" + ty_info.var_name + "_conv.this_arg);\n}"
 302                         else:
 303                             base_conv = base_conv + "\n" + "FREE((void*)" + ty_info.var_name + ");"
 304                         return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 305                             arg_conv = base_conv, arg_conv_name = ty_info.var_name + "_conv", arg_conv_cleanup = None,
 306                             ret_conv = ("CANT PASS TRAIT TO Java?", ""), ret_conv_name = "NO CONV POSSIBLE")
 307                     if ty_info.rust_obj != "LDKu8slice":
 308                         # Don't bother free'ing slices passed in - Rust doesn't auto-free the
 309                         # underlying unlike Vecs, and it gives Java more freedom.
 310                         base_conv = base_conv + "\nFREE((void*)" + ty_info.var_name + ");";
 311                     return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 312                         arg_conv = base_conv, arg_conv_name = ty_info.var_name + "_conv", arg_conv_cleanup = None,
 313                         ret_conv = ("long " + ty_info.var_name + "_ref = (long)&", ";"), ret_conv_name = ty_info.var_name + "_ref")
 314                 else:
 315                     assert(not is_free)
 316                     if ty_info.rust_obj in opaque_structs:
 317                         return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 318                             arg_conv = opaque_arg_conv, arg_conv_name = "&" + ty_info.var_name + "_conv", arg_conv_cleanup = None,
 319                             ret_conv = None, ret_conv_name = None) # its a pointer, no conv needed
 320                     return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 321                         arg_conv = ty_info.rust_obj + "* " + ty_info.var_name + "_conv = (" + ty_info.rust_obj + "*)" + ty_info.var_name + ";",
 322                         arg_conv_name = ty_info.var_name + "_conv", arg_conv_cleanup = None,
 323                         ret_conv = None, ret_conv_name = None) # its a pointer, no conv needed
 324             elif ty_info.is_ptr:
 325                 return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 326                     arg_conv = None, arg_conv_name = ty_info.var_name, arg_conv_cleanup = None, ret_conv = None, ret_conv_name = None)
 327             elif ty_info.java_ty == "String":
 328                 return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 329                     arg_conv = None, arg_conv_name = None, arg_conv_cleanup = None,
 330                     ret_conv = ("jstring " + ty_info.var_name + "_conv = (*_env)->NewStringUTF(_env, ", ");"), ret_conv_name = ty_info.var_name + "_conv")
 331             else:
 332                 return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 333                     arg_conv = None, arg_conv_name = ty_info.var_name, arg_conv_cleanup = None, ret_conv = None, ret_conv_name = None)
 334         elif not print_void:
 335             # We don't have a parameter name, and want one, just call it arg
 336             if ty_info.rust_obj is not None:
 337                 assert(not is_free or ty_info.rust_obj not in opaque_structs);
 338                 return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 339                     arg_conv = ty_info.rust_obj + " arg_conv = *(" + ty_info.rust_obj + "*)arg;\nFREE((void*)arg);",
 340                     arg_conv_name = "arg_conv", arg_conv_cleanup = None,
 341                     ret_conv = None, ret_conv_name = None)
 342             else:
 343                 assert(not is_free)
 344                 return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 345                     arg_conv = None, arg_conv_name = "arg", arg_conv_cleanup = None, ret_conv = None, ret_conv_name = None)
 346         else:
 347             # We don't have a parameter name, and don't want one (cause we're returning)
 348             if ty_info.rust_obj is not None:
 349                 if not ty_info.is_ptr:
 350                     if ty_info.rust_obj in unitary_enums:
 351                         return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 352                             arg_conv = ty_info.rust_obj + " ret = " + ty_info.rust_obj + "_from_java(_env, " + ty_info.var_name + ");",
 353                             arg_conv_name = "ret", arg_conv_cleanup = None,
 354                             ret_conv = ("jclass ret = " + ty_info.rust_obj + "_to_java(_env, ", ");"), ret_conv_name = "ret")
 355                     if ty_info.rust_obj in opaque_structs:
 356                         # If we're returning a newly-allocated struct, we don't want Rust to ever
 357                         # free, instead relying on the Java GC to lose the ref. We undo this in
 358                         # any _free function.
 359                         # To avoid any issues, we first assert that the incoming object is non-ref.
 360                         return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 361                             ret_conv = (ty_info.rust_obj + " ret = ", ";"),
 362                             ret_conv_name = "((long)ret.inner) | (ret.is_owned ? 1 : 0)",
 363                             arg_conv = None, arg_conv_name = None, arg_conv_cleanup = None)
 364                     else:
 365                         return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 366                             ret_conv = (ty_info.rust_obj + "* ret = MALLOC(sizeof(" + ty_info.rust_obj + "), \"" + ty_info.rust_obj + "\");\n*ret = ", ";"),
 367                             ret_conv_name = "(long)ret",
 368                             arg_conv = None, arg_conv_name = None, arg_conv_cleanup = None)
 369                 else:
 370                     return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 371                         ret_conv = ("long ret = (long)", ";"), ret_conv_name = "ret",
 372                         arg_conv = None, arg_conv_name = None, arg_conv_cleanup = None)
 373             else:
 374                 return ConvInfo(ty_info = ty_info, arg_name = ty_info.var_name,
 375                     arg_conv = None, arg_conv_name = None, arg_conv_cleanup = None, ret_conv = None, ret_conv_name = None)
 376
 377     def map_fn(line, re_match, ret_arr_len, c_call_string):
 378         out_java.write("\t// " + line)
 379         out_java.write("\tpublic static native ")
 380         out_c.write("JNIEXPORT ")
 381
 382         is_free = re_match.group(2).endswith("_free")
 383         struct_meth = re_match.group(2).split("_")[0]
 384
 385         ret_info = map_type(re_match.group(1), True, ret_arr_len, False)
 386         ret_info.print_ty()
 387
 388         if ret_info.ret_conv is not None:
 389             ret_conv_pfx, ret_conv_sfx = ret_info.ret_conv
 390
 391         out_java.write(" " + re_match.group(2) + "(")
 392         out_c.write(" JNICALL Java_org_ldk_impl_bindings_" + re_match.group(2).replace('_', '_1') + "(JNIEnv * _env, jclass _b")
 393
 394         arg_names = []
 395         takes_self = False
 396         args_known = not ret_info.passed_as_ptr or ret_info.rust_obj in opaque_structs or ret_info.rust_obj in trait_structs
 397         for idx, arg in enumerate(re_match.group(3).split(',')):
 398             if idx != 0:
 399                 out_java.write(", ")
 400             if arg != "void":
 401                 out_c.write(", ")
 402             arg_conv_info = map_type(arg, False, None, is_free)
 403             if arg_conv_info.c_ty != "void":
 404                 arg_conv_info.print_ty()
 405                 arg_conv_info.print_name()
 406             if arg_conv_info.arg_name == "this_arg":
 407                 takes_self = True
 408             if arg_conv_info.passed_as_ptr and not arg_conv_info.rust_obj in opaque_structs:
 409                 if not arg_conv_info.rust_obj in trait_structs and not arg_conv_info.rust_obj in unitary_enums:
 410                     print(re_match.group(2) + " bad - " + arg_conv_info.rust_obj)
 411                     args_known = False
 412             arg_names.append(arg_conv_info)
 413
 414         out_java_struct = None
 415         if ("LDK" + struct_meth in opaque_structs or "LDK" + struct_meth in trait_structs) and not is_free:
 416             out_java_struct = open(sys.argv[3] + "/structs/" + struct_meth + ".java", "a")
 417             if not args_known:
 418                 out_java_struct.write("\t// Skipped " + re_match.group(2) + "\n")
 419                 out_java_struct.close()
 420                 out_java_struct = None
 421             else:
 422                 out_java_struct.write("\tpublic ")
 423                 meth_n = re_match.group(2)[len(struct_meth) + 1:]
 424                 if ret_info.rust_obj == "LDK" + struct_meth:
 425                     out_java_struct.write(struct_meth + "(")
 426                 elif ret_info.rust_obj in opaque_structs or ret_info.rust_obj in trait_structs:
 427                     out_java_struct.write(ret_info.rust_obj.replace("LDK", "") + " " + meth_n + "(")
 428                 else:
 429                     out_java_struct.write(ret_info.java_ty + " " + meth_n + "(")
 430                 for idx, arg in enumerate(arg_names):
 431                     if idx != 0:
 432                         if not takes_self or idx > 1:
 433                             out_java_struct.write(", ")
 434                     if arg.java_ty != "void" and arg.arg_name != "this_arg":
 435                         if arg.passed_as_ptr:
 436                             if arg.rust_obj in opaque_structs or arg.rust_obj in trait_structs:
 437                                 out_java_struct.write(arg.rust_obj.replace("LDK", "") + " " + arg.arg_name)
 438                             else:
 439                                 out_java_struct.write(arg.rust_obj + " " + arg.arg_name)
 440                         else:
 441                             out_java_struct.write(arg.java_ty + " " + arg.arg_name)
 442
 443
 444         out_java.write(");\n")
 445         out_c.write(") {\n")
 446         if out_java_struct is not None:
 447             out_java_struct.write(") {\n")
 448
 449         for info in arg_names:
 450             if info.arg_conv is not None:
 451                 out_c.write("\t" + info.arg_conv.replace('\n', "\n\t") + "\n")
 452
 453         if ret_info.ret_conv is not None:
 454             out_c.write("\t" + ret_conv_pfx.replace('\n', '\n\t'))
 455         elif ret_info.c_ty != "void":
 456             out_c.write("\t" + ret_info.c_ty + " ret_val = ")
 457         else:
 458             out_c.write("\t")
 459
 460         if c_call_string is None:
 461             out_c.write(re_match.group(2) + "(")
 462         else:
 463             out_c.write(c_call_string)
 464         for idx, info in enumerate(arg_names):
 465             if info.arg_conv_name is not None:
 466                 if idx != 0:
 467                     out_c.write(", ")
 468                 elif c_call_string is not None:
 469                     continue
 470                 out_c.write(info.arg_conv_name)
 471         out_c.write(")")
 472         if ret_info.ret_conv is not None:
 473             out_c.write(ret_conv_sfx.replace('\n', '\n\t'))
 474         else:
 475             out_c.write(";")
 476         for info in arg_names:
 477             if info.arg_conv_cleanup is not None:
 478                 out_c.write("\n\t" + info.arg_conv_cleanup.replace("\n", "\n\t"))
 479         if ret_info.ret_conv is not None:
 480             out_c.write("\n\treturn " + ret_info.ret_conv_name + ";")
 481         elif ret_info.c_ty != "void":
 482             out_c.write("\n\treturn ret_val;")
 483         out_c.write("\n}\n\n")
 484         if out_java_struct is not None:
 485             out_java_struct.write("\t\t")
 486             if ret_info.rust_obj == "LDK" + struct_meth:
 487                 out_java_struct.write("super(")
 488             elif ret_info.java_ty != "void" and not ret_info.passed_as_ptr:
 489                 out_java_struct.write(ret_info.java_ty + " ret = ")
 490             elif ret_info.java_ty != "void":
 491                 out_java_struct.write(ret_info.rust_obj.replace("LDK", "") + " ret = ")
 492                 if ret_info.rust_obj in opaque_structs or ret_info.rust_obj in trait_structs:
 493                     out_java_struct.write("new " + ret_info.rust_obj.replace("LDK", "") + "(null, ")
 494             out_java_struct.write("bindings." + re_match.group(2) + "(")
 495             for idx, info in enumerate(arg_names):
 496                 if idx != 0:
 497                     out_java_struct.write(", ")
 498                 if info.arg_name == "this_arg":
 499                     out_java_struct.write("this.ptr")
 500                 elif info.passed_as_ptr and info.rust_obj in opaque_structs:
 501                     out_java_struct.write(info.arg_name + " == null ? 0 : " + info.arg_name + ".ptr & ~1")
 502                 elif info.passed_as_ptr and info.rust_obj in trait_structs:
 503                     out_java_struct.write(info.arg_name + " == null ? 0 : " + info.arg_name + ".ptr")
 504                 else:
 505                     out_java_struct.write(info.arg_name)
 506             out_java_struct.write(")")
 507             if ret_info.rust_obj == "LDK" + struct_meth:
 508                 out_java_struct.write(");\n")
 509             elif ret_info.rust_obj in opaque_structs:
 510                 out_java_struct.write(");\n")
 511             elif ret_info.rust_obj in trait_structs:
 512                 out_java_struct.write(");\n\t\tret.ptrs_to.add(this);\n")
 513             else:
 514                 out_java_struct.write(";\n")
 515
 516             for info in arg_names:
 517                 if info.arg_name == "this_arg":
 518                     pass
 519                 elif info.passed_as_ptr and (info.rust_obj in opaque_structs or info.rust_obj in trait_structs):
 520                     out_java_struct.write("\t\tthis.ptrs_to.add(" + info.arg_name + ");\n")
 521
 522             if ret_info.java_ty != "void" and ret_info.rust_obj != "LDK" + struct_meth:
 523                 out_java_struct.write("\t\treturn ret;\n")
 524             out_java_struct.write("\t}\n\n")
 525             out_java_struct.close()
 526
 527     def map_unitary_enum(struct_name, field_lines):
 528         with open(sys.argv[3] + "/enums/" + struct_name + ".java", "w") as out_java_enum:
 529             out_java_enum.write("package org.ldk.enums;\n\n")
 530             unitary_enums.add(struct_name)
 531             out_c.write("static inline " + struct_name + " " + struct_name + "_from_java(JNIEnv *env, jclass val) {\n")
 532             out_c.write("\tswitch ((*env)->CallIntMethod(env, val, ordinal_meth)) {\n")
 533             ord_v = 0
 534             for idx, struct_line in enumerate(field_lines):
 535                 if idx == 0:
 536                     out_java_enum.write("public enum " + struct_name + " {\n")
 537                 elif idx == len(field_lines) - 3:
 538                     assert(struct_line.endswith("_Sentinel,"))
 539                 elif idx == len(field_lines) - 2:
 540                     out_java_enum.write("\t; static native void init();\n")
 541                     out_java_enum.write("\tstatic { init(); }\n")
 542                     out_java_enum.write("}")
 543                     out_java.write("\tstatic { " + struct_name + ".values(); /* Force enum statics to run */ }\n")
 544                 elif idx == len(field_lines) - 1:
 545                     assert(struct_line == "")
 546                 else:
 547                     out_java_enum.write(struct_line + "\n")
 548                     out_c.write("\t\tcase %d: return %s;\n" % (ord_v, struct_line.strip().strip(",")))
 549                     ord_v = ord_v + 1
 550             out_c.write("\t}\n")
 551             out_c.write("\tabort();\n")
 552             out_c.write("}\n")
 553
 554             ord_v = 0
 555             out_c.write("static jclass " + struct_name + "_class = NULL;\n")
 556             for idx, struct_line in enumerate(field_lines):
 557                 if idx > 0 and idx < len(field_lines) - 3:
 558                     variant = struct_line.strip().strip(",")
 559                     out_c.write("static jfieldID " + struct_name + "_" + variant + " = NULL;\n")
 560             out_c.write("JNIEXPORT void JNICALL Java_org_ldk_enums_" + struct_name.replace("_", "_1") + "_init (JNIEnv * env, jclass clz) {\n")
 561             out_c.write("\t" + struct_name + "_class = (*env)->NewGlobalRef(env, clz);\n")
 562             out_c.write("\tCHECK(" + struct_name + "_class != NULL);\n")
 563             for idx, struct_line in enumerate(field_lines):
 564                 if idx > 0 and idx < len(field_lines) - 3:
 565                     variant = struct_line.strip().strip(",")
 566                     out_c.write("\t" + struct_name + "_" + variant + " = (*env)->GetStaticFieldID(env, " + struct_name + "_class, \"" + variant + "\", \"Lorg/ldk/enums/" + struct_name + ";\");\n")
 567                     out_c.write("\tCHECK(" + struct_name + "_" + variant + " != NULL);\n")
 568             out_c.write("}\n")
 569             out_c.write("static inline jclass " + struct_name + "_to_java(JNIEnv *env, " + struct_name + " val) {\n")
 570             out_c.write("\tswitch (val) {\n")
 571             for idx, struct_line in enumerate(field_lines):
 572                 if idx > 0 and idx < len(field_lines) - 3:
 573                     variant = struct_line.strip().strip(",")
 574                     out_c.write("\t\tcase " + variant + ":\n")
 575                     out_c.write("\t\t\treturn (*env)->GetStaticObjectField(env, " + struct_name + "_class, " + struct_name + "_" + variant + ");\n")
 576                     ord_v = ord_v + 1
 577             out_c.write("\t\tdefault: abort();\n")
 578             out_c.write("\t}\n")
 579             out_c.write("}\n\n")
 580
 581     def map_complex_enum(struct_name, union_enum_items):
 582         tag_field_lines = union_enum_items["field_lines"]
 583         init_meth_jty_strs = {}
 584         for idx, struct_line in enumerate(tag_field_lines):
 585             if idx == 0:
 586                 out_java.write("\tpublic static class " + struct_name + " {\n")
 587                 out_java.write("\t\tprivate " + struct_name + "() {}\n")
 588             elif idx == len(tag_field_lines) - 3:
 589                 assert(struct_line.endswith("_Sentinel,"))
 590             elif idx == len(tag_field_lines) - 2:
 591                 out_java.write("\t\tstatic native void init();\n")
 592                 out_java.write("\t}\n")
 593             elif idx == len(tag_field_lines) - 1:
 594                 assert(struct_line == "")
 595             else:
 596                 var_name = struct_line.strip(' ,')[len(struct_name) + 1:]
 597                 out_java.write("\t\tpublic final static class " + var_name + " extends " + struct_name + " {\n")
 598                 out_c.write("static jclass " + struct_name + "_" + var_name + "_class = NULL;\n")
 599                 out_c.write("static jmethodID " + struct_name + "_" + var_name + "_meth = NULL;\n")
 600                 init_meth_jty_str = ""
 601                 init_meth_params = ""
 602                 init_meth_body = ""
 603                 if "LDK" + var_name in union_enum_items:
 604                     enum_var_lines = union_enum_items["LDK" + var_name]
 605                     for idx, field in enumerate(enum_var_lines):
 606                         if idx != 0 and idx < len(enum_var_lines) - 2:
 607                             field_ty = java_c_types(field.strip(' ;'), None)
 608                             out_java.write("\t\t\tpublic " + field_ty.java_ty + " " + field_ty.var_name + ";\n")
 609                             init_meth_jty_str = init_meth_jty_str + field_ty.java_fn_ty_arg
 610                             if idx > 1:
 611                                 init_meth_params = init_meth_params + ", "
 612                             init_meth_params = init_meth_params + field_ty.java_ty + " " + field_ty.var_name
 613                             init_meth_body = init_meth_body + "this." + field_ty.var_name + " = " + field_ty.var_name + "; "
 614                     out_java.write("\t\t\t" + var_name + "(" + init_meth_params + ") { ")
 615                     out_java.write(init_meth_body)
 616                     out_java.write("}\n")
 617                 out_java.write("\t\t}\n")
 618                 init_meth_jty_strs[var_name] = init_meth_jty_str
 619         out_java.write("\tstatic { " + struct_name + ".init(); }\n")
 620         out_java.write("\tpublic static native " + struct_name + " " + struct_name + "_ref_from_ptr(long ptr);\n");
 621
 622         out_c.write("JNIEXPORT void JNICALL Java_org_ldk_impl_bindings_00024" + struct_name.replace("_", "_1") + "_init (JNIEnv * env, jclass _a) {\n")
 623         for idx, struct_line in enumerate(tag_field_lines):
 624             if idx != 0 and idx < len(tag_field_lines) - 3:
 625                 var_name = struct_line.strip(' ,')[len(struct_name) + 1:]
 626                 out_c.write("\t" + struct_name + "_" + var_name + "_class =\n")
 627                 out_c.write("\t\t(*env)->NewGlobalRef(env, (*env)->FindClass(env, \"Lorg/ldk/impl/bindings$" + struct_name + "$" + var_name + ";\"));\n")
 628                 out_c.write("\tCHECK(" + struct_name + "_" + var_name + "_class != NULL);\n")
 629                 out_c.write("\t" + struct_name + "_" + var_name + "_meth = (*env)->GetMethodID(env, " + struct_name + "_" + var_name + "_class, \"<init>\", \"(" + init_meth_jty_strs[var_name] + ")V\");\n")
 630                 out_c.write("\tCHECK(" + struct_name + "_" + var_name + "_meth != NULL);\n")
 631         out_c.write("}\n")
 632         out_c.write("JNIEXPORT jobject JNICALL Java_org_ldk_impl_bindings_" + struct_name.replace("_", "_1") + "_1ref_1from_1ptr (JNIEnv * env, jclass _c, jlong ptr) {\n")
 633         out_c.write("\t" + struct_name + " *obj = (" + struct_name + "*)ptr;\n")
 634         out_c.write("\tswitch(obj->tag) {\n")
 635         for idx, struct_line in enumerate(tag_field_lines):
 636             if idx != 0 and idx < len(tag_field_lines) - 3:
 637                 var_name = struct_line.strip(' ,')[len(struct_name) + 1:]
 638                 out_c.write("\t\tcase " + struct_name + "_" + var_name + ": {\n")
 639                 c_params_text = ""
 640                 if "LDK" + var_name in union_enum_items:
 641                     enum_var_lines = union_enum_items["LDK" + var_name]
 642                     for idx, field in enumerate(enum_var_lines):
 643                         if idx != 0 and idx < len(enum_var_lines) - 2:
 644                             field_map = map_type(field.strip(' ;'), False, None, False)
 645                             if field_map.ret_conv is not None:
 646                                 out_c.write("\t\t\t" + field_map.ret_conv[0].replace("\n", "\n\t\t\t").replace("_env", "env"))
 647                                 out_c.write("obj->" + camel_to_snake(var_name) + "." + field_map.arg_name)
 648                                 out_c.write(field_map.ret_conv[1].replace("\n", "\n\t\t\t") + "\n")
 649                                 c_params_text = c_params_text + ", " + field_map.ret_conv_name
 650                             else:
 651                                 c_params_text = c_params_text + ", obj->" + camel_to_snake(var_name) + "." + field_map.arg_name
 652                 out_c.write("\t\t\treturn (*env)->NewObject(env, " + struct_name + "_" + var_name + "_class, " + struct_name + "_" + var_name + "_meth" + c_params_text + ");\n")
 653                 out_c.write("\t\t}\n")
 654         out_c.write("\t\tdefault: abort();\n")
 655         out_c.write("\t}\n}\n")
 656
 657     def map_trait(struct_name, field_var_lines, trait_fn_lines):
 658         with open(sys.argv[3] + "/structs/" + struct_name.replace("LDK","") + ".java", "w") as out_java_trait:
 659             out_c.write("typedef struct " + struct_name + "_JCalls {\n")
 660             out_c.write("\tatomic_size_t refcnt;\n")
 661             out_c.write("\tJavaVM *vm;\n")
 662             out_c.write("\tjweak o;\n")
 663             for var_line in field_var_lines:
 664                 if var_line.group(1) in trait_structs:
 665                     out_c.write("\t" + var_line.group(1) + "_JCalls* " + var_line.group(2) + ";\n")
 666             for fn_line in trait_fn_lines:
 667                 if fn_line.group(2) != "free" and fn_line.group(2) != "clone":
 668                     out_c.write("\tjmethodID " + fn_line.group(2) + "_meth;\n")
 669             out_c.write("} " + struct_name + "_JCalls;\n")
 670
 671             out_java_trait.write("package org.ldk.structs;\n\n")
 672             out_java_trait.write("import org.ldk.impl.bindings;\n\n")
 673             out_java_trait.write("import org.ldk.enums.*;\n\n")
 674             out_java_trait.write("public class " + struct_name.replace("LDK","") + " extends CommonBase {\n")
 675             out_java_trait.write("\t" + struct_name.replace("LDK", "") + "(Object _dummy, long ptr) { super(ptr); }\n")
 676             out_java_trait.write("\tpublic " + struct_name.replace("LDK", "") + "(bindings." + struct_name + " arg")
 677             for var_line in field_var_lines:
 678                 if var_line.group(1) in trait_structs:
 679                     out_java_trait.write(", bindings." + var_line.group(1) + " " + var_line.group(2))
 680             out_java_trait.write(") {\n")
 681             out_java_trait.write("\t\tsuper(bindings." + struct_name + "_new(arg")
 682             for var_line in field_var_lines:
 683                 if var_line.group(1) in trait_structs:
 684                     out_java_trait.write(", " + var_line.group(2))
 685             out_java_trait.write("));\n")
 686             out_java_trait.write("\t\tthis.ptrs_to.add(arg);\n")
 687             out_java_trait.write("\t}\n")
 688             out_java_trait.write("\t@Override @SuppressWarnings(\"deprecation\")\n")
 689             out_java_trait.write("\tprotected void finalize() throws Throwable {\n")
 690             out_java_trait.write("\t\tbindings." + struct_name.replace("LDK","") + "_free(ptr); super.finalize();\n")
 691             out_java_trait.write("\t}\n\n")
 692
 693             out_java.write("\tpublic interface " + struct_name + " {\n")
 694             java_meths = []
 695             for fn_line in trait_fn_lines:
 696                 java_meth_descr = "("
 697                 if fn_line.group(2) != "free" and fn_line.group(2) != "clone":
 698                     ret_ty_info = java_c_types(fn_line.group(1), None)
 699
 700                     out_java.write("\t\t " + ret_ty_info.java_ty + " " + fn_line.group(2) + "(")
 701                     is_const = fn_line.group(3) is not None
 702                     out_c.write(fn_line.group(1) + fn_line.group(2) + "_jcall(")
 703                     if is_const:
 704                         out_c.write("const void* this_arg")
 705                     else:
 706                         out_c.write("void* this_arg")
 707
 708                     arg_names = []
 709                     for idx, arg in enumerate(fn_line.group(4).split(',')):
 710                         if arg == "":
 711                             continue
 712                         if idx >= 2:
 713                             out_java.write(", ")
 714                         out_c.write(", ")
 715                         arg_conv_info = map_type(arg, True, None, False)
 716                         out_c.write(arg.strip())
 717                         out_java.write(arg_conv_info.java_ty + " " + arg_conv_info.arg_name)
 718                         arg_names.append(arg_conv_info)
 719                         java_meth_descr = java_meth_descr + arg_conv_info.java_fn_ty_arg
 720                     java_meth_descr = java_meth_descr + ")" + ret_ty_info.java_fn_ty_arg
 721                     java_meths.append(java_meth_descr)
 722
 723                     out_java.write(");\n")
 724                     out_c.write(") {\n")
 725                     out_c.write("\t" + struct_name + "_JCalls *j_calls = (" + struct_name + "_JCalls*) this_arg;\n")
 726                     out_c.write("\tJNIEnv *env;\n")
 727                     out_c.write("\tDO_ASSERT((*j_calls->vm)->GetEnv(j_calls->vm, (void**)&env, JNI_VERSION_1_8) == JNI_OK);\n")
 728
 729                     for arg_info in arg_names:
 730                         if arg_info.ret_conv is not None:
 731                             out_c.write("\t" + arg_info.ret_conv[0].replace('\n', '\n\t').replace("_env", "env"));
 732                             out_c.write(arg_info.arg_name)
 733                             out_c.write(arg_info.ret_conv[1].replace('\n', '\n\t').replace("_env", "env") + "\n")
 734
 735                     out_c.write("\tjobject obj = (*env)->NewLocalRef(env, j_calls->o);\n\tCHECK(obj != NULL);\n")
 736                     if ret_ty_info.c_ty.endswith("Array"):
 737                         assert(ret_ty_info.c_ty == "jbyteArray")
 738                         out_c.write("\tjbyteArray jret = (*env)->CallObjectMethod(env, obj, j_calls->" + fn_line.group(2) + "_meth")
 739                     elif not ret_ty_info.passed_as_ptr:
 740                         out_c.write("\treturn (*env)->Call" + ret_ty_info.java_ty.title() + "Method(env, obj, j_calls->" + fn_line.group(2) + "_meth")
 741                     else:
 742                         out_c.write("\t" + fn_line.group(1).strip() + "* ret = (" + fn_line.group(1).strip() + "*)(*env)->CallLongMethod(env, obj, j_calls->" + fn_line.group(2) + "_meth");
 743
 744                     for arg_info in arg_names:
 745                         if arg_info.ret_conv is not None:
 746                             out_c.write(", " + arg_info.ret_conv_name)
 747                         else:
 748                             out_c.write(", " + arg_info.arg_name)
 749                     out_c.write(");\n");
 750                     if ret_ty_info.c_ty.endswith("Array"):
 751                         out_c.write("\t" + ret_ty_info.rust_obj + " ret;\n")
 752                         out_c.write("\tCHECK((*env)->GetArrayLength(env, jret) == " + ret_ty_info.arr_len + ");\n")
 753                         out_c.write("\t(*env)->GetByteArrayRegion(env, jret, 0, " + ret_ty_info.arr_len + ", ret." + ret_ty_info.arr_access + ");\n")
 754                         out_c.write("\treturn ret;\n")
 755
 756                     if ret_ty_info.passed_as_ptr:
 757                         out_c.write("\t" + fn_line.group(1).strip() + " res = *ret;\n")
 758                         out_c.write("\tFREE(ret);\n")
 759                         out_c.write("\treturn res;\n")
 760                     out_c.write("}\n")
 761                 elif fn_line.group(2) == "free":
 762                     out_c.write("static void " + struct_name + "_JCalls_free(void* this_arg) {\n")
 763                     out_c.write("\t" + struct_name + "_JCalls *j_calls = (" + struct_name + "_JCalls*) this_arg;\n")
 764                     out_c.write("\tif (atomic_fetch_sub_explicit(&j_calls->refcnt, 1, memory_order_acquire) == 1) {\n")
 765                     out_c.write("\t\tJNIEnv *env;\n")
 766                     out_c.write("\t\tDO_ASSERT((*j_calls->vm)->GetEnv(j_calls->vm, (void**)&env, JNI_VERSION_1_8) == JNI_OK);\n")
 767                     out_c.write("\t\t(*env)->DeleteWeakGlobalRef(env, j_calls->o);\n")
 768                     out_c.write("\t\tFREE(j_calls);\n")
 769                     out_c.write("\t}\n}\n")
 770
 771             # Write out a clone function whether we need one or not, as we use them in moving to rust
 772             out_c.write("static void* " + struct_name + "_JCalls_clone(const void* this_arg) {\n")
 773             out_c.write("\t" + struct_name + "_JCalls *j_calls = (" + struct_name + "_JCalls*) this_arg;\n")
 774             out_c.write("\tatomic_fetch_add_explicit(&j_calls->refcnt, 1, memory_order_release);\n")
 775             for var_line in field_var_lines:
 776                 if var_line.group(1) in trait_structs:
 777                     out_c.write("\tatomic_fetch_add_explicit(&j_calls->" + var_line.group(2) + "->refcnt, 1, memory_order_release);\n")
 778             out_c.write("\treturn (void*) this_arg;\n")
 779             out_c.write("}\n")
 780
 781             out_java.write("\t}\n")
 782
 783             out_java.write("\tpublic static native long " + struct_name + "_new(" + struct_name + " impl")
 784             out_c.write("static inline " + struct_name + " " + struct_name + "_init (JNIEnv * env, jclass _a, jobject o")
 785             for var_line in field_var_lines:
 786                 if var_line.group(1) in trait_structs:
 787                     out_java.write(", " + var_line.group(1) + " " + var_line.group(2))
 788                     out_c.write(", jobject " + var_line.group(2))
 789             out_java.write(");\n")
 790             out_c.write(") {\n")
 791
 792             out_c.write("\tjclass c = (*env)->GetObjectClass(env, o);\n")
 793             out_c.write("\tCHECK(c != NULL);\n")
 794             out_c.write("\t" + struct_name + "_JCalls *calls = MALLOC(sizeof(" + struct_name + "_JCalls), \"" + struct_name + "_JCalls\");\n")
 795             out_c.write("\tatomic_init(&calls->refcnt, 1);\n")
 796             out_c.write("\tDO_ASSERT((*env)->GetJavaVM(env, &calls->vm) == 0);\n")
 797             out_c.write("\tcalls->o = (*env)->NewWeakGlobalRef(env, o);\n")
 798             for (fn_line, java_meth_descr) in zip(trait_fn_lines, java_meths):
 799                 if fn_line.group(2) != "free" and fn_line.group(2) != "clone":
 800                     out_c.write("\tcalls->" + fn_line.group(2) + "_meth = (*env)->GetMethodID(env, c, \"" + fn_line.group(2) + "\", \"" + java_meth_descr + "\");\n")
 801                     out_c.write("\tCHECK(calls->" + fn_line.group(2) + "_meth != NULL);\n")
 802             out_c.write("\n\t" + struct_name + " ret = {\n")
 803             out_c.write("\t\t.this_arg = (void*) calls,\n")
 804             for fn_line in trait_fn_lines:
 805                 if fn_line.group(2) != "free" and fn_line.group(2) != "clone":
 806                     out_c.write("\t\t." + fn_line.group(2) + " = " + fn_line.group(2) + "_jcall,\n")
 807                 elif fn_line.group(2) == "free":
 808                     out_c.write("\t\t.free = " + struct_name + "_JCalls_free,\n")
 809                 else:
 810                     out_c.write("\t\t.clone = " + struct_name + "_JCalls_clone,\n")
 811             for var_line in field_var_lines:
 812                 if var_line.group(1) in trait_structs:
 813                     out_c.write("\t\t." + var_line.group(2) + " = " + var_line.group(1) + "_init(env, _a, " + var_line.group(2) + "),\n")
 814             out_c.write("\t};\n")
 815             for var_line in field_var_lines:
 816                 if var_line.group(1) in trait_structs:
 817                     out_c.write("\tcalls->" + var_line.group(2) + " = ret." + var_line.group(2) + ".this_arg;\n")
 818             out_c.write("\treturn ret;\n")
 819             out_c.write("}\n")
 820
 821             out_c.write("JNIEXPORT long JNICALL Java_org_ldk_impl_bindings_" + struct_name.replace("_", "_1") + "_1new (JNIEnv * env, jclass _a, jobject o")
 822             for var_line in field_var_lines:
 823                 if var_line.group(1) in trait_structs:
 824                     out_c.write(", jobject " + var_line.group(2))
 825             out_c.write(") {\n")
 826             out_c.write("\t" + struct_name + " *res_ptr = MALLOC(sizeof(" + struct_name + "), \"" + struct_name + "\");\n")
 827             out_c.write("\t*res_ptr = " + struct_name + "_init(env, _a, o")
 828             for var_line in field_var_lines:
 829                 if var_line.group(1) in trait_structs:
 830                     out_c.write(", " + var_line.group(2))
 831             out_c.write(");\n")
 832             out_c.write("\treturn (long)res_ptr;\n")
 833             out_c.write("}\n")
 834
 835             out_java.write("\tpublic static native " + struct_name + " " + struct_name + "_get_obj_from_jcalls(long val);\n")
 836             out_c.write("JNIEXPORT jobject JNICALL Java_org_ldk_impl_bindings_" + struct_name.replace("_", "_1") + "_1get_1obj_1from_1jcalls (JNIEnv * env, jclass _a, jlong val) {\n")
 837             out_c.write("\tjobject ret = (*env)->NewLocalRef(env, ((" + struct_name + "_JCalls*)val)->o);\n")
 838             out_c.write("\tCHECK(ret != NULL);\n")
 839             out_c.write("\treturn ret;\n")
 840             out_c.write("}\n")
 841
 842         for fn_line in trait_fn_lines:
 843             # For now, just disable enabling the _call_log - we don't know how to inverse-map String
 844             is_log = fn_line.group(2) == "log" and struct_name == "LDKLogger"
 845             if fn_line.group(2) != "free" and fn_line.group(2) != "clone" and fn_line.group(2) != "eq" and not is_log:
 846                 dummy_line = fn_line.group(1) + struct_name.replace("LDK", "") + "_call_" + fn_line.group(2) + " " + struct_name + "* this_arg" + fn_line.group(4) + "\n"
 847                 map_fn(dummy_line, re.compile("([A-Za-z_0-9]*) *([A-Za-z_0-9]*) *(.*)").match(dummy_line), None, "(this_arg_conv->" + fn_line.group(2) + ")(this_arg_conv->this_arg")
 848
 849     out_c.write("""#include \"org_ldk_impl_bindings.h\"
 850 #include <rust_types.h>
 851 #include <lightning.h>
 852 #include <string.h>
 853 #include <stdatomic.h>
 854 """)
 855
 856     if sys.argv[4] == "false":
 857         out_c.write("#define MALLOC(a, _) malloc(a)\n")
 858         out_c.write("#define FREE free\n")
 859         out_c.write("#define DO_ASSERT(a) (void)(a)\n")
 860         out_c.write("#define CHECK(a)\n")
 861     else:
 862         out_c.write("""#include <assert.h>
 863 // Always run a, then assert it is true:
 864 #define DO_ASSERT(a) do { bool _assert_val = (a); assert(_assert_val); } while(0)
 865 // Assert a is true or do nothing
 866 #define CHECK(a) DO_ASSERT(a)
 867
 868 // Running a leak check across all the allocations and frees of the JDK is a mess,
 869 // so instead we implement our own naive leak checker here, relying on the -wrap
 870 // linker option to wrap malloc/calloc/realloc/free, tracking everyhing allocated
 871 // and free'd in Rust or C across the generated bindings shared library.
 872 #include <threads.h>
 873 #include <execinfo.h>
 874 #include <unistd.h>
 875 static mtx_t allocation_mtx;
 876
 877 void __attribute__((constructor)) init_mtx() {
 878         DO_ASSERT(mtx_init(&allocation_mtx, mtx_plain) == thrd_success);
 879 }
 880
 881 #define BT_MAX 128
 882 typedef struct allocation {
 883         struct allocation* next;
 884         void* ptr;
 885         const char* struct_name;
 886         void* bt[BT_MAX];
 887         int bt_len;
 888 } allocation;
 889 static allocation* allocation_ll = NULL;
 890
 891 void* __real_malloc(size_t len);
 892 void* __real_calloc(size_t nmemb, size_t len);
 893 static void new_allocation(void* res, const char* struct_name) {
 894         allocation* new_alloc = __real_malloc(sizeof(allocation));
 895         new_alloc->ptr = res;
 896         new_alloc->struct_name = struct_name;
 897         new_alloc->bt_len = backtrace(new_alloc->bt, BT_MAX);
 898         DO_ASSERT(mtx_lock(&allocation_mtx) == thrd_success);
 899         new_alloc->next = allocation_ll;
 900         allocation_ll = new_alloc;
 901         DO_ASSERT(mtx_unlock(&allocation_mtx) == thrd_success);
 902 }
 903 static void* MALLOC(size_t len, const char* struct_name) {
 904         void* res = __real_malloc(len);
 905         new_allocation(res, struct_name);
 906         return res;
 907 }
 908 void __real_free(void* ptr);
 909 static void alloc_freed(void* ptr) {
 910         allocation* p = NULL;
 911         DO_ASSERT(mtx_lock(&allocation_mtx) == thrd_success);
 912         allocation* it = allocation_ll;
 913         while (it->ptr != ptr) { p = it; it = it->next; }
 914         if (p) { p->next = it->next; } else { allocation_ll = it->next; }
 915         DO_ASSERT(mtx_unlock(&allocation_mtx) == thrd_success);
 916         DO_ASSERT(it->ptr == ptr);
 917         __real_free(it);
 918 }
 919 static void FREE(void* ptr) {
 920         alloc_freed(ptr);
 921         __real_free(ptr);
 922 }
 923
 924 void* __wrap_malloc(size_t len) {
 925         void* res = __real_malloc(len);
 926         new_allocation(res, "malloc call");
 927         return res;
 928 }
 929 void* __wrap_calloc(size_t nmemb, size_t len) {
 930         void* res = __real_calloc(nmemb, len);
 931         new_allocation(res, "calloc call");
 932         return res;
 933 }
 934 void __wrap_free(void* ptr) {
 935         alloc_freed(ptr);
 936         __real_free(ptr);
 937 }
 938
 939 void* __real_realloc(void* ptr, size_t newlen);
 940 void* __wrap_realloc(void* ptr, size_t len) {
 941         alloc_freed(ptr);
 942         void* res = __real_realloc(ptr, len);
 943         new_allocation(res, "realloc call");
 944         return res;
 945 }
 946 void __wrap_reallocarray(void* ptr, size_t new_sz) {
 947         // Rust doesn't seem to use reallocarray currently
 948         assert(false);
 949 }
 950
 951 void __attribute__((destructor)) check_leaks() {
 952         for (allocation* a = allocation_ll; a != NULL; a = a->next) {
 953                 fprintf(stderr, "%s %p remains:\\n", a->struct_name, a->ptr);
 954                 backtrace_symbols_fd(a->bt, a->bt_len, STDERR_FILENO);
 955                 fprintf(stderr, "\\n\\n");
 956         }
 957         DO_ASSERT(allocation_ll == NULL);
 958 }
 959 """)
 960     out_java.write("""package org.ldk.impl;
 961 import org.ldk.enums.*;
 962
 963 public class bindings {
 964         public static class VecOrSliceDef {
 965                 public long dataptr;
 966                 public long datalen;
 967                 public long stride;
 968                 public VecOrSliceDef(long dataptr, long datalen, long stride) {
 969                         this.dataptr = dataptr; this.datalen = datalen; this.stride = stride;
 970                 }
 971         }
 972         static {
 973                 System.loadLibrary(\"lightningjni\");
 974                 init(java.lang.Enum.class, VecOrSliceDef.class);
 975         }
 976         static native void init(java.lang.Class c, java.lang.Class slicedef);
 977
 978         public static native boolean deref_bool(long ptr);
 979         public static native long deref_long(long ptr);
 980         public static native void free_heap_ptr(long ptr);
 981         public static native byte[] read_bytes(long ptr, long len);
 982         public static native byte[] get_u8_slice_bytes(long slice_ptr);
 983         public static native long bytes_to_u8_vec(byte[] bytes);
 984         public static native long new_txpointer_copy_data(byte[] txdata);
 985         public static native long vec_slice_len(long vec);
 986         public static native long new_empty_slice_vec();
 987
 988 """)
 989     out_c.write("""
 990 static jmethodID ordinal_meth = NULL;
 991 static jmethodID slicedef_meth = NULL;
 992 static jclass slicedef_cls = NULL;
 993 JNIEXPORT void Java_org_ldk_impl_bindings_init(JNIEnv * env, jclass _b, jclass enum_class, jclass slicedef_class) {
 994         ordinal_meth = (*env)->GetMethodID(env, enum_class, "ordinal", "()I");
 995         CHECK(ordinal_meth != NULL);
 996         slicedef_meth = (*env)->GetMethodID(env, slicedef_class, "<init>", "(JJJ)V");
 997         CHECK(slicedef_meth != NULL);
 998         slicedef_cls = (*env)->NewGlobalRef(env, slicedef_class);
 999         CHECK(slicedef_cls != NULL);
1000 }
1001
1002 JNIEXPORT jboolean JNICALL Java_org_ldk_impl_bindings_deref_1bool (JNIEnv * env, jclass _a, jlong ptr) {
1003         return *((bool*)ptr);
1004 }
1005 JNIEXPORT jlong JNICALL Java_org_ldk_impl_bindings_deref_1long (JNIEnv * env, jclass _a, jlong ptr) {
1006         return *((long*)ptr);
1007 }
1008 JNIEXPORT void JNICALL Java_org_ldk_impl_bindings_free_1heap_1ptr (JNIEnv * env, jclass _a, jlong ptr) {
1009         FREE((void*)ptr);
1010 }
1011 JNIEXPORT jbyteArray JNICALL Java_org_ldk_impl_bindings_read_1bytes (JNIEnv * _env, jclass _b, jlong ptr, jlong len) {
1012         jbyteArray ret_arr = (*_env)->NewByteArray(_env, len);
1013         (*_env)->SetByteArrayRegion(_env, ret_arr, 0, len, (unsigned char*)ptr);
1014         return ret_arr;
1015 }
1016 JNIEXPORT jbyteArray JNICALL Java_org_ldk_impl_bindings_get_1u8_1slice_1bytes (JNIEnv * _env, jclass _b, jlong slice_ptr) {
1017         LDKu8slice *slice = (LDKu8slice*)slice_ptr;
1018         jbyteArray ret_arr = (*_env)->NewByteArray(_env, slice->datalen);
1019         (*_env)->SetByteArrayRegion(_env, ret_arr, 0, slice->datalen, slice->data);
1020         return ret_arr;
1021 }
1022 JNIEXPORT long JNICALL Java_org_ldk_impl_bindings_bytes_1to_1u8_1vec (JNIEnv * _env, jclass _b, jbyteArray bytes) {
1023         LDKCVec_u8Z *vec = (LDKCVec_u8Z*)MALLOC(sizeof(LDKCVec_u8Z), "LDKCVec_u8");
1024         vec->datalen = (*_env)->GetArrayLength(_env, bytes);
1025         vec->data = (uint8_t*)MALLOC(vec->datalen, "LDKCVec_u8Z Bytes");
1026         (*_env)->GetByteArrayRegion (_env, bytes, 0, vec->datalen, vec->data);
1027         return (long)vec;
1028 }
1029 JNIEXPORT long JNICALL Java_org_ldk_impl_bindings_new_1txpointer_1copy_1data (JNIEnv * env, jclass _b, jbyteArray bytes) {
1030         LDKTransaction *txdata = (LDKTransaction*)MALLOC(sizeof(LDKTransaction), "LDKTransaction");
1031         txdata->datalen = (*env)->GetArrayLength(env, bytes);
1032         txdata->data = (uint8_t*)MALLOC(txdata->datalen, "Tx Data Bytes");
1033         txdata->data_is_owned = true;
1034         (*env)->GetByteArrayRegion (env, bytes, 0, txdata->datalen, txdata->data);
1035         return (long)txdata;
1036 }
1037 JNIEXPORT jlong JNICALL Java_org_ldk_impl_bindings_vec_1slice_1len (JNIEnv * env, jclass _a, jlong ptr) {
1038         // Check offsets of a few Vec types are all consistent as we're meant to be generic across types
1039         _Static_assert(offsetof(LDKCVec_u8Z, datalen) == offsetof(LDKCVec_SignatureZ, datalen), "Vec<*> needs to be mapped identically");
1040         _Static_assert(offsetof(LDKCVec_u8Z, datalen) == offsetof(LDKCVec_MessageSendEventZ, datalen), "Vec<*> needs to be mapped identically");
1041         _Static_assert(offsetof(LDKCVec_u8Z, datalen) == offsetof(LDKCVec_EventZ, datalen), "Vec<*> needs to be mapped identically");
1042         _Static_assert(offsetof(LDKCVec_u8Z, datalen) == offsetof(LDKCVec_C2Tuple_usizeTransactionZZ, datalen), "Vec<*> needs to be mapped identically");
1043         LDKCVec_u8Z *vec = (LDKCVec_u8Z*)ptr;
1044         return (long)vec->datalen;
1045 }
1046 JNIEXPORT long JNICALL Java_org_ldk_impl_bindings_new_1empty_1slice_1vec (JNIEnv * _env, jclass _b) {
1047         // Check sizes of a few Vec types are all consistent as we're meant to be generic across types
1048         _Static_assert(sizeof(LDKCVec_u8Z) == sizeof(LDKCVec_SignatureZ), "Vec<*> needs to be mapped identically");
1049         _Static_assert(sizeof(LDKCVec_u8Z) == sizeof(LDKCVec_MessageSendEventZ), "Vec<*> needs to be mapped identically");
1050         _Static_assert(sizeof(LDKCVec_u8Z) == sizeof(LDKCVec_EventZ), "Vec<*> needs to be mapped identically");
1051         _Static_assert(sizeof(LDKCVec_u8Z) == sizeof(LDKCVec_C2Tuple_usizeTransactionZZ), "Vec<*> needs to be mapped identically");
1052         LDKCVec_u8Z *vec = (LDKCVec_u8Z*)MALLOC(sizeof(LDKCVec_u8Z), "Empty LDKCVec");
1053         vec->data = NULL;
1054         vec->datalen = 0;
1055         return (long)vec;
1056 }
1057
1058 // We assume that CVec_u8Z and u8slice are the same size and layout (and thus pointers to the two can be mixed)
1059 _Static_assert(sizeof(LDKCVec_u8Z) == sizeof(LDKu8slice), "Vec<u8> and [u8] need to have been mapped identically");
1060 _Static_assert(offsetof(LDKCVec_u8Z, data) == offsetof(LDKu8slice, data), "Vec<u8> and [u8] need to have been mapped identically");
1061 _Static_assert(offsetof(LDKCVec_u8Z, datalen) == offsetof(LDKu8slice, datalen), "Vec<u8> and [u8] need to have been mapped identically");
1062
1063 """)
1064
1065     with open(sys.argv[3] + "/structs/CommonBase.java", "a") as out_java_struct:
1066         out_java_struct.write("""package org.ldk.structs;
1067 import java.util.LinkedList;
1068 class CommonBase {
1069         final long ptr;
1070         LinkedList<Object> ptrs_to = new LinkedList();
1071         protected CommonBase(long ptr) { this.ptr = ptr; }
1072         public long _test_only_get_ptr() { return this.ptr; }
1073 }
1074 """)
1075
1076     in_block_comment = False
1077     cur_block_obj = None
1078
1079     const_val_regex = re.compile("^extern const ([A-Za-z_0-9]*) ([A-Za-z_0-9]*);$")
1080
1081     line_indicates_result_regex = re.compile("^   (LDKCResultPtr_[A-Za-z_0-9]*) contents;$")
1082     line_indicates_vec_regex = re.compile("^   ([A-Za-z_0-9]*) \*data;$")
1083     line_indicates_opaque_regex = re.compile("^   bool is_owned;$")
1084     line_indicates_trait_regex = re.compile("^   ([A-Za-z_0-9]* \*?)\(\*([A-Za-z_0-9]*)\)\((const )?void \*this_arg(.*)\);$")
1085     assert(line_indicates_trait_regex.match("   uintptr_t (*send_data)(void *this_arg, LDKu8slice data, bool resume_read);"))
1086     assert(line_indicates_trait_regex.match("   LDKCVec_MessageSendEventZ (*get_and_clear_pending_msg_events)(const void *this_arg);"))
1087     assert(line_indicates_trait_regex.match("   void *(*clone)(const void *this_arg);"))
1088     line_field_var_regex = re.compile("^   ([A-Za-z_0-9]*) ([A-Za-z_0-9]*);$")
1089     assert(line_field_var_regex.match("   LDKMessageSendEventsProvider MessageSendEventsProvider;"))
1090     struct_name_regex = re.compile("^typedef (struct|enum|union) (MUST_USE_STRUCT )?(LDK[A-Za-z_0-9]*) {$")
1091     assert(struct_name_regex.match("typedef struct LDKCVecTempl_u8 {"))
1092     assert(struct_name_regex.match("typedef enum LDKNetwork {"))
1093     struct_alias_regex = re.compile("^typedef (LDK[A-Za-z_0-9]*) (LDK[A-Za-z_0-9]*);$")
1094     assert(struct_alias_regex.match("typedef LDKCResultTempl_bool__PeerHandleError LDKCResult_boolPeerHandleErrorZ;"))
1095
1096     result_templ_structs = set()
1097     union_enum_items = {}
1098     result_ptr_struct_items = {}
1099     for line in in_h:
1100         if in_block_comment:
1101             if line.endswith("*/\n"):
1102                 in_block_comment = False
1103         elif cur_block_obj is not None:
1104             cur_block_obj  = cur_block_obj + line
1105             if line.startswith("} "):
1106                 field_lines = []
1107                 struct_name = None
1108                 vec_ty = None
1109                 obj_lines = cur_block_obj.split("\n")
1110                 is_opaque = False
1111                 result_contents = None
1112                 is_unitary_enum = False
1113                 is_union_enum = False
1114                 is_union = False
1115                 is_tuple = False
1116                 trait_fn_lines = []
1117                 field_var_lines = []
1118
1119                 for idx, struct_line in enumerate(obj_lines):
1120                     if struct_line.strip().startswith("/*"):
1121                         in_block_comment = True
1122                     if in_block_comment:
1123                         if struct_line.endswith("*/"):
1124                             in_block_comment = False
1125                     else:
1126                         struct_name_match = struct_name_regex.match(struct_line)
1127                         if struct_name_match is not None:
1128                             struct_name = struct_name_match.group(3)
1129                             if struct_name_match.group(1) == "enum":
1130                                 if not struct_name.endswith("_Tag"):
1131                                     is_unitary_enum = True
1132                                 else:
1133                                     is_union_enum = True
1134                             elif struct_name_match.group(1) == "union":
1135                                 is_union = True
1136                         if line_indicates_opaque_regex.match(struct_line):
1137                             is_opaque = True
1138                         result_match = line_indicates_result_regex.match(struct_line)
1139                         if result_match is not None:
1140                             result_contents = result_match.group(1)
1141                         vec_ty_match = line_indicates_vec_regex.match(struct_line)
1142                         if vec_ty_match is not None and struct_name.startswith("LDKCVecTempl_"):
1143                             vec_ty = vec_ty_match.group(1)
1144                         elif struct_name.startswith("LDKC2TupleTempl_") or struct_name.startswith("LDKC3TupleTempl_"):
1145                             is_tuple = True
1146                         trait_fn_match = line_indicates_trait_regex.match(struct_line)
1147                         if trait_fn_match is not None:
1148                             trait_fn_lines.append(trait_fn_match)
1149                         field_var_match = line_field_var_regex.match(struct_line)
1150                         if field_var_match is not None:
1151                             field_var_lines.append(field_var_match)
1152                         field_lines.append(struct_line)
1153
1154                 assert(struct_name is not None)
1155                 assert(len(trait_fn_lines) == 0 or not (is_opaque or is_unitary_enum or is_union_enum or is_union or result_contents is not None or vec_ty is not None))
1156                 assert(not is_opaque or not (len(trait_fn_lines) != 0 or is_unitary_enum or is_union_enum or is_union or result_contents is not None or vec_ty is not None))
1157                 assert(not is_unitary_enum or not (len(trait_fn_lines) != 0 or is_opaque or is_union_enum or is_union or result_contents is not None or vec_ty is not None))
1158                 assert(not is_union_enum or not (len(trait_fn_lines) != 0 or is_unitary_enum or is_opaque or is_union or result_contents is not None or vec_ty is not None))
1159                 assert(not is_union or not (len(trait_fn_lines) != 0 or is_unitary_enum or is_union_enum or is_opaque or result_contents is not None or vec_ty is not None))
1160                 assert(result_contents is None or not (len(trait_fn_lines) != 0 or is_unitary_enum or is_union_enum or is_opaque or is_union or vec_ty is not None))
1161                 assert(vec_ty is None or not (len(trait_fn_lines) != 0 or is_unitary_enum or is_union_enum or is_opaque or is_union or result_contents is not None))
1162
1163                 if is_opaque:
1164                     opaque_structs.add(struct_name)
1165                     with open(sys.argv[3] + "/structs/" + struct_name.replace("LDK","") + ".java", "w") as out_java_struct:
1166                         out_java_struct.write("package org.ldk.structs;\n\n")
1167                         out_java_struct.write("import org.ldk.impl.bindings;\n")
1168                         out_java_struct.write("import org.ldk.enums.*;\n\n")
1169                         out_java_struct.write("public class " + struct_name.replace("LDK","") + " extends CommonBase {\n")
1170                         out_java_struct.write("\t" + struct_name.replace("LDK", "") + "(Object _dummy, long ptr) { super(ptr); }\n")
1171                         out_java_struct.write("\t@Override @SuppressWarnings(\"deprecation\")\n")
1172                         out_java_struct.write("\tprotected void finalize() throws Throwable {\n")
1173                         out_java_struct.write("\t\tbindings." + struct_name.replace("LDK","") + "_free(ptr); super.finalize();\n")
1174                         out_java_struct.write("\t}\n\n")
1175                 elif result_contents is not None:
1176                     result_templ_structs.add(struct_name)
1177                     assert result_contents in result_ptr_struct_items
1178                 elif struct_name.startswith("LDKCResultPtr_"):
1179                     for line in field_lines:
1180                         if line.endswith("*result;"):
1181                             res_ty = line[:-8].strip()
1182                         elif line.endswith("*err;"):
1183                             err_ty = line[:-5].strip()
1184                     result_ptr_struct_items[struct_name] = (res_ty, err_ty)
1185                 elif is_tuple:
1186                     out_java.write("\tpublic static native long " + struct_name + "_new(")
1187                     out_c.write("JNIEXPORT jlong JNICALL Java_org_ldk_impl_bindings_" + struct_name.replace("_", "_1") + "_1new(JNIEnv *_env, jclass _b")
1188                     for idx, line in enumerate(field_lines):
1189                         if idx != 0 and idx < len(field_lines) - 2:
1190                             ty_info = java_c_types(line.strip(';'), None)
1191                             if idx != 1:
1192                                 out_java.write(", ")
1193                             e = chr(ord('a') + idx - 1)
1194                             out_java.write(ty_info.java_ty + " " + e)
1195                             out_c.write(", " + ty_info.c_ty + " " + e)
1196                     out_java.write(");\n")
1197                     out_c.write(") {\n")
1198                     out_c.write("\t" + struct_name + "* ret = MALLOC(sizeof(" + struct_name + "), \"" + struct_name + "\");\n")
1199                     for idx, line in enumerate(field_lines):
1200                         if idx != 0 and idx < len(field_lines) - 2:
1201                             ty_info = map_type(line.strip(';'), False, None, False)
1202                             e = chr(ord('a') + idx - 1)
1203                             if ty_info.arg_conv is not None:
1204                                 out_c.write("\t" + ty_info.arg_conv.replace("\n", "\n\t"))
1205                                 out_c.write("\n\tret->" + e + " = " + ty_info.arg_conv_name + ";\n")
1206                             else:
1207                                 out_c.write("\tret->" + e + " = " + e + ";\n")
1208                             assert ty_info.arg_conv_cleanup is None
1209                     out_c.write("\treturn (long)ret;\n")
1210                     out_c.write("}\n")
1211                 elif vec_ty is not None:
1212                     if vec_ty in opaque_structs:
1213                         out_java.write("\tpublic static native long[] " + struct_name + "_arr_info(long vec_ptr);\n")
1214                         out_c.write("JNIEXPORT jlongArray JNICALL Java_org_ldk_impl_bindings_" + struct_name.replace("_", "_1") + "_1arr_1info(JNIEnv *env, jclass _b, jlong ptr) {\n")
1215                     else:
1216                         out_java.write("\tpublic static native VecOrSliceDef " + struct_name + "_arr_info(long vec_ptr);\n")
1217                         out_c.write("JNIEXPORT jobject JNICALL Java_org_ldk_impl_bindings_" + struct_name.replace("_", "_1") + "_1arr_1info(JNIEnv *env, jclass _b, jlong ptr) {\n")
1218                     out_c.write("\t" + struct_name + " *vec = (" + struct_name + "*)ptr;\n")
1219                     if vec_ty in opaque_structs:
1220                         out_c.write("\tjlongArray ret = (*env)->NewLongArray(env, vec->datalen);\n")
1221                         out_c.write("\tjlong *ret_elems = (*env)->GetPrimitiveArrayCritical(env, ret, NULL);\n")
1222                         out_c.write("\tfor (size_t i = 0; i < vec->datalen; i++) {\n")
1223                         out_c.write("\t\tCHECK((((long)vec->data[i].inner) & 1) == 0);\n")
1224                         out_c.write("\t\tret_elems[i] = (long)vec->data[i].inner | (vec->data[i].is_owned ? 1 : 0);\n")
1225                         out_c.write("\t}\n")
1226                         out_c.write("\t(*env)->ReleasePrimitiveArrayCritical(env, ret, ret_elems, 0);\n")
1227                         out_c.write("\treturn ret;\n")
1228                     else:
1229                         out_c.write("\treturn (*env)->NewObject(env, slicedef_cls, slicedef_meth, (long)vec->data, (long)vec->datalen, sizeof(" + vec_ty + "));\n")
1230                     out_c.write("}\n")
1231
1232                     ty_info = map_type(vec_ty + " arr_elem", False, None, False)
1233                     if len(ty_info.java_fn_ty_arg) == 1: # ie we're a primitive of some form
1234                         out_java.write("\tpublic static native long " + struct_name + "_new(" + ty_info.java_ty + "[] elems);\n")
1235                         out_c.write("JNIEXPORT jlong JNICALL Java_org_ldk_impl_bindings_" + struct_name.replace("_", "_1") + "_1new(JNIEnv *env, jclass _b, j" + ty_info.java_ty + "Array elems){\n")
1236                         out_c.write("\t" + struct_name + " *ret = MALLOC(sizeof(" + struct_name + "), \"" + struct_name + "\");\n")
1237                         out_c.write("\tret->datalen = (*env)->GetArrayLength(env, elems);\n")
1238                         out_c.write("\tif (ret->datalen == 0) {\n")
1239                         out_c.write("\t\tret->data = NULL;\n")
1240                         out_c.write("\t} else {\n")
1241                         out_c.write("\t\tret->data = MALLOC(sizeof(" + vec_ty + ") * ret->datalen, \"" + struct_name + " Data\");\n")
1242                         out_c.write("\t\t" + ty_info.c_ty + " *java_elems = (*env)->GetPrimitiveArrayCritical(env, elems, NULL);\n")
1243                         out_c.write("\t\tfor (size_t i = 0; i < ret->datalen; i++) {\n")
1244                         if ty_info.arg_conv is not None:
1245                             out_c.write("\t\t\t" + ty_info.c_ty + " arr_elem = java_elems[i];\n")
1246                             out_c.write("\t\t\t" + ty_info.arg_conv.replace("\n", "\n\t\t\t") + "\n")
1247                             out_c.write("\t\t\tret->data[i] = " + ty_info.arg_conv_name + ";\n")
1248                             assert ty_info.arg_conv_cleanup is None
1249                         else:
1250                             out_c.write("\t\t\tret->data[i] = java_elems[i];\n")
1251                         out_c.write("\t\t}\n")
1252                         out_c.write("\t\t(*env)->ReleasePrimitiveArrayCritical(env, elems, java_elems, 0);\n")
1253                         out_c.write("\t}\n")
1254                         out_c.write("\treturn (long)ret;\n")
1255                         out_c.write("}\n")
1256                 elif is_union_enum:
1257                     assert(struct_name.endswith("_Tag"))
1258                     struct_name = struct_name[:-4]
1259                     union_enum_items[struct_name] = {"field_lines": field_lines}
1260                 elif struct_name.endswith("_Body") and struct_name.split("_")[0] in union_enum_items:
1261                     enum_var_name = struct_name.split("_")
1262                     union_enum_items[enum_var_name[0]][enum_var_name[1]] = field_lines
1263                 elif struct_name in union_enum_items:
1264                     map_complex_enum(struct_name, union_enum_items[struct_name])
1265                 elif is_unitary_enum:
1266                     map_unitary_enum(struct_name, field_lines)
1267                 elif len(trait_fn_lines) > 0:
1268                     trait_structs.add(struct_name)
1269                     map_trait(struct_name, field_var_lines, trait_fn_lines)
1270                 cur_block_obj = None
1271         else:
1272             fn_ptr = fn_ptr_regex.match(line)
1273             fn_ret_arr = fn_ret_arr_regex.match(line)
1274             reg_fn = reg_fn_regex.match(line)
1275             const_val = const_val_regex.match(line)
1276
1277             if line.startswith("#include <"):
1278                 pass
1279             elif line.startswith("/*"):
1280                 #out_java.write("\t" + line)
1281                 if not line.endswith("*/\n"):
1282                     in_block_comment = True
1283             elif line.startswith("typedef enum "):
1284                 cur_block_obj = line
1285             elif line.startswith("typedef struct "):
1286                 cur_block_obj = line
1287             elif line.startswith("typedef union "):
1288                 cur_block_obj = line
1289             elif line.startswith("typedef "):
1290                 alias_match =  struct_alias_regex.match(line)
1291                 if alias_match.group(1) in result_templ_structs:
1292                     out_java.write("\tpublic static native boolean " + alias_match.group(2) + "_result_ok(long arg);\n")
1293                     out_java.write("\tpublic static native long " + alias_match.group(2) + "_get_inner(long arg);\n")
1294                     out_c.write("JNIEXPORT jboolean JNICALL Java_org_ldk_impl_bindings_" + alias_match.group(2).replace("_", "_1") + "_1result_1ok (JNIEnv * env, jclass _a, jlong arg) {\n")
1295                     out_c.write("\treturn ((" + alias_match.group(2) + "*)arg)->result_ok;\n")
1296                     out_c.write("}\n")
1297                     out_c.write("JNIEXPORT jlong JNICALL Java_org_ldk_impl_bindings_" + alias_match.group(2).replace("_", "_1") + "_1get_1inner (JNIEnv * env, jclass _a, jlong arg) {\n")
1298                     contents_ty = alias_match.group(1).replace("LDKCResultTempl", "LDKCResultPtr")
1299                     res_ty, err_ty = result_ptr_struct_items[contents_ty]
1300                     out_c.write("\t" + alias_match.group(2) + " *val = (" + alias_match.group(2) + "*)arg;\n")
1301                     out_c.write("\tif (val->result_ok) {\n")
1302                     if res_ty not in opaque_structs:
1303                         out_c.write("\t\treturn (long)val->contents.result;\n")
1304                     else:
1305                         out_c.write("\t\treturn (long)(val->contents.result->inner) | (val->contents.result->is_owned ? 1 : 0);\n")
1306                     out_c.write("\t} else {\n")
1307                     if err_ty not in opaque_structs:
1308                         out_c.write("\t\treturn (long)val->contents.err;\n")
1309                     else:
1310                         out_c.write("\t\treturn (long)(val->contents.err->inner) | (val->contents.err->is_owned ? 1 : 0);\n")
1311                     out_c.write("\t}\n}\n")
1312                 pass
1313             elif fn_ptr is not None:
1314                 map_fn(line, fn_ptr, None, None)
1315             elif fn_ret_arr is not None:
1316                 map_fn(line, fn_ret_arr, fn_ret_arr.group(4), None)
1317             elif reg_fn is not None:
1318                 map_fn(line, reg_fn, None, None)
1319             elif const_val_regex is not None:
1320                 # TODO Map const variables
1321                 pass
1322             else:
1323                 assert(line == "\n")
1324
1325     out_java.write("}\n")
1326     for struct_name in opaque_structs:
1327         with open(sys.argv[3] + "/structs/" + struct_name.replace("LDK","") + ".java", "a") as out_java_struct:
1328             out_java_struct.write("}\n")
1329     for struct_name in trait_structs:
1330         with open(sys.argv[3] + "/structs/" + struct_name.replace("LDK","") + ".java", "a") as out_java_struct:
1331             out_java_struct.write("}\n")