source: libabac/abac_internal.h @ 646e57e

mei_rt2mei_rt2_fix_1
Last change on this file since 646e57e was 646e57e, checked in by Mei <mei@…>, 12 years ago

1) add partial proof

  • Property mode set to 100644
File size: 5.5 KB
Line 
1#ifndef __ABAC_I_H__
2#define __ABAC_I_H__
3
4#include <credentials/certificates/x509.h>
5#include <credentials/certificates/certificate.h>
6#include <credentials/certificates/ac.h>
7#include <credentials/keys/private_key.h>
8#include <credentials/sets/mem_cred.h>
9
10#include "abac_list.h"
11#include "abac_stack.h"
12#include "abac_util.h"
13
14#include "abac.h"
15
16char *abac_condition_typed_string(abac_condition_t *ptr);
17char *abac_condition_string(abac_condition_t *ptr);
18abac_condition_t *abac_condition_create(char *);
19abac_condition_t *abac_condition_create_from_aspect(abac_aspect_t *ptr);
20int abac_condition_set_aspect_ptr(abac_condition_t *ptr, abac_aspect_t *aptr);
21int abac_condition_set_aspect_string(abac_condition_t *ptr, char *str);
22int abac_condition_set_range_string(abac_condition_t *ptr);
23int abac_condition_is_range(abac_condition_t *ptr);
24abac_aspect_t *abac_condition_of_aspect(abac_condition_t *ptr);
25void abac_condition_add_range_integer_item(abac_condition_t *ptr, int itype, int val);
26void abac_condition_add_range_float_item(abac_condition_t *ptr, int itype, float val);
27void abac_condition_add_range_time_item(abac_condition_t *ptr, int itype, char* val);
28void abac_condition_add_range_urn_item(abac_condition_t *ptr, char *val);
29void abac_condition_add_range_string_item(abac_condition_t *ptr, char *val);void abac_condition_add_range_boolean_item(abac_condition_t *ptr, char* val);
30
31abac_aspect_t *abac_aspect_role_principal_new(char *principal_name);
32int abac_aspect_aspect_param_cnt(abac_aspect_t *ptr);
33char *abac_aspect_aspect_param_string(abac_aspect_t *ptr);
34abac_aspect_t *abac_aspect_linking_new(int, char*,char*, char*);
35abac_aspect_t *abac_aspect_oset_linking_new(char *, char *, char *);
36abac_aspect_t *abac_aspect_role_linking_new(char *, char *, char *);
37abac_aspect_t *abac_aspect_oset_object_new(abac_term_t *object);
38abac_aspect_t *abac_aspect_oset_principal_new(char *principal_name);
39abac_aspect_t *abac_aspect_oset_new(char *principal_name, char *oset_name);
40abac_aspect_t *abac_aspect_role_new(char *principal_name, char *role_name);
41abac_list_t *abac_aspect_prereqs(abac_aspect_t *ptr);
42abac_aspect_t *abac_aspect_intersection_new(abac_aspect_t *);
43abac_id_t *abac_aspect_get_issuer_id(abac_aspect_t *ptr);
44char *abac_aspect_object_name(abac_aspect_t *ptr);
45char *abac_aspect_linked_role_name(abac_aspect_t *ptr);
46char *abac_aspect_principal_name(abac_aspect_t *ptr);
47char *abac_aspect_aspect_name(abac_aspect_t *ptr);
48abac_aspect_t *abac_aspect_role_principal_create(char *principal_name);
49abac_aspect_t *abac_aspect_principal_new(int type, char *principal_name);
50abac_aspect_t *abac_aspect_new(int type, char *principal_name, char *aspect_name);
51abac_aspect_t *abac_aspect_object_new(int type, abac_term_t *object);
52void abac_aspect_dump(abac_aspect_t *ptr, char* offset);
53abac_term_t *abac_aspect_object_term(abac_aspect_t *ptr);
54char* abac_aspect_type_string(abac_aspect_t *ptr);
55char *abac_aspect_string_with_condition(abac_aspect_t *ptr);
56char* abac_aspect_get_issuer_keytype(abac_aspect_t *ptr);
57int abac_aspect_get_issuer_idtype(abac_aspect_t *ptr);
58char *abac_aspect_typed_string_with_condition(abac_aspect_t *ptr);
59char *abac_aspect_principal_principalname(abac_aspect_t *ptr);
60
61int abac_term_is_time_type(abac_term_t *term);
62char *abac_time_to_term(char *string);
63abac_term_t *abac_term_new(int, char *, int, char *, void *);
64abac_term_t *abac_term_named_new(int idtype, char *name);
65char *abac_item_val(abac_item_t *ptr);
66char *abac_term_to_time(char *string);
67char *abac_cn_with_sha(char*);
68char *abac_idtype_with_sha(char*);
69char *abac_term_type_name(abac_term_t *term);
70abac_condition_t *abac_term_constraint(abac_term_t *term);
71abac_term_t *abac_term_create(char*, char*, abac_condition_t*);
72
73void abac_condition_dump(abac_condition_t *ptr, char *offset);
74abac_list_t *abac_condition_range_list(abac_condition_t *ptr);
75
76void abac_term_dump(abac_term_t *ptr, char *offset);
77
78abac_item_t *abac_item_new(int itype, char *val);
79int abac_item_type(abac_item_t *);
80char* abac_item_val(abac_item_t *);
81
82int abac_param_list_cnt(abac_param_list_t *ptr);
83char* abac_param_list_string(abac_param_list_t *ptr);
84void abac_param_dump(abac_param_list_t *ptr, char *offset);
85char* abac_param_list_string_with_condition(abac_param_list_t *ptr);
86char* abac_param_list_typed_string_with_condition(abac_param_list_t *ptr);
87abac_list_t *abac_param_list(abac_param_list_t *ptr);
88abac_param_list_t *abac_param_list_new(abac_term_t *term);
89
90certificate_t *abac_attribute_issuer_cert(abac_attribute_t *ptr);
91certificate_t *abac_attribute_cert(abac_attribute_t *ptr);
92abac_attribute_t *abac_attribute_new(abac_id_t *issuer, certificate_t *cert, certificate_t *issuer_cert);
93abac_aspect_t *abac_attribute_tail(abac_attribute_t *ptr);
94abac_aspect_t *abac_attribute_head(abac_attribute_t *ptr);
95
96abac_id_credential_t *abac_id_credential_lookup(char *pname);
97abac_id_t *abac_id_new(int idtype,char *keyid, char *cn, certificate_t *cert);
98private_key_t *abac_id_privkey(abac_id_t *id);
99certificate_t *abac_id_cert(abac_id_t *id);
100abac_id_t *abac_id_keyid_new(char *keyid, char *cn, certificate_t *cert);
101char* abac_id_idtype_string(abac_id_t *id);
102char *abac_id_name(abac_id_t *id);
103
104char *abac_termtype_string(int i);
105char *abac_idtype_string(int);
106
107abac_credential_t *abac_credential_lookup(char *cred_string);
108abac_stack_t *abac_verifier_dump_creds();
109abac_stack_t *abac_verifier_dump_principals();
110
111extern int ABAC_IN_PROLOG;
112extern char *prologIt(char*);
113
114#define PROLOG(BODY) {  \
115    ABAC_IN_PROLOG++;      \
116    { BODY }               \
117    ABAC_IN_PROLOG--;      \
118}
119
120
121#endif /* __ABAC_I_H__ */
122
Note: See TracBrowser for help on using the repository browser.