93   for (j = 0; j < level; j++)
 
   97     fprintf(file, 
"+-- osl_extbody_t\n");
 
   99     fprintf(file, 
"+-- NULL extbody\n");
 
  103     for(j = 0; j <= level; j++)
 
  104       fprintf(file, 
"|\t");
 
  107     fprintf(file, 
"nb_access: %d\n", ebody->
nb_access);
 
  112       for(j = 0; j <= level; j++)
 
  113         fprintf(file, 
"|\t");
 
  115       fprintf(file, 
"start: %d, length: %d\n",
 
  124   for (j = 0; j <= level; j++)
 
  125     fprintf(file, 
"|\t");
 
  151   int high_water_mark = OSL_MAX_STRING;
 
  152   char * 
string = NULL, * body_string = NULL;
 
  153   char buffer[OSL_MAX_STRING];
 
  156     OSL_malloc(
string, 
char *, high_water_mark * 
sizeof(
char));
 
  159     sprintf(buffer, 
"# Number of accesses\n");
 
  162     sprintf(buffer, 
"%d\n", ebody->
nb_access);
 
  166       sprintf(buffer, 
"# Access coordinates (start/length)\n");
 
  170       sprintf(buffer, 
"%d %d\n", ebody->
start[i], ebody->
length[i]);
 
  207     OSL_debug(
"no extbody optional tag");
 
  216   OSL_malloc(ebody->
start, 
int *, nb_access * 
sizeof(
int));
 
  217   OSL_malloc(ebody->
length, 
int *, nb_access * 
sizeof(
int));
 
  221   for (k = 0; k < nb_access; k++) {
 
  325   if (((e1 == NULL) && (e2 != NULL)) || ((e1 != NULL) && (e2 == NULL))) {
 
  326     OSL_info(
"extbody are not the same");
 
  332     OSL_info(
"extbody are not the same");
 
  348       OSL_info(
"extbody are not the same");
 
  366   OSL_strdup(interface->URI, OSL_URI_EXTBODY);
 
osl_extbody_p osl_extbody_clone(osl_extbody_p ebody)
void *(* osl_clone_f)(void *)
void osl_extbody_dump(FILE *file, osl_extbody_p ebody)
char * osl_body_sprint(osl_body_p body)
osl_interface_p osl_interface_malloc()
void *(* osl_sread_f)(char **)
void osl_util_safe_strcat(char **dst, char *src, int *hwm)
osl_extbody_p osl_extbody_malloc()
void(* osl_idump_f)(FILE *, void *, int)
void osl_extbody_free(osl_extbody_p ebody)
osl_body_p osl_body_sread(char **input)
void osl_body_idump(FILE *file, osl_body_p body, int level)
int osl_util_read_int(FILE *file, char **str)
char *(* osl_sprint_f)(void *)
char * osl_extbody_sprint(osl_extbody_p ebody)
void osl_extbody_idump(FILE *file, osl_extbody_p ebody, int level)
osl_extbody_p osl_extbody_sread(char **input)
osl_interface_p osl_extbody_interface()
int osl_body_equal(osl_body_p b1, osl_body_p b2)
int osl_extbody_equal(osl_extbody_p e1, osl_extbody_p e2)
int(* osl_equal_f)(void *, void *)
void osl_extbody_add(osl_extbody_p ebody, int start, int length)
osl_body_p osl_body_clone(osl_body_p body)
void osl_body_free(osl_body_p body)
void(* osl_free_f)(void *)