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);
void psi_assert_stmt_dump(int fd, 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);