From b534cd2e8150434ba7523a15463ea23e5624aea8 Mon Sep 17 00:00:00 2001 From: Seokhyun Lee <7948302+henrylee97@users.noreply.github.com> Date: Fri, 10 Nov 2023 14:07:32 +0900 Subject: [PATCH] feat(c): add api spec for `flint_object` (#48) --- C/flint-1/metadata.json | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/C/flint-1/metadata.json b/C/flint-1/metadata.json index a1e45d4c3..c3b8270b0 100644 --- a/C/flint-1/metadata.json +++ b/C/flint-1/metadata.json @@ -20,5 +20,24 @@ "file": "src/fmpz_mpoly_factor/sort.c", "line": 71 } + }, + + "api": { + "flint_object": { + "allocators": [ + { + "func": "flint_malloc", + "effect": "$return", + "deference_depth": 0 + } + ], + "deallocators": [ + { + "func": "flint_free", + "effect": "$param0", + "deference_depth": 0 + } + ] + } } } \ No newline at end of file