mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
Last change
on this file since a9494ad was
718ad924,
checked in by Mei <mei@…>, 12 years ago
|
|
able to parse rt1 without condition
updated examples
|
-
Property mode set to
100644
|
|
File size:
892 bytes
|
| Line | |
|---|
| 1 | |
|---|
| 2 | /************************************************ |
|---|
| 3 | abac_rt.h |
|---|
| 4 | ************************************************/ |
|---|
| 5 | /* on yacc */ |
|---|
| 6 | extern FILE *abac_yyin, *abac_yyout; |
|---|
| 7 | extern int yyparse(); |
|---|
| 8 | extern void abac_init_yy(); |
|---|
| 9 | extern char *abac_get_yap_clause(); |
|---|
| 10 | extern void abac_free_yap_clause(); |
|---|
| 11 | extern abac_role_t *abac_get_yap_head_role(); |
|---|
| 12 | extern void abac_free_yap_tail_role(); |
|---|
| 13 | extern abac_role_t *abac_get_yap_head_role(); |
|---|
| 14 | extern void abac_free_yap_tail_role(); |
|---|
| 15 | |
|---|
| 16 | /* on lex */ |
|---|
| 17 | extern void abac_rest_yyin(FILE *); |
|---|
| 18 | extern void abac_rest_yyout(FILE *); |
|---|
| 19 | extern FILE *abac_get_yyin(); |
|---|
| 20 | extern FILE *abac_get_yyout(); |
|---|
| 21 | extern void abac_reset_yyfptr(char *); |
|---|
| 22 | extern char* abac_get_yyfptr(); |
|---|
| 23 | |
|---|
| 24 | /* on error code */ |
|---|
| 25 | |
|---|
| 26 | #define ABAC_RT_ROLE_INVALID -1 /* */ |
|---|
| 27 | #define ABAC_RT_CERT_INVALID -2 /* */ |
|---|
| 28 | #define ABAC_RT_CERT_BAD_SIG -3 /* */ |
|---|
| 29 | #define ABAC_RT_CERT_MISSING_ISSUER -4 /* */ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
