Home | History | Annotate | Download | only in src

Lines Matching defs:obj_str

610 	char *obj_str = ((struct cil_symtab_datum*)rule->obj)->name;
615 fprintf(file_arr[ALLOWS], "type_transition %s %s : %s %s;\n", src_str, tgt_str, obj_str, result_str);
618 fprintf(file_arr[ALLOWS], "type_change %s %s : %s %s\n;", src_str, tgt_str, obj_str, result_str);
621 fprintf(file_arr[ALLOWS], "type_member %s %s : %s %s;\n", src_str, tgt_str, obj_str, result_str);
635 char *obj_str = ((struct cil_symtab_datum*)nametypetrans->obj)->name;
638 fprintf(file_arr[file_index], "type_transition %s %s : %s %s %s;\n", src_str, tgt_str, obj_str, result_str, nametypetrans->name_str);
1035 char *obj_str = ((struct cil_symtab_datum*)roletrans->obj)->name;
1038 fprintf(file_arr[ALLOWS], "role_transition %s %s:%s %s;\n", src_str, tgt_str, obj_str, result_str);