X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=src%2Ftypes%2Fimpl.h;h=fd1c9d0d75ae4cad18456546ff1197539c9b7bdf;hp=5b380203d2ac44080ee25d1b483e720c5a6b6a26;hb=a88d91ed2154bdb6d2198e44c6f3868a5b398287;hpb=2f5af21b263403997e154658635d6b6e6eaab453

diff --git a/src/types/impl.h b/src/types/impl.h
index 5b38020..fd1c9d0 100644
--- a/src/types/impl.h
+++ b/src/types/impl.h
@@ -26,22 +26,44 @@
 #ifndef PSI_TYPES_IMPL_H
 #define PSI_TYPES_IMPL_H
 
-#include "impl_func.h"
-#include "impl_stmts.h"
-#include "decl.h"
+struct psi_data;
+struct psi_token;
+struct psi_plist;
+struct psi_decl;
+struct psi_decl_var;
+struct psi_impl_var;
+struct psi_impl_func;
 
-typedef struct impl {
-	impl_func *func;
-	impl_stmts *stmts;
-	decl *decl;
-} impl;
+struct psi_impl {
+	struct psi_impl_func *func;
+	struct psi_decl *decl;
+	void *info;
+	struct {
+		struct psi_plist *ret;
+		struct psi_plist *let;
+		struct psi_plist *set;
+		struct psi_plist *fre;
+		struct psi_plist *ass;
+	} stmts;
+};
 
-impl *init_impl(impl_func *func, impl_stmts *stmts);
-void free_impl(impl *impl);
-void dump_impl(int fd, impl *impl);
+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,
+		struct psi_validate_scope *scope);
 
-struct psi_data;
+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);
 
-int validate_impl(struct psi_data *data, impl *impl);
+struct psi_decl_arg *psi_impl_get_decl_arg(struct psi_impl *impl,
+		struct psi_decl_var *var);
 
 #endif