X-Git-Url: https://git.m6w6.name/?a=blobdiff_plain;f=src%2Ftypes%2Fassert_stmt.h;h=e8a7b1944a91112272ac1efc13151804c75d5e70;hb=698841dfdd4d70d24e0b7af25ac7100bc2cb26a4;hp=44d865ed7aadab80346583940df0aea794d1e5f1;hpb=f15288e185e65bcdfde87c217fb6bd7ff12eb653;p=m6w6%2Fext-psi diff --git a/src/types/assert_stmt.h b/src/types/assert_stmt.h index 44d865e..e8a7b19 100644 --- a/src/types/assert_stmt.h +++ b/src/types/assert_stmt.h @@ -32,23 +32,25 @@ struct psi_impl; struct psi_num_exp; struct psi_call_frame; +enum psi_assert_kind { + PSI_ASSERT_PRE = PSI_T_PRE_ASSERT, + PSI_ASSERT_POST = PSI_T_POST_ASSERT +}; + struct psi_assert_stmt { struct psi_token *token; struct psi_num_exp *exp; - enum psi_assert_kind { - PSI_ASSERT_PRE = PSI_T_PRE_ASSERT, - PSI_ASSERT_POST = PSI_T_POST_ASSERT - } kind; + enum psi_assert_kind kind; }; struct psi_assert_stmt *psi_assert_stmt_init(enum psi_assert_kind kind, struct psi_num_exp *exp); bool psi_assert_stmt_exec(struct psi_assert_stmt *stmt, struct psi_call_frame *frame); -void psi_assert_stmt_dump(int fd, struct psi_assert_stmt *stmt); +void psi_assert_stmt_dump(struct psi_dump *dump, struct psi_assert_stmt *stmt); void psi_assert_stmt_free(struct psi_assert_stmt **stmt); -bool psi_assert_stmts_validate(struct psi_data *data, struct psi_impl *impl); +bool psi_assert_stmts_validate(struct psi_data *data, struct psi_validate_scope *scope); -char *psi_assert_stmt_message(struct psi_assert_stmt *stmt); +void psi_assert_stmt_throw(struct psi_assert_stmt *stmt); #endif