projects
/
m6w6
/
ext-psi
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
|
github
raw
|
inline
| side by side
lift single lib statement restriction
[m6w6/ext-psi]
/
src
/
types
/
assert_stmt.h
diff --git
a/src/types/assert_stmt.h
b/src/types/assert_stmt.h
index 44d865ed7aadab80346583940df0aea794d1e5f1..7bfa74ada77b0fa15f2b1577d66f1d6d275d6124 100644
(file)
--- a/
src/types/assert_stmt.h
+++ b/
src/types/assert_stmt.h
@@
-32,13
+32,15
@@
struct psi_impl;
struct psi_num_exp;
struct psi_call_frame;
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;
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);
};
struct psi_assert_stmt *psi_assert_stmt_init(enum psi_assert_kind kind, struct psi_num_exp *exp);
@@
-47,7
+49,7
@@
bool psi_assert_stmt_exec(struct psi_assert_stmt *stmt, struct psi_call_frame *f
void psi_assert_stmt_dump(int fd, struct psi_assert_stmt *stmt);
void psi_assert_stmt_free(struct psi_assert_stmt **stmt);
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);
char *psi_assert_stmt_message(struct psi_assert_stmt *stmt);