X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b09dbd8eb952547e64c212a4b38d3f5dd1dace12..f1d339f0c67f9151c4e898de4b9cc457288162a0:/src/xbt/automaton/automaton.c diff --git a/src/xbt/automaton/automaton.c b/src/xbt/automaton/automaton.c index 9e8044c4d3..8be963d7ff 100644 --- a/src/xbt/automaton/automaton.c +++ b/src/xbt/automaton/automaton.c @@ -20,7 +20,7 @@ struct xbt_automaton_propositional_symbol{ void (*free_function)(void*); }; -xbt_automaton_t xbt_automaton_new(){ +xbt_automaton_t xbt_automaton_new(void){ xbt_automaton_t automaton = NULL; automaton = xbt_new0(struct xbt_automaton, 1); automaton->states = xbt_dynar_new(sizeof(xbt_automaton_state_t), xbt_automaton_state_free_voidp); @@ -60,35 +60,34 @@ xbt_automaton_exp_label_t xbt_automaton_exp_label_new(int type, ...){ xbt_automaton_exp_label_t label = NULL; label = xbt_new0(struct xbt_automaton_exp_label, 1); label->type = type; - + xbt_automaton_exp_label_t left; + xbt_automaton_exp_label_t right; + xbt_automaton_exp_label_t exp_not; + char *p; va_list ap; va_start(ap, type); switch(type){ - case 0 : { - xbt_automaton_exp_label_t left = va_arg(ap, xbt_automaton_exp_label_t); - xbt_automaton_exp_label_t right = va_arg(ap, xbt_automaton_exp_label_t); + case 0 : + left = va_arg(ap, xbt_automaton_exp_label_t); + right = va_arg(ap, xbt_automaton_exp_label_t); label->u.or_and.left_exp = left; label->u.or_and.right_exp = right; break; - } - case 1 : { - xbt_automaton_exp_label_t left = va_arg(ap, xbt_automaton_exp_label_t); - xbt_automaton_exp_label_t right = va_arg(ap, xbt_automaton_exp_label_t); + case 1 : + left = va_arg(ap, xbt_automaton_exp_label_t); + right = va_arg(ap, xbt_automaton_exp_label_t); label->u.or_and.left_exp = left; label->u.or_and.right_exp = right; break; - } - case 2 : { - xbt_automaton_exp_label_t exp_not = va_arg(ap, xbt_automaton_exp_label_t); + case 2 : + exp_not = va_arg(ap, xbt_automaton_exp_label_t); label->u.exp_not = exp_not; break; - } - case 3 :{ - char* p = va_arg(ap, char*); + case 3 : + p = va_arg(ap, char*); label->u.predicat = xbt_strdup(p); break; } - } va_end(ap); return label; }