[TS] Correctly pass u64s from TS to C, using BigInts
[ldk-java] / genbindings.py
1 #!/usr/bin/env python3
2 import os, sys, re, subprocess
3
4 if len(sys.argv) < 7:
5     print("USAGE: /path/to/lightning.h /path/to/bindings/output /path/to/bindings/ /path/to/bindings/output.c debug lang")
6     sys.exit(1)
7
8 if sys.argv[5] == "false":
9     DEBUG = False
10 elif sys.argv[5] == "true":
11     DEBUG = True
12 else:
13     print("debug should be true or false and indicates whether to track allocations and ensure we don't leak")
14     sys.exit(1)
15
16 target = None
17 if sys.argv[6] == "java" or sys.argv[6] == "android":
18     import java_strings
19     from java_strings import Consts
20     target = java_strings.Target.JAVA
21     if sys.argv[6] == "android":
22         target = java_strings.Target.ANDROID
23 elif sys.argv[6] == "typescript":
24     import typescript_strings
25     from typescript_strings import Consts
26     target = typescript_strings.Target.NODEJS
27     if len(sys.argv) == 8 and sys.argv[7] == 'browser':
28         target = typescript_strings.Target.BROWSER
29 else:
30     print("Only java or typescript can be set for lang")
31     sys.exit(1)
32
33
34 consts = Consts(DEBUG, target=target, outdir=sys.argv[4])
35
36 local_git_version = os.getenv("LDK_GARBAGECOLLECTED_GIT_OVERRIDE")
37 if local_git_version is None:
38     local_git_version = subprocess.check_output(["git", "describe", '--tag', '--dirty']).decode("utf-8").strip()
39
40 from bindingstypes import *
41
42 c_file = ""
43 def write_c(s):
44     global c_file
45     c_file += s
46
47 def camel_to_snake(s):
48     # Convert camel case to snake case, in a way that appears to match cbindgen
49     con = "_"
50     ret = ""
51     lastchar = ""
52     lastund = False
53     for char in s:
54         if lastchar.isupper():
55             if not char.isupper() and not lastund:
56                 ret = ret + "_"
57                 lastund = True
58             else:
59                 lastund = False
60             ret = ret + lastchar.lower()
61         else:
62             ret = ret + lastchar
63             if char.isupper() and not lastund:
64                 ret = ret + "_"
65                 lastund = True
66             else:
67                 lastund = False
68         lastchar = char
69         if char.isnumeric():
70             lastund = True
71     return (ret + lastchar.lower()).strip("_")
72
73 def doc_to_field_nullable(doc):
74     if doc is None:
75         return False
76     for line in doc.splitlines():
77         if "Note that this (or a relevant inner pointer) may be NULL or all-0s to represent None" in line:
78             return True
79     return False
80
81 def doc_to_params_ret_nullable(doc):
82     if doc is None:
83         return (set(), False)
84     params = set()
85     ret_null = False
86     for line in doc.splitlines():
87         if "may be NULL or all-0s to represent None" not in line:
88             continue
89         if "Note that the return value" in line:
90             ret_null = True
91         elif "Note that " in line:
92             param = line.split("Note that ")[1].split(" ")[0]
93             params.add(param)
94     return (params, ret_null)
95
96 unitary_enums = set()
97 # Map from enum name to "contains trait object"
98 complex_enums = {}
99 opaque_structs = set()
100 trait_structs = {}
101 result_types = set()
102 tuple_types = {}
103
104 var_is_arr_regex = re.compile("\(\* ?([A-za-z0-9_]*)\)\[([a-z0-9]*)\]")
105 var_ty_regex = re.compile("([A-za-z_0-9]*)(.*)")
106 java_c_types_none_allowed = True # Unset when we do the real pass that populates the above sets
107 def java_c_types(fn_arg, ret_arr_len):
108     fn_arg = fn_arg.strip()
109     if fn_arg.startswith("MUST_USE_RES "):
110         fn_arg = fn_arg[13:]
111     is_const = False
112     if fn_arg.startswith("const "):
113         fn_arg = fn_arg[6:]
114         is_const = True
115     if fn_arg.startswith("struct "):
116         fn_arg = fn_arg[7:]
117     if fn_arg.startswith("enum "):
118         fn_arg = fn_arg[5:]
119     nonnull_ptr = "NONNULL_PTR" in fn_arg
120     fn_arg = fn_arg.replace("NONNULL_PTR", "")
121
122     is_ptr = False
123     take_by_ptr = False
124     rust_obj = None
125     arr_access = None
126     java_hu_ty = None
127     if fn_arg.startswith("LDKThirtyTwoBytes"):
128         fn_arg = "uint8_t (*" + fn_arg[18:] + ")[32]"
129         assert var_is_arr_regex.match(fn_arg[8:])
130         rust_obj = "LDKThirtyTwoBytes"
131         arr_access = "data"
132     elif fn_arg.startswith("LDKTxid"):
133         fn_arg = "uint8_t (*" + fn_arg[8:] + ")[32]"
134         assert var_is_arr_regex.match(fn_arg[8:])
135         rust_obj = "LDKThirtyTwoBytes"
136         arr_access = "data"
137     elif fn_arg.startswith("LDKPublicKey"):
138         fn_arg = "uint8_t (*" + fn_arg[13:] + ")[33]"
139         assert var_is_arr_regex.match(fn_arg[8:])
140         rust_obj = "LDKPublicKey"
141         arr_access = "compressed_form"
142     elif fn_arg.startswith("LDKSecretKey"):
143         fn_arg = "uint8_t (*" + fn_arg[13:] + ")[32]"
144         assert var_is_arr_regex.match(fn_arg[8:])
145         rust_obj = "LDKSecretKey"
146         arr_access = "bytes"
147     elif fn_arg.startswith("LDKSignature"):
148         fn_arg = "uint8_t (*" + fn_arg[13:] + ")[64]"
149         assert var_is_arr_regex.match(fn_arg[8:])
150         rust_obj = "LDKSignature"
151         arr_access = "compact_form"
152     elif fn_arg.startswith("LDKRecoverableSignature"):
153         fn_arg = "uint8_t (*" + fn_arg[24:] + ")[68]"
154         assert var_is_arr_regex.match(fn_arg[8:])
155         rust_obj = "LDKRecoverableSignature"
156         arr_access = "serialized_form"
157     elif fn_arg.startswith("LDKThreeBytes"):
158         fn_arg = "uint8_t (*" + fn_arg[14:] + ")[3]"
159         assert var_is_arr_regex.match(fn_arg[8:])
160         rust_obj = "LDKThreeBytes"
161         arr_access = "data"
162     elif fn_arg.startswith("LDKFourBytes"):
163         fn_arg = "uint8_t (*" + fn_arg[13:] + ")[4]"
164         assert var_is_arr_regex.match(fn_arg[8:])
165         rust_obj = "LDKFourBytes"
166         arr_access = "data"
167     elif fn_arg.startswith("LDKSixteenBytes"):
168         fn_arg = "uint8_t (*" + fn_arg[16:] + ")[16]"
169         assert var_is_arr_regex.match(fn_arg[8:])
170         rust_obj = "LDKSixteenBytes"
171         arr_access = "data"
172     elif fn_arg.startswith("LDKTwentyBytes"):
173         fn_arg = "uint8_t (*" + fn_arg[15:] + ")[20]"
174         assert var_is_arr_regex.match(fn_arg[8:])
175         rust_obj = "LDKTwentyBytes"
176         arr_access = "data"
177     elif fn_arg.startswith("LDKTwelveBytes"):
178         fn_arg = "uint8_t (*" + fn_arg[15:] + ")[12]"
179         assert var_is_arr_regex.match(fn_arg[8:])
180         rust_obj = "LDKTwelveBytes"
181         arr_access = "data"
182     elif fn_arg.startswith("LDKu8slice"):
183         fn_arg = "uint8_t (*" + fn_arg[11:] + ")[datalen]"
184         assert var_is_arr_regex.match(fn_arg[8:])
185         rust_obj = "LDKu8slice"
186         arr_access = "data"
187     elif fn_arg.startswith("LDKCVec_u8Z"):
188         fn_arg = "uint8_t (*" + fn_arg[12:] + ")[datalen]"
189         rust_obj = "LDKCVec_u8Z"
190         assert var_is_arr_regex.match(fn_arg[8:])
191         arr_access = "data"
192     elif fn_arg.startswith("LDKTransaction ") or fn_arg == "LDKTransaction":
193         fn_arg = "uint8_t (*" + fn_arg[15:] + ")[datalen]"
194         rust_obj = "LDKTransaction"
195         assert var_is_arr_regex.match(fn_arg[8:])
196         arr_access = "data"
197     elif fn_arg.startswith("LDKCVec_"):
198         is_ptr = False
199         if "*" in fn_arg:
200             fn_arg = fn_arg.replace("*", "")
201             is_ptr = True
202
203         tyn = fn_arg[8:].split(" ")
204         assert tyn[0].endswith("Z")
205         if tyn[0] == "u64Z":
206             new_arg = "uint64_t"
207         else:
208             new_arg = "LDK" + tyn[0][:-1]
209         for a in tyn[1:]:
210             new_arg = new_arg + " " + a
211         res = java_c_types(new_arg, ret_arr_len)
212         if res is None:
213             assert java_c_types_none_allowed
214             return None
215         if is_ptr:
216             res.pass_by_ref = True
217         if res.is_native_primitive or res.passed_as_ptr:
218             return TypeInfo(rust_obj=fn_arg.split(" ")[0], java_ty=res.java_ty + "[]", java_hu_ty=res.java_hu_ty + "[]",
219                 java_fn_ty_arg="[" + res.java_fn_ty_arg, c_ty=res.c_ty + "Array", passed_as_ptr=False, is_ptr=is_ptr,
220                 nonnull_ptr=nonnull_ptr, is_const=is_const,
221                 var_name=res.var_name, arr_len="datalen", arr_access="data", subty=res, is_native_primitive=False)
222         else:
223             return TypeInfo(rust_obj=fn_arg.split(" ")[0], java_ty=res.java_ty + "[]", java_hu_ty=res.java_hu_ty + "[]",
224                 java_fn_ty_arg="[" + res.java_fn_ty_arg, c_ty=consts.ptr_arr, passed_as_ptr=False, is_ptr=is_ptr,
225                 nonnull_ptr=nonnull_ptr, is_const=is_const,
226                 var_name=res.var_name, arr_len="datalen", arr_access="data", subty=res, is_native_primitive=False)
227
228     is_primitive = False
229     contains_trait = False
230     arr_len = None
231     mapped_type = []
232     java_type_plural = None
233     if fn_arg.startswith("void"):
234         java_ty = "void"
235         c_ty = "void"
236         fn_ty_arg = "V"
237         fn_arg = fn_arg[4:].strip()
238         is_primitive = True
239     elif fn_arg.startswith("bool"):
240         java_ty = "boolean"
241         c_ty = "jboolean"
242         fn_ty_arg = "Z"
243         fn_arg = fn_arg[4:].strip()
244         is_primitive = True
245     elif fn_arg.startswith("uint8_t"):
246         mapped_type = consts.c_type_map['uint8_t']
247         java_ty = mapped_type[0]
248         c_ty = "int8_t"
249         fn_ty_arg = "B"
250         fn_arg = fn_arg[7:].strip()
251         is_primitive = True
252     elif fn_arg.startswith("LDKu5"):
253         java_ty = consts.c_type_map['uint8_t'][0]
254         java_hu_ty = "UInt5"
255         rust_obj = "LDKu5"
256         c_ty = "int8_t"
257         fn_ty_arg = "B"
258         fn_arg = fn_arg[6:].strip()
259     elif fn_arg.startswith("uint16_t"):
260         mapped_type = consts.c_type_map['uint16_t']
261         java_ty = mapped_type[0]
262         c_ty = "int16_t"
263         fn_ty_arg = "S"
264         fn_arg = fn_arg[8:].strip()
265         is_primitive = True
266     elif fn_arg.startswith("uint32_t"):
267         mapped_type = consts.c_type_map['uint32_t']
268         java_ty = mapped_type[0]
269         c_ty = "int32_t"
270         fn_ty_arg = "I"
271         fn_arg = fn_arg[8:].strip()
272         is_primitive = True
273     elif fn_arg.startswith("uint64_t") or fn_arg.startswith("uintptr_t"):
274         # TODO: uintptr_t is arch-dependent :(
275         mapped_type = consts.c_type_map['uint64_t']
276         java_ty = mapped_type[0]
277         fn_ty_arg = "J"
278         if fn_arg.startswith("uint64_t"):
279             c_ty = "int64_t"
280             fn_arg = fn_arg[8:].strip()
281         else:
282             java_ty = consts.ptr_native_ty
283             c_ty = "int64_t"
284             rust_obj = "uintptr_t"
285             fn_arg = fn_arg[9:].strip()
286         is_primitive = True
287     elif is_const and fn_arg.startswith("char *"):
288         java_ty = "String"
289         c_ty = "const char*"
290         fn_ty_arg = "Ljava/lang/String;"
291         fn_arg = fn_arg[6:].strip()
292     elif fn_arg.startswith("LDKStr"):
293         rust_obj = "LDKStr"
294         java_ty = "String"
295         c_ty = "jstring"
296         fn_ty_arg = "Ljava/lang/String;"
297         fn_arg = fn_arg[6:].strip()
298         arr_access = "chars"
299         arr_len = "len"
300     else:
301         ma = var_ty_regex.match(fn_arg)
302         if ma.group(1).strip() in unitary_enums:
303             assert ma.group(1).strip().startswith("LDK")
304             java_ty = ma.group(1).strip()[3:]
305             java_hu_ty = java_ty
306             c_ty = consts.result_c_ty
307             fn_ty_arg = "Lorg/ldk/enums/" + java_ty + ";"
308             fn_arg = ma.group(2).strip()
309             rust_obj = ma.group(1).strip()
310         else:
311             c_ty = consts.ptr_c_ty
312             java_ty = consts.ptr_native_ty
313             java_hu_ty = ma.group(1).strip()
314             java_hu_ty = java_hu_ty.replace("LDKCOption", "Option")
315             java_hu_ty = java_hu_ty.replace("LDKCResult", "Result")
316             java_hu_ty = java_hu_ty.replace("LDKC2Tuple", "TwoTuple")
317             java_hu_ty = java_hu_ty.replace("LDKC3Tuple", "ThreeTuple")
318             java_hu_ty = java_hu_ty.replace("LDK", "")
319             fn_ty_arg = "J"
320             fn_arg = ma.group(2).strip()
321             rust_obj = ma.group(1).strip()
322             if rust_obj in trait_structs:
323                 contains_trait = True
324             elif rust_obj in complex_enums:
325                 contains_trait = complex_enums[rust_obj]
326             take_by_ptr = True
327
328     if fn_arg.startswith(" *") or fn_arg.startswith("*"):
329         fn_arg = fn_arg.replace("*", "").strip()
330         is_ptr = True
331         c_ty = consts.ptr_c_ty
332         java_ty = consts.ptr_native_ty
333         fn_ty_arg = "J"
334
335     var_is_arr = var_is_arr_regex.match(fn_arg)
336     if var_is_arr is not None or ret_arr_len is not None:
337         assert(not take_by_ptr)
338         assert(not is_ptr)
339         # is there a special case for plurals?
340         if len(mapped_type) == 2:
341             java_ty = mapped_type[1]
342         else:
343             java_ty = java_ty + "[]"
344         c_ty = c_ty + "Array"
345         if var_is_arr is not None:
346             if var_is_arr.group(1) == "":
347                 return TypeInfo(rust_obj=rust_obj, java_ty=java_ty, java_hu_ty=java_ty, java_fn_ty_arg="[" + fn_ty_arg, c_ty=c_ty, is_const=is_const,
348                     passed_as_ptr=False, is_ptr=False, nonnull_ptr=nonnull_ptr, var_name="arg",
349                     arr_len=var_is_arr.group(2), arr_access=arr_access, is_native_primitive=False, contains_trait=contains_trait)
350             return TypeInfo(rust_obj=rust_obj, java_ty=java_ty, java_hu_ty=java_ty, java_fn_ty_arg="[" + fn_ty_arg, c_ty=c_ty, is_const=is_const,
351                 passed_as_ptr=False, is_ptr=False, nonnull_ptr=nonnull_ptr, var_name=var_is_arr.group(1),
352                 arr_len=var_is_arr.group(2), arr_access=arr_access, is_native_primitive=False, contains_trait=contains_trait)
353
354     if java_hu_ty is None:
355         java_hu_ty = java_ty
356     return TypeInfo(rust_obj=rust_obj, java_ty=java_ty, java_hu_ty=java_hu_ty, java_fn_ty_arg=fn_ty_arg, c_ty=c_ty, passed_as_ptr=is_ptr or take_by_ptr,
357         is_const=is_const, is_ptr=is_ptr, nonnull_ptr=nonnull_ptr, var_name=fn_arg, arr_len=arr_len, arr_access=arr_access, is_native_primitive=is_primitive,
358         contains_trait=contains_trait)
359
360 fn_ptr_regex = re.compile("^extern const ([A-Za-z_0-9\* ]*) \(\*(.*)\)\((.*)\);$")
361 fn_ret_arr_regex = re.compile("(.*) \(\*(.*)\((.*)\)\)\[([0-9]*)\];$")
362 reg_fn_regex = re.compile("([A-Za-z_0-9\* ]* \*?)([a-zA-Z_0-9]*)\((.*)\);$")
363 clone_fns = set()
364 constructor_fns = {}
365
366 from gen_type_mapping import TypeMappingGenerator
367 type_mapping_generator = TypeMappingGenerator(java_c_types, consts, opaque_structs, clone_fns, unitary_enums, trait_structs, complex_enums, result_types, tuple_types)
368
369 with open(sys.argv[1]) as in_h:
370     for line in in_h:
371         reg_fn = reg_fn_regex.match(line)
372         if reg_fn is not None:
373             if reg_fn.group(2).endswith("_clone"):
374                 clone_fns.add(reg_fn.group(2))
375             else:
376                 rty = java_c_types(reg_fn.group(1), None)
377                 if rty is not None and not rty.is_native_primitive and reg_fn.group(2) == rty.java_hu_ty + "_new":
378                     constructor_fns[rty.rust_obj] = reg_fn.group(3)
379             continue
380         arr_fn = fn_ret_arr_regex.match(line)
381         if arr_fn is not None:
382             if arr_fn.group(2).endswith("_clone"):
383                 clone_fns.add(arr_fn.group(2))
384             # No object constructors return arrays, as then they wouldn't be an object constructor
385             continue
386
387 # Define some manual clones...
388 clone_fns.add("ThirtyTwoBytes_clone")
389 write_c("static inline struct LDKThirtyTwoBytes ThirtyTwoBytes_clone(const struct LDKThirtyTwoBytes *orig) { struct LDKThirtyTwoBytes ret; memcpy(ret.data, orig->data, 32); return ret; }\n")
390
391 java_c_types_none_allowed = False # C structs created by cbindgen are declared in dependency order
392
393 with open(f"{sys.argv[3]}/structs/UtilMethods{consts.file_ext}", "a") as util:
394     util.write(consts.util_fn_pfx)
395
396 with open(sys.argv[1]) as in_h, open(f"{sys.argv[2]}/bindings{consts.file_ext}", "w") as out_java:
397     # Map a top-level function
398     def map_fn(line, re_match, ret_arr_len, c_call_string, doc_comment):
399         map_fn_with_ref_option(line, re_match, ret_arr_len, c_call_string, doc_comment, False)
400     def map_fn_with_ref_option(line, re_match, ret_arr_len, c_call_string, doc_comment, force_holds_ref):
401         method_return_type = re_match.group(1)
402         method_name = re_match.group(2)
403         method_comma_separated_arguments = re_match.group(3)
404         method_arguments = method_comma_separated_arguments.split(',')
405
406         if method_name.startswith("__"):
407             return
408
409         is_free = method_name.endswith("_free")
410         if method_name.startswith("COption") or method_name.startswith("CResult"):
411             struct_meth = method_name.rsplit("Z", 1)[0][1:] + "Z"
412             expected_struct = "LDKC" + struct_meth
413             struct_meth_name = method_name[len(struct_meth) + 1:].strip("_")
414         elif method_name.startswith("C2Tuple") or method_name.startswith("C3Tuple"):
415             tuple_name = method_name.rsplit("Z", 1)[0][2:] + "Z"
416             if method_name.startswith("C2Tuple"):
417                 struct_meth = "Two" + tuple_name
418                 expected_struct = "LDKC2" + tuple_name
419             else:
420                 struct_meth = "Three" + tuple_name
421                 expected_struct = "LDKC3" + tuple_name
422             struct_meth_name = method_name[len(tuple_name) + 2:].strip("_")
423         else:
424             struct_meth = method_name.split("_")[0]
425             expected_struct = "LDK" + struct_meth
426             struct_meth_name = method_name[len(struct_meth) + 1 if len(struct_meth) != 0 else 0:].strip("_")
427
428         (params_nullable, ret_nullable) = doc_to_params_ret_nullable(doc_comment)
429         if ret_nullable:
430             return_type_info = type_mapping_generator.map_nullable_type(method_return_type.strip() + " ret", True, ret_arr_len, False, force_holds_ref)
431         else:
432             return_type_info = type_mapping_generator.map_type(method_return_type.strip() + " ret", True, ret_arr_len, False, force_holds_ref)
433
434         if method_name.endswith("_clone") and expected_struct not in unitary_enums:
435             meth_line = "uintptr_t " + expected_struct.replace("LDK", "") + "_clone_ptr(" + expected_struct + " *NONNULL_PTR arg)"
436             write_c("static inline " + meth_line + " {\n")
437             write_c("\t" + return_type_info.ret_conv[0].replace("\n", "\n\t"))
438             write_c(method_name + "(arg)")
439             write_c(return_type_info.ret_conv[1])
440             write_c("\n\treturn " + return_type_info.ret_conv_name + ";\n}\n")
441             map_fn(meth_line + ";\n", re.compile("(uintptr_t) ([A-Za-z_0-9]*)\((.*)\)").match(meth_line), None, None, None)
442
443         argument_types = []
444         default_constructor_args = {}
445         takes_self = False
446         takes_self_ptr = False
447         args_known = True
448
449         for argument_index, argument in enumerate(method_arguments):
450             arg_ty = type_mapping_generator.java_c_types(argument, None)
451             argument_conversion_info = None
452             if argument_index == 0 and arg_ty.java_hu_ty == struct_meth:
453                 argument_conversion_info = type_mapping_generator.map_type_with_info(arg_ty, False, None, is_free, True, False)
454                 takes_self = True
455                 if argument_conversion_info.ty_info.is_ptr:
456                     takes_self_ptr = True
457             elif arg_ty.var_name in params_nullable:
458                 argument_conversion_info = type_mapping_generator.map_type_with_info(arg_ty, False, None, is_free, True, True)
459                 if argument_conversion_info.arg_conv is not None and "Warning" in argument_conversion_info.arg_conv:
460                     arg_ty_info = java_c_types(argument, None)
461                     print("WARNING: Remapping argument " + arg_ty_info.var_name + " of function " + method_name + " to a reference")
462                     print("    The argument appears to require a move, or not clonable, and is nullable.")
463                     print("    Normally for arguments that require a move and are not clonable, we split")
464                     print("    the argument into the type's constructor's arguments and just use those to")
465                     print("    construct a new object on the fly.")
466                     print("    However, because the object is nullable, doing so would mean we can no")
467                     print("    longer allow the user to pass null, as we now have an argument list instead.")
468                     print("    Thus, we blindly assume its really an Option<&Type> instead of an Option<Type>.")
469                     print("    It may or may not actually be a reference, but its the simplest mapping option")
470                     print("    and also the only use of this code today.")
471                     arg_ty_info.requires_clone = False
472                     argument_conversion_info = type_mapping_generator.map_type_with_info(arg_ty_info, False, None, is_free, True, True)
473                     assert argument_conversion_info.nullable
474                     assert argument_conversion_info.arg_conv is not None and "Warning" not in argument_conversion_info.arg_conv
475             else:
476                 argument_conversion_info = type_mapping_generator.map_type_with_info(arg_ty, False, None, is_free, True, False)
477
478             if argument_conversion_info.arg_conv is not None and "Warning" in argument_conversion_info.arg_conv:
479                 if argument_conversion_info.rust_obj in constructor_fns:
480                     assert not is_free
481                     for explode_arg in constructor_fns[argument_conversion_info.rust_obj].split(','):
482                         explode_arg_conv = type_mapping_generator.map_type(explode_arg, False, None, False, True)
483                         if explode_arg_conv.c_ty == "void":
484                             # We actually want to handle this case, but for now its only used in NetGraphMsgHandler::new()
485                             # which ends up resulting in a redundant constructor - both without arguments for the NetworkGraph.
486                             args_known = False
487                             pass
488                         if not argument_conversion_info.arg_name in default_constructor_args:
489                             default_constructor_args[argument_conversion_info.arg_name] = []
490                         default_constructor_args[argument_conversion_info.arg_name].append(explode_arg_conv)
491             argument_types.append(argument_conversion_info)
492         if not takes_self and return_type_info.java_hu_ty != struct_meth:
493             if not return_type_info.java_hu_ty.startswith("Result_" + struct_meth):
494                 struct_meth_name = method_name
495                 struct_meth = ""
496                 expected_struct = ""
497
498         out_java.write("\t// " + line)
499         (out_java_delta, out_c_delta, out_java_struct_delta) = \
500             consts.map_function(argument_types, c_call_string, method_name, struct_meth_name, return_type_info, struct_meth, default_constructor_args, takes_self, takes_self_ptr, args_known, type_mapping_generator, doc_comment)
501         out_java.write(out_java_delta)
502
503         if is_free:
504             assert len(argument_types) == 1
505             assert return_type_info.c_ty == "void"
506             write_c(consts.c_fn_ty_pfx + "void " + consts.c_fn_name_define_pfx(method_name, True) + argument_types[0].c_ty + " " + argument_types[0].ty_info.var_name + ") {\n")
507             if argument_types[0].ty_info.passed_as_ptr and not argument_types[0].ty_info.rust_obj in opaque_structs:
508                 write_c("\tif ((" + argument_types[0].ty_info.var_name + " & 1) != 0) return;\n")
509
510             for info in argument_types:
511                 if info.arg_conv is not None:
512                     write_c("\t" + info.arg_conv.replace('\n', "\n\t") + "\n")
513             assert c_call_string is None
514             write_c("\t" + method_name + "(")
515             if argument_types[0].arg_conv_name is not None:
516                 write_c(argument_types[0].arg_conv_name)
517             write_c(");")
518             for info in argument_types:
519                 if info.arg_conv_cleanup is not None:
520                     write_c("\n\t" + info.arg_conv_cleanup.replace("\n", "\n\t"))
521             write_c("\n}\n\n")
522         else:
523             write_c(out_c_delta)
524
525         out_java_struct = None
526         if (expected_struct in opaque_structs or expected_struct in trait_structs
527                 or expected_struct in complex_enums or expected_struct in complex_enums
528                 or expected_struct in result_types or expected_struct in tuple_types) and not is_free:
529             out_java_struct = open(f"{sys.argv[3]}/structs/{struct_meth}{consts.file_ext}", "a")
530             out_java_struct.write(out_java_struct_delta)
531         elif (not is_free and not method_name.endswith("_clone") and
532                 not method_name.startswith("TxOut") and
533                 not method_name.startswith("_") and
534                 method_name != "check_platform" and method_name != "Result_read" and
535                 not expected_struct in unitary_enums and
536                 ((not method_name.startswith("C2Tuple_") and not method_name.startswith("C3Tuple_"))
537                   or method_name.endswith("_read"))):
538             out_java_struct = open(f"{sys.argv[3]}/structs/UtilMethods{consts.file_ext}", "a")
539             for line in out_java_struct_delta.splitlines():
540                 if "this" not in line:
541                     out_java_struct.write(line + "\n")
542                 else:
543                     out_java_struct.write("\t\t// " + line.strip() + "\n")
544
545     def map_unitary_enum(struct_name, field_lines, enum_doc_comment):
546         assert struct_name.startswith("LDK")
547         with open(f"{sys.argv[3]}/enums/{struct_name[3:]}{consts.file_ext}", "w") as out_java_enum:
548             unitary_enums.add(struct_name)
549             for idx, (struct_line, _) in enumerate(field_lines):
550                 if idx == 0:
551                     assert(struct_line == "typedef enum %s {" % struct_name)
552                 elif idx == len(field_lines) - 3:
553                     assert(struct_line.endswith("_Sentinel,"))
554                 elif idx == len(field_lines) - 2:
555                     assert(struct_line == "} %s;" % struct_name)
556                 elif idx == len(field_lines) - 1:
557                     assert(struct_line == "")
558             assert struct_name.startswith("LDK")
559             (c_out, native_file_out, native_out) = consts.native_c_unitary_enum_map(struct_name[3:], [(x.strip().strip(","), y) for x, y in field_lines[1:-3]], enum_doc_comment)
560             write_c(c_out)
561             out_java_enum.write(native_file_out)
562             out_java.write(native_out)
563
564     def map_complex_enum(struct_name, union_enum_items, inline_enum_variants, enum_doc_comment):
565         java_hu_type = struct_name.replace("LDK", "").replace("COption", "Option")
566
567         enum_variants = []
568         tag_field_lines = union_enum_items["field_lines"]
569         contains_trait = False
570         for idx, (struct_line, variant_docs) in enumerate(tag_field_lines):
571             if idx == 0:
572                 assert(struct_line == "typedef enum %s_Tag {" % struct_name)
573             elif idx == len(tag_field_lines) - 3:
574                 assert(struct_line.endswith("_Sentinel,"))
575             elif idx == len(tag_field_lines) - 2:
576                 assert(struct_line == "} %s_Tag;" % struct_name)
577             elif idx == len(tag_field_lines) - 1:
578                 assert(struct_line == "")
579             else:
580                 variant_name = struct_line.strip(' ,')[len(struct_name) + 1:]
581                 fields = []
582                 if "LDK" + variant_name in union_enum_items:
583                     enum_var_lines = union_enum_items["LDK" + variant_name]
584                     for idx, (field, field_docs) in enumerate(enum_var_lines):
585                         if idx != 0 and idx < len(enum_var_lines) - 2 and field.strip() != "":
586                             field_ty = type_mapping_generator.java_c_types(field.strip(' ;'), None)
587                             contains_trait |= field_ty.contains_trait
588                             if field_docs is not None and doc_to_field_nullable(field_docs):
589                                 field_conv = type_mapping_generator.map_type_with_info(field_ty, False, None, False, True, True)
590                             else:
591                                 field_conv = type_mapping_generator.map_type_with_info(field_ty, False, None, False, True, False)
592                             fields.append((field_conv, field_docs))
593                     enum_variants.append(ComplexEnumVariantInfo(variant_name, variant_docs, fields, False))
594                 elif camel_to_snake(variant_name) in inline_enum_variants:
595                     # TODO: If we ever have a rust enum Variant(Option<Struct>) we need to pipe
596                     # docs through to there, and then potentially mark the field nullable.
597                     mapped = type_mapping_generator.map_type(inline_enum_variants[camel_to_snake(variant_name)] + " " + camel_to_snake(variant_name), False, None, False, True)
598                     contains_trait |= mapped.ty_info.contains_trait
599                     fields.append((mapped, None))
600                     enum_variants.append(ComplexEnumVariantInfo(variant_name, variant_docs, fields, True))
601                 else:
602                     enum_variants.append(ComplexEnumVariantInfo(variant_name, variant_docs, fields, True))
603         complex_enums[struct_name] = contains_trait
604
605         with open(f"{sys.argv[3]}/structs/{java_hu_type}{consts.file_ext}", "w") as out_java_enum:
606             (out_java_addendum, out_java_enum_addendum, out_c_addendum) = consts.map_complex_enum(struct_name, enum_variants, camel_to_snake, enum_doc_comment)
607
608             out_java_enum.write(out_java_enum_addendum)
609             out_java.write(out_java_addendum)
610             write_c(out_c_addendum)
611
612     def map_trait(struct_name, field_var_lines, trait_fn_lines, trait_doc_comment):
613         with open(f"{sys.argv[3]}/structs/{struct_name.replace('LDK', '')}{consts.file_ext}", "w") as out_java_trait:
614             field_var_convs = []
615             flattened_field_var_convs = []
616             for var_line in field_var_lines:
617                 if var_line.group(1) in trait_structs:
618                     field_var_convs.append((var_line.group(1), var_line.group(2), trait_structs[var_line.group(1)]))
619                     flattened_field_var_convs.append((var_line.group(1), var_line.group(2), ))
620                     flattened_field_var_convs.extend(trait_structs[var_line.group(1)])
621                 else:
622                     mapped = type_mapping_generator.map_type(var_line.group(1) + " " + var_line.group(2), False, None, False, False)
623                     field_var_convs.append(mapped)
624                     flattened_field_var_convs.append(mapped)
625             trait_structs[struct_name] = field_var_convs
626
627             field_fns = []
628             for fn_docs, fn_line in trait_fn_lines:
629                 if fn_line == "cloned":
630                     ret_ty_info = type_mapping_generator.map_type("void", True, None, False, False)
631                     field_fns.append(TraitMethInfo("cloned", False, ret_ty_info, [], fn_docs))
632                 else:
633                     (nullable_params, ret_nullable) = doc_to_params_ret_nullable(fn_docs)
634                     if ret_nullable:
635                         assert False # This isn't yet handled on the Java side
636                         ret_ty_info.nullable = True
637                         ret_ty_info = type_mapping_generator.map_nullable_type(fn_line.group(2).strip() + " ret", True, None, False, False)
638                     else:
639                         ret_ty_info = type_mapping_generator.map_type(fn_line.group(2).strip() + " ret", True, None, False, False)
640                     is_const = fn_line.group(4) is not None
641
642                     arg_tys = []
643                     for idx, arg in enumerate(fn_line.group(5).split(',')):
644                         if arg == "":
645                             continue
646                         arg_ty_info = type_mapping_generator.java_c_types(arg, None)
647                         if arg_ty_info.var_name in nullable_params:
648                             # Types that are actually null instead of all-0s aren't yet handled on the Java side:
649                             arg_conv_info = type_mapping_generator.map_type_with_info(arg_ty_info, True, None, False, False, True)
650                         else:
651                             arg_conv_info = type_mapping_generator.map_type_with_info(arg_ty_info, True, None, False, False, False)
652                         arg_tys.append(arg_conv_info)
653                     field_fns.append(TraitMethInfo(fn_line.group(3), is_const, ret_ty_info, arg_tys, fn_docs))
654
655             (out_java_addendum, out_java_trait_addendum, out_c_addendum) = consts.native_c_map_trait(struct_name, field_var_convs, flattened_field_var_convs, field_fns, trait_doc_comment)
656             write_c(out_c_addendum)
657             out_java_trait.write(out_java_trait_addendum)
658             out_java.write(out_java_addendum)
659
660         for fn_docs, fn_line in trait_fn_lines:
661             if fn_line == "cloned":
662                 continue
663             # For now, just disable enabling the _call_log - we don't know how to inverse-map String
664             is_log = fn_line.group(3) == "log" and struct_name == "LDKLogger"
665             if fn_line.group(3) != "free" and fn_line.group(3) != "eq" and not is_log:
666                 dummy_line = fn_line.group(2) + struct_name.replace("LDK", "") + "_" + fn_line.group(3) + " " + struct_name + " *NONNULL_PTR this_arg" + fn_line.group(5) + "\n"
667                 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(3) + ")(this_arg_conv->this_arg", fn_docs)
668         for idx, var_line in enumerate(field_var_lines):
669             if var_line.group(1) not in trait_structs:
670                 write_c(var_line.group(1) + " " + struct_name + "_set_get_" + var_line.group(2) + "(" + struct_name + "* this_arg) {\n")
671                 write_c("\tif (this_arg->set_" + var_line.group(2) + " != NULL)\n")
672                 write_c("\t\tthis_arg->set_" + var_line.group(2) + "(this_arg);\n")
673                 write_c("\treturn this_arg->" + var_line.group(2) + ";\n")
674                 write_c("}\n")
675                 dummy_line = var_line.group(1) + " " + struct_name.replace("LDK", "") + "_get_" + var_line.group(2) + " " + struct_name + " *NONNULL_PTR this_arg" + fn_line.group(5) + "\n"
676                 map_fn(dummy_line, re.compile("([A-Za-z_0-9]*) *([A-Za-z_0-9]*) *(.*)").match(dummy_line), None, struct_name + "_set_get_" + var_line.group(2) + "(this_arg_conv", fn_docs)
677
678     def map_result(struct_name, res_ty, err_ty):
679         result_types.add(struct_name)
680         human_ty = struct_name.replace("LDKCResult", "Result")
681         res_map = type_mapping_generator.map_type(res_ty + " res", True, None, False, True)
682         err_map = type_mapping_generator.map_type(err_ty + " err", True, None, False, True)
683         java_hu_struct = consts.map_result(struct_name, res_map, err_map)
684         create_getter(struct_name, res_ty, "ok", ("*", "->contents.result"), ("", "->result_ok"))
685         create_getter(struct_name, err_ty, "err", ("*", "->contents.err"), ("!", "->result_ok"))
686         with open(f"{sys.argv[3]}/structs/{human_ty}{consts.file_ext}", "w") as out_java_struct:
687             out_java_struct.write(java_hu_struct)
688
689     def create_getter(struct_name, field_decl, field_name, accessor, check_sfx):
690         field_ty = java_c_types(field_decl + " " + field_name, None)
691         ptr_fn_defn = field_decl + " *" + struct_name.replace("LDK", "") + "_get_" + field_name + "(" + struct_name + " *NONNULL_PTR owner)"
692         owned_fn_defn = field_decl + " " + struct_name.replace("LDK", "") + "_get_" + field_name + "(" + struct_name + " *NONNULL_PTR owner)"
693
694         holds_ref = False
695         if field_ty.rust_obj is not None and field_ty.rust_obj.replace("LDK", "") + "_clone" in clone_fns:
696             fn_defn = owned_fn_defn
697             write_c("static inline " + fn_defn + "{\n")
698             if check_sfx is not None:
699                 write_c("CHECK(" + check_sfx[0] + "owner" + check_sfx[1] + ");\n")
700             write_c("\treturn " + field_ty.rust_obj.replace("LDK", "") + "_clone(&" + accessor[0] + "owner" + accessor[1] + ");\n")
701         elif field_ty.arr_len is not None or field_ty.is_native_primitive or field_ty.rust_obj in unitary_enums:
702             fn_defn = owned_fn_defn
703             write_c("static inline " + fn_defn + "{\n")
704             if check_sfx is not None:
705                 write_c("CHECK(" + check_sfx[0] + "owner" + check_sfx[1] + ");\n")
706             write_c("\treturn " + accessor[0] + "owner" + accessor[1] + ";\n")
707             holds_ref = True
708         else:
709             fn_defn = ptr_fn_defn
710             write_c("static inline " + fn_defn + "{\n")
711             if check_sfx is not None:
712                 write_c("CHECK(" + check_sfx[0] + "owner" + check_sfx[1] + ");\n")
713             write_c("\treturn &" + accessor[0] + "owner" + accessor[1] + ";\n")
714             holds_ref = True
715         write_c("}\n")
716         dummy_line = fn_defn + ";\n"
717         map_fn_with_ref_option(dummy_line, reg_fn_regex.match(dummy_line), None, None, "", holds_ref)
718
719     def map_tuple(struct_name, field_lines):
720         human_ty = struct_name.replace("LDKC2Tuple", "TwoTuple").replace("LDKC3Tuple", "ThreeTuple")
721         with open(f"{sys.argv[3]}/structs/{human_ty}{consts.file_ext}", "w") as out_java_struct:
722             out_java_struct.write(consts.map_tuple(struct_name))
723             ty_list = []
724             for idx, (line, _) in enumerate(field_lines):
725                 if idx != 0 and idx < len(field_lines) - 2:
726                     ty_list.append(java_c_types(line.strip(';'), None))
727             tuple_types[struct_name] = (ty_list, struct_name)
728
729         # Map virtual getter functions
730         for idx, (line, _) in enumerate(field_lines):
731             if idx != 0 and idx < len(field_lines) - 2:
732                 field_name = chr(ord('a') + idx - 1)
733                 assert line.endswith(" " + field_name + ";")
734                 create_getter(struct_name, line[:-3].strip(), field_name, ("", "->" + field_name), None)
735
736     out_java.write(consts.bindings_header)
737     with open(f"{sys.argv[2]}/version{consts.file_ext}", "w") as out_java_version:
738         out_java_version.write(consts.bindings_version_file.replace('<git_version_ldk_garbagecollected>', local_git_version))
739
740     with open(f"{sys.argv[3]}/structs/CommonBase{consts.file_ext}", "w") as out_java_struct:
741         out_java_struct.write(consts.common_base)
742
743     block_comment = None
744     last_block_comment = None
745     cur_block_obj = None
746
747     const_val_regex = re.compile("^extern const ([A-Za-z_0-9]*) ([A-Za-z_0-9]*);$")
748
749     line_indicates_result_regex = re.compile("^   union (LDKCResult_[A-Za-z_0-9]*Ptr) contents;$")
750     line_indicates_vec_regex = re.compile("^   (struct |enum |union )?([A-Za-z_0-9]*) \*data;$")
751     line_indicates_opaque_regex = re.compile("^   bool is_owned;$")
752     line_indicates_trait_regex = re.compile("^   (struct |enum |union )?([A-Za-z_0-9]* \*?)\(\*([A-Za-z_0-9]*)\)\((const )?void \*this_arg(.*)\);$")
753     assert(line_indicates_trait_regex.match("   uintptr_t (*send_data)(void *this_arg, LDKu8slice data, bool resume_read);"))
754     assert(line_indicates_trait_regex.match("   struct LDKCVec_MessageSendEventZ (*get_and_clear_pending_msg_events)(const void *this_arg);"))
755     assert(line_indicates_trait_regex.match("   struct LDKCVec_u8Z (*write)(const void *this_arg);"))
756     line_indicates_trait_clone_regex = re.compile("^   void \(\*cloned\)\(struct ([A-Za-z0-9])* \*NONNULL_PTR new_[A-Za-z0-9]*\);$")
757     assert(line_indicates_trait_clone_regex.match("   void (*cloned)(struct LDKSign *NONNULL_PTR new_Sign);"))
758     line_field_var_regex = re.compile("^   struct ([A-Za-z_0-9]*) ([A-Za-z_0-9]*);$")
759     assert(line_field_var_regex.match("   struct LDKMessageSendEventsProvider MessageSendEventsProvider;"))
760     assert(line_field_var_regex.match("   struct LDKChannelPublicKeys pubkeys;"))
761     struct_name_regex = re.compile("^typedef (struct|enum|union) (MUST_USE_STRUCT )?(LDK[A-Za-z_0-9]*) {$")
762     assert(struct_name_regex.match("typedef struct LDKCVec_u8Z {"))
763     assert(struct_name_regex.match("typedef enum LDKNetwork {"))
764
765     union_enum_items = {}
766     result_ptr_struct_items = {}
767     for line in in_h:
768         if block_comment is not None:
769             if line.endswith("*/\n"):
770                 last_block_comment = block_comment.strip("\n")
771                 block_comment = None
772             else:
773                 block_comment = block_comment + line.strip(" /*")
774         elif cur_block_obj is not None:
775             cur_block_obj  = cur_block_obj + line
776             if line.startswith("} "):
777                 field_lines = []
778                 struct_name = None
779                 vec_ty = None
780                 obj_lines = cur_block_obj.split("\n")
781                 is_opaque = False
782                 result_contents = None
783                 is_unitary_enum = False
784                 is_union_enum = False
785                 is_union = False
786                 is_tuple = False
787                 trait_fn_lines = []
788                 field_var_lines = []
789                 last_struct_block_comment = None
790
791                 for idx, struct_line in enumerate(obj_lines):
792                     if struct_line.strip().startswith("/*"):
793                         block_comment = struct_line.strip(" /*")
794                     if block_comment is not None:
795                         if struct_line.endswith("*/"):
796                             last_struct_block_comment = block_comment.strip("\n")
797                             block_comment = None
798                         else:
799                             block_comment = block_comment + "\n" + struct_line.strip(" /*").replace("…", "...")
800                     else:
801                         struct_name_match = struct_name_regex.match(struct_line)
802                         if struct_name_match is not None:
803                             struct_name = struct_name_match.group(3)
804                             if struct_name_match.group(1) == "enum":
805                                 if not struct_name.endswith("_Tag"):
806                                     is_unitary_enum = True
807                                 else:
808                                     is_union_enum = True
809                             elif struct_name_match.group(1) == "union":
810                                 is_union = True
811                         if line_indicates_opaque_regex.match(struct_line):
812                             is_opaque = True
813                         result_match = line_indicates_result_regex.match(struct_line)
814                         if result_match is not None:
815                             result_contents = result_match.group(1)
816                         vec_ty_match = line_indicates_vec_regex.match(struct_line)
817                         if vec_ty_match is not None and struct_name.startswith("LDKCVec_"):
818                             vec_ty = vec_ty_match.group(2)
819                         elif struct_name.startswith("LDKC2Tuple_") or struct_name.startswith("LDKC3Tuple_"):
820                             is_tuple = True
821                         trait_fn_match = line_indicates_trait_regex.match(struct_line)
822                         if trait_fn_match is not None:
823                             trait_fn_lines.append((last_struct_block_comment, trait_fn_match))
824                         trait_clone_fn_match = line_indicates_trait_clone_regex.match(struct_line)
825                         if trait_clone_fn_match is not None:
826                             trait_fn_lines.append((last_struct_block_comment, "cloned"))
827                         field_var_match = line_field_var_regex.match(struct_line)
828                         if field_var_match is not None:
829                             field_var_lines.append(field_var_match)
830                         field_lines.append((struct_line, last_struct_block_comment))
831                         last_struct_block_comment = None
832
833                 assert(struct_name is not None)
834                 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))
835                 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))
836                 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))
837                 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))
838                 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))
839                 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))
840                 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))
841
842                 if is_opaque:
843                     opaque_structs.add(struct_name)
844                     with open(f"{sys.argv[3]}/structs/{struct_name.replace('LDK', '')}{consts.file_ext}", "w") as out_java_struct:
845                         out_opaque_struct_human = consts.map_opaque_struct(struct_name, last_block_comment)
846                         last_block_comment = None
847                         out_java_struct.write(out_opaque_struct_human)
848                 elif result_contents is not None:
849                     assert result_contents in result_ptr_struct_items
850                     res_ty, err_ty = result_ptr_struct_items[result_contents]
851                     map_result(struct_name, res_ty, err_ty)
852                 elif struct_name.startswith("LDKCResult_") and struct_name.endswith("ZPtr"):
853                     for line, _ in field_lines:
854                         if line.endswith("*result;"):
855                             res_ty = line[:-8].strip()
856                         elif line.endswith("*err;"):
857                             err_ty = line[:-5].strip()
858                     result_ptr_struct_items[struct_name] = (res_ty, err_ty)
859                     result_types.add(struct_name[:-3])
860                 elif is_tuple:
861                     map_tuple(struct_name, field_lines)
862                 elif vec_ty is not None:
863                     ty_info = type_mapping_generator.map_type(vec_ty + " arr_elem", False, None, False, False)
864                     if ty_info.is_native_primitive:
865                         clone_fns.add(struct_name.replace("LDK", "") + "_clone")
866                         write_c("static inline " + struct_name + " " + struct_name.replace("LDK", "") + "_clone(const " + struct_name + " *orig) {\n")
867                         write_c("\t" + struct_name + " ret = { .data = MALLOC(sizeof(" + ty_info.c_ty + ") * orig->datalen, \"" + struct_name + " clone bytes\"), .datalen = orig->datalen };\n")
868                         write_c("\tmemcpy(ret.data, orig->data, sizeof(" + ty_info.c_ty + ") * ret.datalen);\n")
869                         write_c("\treturn ret;\n}\n")
870                     elif (ty_info.rust_obj.replace("LDK", "") + "_clone") in clone_fns:
871                         ty_name = "CVec_" + ty_info.rust_obj.replace("LDK", "") + "Z";
872                         clone_fns.add(ty_name + "_clone")
873                         write_c("static inline " + struct_name + " " + ty_name + "_clone(const " + struct_name + " *orig) {\n")
874                         write_c("\t" + struct_name + " ret = { .data = MALLOC(sizeof(" + ty_info.rust_obj + ") * orig->datalen, \"" + struct_name + " clone bytes\"), .datalen = orig->datalen };\n")
875                         write_c("\tfor (size_t i = 0; i < ret.datalen; i++) {\n")
876                         write_c("\t\tret.data[i] = " + ty_info.rust_obj.replace("LDK", "") + "_clone(&orig->data[i]);\n")
877                         write_c("\t}\n\treturn ret;\n}\n")
878                 elif is_union_enum:
879                     assert(struct_name.endswith("_Tag"))
880                     struct_name = struct_name[:-4]
881                     union_enum_items[struct_name] = {"field_lines": field_lines}
882                 elif struct_name.endswith("_Body") and struct_name.split("_")[0] in union_enum_items:
883                     enum_var_name = struct_name.split("_")
884                     union_enum_items[enum_var_name[0]][enum_var_name[1]] = field_lines
885                 elif struct_name in union_enum_items:
886                     tuple_variants = {}
887                     elem_items = -1
888                     for line, _ in field_lines:
889                         if line == "      struct {":
890                             elem_items = 0
891                         elif line == "      };":
892                             elem_items = -1
893                         elif elem_items > -1:
894                             line = line.strip()
895                             if line.startswith("struct "):
896                                 line = line[7:]
897                             elif line.startswith("enum "):
898                                 line = line[5:]
899                             split = line.split(" ")
900                             assert len(split) == 2
901                             tuple_variants[split[1].strip(";")] = split[0]
902                             elem_items += 1
903                             if elem_items > 1:
904                                 # We don't currently support tuple variant with more than one element
905                                 assert False
906                     map_complex_enum(struct_name, union_enum_items[struct_name], tuple_variants, last_block_comment)
907                     last_block_comment = None
908                 elif is_unitary_enum:
909                     map_unitary_enum(struct_name, field_lines, last_block_comment)
910                     last_block_comment = None
911                 elif len(trait_fn_lines) > 0:
912                     map_trait(struct_name, field_var_lines, trait_fn_lines, last_block_comment)
913                 elif struct_name == "LDKTxOut":
914                     with open(f"{sys.argv[3]}/structs/TxOut{consts.file_ext}", "w") as out_java_struct:
915                         out_java_struct.write(consts.hu_struct_file_prefix)
916                         out_java_struct.write(consts.txout_defn)
917                         fn_line = "struct LDKCVec_u8Z TxOut_get_script_pubkey (struct LDKTxOut* thing)"
918                         write_c(fn_line + " {")
919                         write_c("\treturn CVec_u8Z_clone(&thing->script_pubkey);")
920                         write_c("}")
921                         map_fn(fn_line + "\n", re.compile("(.*) (TxOut_get_script_pubkey) \((.*)\)").match(fn_line), None, None, None)
922                         fn_line = "uint64_t TxOut_get_value (struct LDKTxOut* thing)"
923                         write_c(fn_line + " {")
924                         write_c("\treturn thing->value;")
925                         write_c("}")
926                         map_fn(fn_line + "\n", re.compile("(.*) (TxOut_get_value) \((.*)\)").match(fn_line), None, None, None)
927                 else:
928                     pass # Everything remaining is a byte[] or some form
929                 cur_block_obj = None
930         else:
931             fn_ptr = fn_ptr_regex.match(line)
932             fn_ret_arr = fn_ret_arr_regex.match(line)
933             reg_fn = reg_fn_regex.match(line)
934             const_val = const_val_regex.match(line)
935
936             if line.startswith("#include <"):
937                 pass
938             elif line.startswith("/*"):
939                 if not line.endswith("*/\n"):
940                     block_comment = line.strip(" /*")
941             elif line.startswith("typedef enum "):
942                 cur_block_obj = line
943             elif line.startswith("typedef struct "):
944                 cur_block_obj = line
945             elif line.startswith("typedef union "):
946                 cur_block_obj = line
947             elif fn_ptr is not None:
948                 map_fn(line, fn_ptr, None, None, last_block_comment)
949                 last_block_comment = None
950             elif fn_ret_arr is not None:
951                 map_fn(line, fn_ret_arr, fn_ret_arr.group(4), None, last_block_comment)
952                 last_block_comment = None
953             elif reg_fn is not None:
954                 map_fn(line, reg_fn, None, None, last_block_comment)
955                 last_block_comment = None
956             elif const_val_regex is not None:
957                 # TODO Map const variables
958                 pass
959             else:
960                 assert(line == "\n")
961
962     out_java.write(consts.bindings_footer)
963     for struct_name in opaque_structs:
964         with open(f"{sys.argv[3]}/structs/{struct_name.replace('LDK', '')}{consts.file_ext}", "a") as out_java_struct:
965             out_java_struct.write("}\n")
966     for struct_name in trait_structs:
967         with open(f"{sys.argv[3]}/structs/{struct_name.replace('LDK', '')}{consts.file_ext}", "a") as out_java_struct:
968             out_java_struct.write("}\n")
969     for struct_name in complex_enums:
970         with open(f"{sys.argv[3]}/structs/{struct_name.replace('LDK', '').replace('COption', 'Option')}{consts.file_ext}", "a") as out_java_struct:
971             out_java_struct.write("}\n")
972     for struct_name in result_types:
973         with open(f"{sys.argv[3]}/structs/{struct_name.replace('LDKCResult', 'Result')}{consts.file_ext}", "a") as out_java_struct:
974             out_java_struct.write("}\n")
975     for struct_name in tuple_types:
976         struct_hu_name = struct_name.replace("LDKC2Tuple", "TwoTuple").replace("LDKC3Tuple", "ThreeTuple")
977         with open(f"{sys.argv[3]}/structs/{struct_hu_name}{consts.file_ext}", "a") as out_java_struct:
978             out_java_struct.write("}\n")
979
980 with open(f"{sys.argv[4]}/bindings.c.body", "w") as out_c:
981     out_c.write(consts.c_file_pfx)
982     out_c.write(consts.init_str())
983     out_c.write(c_file)
984 with open(f"{sys.argv[4]}/version.c", "w") as out_c:
985     out_c.write(consts.c_version_file.replace('<git_version_ldk_garbagecollected>', local_git_version))
986 with open(f"{sys.argv[3]}/structs/UtilMethods{consts.file_ext}", "a") as util:
987     util.write(consts.util_fn_sfx)
988 consts.cleanup()