alef-backend-csharp 0.17.0

C# (P/Invoke) backend for alef
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
use minijinja::Environment;

static TEMPLATES: &[(&str, &str)] = &[
    (
        "async_task_return_type.jinja",
        include_str!("../templates/async_task_return_type.jinja"),
    ),
    ("class_header.jinja", include_str!("../templates/class_header.jinja")),
    ("doc_line.jinja", include_str!("../templates/doc_line.jinja")),
    (
        "doc_comment_block.jinja",
        include_str!("../templates/doc_comment_block.jinja"),
    ),
    (
        "enum_custom_converter.jinja",
        include_str!("../templates/enum_custom_converter.jinja"),
    ),
    ("enum_header.jinja", include_str!("../templates/enum_header.jinja")),
    (
        "untagged_union_wrapper.jinja",
        include_str!("../templates/untagged_union_wrapper.jinja"),
    ),
    (
        "sealed_union_converter.jinja",
        include_str!("../templates/sealed_union_converter.jinja"),
    ),
    (
        "named_param_handle_from_json_optional.jinja",
        include_str!("../templates/named_param_handle_from_json_optional.jinja"),
    ),
    (
        "error_dispatch.jinja",
        include_str!("../templates/error_dispatch.jinja"),
    ),
    (
        "error_helper_method.jinja",
        include_str!("../templates/error_helper_method.jinja"),
    ),
    (
        "exception_class.jinja",
        include_str!("../templates/exception_class.jinja"),
    ),
    (
        "exception_return.jinja",
        include_str!("../templates/exception_return.jinja"),
    ),
    (
        "ffi_json_extensions.jinja",
        include_str!("../templates/ffi_json_extensions.jinja"),
    ),
    (
        "field_definition.jinja",
        include_str!("../templates/field_definition.jinja"),
    ),
    (
        "indented_arg_async.jinja",
        include_str!("../templates/indented_arg_async.jinja"),
    ),
    (
        "indented_arg_sync.jinja",
        include_str!("../templates/indented_arg_sync.jinja"),
    ),
    (
        "namespace_decl.jinja",
        include_str!("../templates/namespace_decl.jinja"),
    ),
    (
        "native_call_start.jinja",
        include_str!("../templates/native_call_start.jinja"),
    ),
    (
        "native_arg_line.jinja",
        include_str!("../templates/native_arg_line.jinja"),
    ),
    (
        "native_bytes_len_arg_line.jinja",
        include_str!("../templates/native_bytes_len_arg_line.jinja"),
    ),
    (
        "native_methods_header.jinja",
        include_str!("../templates/native_methods_header.jinja"),
    ),
    (
        "native_methods_trait_bridges.jinja",
        include_str!("../templates/native_methods_trait_bridges.jinja"),
    ),
    (
        "native_methods_visitor.jinja",
        include_str!("../templates/native_methods_visitor.jinja"),
    ),
    ("null_check.jinja", include_str!("../templates/null_check.jinja")),
    (
        "opaque_class_ctor.jinja",
        include_str!("../templates/opaque_class_ctor.jinja"),
    ),
    (
        "opaque_ctor_call.jinja",
        include_str!("../templates/opaque_ctor_call.jinja"),
    ),
    (
        "opaque_handle_header.jinja",
        include_str!("../templates/opaque_handle_header.jinja"),
    ),
    (
        "opaque_streaming_method.jinja",
        include_str!("../templates/opaque_streaming_method.jinja"),
    ),
    (
        "param_decl_optional.jinja",
        include_str!("../templates/param_decl_optional.jinja"),
    ),
    (
        "param_decl_required.jinja",
        include_str!("../templates/param_decl_required.jinja"),
    ),
    ("param_doc.jinja", include_str!("../templates/param_doc.jinja")),
    (
        "public_method_signature.jinja",
        include_str!("../templates/public_method_signature.jinja"),
    ),
    (
        "release_handle_method.jinja",
        include_str!("../templates/release_handle_method.jinja"),
    ),
    (
        "safe_handle_class.jinja",
        include_str!("../templates/safe_handle_class.jinja"),
    ),
    (
        "safe_handle_ctor.jinja",
        include_str!("../templates/safe_handle_ctor.jinja"),
    ),
    (
        "safehandle_field.jinja",
        include_str!("../templates/safehandle_field.jinja"),
    ),
    (
        "sealed_class_header.jinja",
        include_str!("../templates/sealed_class_header.jinja"),
    ),
    (
        "trait_bridge_class.jinja",
        include_str!("../templates/trait_bridge_class.jinja"),
    ),
    (
        "trait_bridges_header.jinja",
        include_str!("../templates/trait_bridges_header.jinja"),
    ),
    (
        "trait_interface.jinja",
        include_str!("../templates/trait_interface.jinja"),
    ),
    (
        "trait_registry_class.jinja",
        include_str!("../templates/trait_registry_class.jinja"),
    ),
    (
        "wrapper_class_header.jinja",
        include_str!("../templates/wrapper_class_header.jinja"),
    ),
    (
        "named_param_json_optional.jinja",
        include_str!("../templates/named_param_json_optional.jinja"),
    ),
    (
        "named_param_json_serialize.jinja",
        include_str!("../templates/named_param_json_serialize.jinja"),
    ),
    (
        "named_param_handle_from_json.jinja",
        include_str!("../templates/named_param_handle_from_json.jinja"),
    ),
    (
        "named_param_handle_string.jinja",
        include_str!("../templates/named_param_handle_string.jinja"),
    ),
    (
        "named_param_handle_pin.jinja",
        include_str!("../templates/named_param_handle_pin.jinja"),
    ),
    (
        "named_param_teardown_free.jinja",
        include_str!("../templates/named_param_teardown_free.jinja"),
    ),
    (
        "named_param_teardown_hglobal.jinja",
        include_str!("../templates/named_param_teardown_hglobal.jinja"),
    ),
    (
        "named_param_teardown_gchandle.jinja",
        include_str!("../templates/named_param_teardown_gchandle.jinja"),
    ),
    (
        "return_string_utf8.jinja",
        include_str!("../templates/return_string_utf8.jinja"),
    ),
    (
        "free_native_string.jinja",
        include_str!("../templates/free_native_string.jinja"),
    ),
    (
        "return_bool_from_int.jinja",
        include_str!("../templates/return_bool_from_int.jinja"),
    ),
    (
        "return_opaque_ctor.jinja",
        include_str!("../templates/return_opaque_ctor.jinja"),
    ),
    (
        "native_to_json_ptr.jinja",
        include_str!("../templates/native_to_json_ptr.jinja"),
    ),
    ("json_from_ptr.jinja", include_str!("../templates/json_from_ptr.jinja")),
    (
        "free_string_ptr.jinja",
        include_str!("../templates/free_string_ptr.jinja"),
    ),
    (
        "free_native_handle.jinja",
        include_str!("../templates/free_native_handle.jinja"),
    ),
    (
        "deserialize_json.jinja",
        include_str!("../templates/deserialize_json.jinja"),
    ),
    (
        "return_ptr_as_string.jinja",
        include_str!("../templates/return_ptr_as_string.jinja"),
    ),
    (
        "return_native_result.jinja",
        include_str!("../templates/return_native_result.jinja"),
    ),
    ("return_value.jinja", include_str!("../templates/return_value.jinja")),
    (
        "json_polymorphic_attr.jinja",
        include_str!("../templates/json_polymorphic_attr.jinja"),
    ),
    (
        "json_derived_type_attr.jinja",
        include_str!("../templates/json_derived_type_attr.jinja"),
    ),
    (
        "abstract_record_header.jinja",
        include_str!("../templates/abstract_record_header.jinja"),
    ),
    (
        "doc_line_indented.jinja",
        include_str!("../templates/doc_line_indented.jinja"),
    ),
    (
        "unit_variant_record.jinja",
        include_str!("../templates/unit_variant_record.jinja"),
    ),
    (
        "variant_record_body_header.jinja",
        include_str!("../templates/variant_record_body_header.jinja"),
    ),
    (
        "required_value_property.jinja",
        include_str!("../templates/required_value_property.jinja"),
    ),
    (
        "variant_record_params_header.jinja",
        include_str!("../templates/variant_record_params_header.jinja"),
    ),
    (
        "variant_field_tuple.jinja",
        include_str!("../templates/variant_field_tuple.jinja"),
    ),
    (
        "variant_field_json_value.jinja",
        include_str!("../templates/variant_field_json_value.jinja"),
    ),
    (
        "variant_field_json_named.jinja",
        include_str!("../templates/variant_field_json_named.jinja"),
    ),
    (
        "variant_record_close.jinja",
        include_str!("../templates/variant_record_close.jinja"),
    ),
    (
        "variant_accessor_summary.jinja",
        include_str!("../templates/variant_accessor_summary.jinja"),
    ),
    (
        "variant_accessor_property.jinja",
        include_str!("../templates/variant_accessor_property.jinja"),
    ),
    (
        "dll_import_attr.jinja",
        include_str!("../templates/dll_import_attr.jinja"),
    ),
    (
        "extern_void_ptr.jinja",
        include_str!("../templates/extern_void_ptr.jinja"),
    ),
    (
        "extern_ptr_from_json.jinja",
        include_str!("../templates/extern_ptr_from_json.jinja"),
    ),
    (
        "extern_ptr_to_json.jinja",
        include_str!("../templates/extern_ptr_to_json.jinja"),
    ),
    ("pinvoke_param.jinja", include_str!("../templates/pinvoke_param.jinja")),
    (
        "pinvoke_bytes_len_param.jinja",
        include_str!("../templates/pinvoke_bytes_len_param.jinja"),
    ),
    (
        "streaming_pinvoke_declaration.jinja",
        include_str!("../templates/streaming_pinvoke_declaration.jinja"),
    ),
    (
        "opaque_method_header.jinja",
        include_str!("../templates/opaque_method_header.jinja"),
    ),
    (
        "null_result_throw.jinja",
        include_str!("../templates/null_result_throw.jinja"),
    ),
    (
        "record_class_header.jinja",
        include_str!("../templates/record_class_header.jinja"),
    ),
    (
        "json_converter_attr.jinja",
        include_str!("../templates/json_converter_attr.jinja"),
    ),
    (
        "json_property_name_attr.jinja",
        include_str!("../templates/json_property_name_attr.jinja"),
    ),
    (
        "json_extension_data_property.jinja",
        include_str!("../templates/json_extension_data_property.jinja"),
    ),
    (
        "visitor_bridge_property.jinja",
        include_str!("../templates/visitor_bridge_property.jinja"),
    ),
    (
        "property_with_default.jinja",
        include_str!("../templates/property_with_default.jinja"),
    ),
    (
        "property_required_init.jinja",
        include_str!("../templates/property_required_init.jinja"),
    ),
    (
        "vtable_slot_comment.jinja",
        include_str!("../templates/vtable_slot_comment.jinja"),
    ),
    (
        "vtable_slot_assign.jinja",
        include_str!("../templates/vtable_slot_assign.jinja"),
    ),
    (
        "vtable_write_intptr.jinja",
        include_str!("../templates/vtable_write_intptr.jinja"),
    ),
    (
        "vtable_method_fn_new.jinja",
        include_str!("../templates/vtable_method_fn_new.jinja"),
    ),
    (
        "callback_header_options.jinja",
        include_str!("../templates/callback_header_options.jinja"),
    ),
    (
        "callback_header_full.jinja",
        include_str!("../templates/callback_header_full.jinja"),
    ),
    (
        "callback_string_param.jinja",
        include_str!("../templates/callback_string_param.jinja"),
    ),
    (
        "callback_bytes_param.jinja",
        include_str!("../templates/callback_bytes_param.jinja"),
    ),
    (
        "callback_json_from_ptr.jinja",
        include_str!("../templates/callback_json_from_ptr.jinja"),
    ),
    (
        "callback_json_deserialize.jinja",
        include_str!("../templates/callback_json_deserialize.jinja"),
    ),
    (
        "callback_void_call.jinja",
        include_str!("../templates/callback_void_call.jinja"),
    ),
    (
        "callback_result_call.jinja",
        include_str!("../templates/callback_result_call.jinja"),
    ),
    (
        "callback_result_serialize.jinja",
        include_str!("../templates/callback_result_serialize.jinja"),
    ),
    (
        "bytes_result_call.jinja",
        include_str!("../templates/bytes_result_call.jinja"),
    ),
    (
        "opaque_bytes_result_call.jinja",
        include_str!("../templates/opaque_bytes_result_call.jinja"),
    ),
];

pub(crate) fn make_env() -> Environment<'static> {
    let mut env = Environment::new();
    env.set_trim_blocks(true);
    env.set_lstrip_blocks(true);
    env.set_keep_trailing_newline(true);
    for (name, src) in TEMPLATES {
        env.add_template(name, src).expect("built-in template is valid");
    }
    env
}

pub(crate) fn render(template_name: &str, ctx: minijinja::Value) -> String {
    make_env()
        .get_template(template_name)
        .unwrap_or_else(|_| panic!("template {template_name} not found"))
        .render(ctx)
        .unwrap_or_else(|e| panic!("template {template_name} failed to render: {e}"))
}