source: libabac/prover_yap.c @ 718ad924

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 718ad924 was e95d652, checked in by Mei <mei@…>, 13 years ago

1) added yap, flex, bison to bring in prolog backend

  • Property mode set to 100644
File size: 954 bytes
Line 
1
2
3#include <err.h>
4#include <stdio.h>
5
6#include <abac_pl.h>
7
8#include "options.h"
9
10int main(int argc, char **argv) {
11    int i, success;
12    abac_credential_t *cred;
13
14    options_t opts = { 0, };
15    get_options(argc, argv, &opts);
16    abac_context_t *ctx = abac_context_new();
17    abac_context_load_directory(ctx, opts.keystore);
18    abac_credential_t **credentials = abac_context_query(ctx,
19        opts.role, opts.principal,
20        &success
21    );
22    if (success)
23        puts("prover success!!");
24
25    if (credentials != NULL)
26        puts("credentials needed :");
27        for (i = 0; credentials[i] != NULL; ++i) {
28            cred = credentials[i];
29            printf("(%d) %s <- %s\n", i,
30                    abac_role_string(abac_credential_head(cred)),
31                    abac_role_string(abac_credential_tail(cred))
32                  );
33        }
34    abac_context_credentials_free(credentials);
35
36    abac_context_free(ctx);
37
38    return 0;
39}
Note: See TracBrowser for help on using the repository browser.