X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/206f5fd3ccc5de9c9e90ec5d8933cab8fd3bf070..a30eb8d63c2291f6b50b935cecf16139b372f9f2:/src/gras/DataDesc/ddt_parse.c diff --git a/src/gras/DataDesc/ddt_parse.c b/src/gras/DataDesc/ddt_parse.c index 1fd158f305..193c6f125b 100644 --- a/src/gras/DataDesc/ddt_parse.c +++ b/src/gras/DataDesc/ddt_parse.c @@ -1,19 +1,22 @@ /* $Id$ */ -/* DataDesc/ddt_parse.c -- automatic parsing of data structures */ +/* DataDesc/ddt_parse.c -- automatic parsing of data structures */ -/* Authors: Arnaud Legrand, Martin Quinson */ -/* Copyright (C) 2003, 2004 Martin Quinson. */ +/* Copyright (c) 2003 Arnaud Legrand. */ +/* Copyright (c) 2003, 2004 Martin Quinson. */ +/* All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it - under the terms of the license (GNU LGPL) which comes with this package. */ + * under the terms of the license (GNU LGPL) which comes with this package. */ #include /* isdigit */ +#include "xbt/ex.h" #include "gras/DataDesc/datadesc_private.h" #include "gras/DataDesc/ddt_parse.yy.h" -GRAS_LOG_NEW_DEFAULT_SUBCATEGORY(ddt_parse,datadesc); +XBT_LOG_NEW_DEFAULT_SUBCATEGORY(ddt_parse,datadesc, + "Parsing C data structures to build GRAS data description"); typedef struct s_type_modifier{ short is_unsigned; @@ -25,20 +28,20 @@ typedef struct s_type_modifier{ short is_enum; short is_ref; -} type_modifier_t; +} s_type_modifier_t,*type_modifier_t; typedef struct s_field { - gras_datadesc_type_t *type; + gras_datadesc_type_t type; char *type_name; char *name; - type_modifier_t tm; -} identifier_t; + s_type_modifier_t tm; +} s_identifier_t; extern char *gras_ddt_parse_text; /* text being considered in the parser */ /* local functions */ -static void parse_type_modifier(type_modifier_t *type_modifier) { - GRAS_IN; +static void parse_type_modifier(type_modifier_t type_modifier) { + XBT_IN; do { if (gras_ddt_parse_tok_num == GRAS_DDT_PARSE_TOKEN_STAR) { /* This only used when parsing 'short *' since this function returns when int, float, double,... is encountered */ @@ -84,13 +87,13 @@ static void parse_type_modifier(type_modifier_t *type_modifier) { break; } } while(1); - GRAS_OUT; + XBT_OUT; } -static void print_type_modifier(type_modifier_t tm) { +static void print_type_modifier(s_type_modifier_t tm) { int i; - GRAS_IN; + XBT_IN; if (tm.is_unsigned) printf("(unsigned) "); if (tm.is_short) printf("(short) "); for (i=0 ; iname)+20); + XBT_IN; + xbt_dynar_pop(dynar,&former); + array.type_name=(char*)xbt_malloc(strlen(former.type->name)+48); DEBUG2("Array specification (size=%ld, elm='%s'), change pushed type", size,former.type_name); - sprintf(array.type_name,"%s[%ld]",former.type_name,size); + sprintf(array.type_name,"%s%s%s%s[%ld]", + (former.tm.is_unsigned?"u ":""), + (former.tm.is_short?"s ":""), + (former.tm.is_long?"l ":""), + former.type_name, + size); free(former.type_name); - TRY(gras_datadesc_array_fixed(array.type_name, former.type, size, &array.type)); /* redeclaration are ignored */ - + array.type = gras_datadesc_array_fixed(array.type_name, former.type, size); /* redeclaration are ignored */ array.name = former.name; - TRY(gras_dynar_push(dynar,&array)); - GRAS_OUT; - return no_error; + xbt_dynar_push(dynar,&array); + XBT_OUT; } -static gras_error_t change_to_ref(gras_dynar_t *dynar) { - gras_error_t errcode; - identifier_t former,ref; +static void change_to_ref(xbt_dynar_t dynar) { + s_identifier_t former,ref; memset(&ref,0,sizeof(ref)); - GRAS_IN; - gras_dynar_pop(dynar,&former); - ref.type_name=malloc(strlen(former.type->name)+2); + XBT_IN; + xbt_dynar_pop(dynar,&former); + ref.type_name=(char*)xbt_malloc(strlen(former.type->name)+2); DEBUG1("Ref specification (elm='%s'), change pushed type", former.type_name); sprintf(ref.type_name,"%s*",former.type_name); free(former.type_name); - TRY(gras_datadesc_ref(ref.type_name, former.type, &ref.type)); /* redeclaration are ignored */ - + ref.type = gras_datadesc_ref(ref.type_name, former.type); /* redeclaration are ignored */ ref.name = former.name; - TRY(gras_dynar_push(dynar,&ref)); - GRAS_OUT; - return no_error; + xbt_dynar_push(dynar,&ref); + XBT_OUT; } -static gras_error_t change_to_ref_pop_array(gras_dynar_t *dynar) { - gras_error_t errcode; - identifier_t former,ref; +static void change_to_ref_pop_array(xbt_dynar_t dynar) { + s_identifier_t former,ref; memset(&ref,0,sizeof(ref)); - GRAS_IN; - gras_dynar_pop(dynar,&former); - TRY(gras_datadesc_ref_pop_arr(former.type,&ref.type)); /* redeclaration are ignored */ - ref.type_name = strdup(ref.type->name); + XBT_IN; + xbt_dynar_pop(dynar,&former); + ref.type = gras_datadesc_ref_pop_arr(former.type); /* redeclaration are ignored */ + ref.type_name = (char*)strdup(ref.type->name); ref.name = former.name; free(former.type_name); - TRY(gras_dynar_push(dynar,&ref)); - GRAS_OUT; - return no_error; + xbt_dynar_push(dynar,&ref); + XBT_OUT; } -static gras_error_t parse_statement(char *definition, - gras_dynar_t *identifiers, - gras_dynar_t *fields_to_push) { - gras_error_t errcode; +static void parse_statement(char *definition, + xbt_dynar_t identifiers, + xbt_dynar_t fields_to_push) { char buffname[512]; - identifier_t identifier; + s_identifier_t identifier; int expect_id_separator = 0; - GRAS_IN; + XBT_IN; memset(&identifier,0,sizeof(identifier)); gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump(); if(gras_ddt_parse_tok_num == GRAS_DDT_PARSE_TOKEN_RA) { - GRAS_OUT; - return mismatch_error; /* end of the englobing structure or union */ + XBT_OUT; + THROW0(mismatch_error,0,"End of the englobing structure or union"); } - if (GRAS_LOG_ISENABLED(ddt_parse,gras_log_priority_debug)) { + if (XBT_LOG_ISENABLED(ddt_parse,xbt_log_priority_debug)) { int colon_pos; for (colon_pos = gras_ddt_parse_col_pos; definition[colon_pos] != ';'; @@ -219,10 +218,10 @@ static gras_error_t parse_statement(char *definition, strcmp(gras_ddt_parse_text,"int") ) { /* bastard user, they omited "int" ! */ - identifier.type_name=strdup("int"); + identifier.type_name=(char*)strdup("int"); DEBUG0("the base type is 'int', which were omited (you vicious user)"); } else { - identifier.type_name=strdup(gras_ddt_parse_text); + identifier.type_name=(char*)strdup(gras_ddt_parse_text); DEBUG1("the base type is '%s'",identifier.type_name); gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump(); } @@ -236,7 +235,7 @@ static gras_error_t parse_statement(char *definition, } else if (identifier.tm.is_struct) { sprintf(buffname,"struct %s",identifier.type_name); - TRY(gras_datadesc_struct(buffname,&identifier.type)); /* Get created when does not exist */ + identifier.type = gras_datadesc_struct(buffname); /* Get created when does not exist */ } else if (identifier.tm.is_unsigned) { if (!strcmp(identifier.type_name,"int")) { @@ -254,7 +253,7 @@ static gras_error_t parse_statement(char *definition, identifier.type = gras_datadesc_by_name("unsigned char"); } else { /* impossible, gcc parses this shit before us */ - RAISE_IMPOSSIBLE; + THROW_IMPOSSIBLE; } } else if (!strcmp(identifier.type_name, "float")) { @@ -296,7 +295,7 @@ static gras_error_t parse_statement(char *definition, /**** look for the symbols of this type ****/ for(expect_id_separator = 0; - (//(gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_EMPTY) && FIXME + (/*(gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_EMPTY) && FIXME*/ (gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_SEMI_COLON)) ; gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump() ) { @@ -320,7 +319,7 @@ static gras_error_t parse_statement(char *definition, PARSE_ERROR1("Unparsable size of array (found '%c', expected number)",*end); /* replace the previously pushed type to an array of it */ - TRY(change_to_fixed_array(identifiers,size)); + change_to_fixed_array(identifiers,size); /* eat the closing bracket */ gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump(); @@ -335,7 +334,7 @@ static gras_error_t parse_statement(char *definition, } else if (gras_ddt_parse_tok_num == GRAS_DDT_PARSE_TOKEN_WORD) { /* Handle annotation */ - identifier_t array; + s_identifier_t array; char *keyname = NULL; char *keyval = NULL; memset(&array,0,sizeof(array)); @@ -350,7 +349,7 @@ static gras_error_t parse_statement(char *definition, if (gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_WORD) PARSE_ERROR1("Unparsable annotation: Expected key name, got '%s'",gras_ddt_parse_text); - keyname = strdup(gras_ddt_parse_text); + keyname = (char*)strdup(gras_ddt_parse_text); while ( (gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump()) == GRAS_DDT_PARSE_TOKEN_EMPTY ); @@ -359,15 +358,14 @@ static gras_error_t parse_statement(char *definition, while ( (gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump()) == GRAS_DDT_PARSE_TOKEN_EMPTY ); + /* get the value */ + if (gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_WORD) PARSE_ERROR1("Unparsable annotation: Expected key value, got '%s'",gras_ddt_parse_text); - keyval = strdup(gras_ddt_parse_text); + keyval = (char*)strdup(gras_ddt_parse_text); while ( (gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump()) == GRAS_DDT_PARSE_TOKEN_EMPTY ); - if (gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_RP) - PARSE_ERROR1("Unparsable annotation: Expected parenthesis, got '%s'",gras_ddt_parse_text); - /* Done with parsing the annotation. Now deal with it by replacing previously pushed type with the right one */ DEBUG2("Anotation: %s=%s",keyname,keyval); @@ -378,9 +376,8 @@ static gras_error_t parse_statement(char *definition, identifier.tm.is_ref--; if (!strcmp(keyval,"1")) { - TRY(change_to_ref(identifiers)); + change_to_ref(identifiers); free(keyval); - continue; } else { char *p; int fixed = 1; @@ -388,22 +385,42 @@ static gras_error_t parse_statement(char *definition, if (! isdigit(*p) ) fixed = 0; if (fixed) { - TRY(change_to_fixed_array(identifiers,atoi(keyval))); - TRY(change_to_ref(identifiers)); + change_to_fixed_array(identifiers,atoi(keyval)); + change_to_ref(identifiers); free(keyval); - continue; } else { - TRY(change_to_ref_pop_array(identifiers)); - TRY(gras_dynar_push(fields_to_push,&keyval)); - continue; + change_to_ref_pop_array(identifiers); + xbt_dynar_push(fields_to_push,&keyval); } } - RAISE_IMPOSSIBLE; - } else { PARSE_ERROR1("Unknown annotation type: '%s'",keyname); } + + /* Get all the multipliers */ + while (gras_ddt_parse_tok_num == GRAS_DDT_PARSE_TOKEN_STAR) { + + gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump(); + + if (gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_WORD) + PARSE_ERROR1("Unparsable annotation: Expected field name after '*', got '%s'",gras_ddt_parse_text); + + keyval = xbt_malloc(strlen(gras_ddt_parse_text)+2); + sprintf(keyval,"*%s",gras_ddt_parse_text); + + /* ask caller to push field as a multiplier */ + xbt_dynar_push(fields_to_push,&keyval); + + /* skip blanks after this block*/ + while ( (gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump()) + == GRAS_DDT_PARSE_TOKEN_EMPTY ); + } + + if (gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_RP) + PARSE_ERROR1("Unparsable annotation: Expected parenthesis, got '%s'", + gras_ddt_parse_text); + continue; /* End of annotation handling */ @@ -422,11 +439,11 @@ static gras_error_t parse_statement(char *definition, /* found a symbol name. Build the type and push it to dynar */ if(gras_ddt_parse_tok_num == GRAS_DDT_PARSE_TOKEN_WORD) { - identifier.name=strdup(gras_ddt_parse_text); + identifier.name=(char*)strdup(gras_ddt_parse_text); DEBUG1("Found the identifier \"%s\"",identifier.name); - TRY(gras_dynar_push(identifiers, &identifier)); - DEBUG1("Dynar_len=%d",gras_dynar_length(identifiers)); + xbt_dynar_push(identifiers, &identifier); + DEBUG1("Dynar_len=%lu",xbt_dynar_length(identifiers)); expect_id_separator = 1; continue; } @@ -434,42 +451,39 @@ static gras_error_t parse_statement(char *definition, PARSE_ERROR0("Unparasable symbol (maybe a def struct in a def struct or a parser bug ;)"); } - GRAS_OUT; - return no_error; + XBT_OUT; } -static gras_datadesc_type_t *parse_struct(char *definition) { +static gras_datadesc_type_t parse_struct(char *definition) { + + xbt_ex_t e; - gras_error_t errcode; char buffname[32]; static int anonymous_struct=0; - gras_dynar_t *identifiers; - identifier_t field; + xbt_dynar_t identifiers; + s_identifier_t field; int i; + int done; - gras_dynar_t *fields_to_push; + xbt_dynar_t fields_to_push; char *name; - gras_datadesc_type_t *struct_type; + gras_datadesc_type_t struct_type; - GRAS_IN; - errcode=gras_dynar_new(&identifiers,sizeof(identifier_t),NULL); - errcode=gras_dynar_new(&fields_to_push,sizeof(char*),NULL); - if (errcode != no_error) { - GRAS_OUT; - return NULL; - } + XBT_IN; + identifiers = xbt_dynar_new(sizeof(s_identifier_t),NULL); + fields_to_push = xbt_dynar_new(sizeof(char*),NULL); /* Create the struct descriptor */ if (gras_ddt_parse_tok_num == GRAS_DDT_PARSE_TOKEN_WORD) { - TRYFAIL(gras_datadesc_struct(gras_ddt_parse_text,&struct_type)); + struct_type = gras_datadesc_struct(gras_ddt_parse_text); VERB1("Parse the struct '%s'", gras_ddt_parse_text); gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump(); } else { sprintf(buffname,"anonymous struct %d",anonymous_struct++); VERB1("Parse the anonymous struct nb %d", anonymous_struct); - TRYFAIL(gras_datadesc_struct(buffname,&struct_type)); + struct_type = gras_datadesc_struct(buffname); } if (gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_LA) @@ -477,40 +491,50 @@ static gras_datadesc_type_t *parse_struct(char *definition) { gras_ddt_parse_text); /* Parse the identifiers */ - for (errcode=parse_statement(definition,identifiers,fields_to_push); - errcode == no_error ; - errcode=parse_statement(definition,identifiers,fields_to_push)) { + done = 0; + do { + TRY { + parse_statement(definition,identifiers,fields_to_push); + } CATCH(e) { + if (e.category != mismatch_error) + RETHROW; + xbt_ex_free(&e); + done = 1; + } - DEBUG1("This statement contained %d identifiers",gras_dynar_length(identifiers)); + DEBUG1("This statement contained %lu identifiers",xbt_dynar_length(identifiers)); /* append the identifiers we've found */ - gras_dynar_foreach(identifiers,i, field) { + xbt_dynar_foreach(identifiers,i, field) { if (field.tm.is_ref) PARSE_ERROR2("Not enough GRAS_ANNOTATE to deal with all dereferencing levels of %s (%d '*' left)", field.name,field.tm.is_ref); - VERB2("Append field '%s' to %p",field.name, struct_type); - TRYFAIL(gras_datadesc_struct_append(struct_type, field.name, field.type)); + VERB2("Append field '%s' to %p",field.name, (void*)struct_type); + gras_datadesc_struct_append(struct_type, field.name, field.type); free(field.name); free(field.type_name); } - gras_dynar_reset(identifiers); - DEBUG1("struct_type=%p",struct_type); + xbt_dynar_reset(identifiers); + DEBUG1("struct_type=%p",(void*)struct_type); /* Make sure that all fields declaring a size push it into the cbps */ - gras_dynar_foreach(fields_to_push,i, name) { - DEBUG1("struct_type=%p",struct_type); - VERB2("Push field '%s' into size stack of %p", name, struct_type); - gras_datadesc_cb_field_push(struct_type, name); + xbt_dynar_foreach(fields_to_push,i, name) { + DEBUG1("struct_type=%p",(void*)struct_type); + if (name[0] == '*') { + VERB2("Push field '%s' as a multiplier into size stack of %p", + name+1, (void*)struct_type); + gras_datadesc_cb_field_push_multiplier(struct_type, name+1); + } else { + VERB2("Push field '%s' into size stack of %p", + name, (void*)struct_type); + gras_datadesc_cb_field_push(struct_type, name); + } free(name); } - gras_dynar_reset(fields_to_push); - } + xbt_dynar_reset(fields_to_push); + } while (!done); gras_datadesc_struct_close(struct_type); - if (errcode != mismatch_error) { - GRAS_OUT; - return NULL; /* FIXME: LEAK! */ - } /* terminates */ if (gras_ddt_parse_tok_num != GRAS_DDT_PARSE_TOKEN_RA) @@ -519,20 +543,20 @@ static gras_datadesc_type_t *parse_struct(char *definition) { gras_ddt_parse_tok_num = gras_ddt_parse_lex_n_dump(); - gras_dynar_free(identifiers); - gras_dynar_free(fields_to_push); - GRAS_OUT; + xbt_dynar_free(&identifiers); + xbt_dynar_free(&fields_to_push); + XBT_OUT; return struct_type; } -static gras_datadesc_type_t * parse_typedef(char *definition) { +static gras_datadesc_type_t parse_typedef(char *definition) { - type_modifier_t tm; + s_type_modifier_t tm; - gras_datadesc_type_t *struct_desc=NULL; - gras_datadesc_type_t *typedef_desc=NULL; + gras_datadesc_type_t struct_desc=NULL; + gras_datadesc_type_t typedef_desc=NULL; - GRAS_IN; + XBT_IN; memset(&tm,0,sizeof(tm)); /* get the aliased type */ @@ -555,7 +579,7 @@ static gras_datadesc_type_t * parse_typedef(char *definition) { /* (FIXME: should) build the alias */ PARSE_ERROR0("Cannot handle typedef yet"); - GRAS_OUT; + XBT_OUT; return typedef_desc; } @@ -565,21 +589,21 @@ static gras_datadesc_type_t * parse_typedef(char *definition) { * * Create a datadescription from the result of parsing the C type description */ -gras_datadesc_type_t * +gras_datadesc_type_t gras_datadesc_parse(const char *name, const char *C_statement) { - gras_datadesc_type_t * res=NULL; + gras_datadesc_type_t res=NULL; char *definition; int semicolon_count=0; int def_count,C_count; - GRAS_IN; + XBT_IN; /* reput the \n in place for debug */ for (C_count=0; C_statement[C_count] != '\0'; C_count++) if (C_statement[C_count] == ';' || C_statement[C_count] == '{') semicolon_count++; - definition = malloc(C_count + semicolon_count + 1); + definition = (char*)xbt_malloc(C_count + semicolon_count + 1); for (C_count=0,def_count=0; C_statement[C_count] != '\0'; C_count++) { definition[def_count++] = C_statement[C_count]; if (C_statement[C_count] == ';' || C_statement[C_count] == '{') { @@ -605,7 +629,7 @@ gras_datadesc_parse(const char *name, } else { ERROR1("Failed to parse the following symbol (not a struct neither a typedef) :\n%s",definition); - gras_abort(); + xbt_abort(); } gras_ddt_parse_pointer_string_close(); @@ -615,10 +639,9 @@ gras_datadesc_parse(const char *name, if (strcmp(res->name,name)) { ERROR2("In GRAS_DEFINE_TYPE, the provided symbol (here %s) must be the C type name (here %s)", name,res->name); - gras_abort(); + xbt_abort(); } - GRAS_OUT; + gras_ddt_parse_lex_destroy(); + XBT_OUT; return res; } - -