source: libabac/abac_pl_yy.c @ 8bd77b5

/* C declarations */
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <assert.h>

#include "abac_util.h"
#include "abac_pl_yy.h"

static int debug=0;

int using_this=0;

extern void panic(char*);

/* from abac_pl_gen.c */
extern char *generate_pl_range_constraint(char *,char *,char *,char *);
extern char *generate_pl_range_time_constraint(char *,char *,char *);
extern abac_list_t *generate_pl_clauses(abac_aspect_t *, abac_aspect_t *);
extern char* generate_pl_constraint_clause(abac_aspect_t *, char *);
extern char *generate_pl_type_clause(char *, int);
/* from abac_pl_yap.c */
extern char *abac_pl_add_range_constraint_clause(char *var, char *tmplist);
/* from rt2.y */
extern void abac_yyinit();

int abac_yy_error_code = 0; /* keeping last error code */

int abac_rule_is_oset=0;
abac_list_t *abac_rule_clauses=NULL;
abac_stack_t *abac_rule_id_clauses=NULL; /* tracking individual id credentials */
abac_aspect_t *abac_rule_head_aspect=NULL;
abac_aspect_t *abac_rule_tail_aspect=NULL;

/* to track id certs within a rule clause */
typedef struct _abac_yy_id_cert_t {
    char *principalname;
    int type; /* keyidtype */
    char *clause;
} abac_yy_id_cert_t;
abac_list_t *abac_yy_id_certs = NULL;

/* structure to hold the range information
   within a static constraints on few types of
   oset types 
   [a..b], [a..], [..b], [a],[a,b],[many a] 
   e_yy_RANGE_MIN=1;
   e_yy_RANGE_MAX=2;
   e_yy_RANGE_TARGET=3;
*/
typedef struct _abac_yy_range_t {
    int type;
    char *val;
} abac_yy_range_t;

/* to track role/oset constraint clauses used within a rule clause,
   collect them up in one place, these are for conjunction clauses */
typedef struct _abac_yy_constraint_t {
    char *clause;
} abac_yy_constraint_t;
abac_list_t *abac_yy_constraints = NULL;

/* local principal structure  [keyid:USC] */
struct _abac_yy_principal_t {
    int type;
    char *sha; // sha is null when this is of object type
    char *cn; 
};

/* [principal:?Z]:..., must match a principal name */
struct _abac_yy_term_principal_t {
    int type; /* this needs to be implicitly determined */
    int is_anonymous;
    char *name;
    char *cond_str;
    void *cond_ptr; // ptr to a saved abac_aspect_t
    abac_yy_expression_t *cond_head_expr;
};

/* integer,float,time,urn,string types,
   if has condition, then it is a variable,
   ie,
    [int:?Year]:<1930..1932>,
   if no condition, then it is a constant, 
    ie,
    [int:10]
*/
struct _abac_yy_term_data_t {
    int is_variable;
    int is_anonymous;
    int type;
    char *name;
    char *cond_str;
    void *cond_ptr; // ptr to a saved abac_aspect_t
    abac_list_t *cond_range;
    abac_yy_expression_t *cond_head_expr; // parking stub
};

/* local term structure, will distinguish it in the future */
/* e_yy_DTERM_DATA,      all other types
   e_yy_DTERM_NAMED,     keyid:bob
   e_yy_DTERM_PRINCIPAL, principal:?P
   e_yy_DTERM_ANONYMOUS  ? */
struct _abac_yy_term_t {
    union {
         abac_yy_principal_t *n_ptr;
         abac_yy_term_principal_t *p_ptr;
         abac_yy_term_data_t *d_ptr;
    } term;
    int type;
    struct _abac_yy_term_t *next;
    int bcnt; /* this is to track number of terms in this linked up list */
};

/* local role/oset structure, 
   e_yy_NULL_TYPE, e_yy_ROLE_TYPE, e_yy_OSET_TYPE 
*/
struct _abac_yy_roleoset_t {
   int type;
   char *name;
   abac_yy_term_t *terms;
   struct _abac_yy_roleoset_t *next;
   int bcnt; /* this is to track number of roles in this linked up list */
};


/* A, A.r, A.r.r */
/* type: e_yy_EXPR_NAMED,e_yy_EXPR_ROLE,e_yy_EXPR_LINKED */
/* A/obj, A.o, A.r.o */
/* type: e_yy_EXPR_NAMED, e_yy_EXPR_OBJECT, e_yy_EXPR_OSET,e_yy_EXPR_LINKED */
struct _abac_yy_expression_t {
   int type;
   union {
       abac_yy_principal_t *principal;
       abac_yy_term_data_t *object;
   };
   abac_yy_roleoset_t *linked_role;
   abac_yy_roleoset_t *roleoset;
   
   struct _abac_yy_expression_t *next;
   int bcnt;
};

static void _free_yy_expression(abac_yy_expression_t *);

/************************************************************************/
void abac_yy_set_error_code(int v)
{
     abac_yy_error_code=v;
}

/************************************************************************/
abac_stack_t *abac_yy_get_rule_id_clauses()
{
    return abac_rule_id_clauses;
}

abac_stack_t *abac_yy_init_rule_id_clauses()
{
    abac_rule_id_clauses=abac_stack_new();
    return abac_rule_id_clauses;
}

void abac_yy_free_rule_id_clauses()
{
    if (abac_rule_id_clauses != NULL)
        abac_stack_free(abac_rule_id_clauses);
}

void abac_yy_set_rule_clauses(abac_list_t *clauses)
{
    abac_rule_clauses=clauses;
    if(debug) {
         printf("printing out abac_rule_clauses:\n");
         abac_print_clauses(abac_rule_clauses,NULL);
    }
}

abac_list_t *abac_yy_get_rule_clauses()
{
    return abac_rule_clauses;
}

void abac_yy_free_rule_clauses()
{
    if (abac_rule_clauses != NULL) {
        char *cur;
        if(abac_yy_id_certs) {
            abac_list_foreach(abac_yy_id_certs, cur,
                if(cur) free(cur);
            );
        }
        abac_list_free(abac_rule_clauses);
    }
}

bool abac_yy_get_rule_is_oset()
{
   return abac_rule_is_oset;
}

abac_aspect_t *abac_yy_get_rule_head_aspect()
{
    return abac_rule_head_aspect;
}

abac_aspect_t *abac_yy_get_rule_tail_aspect()
{
    return abac_rule_tail_aspect;
}


/************************************************************************/
void abac_yy_init_yy_id_certs()
{
    abac_yy_id_certs = abac_list_new();
}

void abac_yy_free_yy_id_certs()
{
    abac_yy_id_cert_t *id;
    abac_list_foreach(abac_yy_id_certs, id,
        if(id) 
            free(id->principalname);
            free(id->clause);
            free(id);
    );
    abac_list_free(abac_yy_id_certs);
    abac_yy_id_certs = NULL;
}

int abac_yy_cnt_yy_id_certs()
{
    return abac_list_size(abac_yy_id_certs);
}

char *abac_yy_string_yy_id_certs()
{
    int first=1;
    char *tmp=NULL;
    abac_yy_id_cert_t *cur;
    abac_list_foreach(abac_yy_id_certs, cur,
        if(cur) 
            if(first) {
                tmp=abac_xstrdup(cur->clause);
                first=0;
                } else {
                    int cnt=asprintf(&tmp,"%s,%s", tmp, cur->clause);
            }
    );
    return tmp;
}

static void _add_yy_id_certs(char *principalname, int type)
{
    abac_yy_id_cert_t *id_cert=NULL;

    int found=0;
    abac_yy_id_cert_t *cur;
    abac_list_foreach(abac_yy_id_certs, cur,
        if(cur) 
            if(strcmp(cur->principalname,principalname)==0) {
               found=1;
               break;
            }
    );

    if (found) {
        return;
        } else {
            id_cert=abac_xmalloc(sizeof(abac_yy_id_cert_t));
            id_cert->principalname=abac_xstrdup(principalname);
            id_cert->type=type;
            id_cert->clause=generate_pl_type_clause(principalname,type);
            abac_list_add(abac_yy_id_certs, id_cert);
            if(debug) printf("  -> adding yy id certs %s\n", principalname);
    }
}

/***********************************************************************/
static void _free_yy_cond_range(abac_list_t *ptr) 
{
    if (ptr != NULL) {
        abac_yy_range_t *cur;
        abac_list_foreach(ptr, cur,
            if(cur && cur->val) free(cur->val);
            free(cur);
        );
        abac_list_free(ptr);
    }
}

static char *_string_yy_cond_range(abac_list_t *ptr)
{
    assert(ptr);
    char *tmp=NULL;
    char *min=NULL;
    char *max=NULL;
    char *val=NULL;
    int type;

    abac_yy_range_t *cur;
    abac_list_foreach(ptr, cur,
        type=cur->type;
        switch (type) {
            case e_yy_RANGE_MIN:
                min=abac_xstrdup(cur->val);
                break;
            case e_yy_RANGE_MAX:
                max=abac_xstrdup(cur->val);
                break;
            case e_yy_RANGE_TARGET:
                if(val)
                    asprintf(&val,"%s,%s",val,cur->val);
                else val=abac_xstrdup(cur->val);
                break;
        }
    );
    if(max && min) {
         asprintf(&tmp,"[%s..%s]",min,max);
         free(max);
         free(min);
         return tmp;
    }
    if(max) {
         asprintf(&tmp,"[..%s]",max);
         free(max);
         return tmp;
    }
    if(min) {
         asprintf(&tmp,"[%s..]",min);
         free(min);
         return tmp;
    }
    if(val) {
         asprintf(&tmp,"[%s]",val);
         free(val);
         return tmp;
    }
    return NULL;
}

abac_list_t *add_yy_val_range(abac_list_t *ptr, char * val)
{
    abac_yy_range_t *range= 
         (abac_yy_range_t *) abac_xmalloc(sizeof(abac_yy_range_t));
    range->type=e_yy_RANGE_TARGET;
    range->val=abac_xstrdup(val);
    abac_list_add(ptr, range);
    return ptr;
}

static abac_list_t *_add_yy_range(abac_list_t *ptr, int type, char * val)
{
    abac_yy_range_t *range= 
         (abac_yy_range_t *) abac_xmalloc(sizeof(abac_yy_range_t));
    range->type=type;
    range->val=abac_xstrdup(val);
    abac_list_add(ptr, range);
    return ptr;
}

abac_list_t *make_yy_val_range(char *val)
{
    abac_list_t *ptr=abac_list_new();
    add_yy_val_range(ptr,val);
    return ptr;
}

abac_list_t *make_yy_minmax_range(char *min, char *max)
{
    abac_list_t *ptr=abac_list_new();
    _add_yy_range(ptr, e_yy_RANGE_MIN, min);
    _add_yy_range(ptr, e_yy_RANGE_MAX, max);
    return ptr;
}

abac_list_t *make_yy_min_range(char *min)
{
    abac_list_t *ptr=abac_list_new();
    _add_yy_range(ptr, e_yy_RANGE_MIN, min);
    return ptr;
}

abac_list_t *make_yy_max_range(char *max)
{
    abac_list_t *ptr=abac_list_new();
    _add_yy_range(ptr, e_yy_RANGE_MAX, max);
    return ptr;
}

/***********************************************************************/
abac_yy_term_data_t *make_yy_term_data()
{
    abac_yy_term_data_t *ptr=
              (abac_yy_term_data_t*)abac_xmalloc(sizeof(abac_yy_term_data_t));
    ptr->name=NULL;
    ptr->type=0;
    ptr->is_variable=0;
    ptr->is_anonymous=0;
    ptr->cond_str=NULL;
    ptr->cond_head_expr=NULL;
    ptr->cond_ptr=NULL;
    ptr->cond_range=NULL;
    return ptr;
}

void set_yy_term_data_name(abac_yy_term_data_t *ptr, char *name)
{
    ptr->name=abac_xstrdup(name);
}

abac_list_t *get_yy_term_data_cond_range(abac_yy_term_data_t *ptr)
{
    return ptr->cond_range;
}

char *get_yy_term_data_name(abac_yy_term_data_t *ptr)
{
    return ptr->name;
}

bool is_yy_term_data_has_constraint(abac_yy_term_data_t *ptr)
{
    if(ptr->cond_head_expr != NULL)
        return 1;
    if(ptr->cond_range != NULL)
        return 1;
    return 0;
}

void set_yy_term_data_cond_range(abac_yy_term_data_t *ptr,
abac_list_t *range)
{
    ptr->cond_range=range;
}

void set_yy_term_data_cond_head_expr(abac_yy_term_data_t *ptr,
abac_yy_expression_t *expr)
{
    ptr->cond_head_expr=expr;
}

abac_yy_expression_t *get_yy_term_data_cond_head_expr(abac_yy_term_data_t *ptr)
{
    return ptr->cond_head_expr;
}

void set_yy_term_data_type(abac_yy_term_data_t *ptr, char* typestr)
{
    int type=abac_term_verify_term_type(typestr);
    ptr->type=type;
}

void set_yy_term_data_is_anonymous(abac_yy_term_data_t *ptr)
{
    ptr->is_anonymous=1;
}

bool is_yy_term_data_type_numeric(abac_yy_term_data_t *ptr)
{
    if(ptr->type==abac_term_verify_term_type("integer") ||
          ptr->type==abac_term_verify_term_type("float"))
        return 1;
    return 0;
}

bool is_yy_term_data_type_time(abac_yy_term_data_t *ptr)
{
    if(ptr->type==abac_term_verify_term_type("time"))
        return 1;
    return 0;
}

bool is_yy_term_data_type_alpha(abac_yy_term_data_t *ptr)
{
    if(ptr->type==abac_term_verify_term_type("string") ||
        ptr->type==abac_term_verify_term_type("urn") ||
         ptr->type==abac_term_verify_term_type("boolean"))
        return 1;
    return 0;
}

void set_yy_term_data_cond_ptr(abac_yy_term_data_t *ptr, void *vptr)
{
    ptr->cond_ptr=vptr;
}

void set_yy_term_data_cond_str(abac_yy_term_data_t *ptr, char *cond)
{
    ptr->cond_str=abac_xstrdup(cond);
}

void set_yy_term_data_is_variable(abac_yy_term_data_t *ptr)
{
    ptr->is_variable=1;
}

int get_yy_term_data_is_variable(abac_yy_term_data_t *ptr)
{
    return ptr->is_variable;
}

static void _free_yy_term_data(abac_yy_term_data_t *ptr)
{
    free(ptr->name);
    if(ptr->cond_str)
        free(ptr->cond_str);
    if(ptr->cond_head_expr)
        _free_yy_expression(ptr->cond_head_expr);
    if(ptr->cond_range);
        _free_yy_cond_range(ptr->cond_range);
    free(ptr);
}

abac_yy_term_principal_t *make_yy_term_principal()
{
    abac_yy_term_principal_t *ptr=
            (abac_yy_term_principal_t*)abac_xmalloc(sizeof(abac_yy_term_principal_t));
    ptr->type=0;/* this is not known */
    ptr->is_anonymous=0;
    ptr->name=NULL;
    ptr->cond_str=NULL;
    ptr->cond_head_expr=NULL;
    return ptr;
}

static void _set_using_this()
{
    using_this=1;
}

void set_yy_term_principal_name(abac_yy_term_principal_t *ptr, char *name)
{
    /* handle special case when the name=this, change it to This */
    if(strcmp(name,"this")==0) {
       ptr->name=abac_xstrdup("This");
       _set_using_this();
       } else ptr->name=abac_xstrdup(name);
}

void set_yy_term_principal_cond_ptr(abac_yy_term_principal_t *ptr, void *vptr)
{
    ptr->cond_ptr=vptr;
}

void set_yy_term_principal_cond_str(abac_yy_term_principal_t *ptr, char *cond)
{
    ptr->cond_str=abac_xstrdup(cond);
}

void set_yy_term_principal_is_anonymous(abac_yy_term_principal_t *ptr)
{
    ptr->is_anonymous=1;
}

abac_yy_expression_t *get_yy_term_principal_cond_head_expr(abac_yy_term_principal_t *ptr)
{
    return ptr->cond_head_expr;
}

void set_yy_term_principal_cond_head_expr(abac_yy_term_principal_t *ptr, 
abac_yy_expression_t *expr)
{
    ptr->cond_head_expr=expr;
}

static void _free_yy_term_principal(abac_yy_term_principal_t *ptr)
{
    free(ptr->name);
    if(ptr->cond_str)
        free(ptr->cond_str);
    if(ptr->cond_head_expr)
        _free_yy_expression(ptr->cond_head_expr);
    free(ptr);
}

abac_yy_term_t *make_yy_term_dterm_anonymous()
{
    abac_yy_term_t *ptr=(abac_yy_term_t*)abac_xmalloc(sizeof(abac_yy_term_t));
    ptr->type = e_yy_DTERM_ANONYMOUS;
    ptr->next=NULL;
    ptr->bcnt=1;
    return ptr;
}

abac_yy_term_t *make_yy_term_dterm_principal(abac_yy_term_principal_t *pptr)
{
    abac_yy_term_t *ptr=(abac_yy_term_t*)abac_xmalloc(sizeof(abac_yy_term_t));
    if(pptr->is_anonymous) 
        ptr->type = e_yy_DTERM_ANONYMOUS;
        else ptr->type = e_yy_DTERM_PRINCIPAL;
    ptr->term.p_ptr=pptr;
    ptr->next=NULL;
    ptr->bcnt=1;
    return ptr;
}

abac_yy_term_t *make_yy_term_dterm_named(abac_yy_principal_t *nptr)
{
    abac_yy_term_t *ptr=(abac_yy_term_t*)abac_xmalloc(sizeof(abac_yy_term_t));
    ptr->type = e_yy_DTERM_NAMED;
    ptr->term.n_ptr=nptr;
    ptr->next=NULL;
    ptr->bcnt=1;
    return ptr;
}

abac_yy_term_t *make_yy_term_dterm_data(abac_yy_term_data_t *dptr)
{
    abac_yy_term_t *ptr=(abac_yy_term_t*)abac_xmalloc(sizeof(abac_yy_term_t));

    if(dptr->is_anonymous)
        ptr->type = e_yy_DTERM_ANONYMOUS;
        else ptr->type = e_yy_DTERM_DATA;
    ptr->term.d_ptr=dptr;
    ptr->next=NULL;
    ptr->bcnt=1;
    return ptr;
}

/************************************************************************/
void abac_yy_init_yy_constraints()
{
    abac_yy_constraints = abac_list_new();
}

void abac_yy_free_yy_constraints()
{
    abac_yy_constraint_t *cur;
    abac_list_foreach(abac_yy_constraints, cur,
        if(cur && cur->clause) 
            free(cur->clause);
        free(cur);
    );
    abac_list_free(abac_yy_constraints);
    abac_yy_constraints=NULL;
}

int abac_yy_cnt_yy_constraints()
{
    return abac_list_size(abac_yy_constraints);
}

char *abac_yy_string_yy_constraints()
{
    int first=1;
    char *tmp=NULL;
    abac_yy_constraint_t *cur;
    abac_list_foreach(abac_yy_constraints, cur,
        if(cur && cur->clause) 
            if(first) {
                tmp=abac_xstrdup(cur->clause);
                first=0;
                } else {
                    int cnt=asprintf(&tmp,"%s,%s", tmp, cur->clause);
            }
    );
    return tmp;
}

abac_yy_constraint_t *abac_yy_add_yy_constraints(char *constraint)
{
    abac_yy_constraint_t *ptr=
        (abac_yy_constraint_t *) abac_xmalloc(sizeof(abac_yy_constraint_t));
    ptr->clause=abac_xstrdup(constraint);
    abac_list_add(abac_yy_constraints, ptr);
    return ptr;
}

/****************************************************************************/
abac_yy_principal_t *make_yy_principal(char *sha, char *cn, int type)
{
    abac_yy_principal_t *ptr=
               (abac_yy_principal_t*)abac_xmalloc(sizeof(abac_yy_principal_t));
    /* add p to yyparse's principal */
    if(sha) ptr->sha=abac_xstrdup(sha);
        else ptr->sha=NULL;
    if(cn) ptr->cn=abac_xstrdup(cn);
        else ptr->cn=NULL;
    ptr->type=type;
    return ptr;
}

static void _free_yy_principal(abac_yy_principal_t *ptr)
{
    if(ptr->sha) free(ptr->sha);
    if(ptr->cn) free(ptr->cn);
    free(ptr);
}

int get_yy_principal_type(abac_yy_principal_t *ptr)
{
    return ptr->type;
}

char *get_yy_principal_name(abac_yy_principal_t *ptr)
{
    if(USE("ABAC_CN") && ptr->cn)
       return ptr->cn;
    return ptr->sha;
}

char *get_yy_principal_cn(abac_yy_principal_t *ptr)
{
        return ptr->cn;
}

char *get_yy_principal_sha(abac_yy_principal_t *ptr)
{
        return ptr->sha;
}

/*************************************************************************/

abac_yy_term_t *add_yy_term(abac_yy_term_t *nterm, abac_yy_term_t *terms)
{
    int i=terms->bcnt;
    nterm->next=terms;
    nterm->bcnt=i+1;
    return nterm;
}

static void _free_yy_term(abac_yy_term_t *ptr)
{
    switch (ptr->type) {
        case e_yy_DTERM_DATA:
            _free_yy_term_data(ptr->term.d_ptr);
            break;
        case e_yy_DTERM_NAMED:
            _free_yy_principal(ptr->term.n_ptr);
            break;
        case e_yy_DTERM_PRINCIPAL:
            _free_yy_term_principal(ptr->term.p_ptr);
            break;
        case e_yy_DTERM_ANONYMOUS:
            break;
    }
    if(ptr->next)
        _free_yy_term(ptr->next);
    free(ptr);
}

/*************************************************************************/
abac_yy_roleoset_t *make_yy_roleoset_role(char *name, abac_yy_term_t *terms)
{
    abac_yy_roleoset_t *ptr=
         (abac_yy_roleoset_t*)abac_xmalloc(sizeof(abac_yy_roleoset_t));
    ptr->name=abac_xstrdup(name);
    ptr->terms=terms;
    ptr->next=NULL;
    ptr->bcnt=1;
    ptr->type=e_yy_ROLE_TYPE;
    return ptr;
}

static void _free_yy_roleoset(abac_yy_roleoset_t *ptr)
{
    free(ptr->name);
    if(ptr->terms)
        _free_yy_term(ptr->terms);
    if(ptr->next)
        _free_yy_roleoset(ptr->next);
    free(ptr);
}

/***************************************************************************/
abac_yy_roleoset_t *make_yy_roleoset_oset(char *name, abac_yy_term_t *terms)
{
    abac_yy_roleoset_t *ptr=
           (abac_yy_roleoset_t*)abac_xmalloc(sizeof(abac_yy_roleoset_t));
    ptr->name=abac_xstrdup(name);
    ptr->terms=terms;
    ptr->next=NULL;
    ptr->bcnt=1;
    ptr->type=e_yy_OSET_TYPE;
    return ptr;
}

/***************************************************************************/

/* type: e_yy_EXPR_NAMED, e_yy_EXPR_OBJECT, e_yy_EXPR_OSET,e_yy_EXPR_LINKED */

abac_yy_expression_t *make_yy_expression(int type,void *pptr, 
abac_yy_roleoset_t *optr, abac_yy_roleoset_t *linked_role)
{
    abac_yy_expression_t *ptr=
         (abac_yy_expression_t*)abac_xmalloc(sizeof(abac_yy_expression_t));
    ptr->type = type;
    if(type == e_yy_EXPR_OBJECT) {
        ptr->object=(abac_yy_term_data_t *)pptr;
        } else {
            ptr->principal = (abac_yy_principal_t *)pptr;
    }
    ptr->roleoset = optr;
    ptr->linked_role=linked_role;
    ptr->next=NULL;

    return ptr;
}

abac_yy_term_data_t *get_yy_expression_object(abac_yy_expression_t *ptr)
{
   if(ptr->type == e_yy_EXPR_OBJECT)
       return ptr->object;
   return NULL;
}

abac_yy_expression_t *add_yy_expression(abac_yy_expression_t *nexpr,
                                             abac_yy_expression_t *exprs)
{
    int i=exprs->bcnt;
    nexpr->next=exprs;
    nexpr->bcnt=i+1;
    return nexpr;
}

static void _free_yy_expression(abac_yy_expression_t *ptr)
{
    if(ptr->type == e_yy_EXPR_OBJECT) {
       if(ptr->object)
           _free_yy_term_data(ptr->object);
       } else {
           if(ptr->principal)
               _free_yy_principal(ptr->principal);
    }
    if(ptr->roleoset) _free_yy_roleoset(ptr->roleoset);
    if(ptr->linked_role)
        _free_yy_roleoset(ptr->linked_role);
    if(ptr->next)
        _free_yy_expression(ptr->next);

    free(ptr);
}

/***************************************************************************/
/* add the oset condition to constraint list */
char *make_yy_oset_constraint(abac_yy_term_data_t *ptr, char *tail_string)
{
   abac_yy_expression_t *head_expr=get_yy_term_data_cond_head_expr(ptr);
   if(head_expr) {
       abac_aspect_t *head_aspect=validate_head(e_yy_OSET_TYPE,head_expr);
       if(head_aspect == NULL)
           goto error;

       char *tmp=generate_pl_constraint_clause(head_aspect,tail_string);
       set_yy_term_data_cond_str(ptr,tmp);
       set_yy_term_data_cond_ptr(ptr,head_aspect);
       abac_yy_add_yy_constraints(tmp);
       return tmp;
   }

error:
   return NULL;
} 
/* add the role condition to constraint list */
char *make_yy_role_constraint(abac_yy_term_principal_t *ptr, char *tail_string)
{
   abac_yy_expression_t *head_expr=get_yy_term_principal_cond_head_expr(ptr);
   if(head_expr) {
       abac_aspect_t *head_aspect=validate_head(e_yy_ROLE_TYPE,head_expr);
       if(head_aspect == NULL)
           goto error;

       char *tmp=generate_pl_constraint_clause(head_aspect,tail_string);
       set_yy_term_principal_cond_str(ptr,tmp);
       set_yy_term_principal_cond_ptr(ptr,head_aspect);
       abac_yy_add_yy_constraints(tmp);
       if(debug) {
           printf("make_yy_role_constraint, adding (%s) \n",tmp);
       }
       return tmp;
   }

error:
   return NULL;
}


/****************************************************************/
/* add the range condition to constraint list */
/* this is for integer and float only */
void make_yy_range_numeric_constraint(abac_yy_term_data_t *ptr, char *var)
{
   char *typestr=abac_termtype_name(ptr->type);
   abac_list_t *rlist=get_yy_term_data_cond_range(ptr);
   char *tmplist=NULL;
   char *tmp=NULL;
   int as_range=1; /* either , or ; */
   if(rlist) {
       char *rstring=_string_yy_cond_range(rlist);
       set_yy_term_data_cond_str(ptr,rstring);
       abac_yy_range_t *cur;
     
       /* a list of values -- in chars */
       abac_list_foreach(rlist, cur,
           int type=cur->type;
           char *val=cur->val; 
           switch(type) {
             case e_yy_RANGE_MIN:
               tmp=generate_pl_range_constraint(typestr,var,val,">=");
               break;
             case e_yy_RANGE_MAX:
               tmp=generate_pl_range_constraint(typestr,var,val,"=<");
               break;
             case e_yy_RANGE_TARGET:
               tmp=generate_pl_range_constraint(NULL,var,val,"=");
               as_range=0;
               break;
           }
           /* ; is prolog's disjunction built in predicate */
           if(tmplist) {
               if(as_range)
                   asprintf(&tmplist,"%s,%s",tmplist,tmp);
                   else
                       asprintf(&tmplist,"%s;%s",tmplist,tmp);
               } else {
                   tmplist=tmp;
           }
           tmp=NULL;
       );
       asprintf(&tmplist,"(%s)",tmplist);
       abac_yy_add_yy_constraints(tmplist);
   }
}

/****************************************************************/
/* this is for time only */
void make_yy_range_time_constraint(abac_yy_term_data_t *ptr, char *var)
{
   char *typestr=abac_termtype_name(ptr->type);
   abac_list_t *rlist=get_yy_term_data_cond_range(ptr);
   char *tmplist=NULL;
   char *tmp=NULL;
   char *ttmp=NULL;
   char *tlist=NULL;
   int as_range=1; /* either , or ; */
   if(rlist) {
       char *rstring=_string_yy_cond_range(rlist);
       set_yy_term_data_cond_str(ptr,rstring);
       abac_yy_range_t *cur;
     
       /* a list of values -- in chars */
       abac_list_foreach(rlist, cur,
           int type=cur->type;
           char *tval=cur->val; 
           char *val=abac_term_to_time(tval);
           switch(type) {
             case e_yy_RANGE_MIN:
               ttmp=generate_pl_range_time_constraint(var,val,">");
               tmp=generate_pl_range_time_constraint(var,val,"=");
               asprintf(&tlist,"(%s;%s)",ttmp,tmp);
               tmp=tlist;
               break;
             case e_yy_RANGE_MAX:
               ttmp=generate_pl_range_time_constraint(var,val,"=");
               tmp=generate_pl_range_time_constraint(var,val,"<");
               asprintf(&tlist,"(%s;%s)",ttmp,tmp);
               tmp=tlist;
               break;
             case e_yy_RANGE_TARGET:
               tmp=generate_pl_range_time_constraint(var,val,"=");
               as_range=0;
               break;
           }
           free(val);
           /* ; is prolog's disjunction built in predicate */
           if(tmplist) {
               if(as_range)
                   asprintf(&tmplist,"%s,%s",tmplist,tmp);
                   else
                       asprintf(&tmplist,"%s;%s",tmplist,tmp);
               } else {
                   tmplist=tmp;
           }
           tmp=NULL;
       );

       asprintf(&tmplist,"(%s)",tmplist);
       /* generate a clause with above and add into db */
       tmp=abac_pl_add_range_constraint_clause(var,tmplist);
       abac_yy_add_yy_constraints(tmp);
   }
}

/****************************************************************/
/* this is for string and urn only */
void make_yy_range_string_constraint(abac_yy_term_data_t *ptr, char *var)
{
   char *typestr=abac_termtype_name(ptr->type);
   abac_list_t *rlist=get_yy_term_data_cond_range(ptr);
   char *tmplist=NULL;
   char *tmp=NULL;
   if(rlist) {
       char *rstring=_string_yy_cond_range(rlist);
       set_yy_term_data_cond_str(ptr,rstring);
       abac_yy_range_t *cur;
     
       /* a list of values -- in chars */
       abac_list_foreach(rlist, cur,
           int type=cur->type;
           char *val=cur->val; 
           switch(type) {
             case e_yy_RANGE_MIN:
               panic("make_yy_range_string_constraint, invalid range type - min"); 
               break;
             case e_yy_RANGE_MAX:
               /* invalid range type */
               panic("make_yy_range_string_constraint, invalid range type - max"); 
               break;
             case e_yy_RANGE_TARGET:
               tmp=generate_pl_range_constraint(NULL,var,val,"=");
               break;
           }
           /* ; is prolog's disjunction built in predicate */
           if(tmplist)
               asprintf(&tmplist,"%s;%s",tmplist,tmp);
               else tmplist=tmp;
           tmp=NULL;
       );
       asprintf(&tmplist,"(%s)",tmplist);
       /* generate a clause with above and add into db */
       tmp=abac_pl_add_range_constraint_clause(var,tmplist);
       abac_yy_add_yy_constraints(tmp);
   }
}

void make_yy_range_constraint(abac_yy_term_data_t *ptr, char *var)
{
    if(is_yy_term_data_type_numeric(ptr)) {
        make_yy_range_numeric_constraint(ptr, var);
        } else if (is_yy_term_data_type_alpha(ptr)) {
            make_yy_range_string_constraint(ptr, var);
            } else if (is_yy_term_data_type_time(ptr)) {
                make_yy_range_time_constraint(ptr, var);
    }
}


/************************************************************************/

static void _aspect_add_terms(int linked, abac_aspect_t *aspect_ptr, 
abac_yy_term_t *terms)
{
    abac_yy_term_t *curr = terms;
    int type;

    while (curr) {
        char *name=NULL;
        char *cond=NULL;
        void *ptr=NULL;
        switch (curr->type) {
           case e_yy_DTERM_DATA:
           {
               abac_yy_term_data_t *dptr=curr->term.d_ptr;
               type=dptr->type;
               name=abac_xstrdup(dptr->name);
               if(dptr->cond_str) {
                  cond=abac_xstrdup(dptr->cond_str);
                  ptr=dptr->cond_ptr;
               }
               break;
           }
           case e_yy_DTERM_PRINCIPAL:
           {
               abac_yy_term_principal_t *pptr=curr->term.p_ptr;
               type=abac_term_verify_term_type("principal");
               name=abac_xstrdup(pptr->name);
               if(pptr->cond_str) {
                  cond=abac_xstrdup(pptr->cond_str);
                  ptr=pptr->cond_ptr;
               }
               break;
           }
           case e_yy_DTERM_NAMED:
           {
              abac_yy_principal_t *pptr=curr->term.n_ptr;
              type=pptr->type;
              name=abac_xstrdup(get_yy_principal_name(pptr));
              cond=NULL;
              ptr=NULL;
              break;
           }
           case e_yy_DTERM_ANONYMOUS:
           {
              type=0;
              name=abac_xstrdup("_");
              cond=NULL;
              ptr=NULL;
              break;
           }
       }

       abac_term_t *param=abac_term_new(type,name,cond,ptr);
       if (linked) 
           abac_aspect_add_linked_param(aspect_ptr, param);
           else
                abac_aspect_add_param(aspect_ptr, param);
       curr=curr->next;
   }
}

static void _aspect_add_linked_terms(abac_aspect_t *ptr, abac_yy_term_t *terms)
{
    int linked=1;
    _aspect_add_terms(linked, ptr, terms);
}

static void _aspect_add_aspect_terms(abac_aspect_t *ptr, abac_yy_term_t *terms)
{
    int linked=0;
    _aspect_add_terms(linked, ptr, terms);
}

abac_aspect_t *validate_intersected_tail(abac_aspect_t *ptr)
{
    abac_aspect_t *ret_ptr=abac_aspect_intersection_new(ptr);
    return ret_ptr;
}

/* A.oset, A.role */
abac_aspect_t *validate_head(int yytype, abac_yy_expression_t *expr)
{
     abac_yy_principal_t *principal=expr->principal;
     abac_yy_roleoset_t *ptr=expr->roleoset;
    
     char *principalname=get_yy_principal_sha(principal);
     char *othername=get_yy_principal_name(principal);
     char *name=ptr->name;
     abac_yy_term_t *terms=ptr->terms;

     abac_aspect_t *aptr=NULL;
     if(yytype==e_yy_OSET_TYPE)
         aptr=abac_aspect_oset_new(principalname, name);
         else aptr=abac_aspect_role_new(principalname, name);

     if (aptr==NULL) {
         abac_yy_set_error_code(ABAC_YY_INVALID_HEAD);
         goto error;
     }

     // insert the params for the oset
     if(terms) {
          _aspect_add_aspect_terms(aptr, terms);
     }
     _add_yy_id_certs(othername,get_yy_principal_type(principal));
     return aptr;

error:
     return NULL;
}

abac_aspect_t *validate_head_oset(abac_yy_expression_t *expr)
{
     return validate_head(e_yy_OSET_TYPE,expr);
}

abac_aspect_t *validate_head_role(abac_yy_expression_t *expr)
{
     return validate_head(e_yy_ROLE_TYPE,expr);
}

/*****************************************************************************/
/* B */
abac_aspect_t *validate_named_tail(int yytype, abac_yy_expression_t *expr)
{
     abac_yy_principal_t *principal=expr->principal;
     char *principalname=get_yy_principal_sha(principal);
     char *othername=get_yy_principal_name(principal);

     abac_aspect_t *ptr=NULL;
     if(yytype==e_yy_OSET_TYPE)
         ptr=abac_aspect_oset_principal_new(principalname);
         else ptr=abac_aspect_role_principal_new(principalname);
     _add_yy_id_certs(othername,get_yy_principal_type(principal));

     if (ptr==NULL)
         goto error;
     return ptr;

error:
     panic("can not generate a simple named tail oset aspect");
     return NULL;
}


/* [keyid:alpha].oset:documents([string:'proj1'])<-[urn:'file//fileA'] */
abac_aspect_t *validate_object_tail(int yytype,abac_yy_expression_t *expr)
{
     abac_yy_term_data_t *object=get_yy_expression_object(expr);
     assert(object != NULL);

     char *name=object->name;
     int type=object->type;
     char *cond=object->cond_str;
     void *ptr=object->cond_ptr;
     abac_term_t *term=abac_term_new(type,name,cond,ptr);
     abac_aspect_t *aptr=NULL;
     if(yytype==e_yy_OSET_TYPE)
         aptr=abac_aspect_oset_object_new(term);
         else
             goto error; /* can not be a role expression with obj */

     if(get_yy_term_data_is_variable(object))
         _add_yy_id_certs(name,type);

     if (aptr==NULL)
         goto error;
     return aptr;

error:
     panic("can not generate a simple object tail oset aspect");
     return NULL;
}


/* B.role or B.oset */
abac_aspect_t *validate_some_tail(int yytype, abac_yy_expression_t *expr)
{
     abac_yy_principal_t *principal=expr->principal;
     abac_yy_roleoset_t *eptr=expr->roleoset;

     char *principalname=get_yy_principal_sha(principal);
     char *othername=get_yy_principal_name(principal);

     char *name=eptr->name;
     abac_yy_term_t *terms=eptr->terms;

     abac_aspect_t *ptr=NULL;
     if(yytype==e_yy_OSET_TYPE)
         ptr=abac_aspect_oset_new(principalname, name);
         else
             ptr=abac_aspect_role_new(principalname, name);
     if (ptr==NULL)
         goto error;

     if(terms) {
         _aspect_add_aspect_terms(ptr, terms);
     }

     _add_yy_id_certs(othername,get_yy_principal_type(principal));

     return ptr;

error:
     panic("can not generate a simple tail aspect");
     return NULL;
}

/* B.role.role or B.role.oset */
abac_aspect_t *validate_linked_tail(int yytype, abac_yy_expression_t *expr)
{
     abac_yy_principal_t *principal=expr->principal;

     abac_yy_roleoset_t *eptr=expr->roleoset;
     abac_yy_roleoset_t *linked_role=expr->linked_role;

     char *principalname=get_yy_principal_sha(principal);
     char *othername=get_yy_principal_name(principal);

     char *name=eptr->name;
     abac_yy_term_t *terms=eptr->terms;

     char *linkedrolename=linked_role->name;
     abac_yy_term_t *linked_terms=linked_role->terms;

     abac_aspect_t *ptr=NULL;
     if(yytype==e_yy_OSET_TYPE)
         ptr=abac_aspect_oset_linking_new(principalname,
                                            linkedrolename, name);
         else ptr=abac_aspect_role_linking_new(principalname,
                                            linkedrolename, name);
     if (ptr==NULL)
         goto error;

     if(linked_terms) {
         _aspect_add_linked_terms(ptr, linked_terms);
     }
     if(terms) {
         _aspect_add_aspect_terms(ptr, terms);
     }

     _add_yy_id_certs(othername,get_yy_principal_type(principal));

     return ptr;

error:
     panic("can not generate linked tail oset");
     return NULL;
}


/**********************************************************************/

abac_list_t *make_oset_statement(abac_yy_expression_t *headexpr,
                       abac_yy_expression_t *tailexpr) 
{ 
    abac_aspect_t *head_oset=NULL;
    abac_aspect_t *tail_oset=NULL;

/* build up left side's abac oset structure */
    head_oset=validate_head(e_yy_OSET_TYPE, headexpr);
    if(head_oset == NULL)
        goto error;

/* build up the right side's abac oset structure */
    abac_yy_expression_t *curr_tail = tailexpr;
    int intersecting=(tailexpr->next != NULL)? 1:0;
    abac_aspect_t *curr_oset = NULL;
        while (curr_tail) {
            switch(curr_tail->type) {
                case e_yy_EXPR_OBJECT:
                    curr_oset=validate_object_tail(e_yy_OSET_TYPE,curr_tail);
                    break;
                case e_yy_EXPR_NAMED:
                    curr_oset=validate_named_tail(e_yy_OSET_TYPE,curr_tail);
                    break;
                case e_yy_EXPR_OSET:
                    curr_oset=validate_some_tail(e_yy_OSET_TYPE,curr_tail);
                    break;
                case e_yy_EXPR_LINKED:
                    curr_oset=validate_linked_tail(e_yy_OSET_TYPE,curr_tail);
                    break;
            }
            if(curr_oset==NULL)
                goto error;

            /* check if first one */
            if(tail_oset==NULL) {
                if(intersecting) 
                    tail_oset=validate_intersected_tail(curr_oset);
                    else 
                        tail_oset=curr_oset;
                } else {  
                    abac_aspect_add_intersecting_aspect(tail_oset,curr_oset);
            }
            curr_tail=curr_tail->next;
        } /* while */

/* XXX collect up type clauses, constraint clauses and 
   generate rule clauses */
        abac_list_t *tmp=generate_pl_clauses(head_oset,tail_oset);
        if(tmp == NULL)
            goto error;

        if(debug) {
            abac_print_aspect_string_with_condition(head_oset,NULL);
            printf("\n");
            abac_print_aspect_string_with_condition(tail_oset,NULL);
            printf("\n");
        }

        _free_yy_expression(headexpr);
        _free_yy_expression(tailexpr);
        abac_rule_head_aspect=head_oset;
        abac_rule_tail_aspect=tail_oset;
        abac_rule_is_oset=1;
        return tmp;

error:
        _free_yy_expression(headexpr);
        _free_yy_expression(tailexpr);
        if(head_oset)
            abac_aspect_free(head_oset);
        if(tail_oset)
            abac_aspect_free(tail_oset);
        return NULL;
}

/*****************************************************************************/
/* build up the abac structure and also create the yap clause
   and insert it into db */
abac_list_t *make_role_statement(abac_yy_expression_t *headexpr,
abac_yy_expression_t *tailexpr) 
{ 
    abac_aspect_t *head_role=NULL;
    abac_aspect_t *tail_role=NULL;

/* build up left side's abac role structure */
    head_role=validate_head(e_yy_ROLE_TYPE,headexpr);
    if(head_role == NULL)
        goto error;

/* build up the right side's abac role structure */
    abac_yy_expression_t *curr_tail = tailexpr;
    int intersecting=(tailexpr->next != NULL)? 1:0;
    abac_aspect_t *curr_role = NULL;
        while (curr_tail) {
            switch(curr_tail->type) {
                case e_yy_EXPR_NAMED:
                    curr_role=validate_named_tail(e_yy_ROLE_TYPE,curr_tail);
                    break;
                case e_yy_EXPR_ROLE:
                    curr_role=validate_some_tail(e_yy_ROLE_TYPE,curr_tail);
                    break;
                case e_yy_EXPR_LINKED:
                    curr_role=validate_linked_tail(e_yy_ROLE_TYPE,curr_tail);
                    break;
            }
            if(curr_role==NULL)
                goto error;

            /* check if first one */
            if(tail_role==NULL) {
                if(intersecting) 
                    tail_role=validate_intersected_tail(curr_role);
                    else 
                        tail_role=curr_role;
                } else {  
                    abac_aspect_add_intersecting_aspect(tail_role,curr_role);
            }
            curr_tail=curr_tail->next;
        } /* while */

/* collect up type clauses, constraint clauses and 
   generate the final rule clauses */
        abac_list_t *tmp=generate_pl_clauses(head_role,tail_role);
        if(tmp == NULL)
            goto error;

        if(debug) {
            abac_print_aspect_string_with_condition(head_role,NULL);
            printf("\n");
            abac_print_aspect_string_with_condition(tail_role,NULL);
            printf("\n");
        }

        _free_yy_expression(headexpr);
        _free_yy_expression(tailexpr);
        abac_rule_head_aspect=head_role;
        abac_rule_tail_aspect=tail_role;
        abac_rule_is_oset=0;
        return tmp;

error:
        _free_yy_expression(headexpr);
        _free_yy_expression(tailexpr);
        if(head_role)
            abac_aspect_free(head_role);
        if(tail_role)
            abac_aspect_free(tail_role);
        return NULL;
}

/************************************************************************/
void abac_yy_init()
{
   abac_yyinit();
   abac_yy_init_rule_id_clauses();
   abac_yy_init_yy_id_certs();
   abac_yy_init_yy_constraints();
}