X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Fimpl.h;h=83b0e81f77180f89951c9e86dd8f542df09f4260;hp=5b380203d2ac44080ee25d1b483e720c5a6b6a26;hb=9bcb1df0786a8193d65949c857baaba2f4296e84;hpb=5e240548ba570610ce0dbc248a2b7654a0e080fa

diff --git a/src/types/impl.h b/src/types/impl.h
index 5b38020..83b0e81 100644
--- a/src/types/impl.h
+++ b/src/types/impl.h
@@ -26,22 +26,38 @@
 #ifndef PSI_TYPES_IMPL_H
 #define PSI_TYPES_IMPL_H
 
-#include "impl_func.h"
-#include "impl_stmts.h"
-#include "decl.h"
-
-typedef struct impl {
-	impl_func *func;
-	impl_stmts *stmts;
-	decl *decl;
-} impl;
-
-impl *init_impl(impl_func *func, impl_stmts *stmts);
-void free_impl(impl *impl);
-void dump_impl(int fd, impl *impl);
-
 struct psi_data;
-
-int validate_impl(struct psi_data *data, impl *impl);
+struct psi_token;
+struct psi_plist;
+struct psi_decl;
+struct psi_decl_var;
+struct psi_impl_var;
+struct psi_impl_func;
+
+struct psi_impl {
+	struct psi_impl_func *func;
+	struct psi_decl *decl;
+	struct {
+		struct psi_plist *ret;
+		struct psi_plist *let;
+		struct psi_plist *set;
+		struct psi_plist *fre;
+	} stmts;
+};
+
+struct psi_impl *psi_impl_init(struct psi_impl_func *func, struct psi_plist *stmts);
+void psi_impl_free(struct psi_impl **impl_ptr);
+void psi_impl_dump(int fd, struct psi_impl *impl);
+bool psi_impl_validate(struct psi_data *data, struct psi_impl *impl);
+
+size_t psi_impl_num_min_args(struct psi_impl *impl);
+
+void psi_impl_stmt_free(struct psi_token ***abstract_stm);
+
+struct psi_let_stmt *psi_impl_get_let(struct psi_impl *impl, struct psi_decl_var *var);
+struct psi_impl_arg *psi_impl_get_arg(struct psi_impl *impl, struct psi_impl_var *var);
+
+struct psi_decl_arg *psi_impl_get_temp_let_arg(struct psi_impl *impl,
+		struct psi_decl_var *var);
 
 #endif