X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ffe8ce65fd9a8e18a0469f26f067c3ea6d5d60d4..e9f0018b823e34405847177b25a85d3facc30ae1:/src/xbt/automaton/automaton.c diff --git a/src/xbt/automaton/automaton.c b/src/xbt/automaton/automaton.c index a961720fde..45934d2311 100644 --- a/src/xbt/automaton/automaton.c +++ b/src/xbt/automaton/automaton.c @@ -1,6 +1,6 @@ /* automaton - representation of büchi automaton */ -/* Copyright (c) 2011-2014. The SimGrid Team. +/* Copyright (c) 2011-2015. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it @@ -33,7 +33,7 @@ xbt_automaton_state_t xbt_automaton_state_new(xbt_automaton_t a, int type, char* xbt_automaton_state_t state = NULL; state = xbt_new0(struct xbt_automaton_state, 1); state->type = type; - state->id = strdup(id); + state->id = xbt_strdup(id); state->in = xbt_dynar_new(sizeof(xbt_automaton_transition_t), xbt_automaton_transition_free_voidp); state->out = xbt_dynar_new(sizeof(xbt_automaton_transition_t), xbt_automaton_transition_free_voidp); xbt_dynar_push(a->states, &state); @@ -85,7 +85,7 @@ xbt_automaton_exp_label_t xbt_automaton_exp_label_new(int type, ...){ } case 3 :{ char* p = va_arg(ap, char*); - label->u.predicat = strdup(p); + label->u.predicat = xbt_strdup(p); break; } } @@ -216,7 +216,7 @@ static int call_simple_function(void* function) xbt_automaton_propositional_symbol_t xbt_automaton_propositional_symbol_new(xbt_automaton_t a, const char* id, int(*fct)(void)){ xbt_automaton_propositional_symbol_t prop_symb = NULL; prop_symb = xbt_new0(struct xbt_automaton_propositional_symbol, 1); - prop_symb->pred = strdup(id); + prop_symb->pred = xbt_strdup(id); prop_symb->callback = call_simple_function; prop_symb->data = fct; prop_symb->free_function = NULL; @@ -228,7 +228,7 @@ XBT_PUBLIC(xbt_automaton_propositional_symbol_t) xbt_automaton_propositional_sym { xbt_automaton_propositional_symbol_t prop_symb = NULL; prop_symb = xbt_new0(struct xbt_automaton_propositional_symbol, 1); - prop_symb->pred = strdup(id); + prop_symb->pred = xbt_strdup(id); prop_symb->callback = NULL; prop_symb->data = value; prop_symb->free_function = NULL; @@ -243,7 +243,7 @@ XBT_PUBLIC(xbt_automaton_propositional_symbol_t) xbt_automaton_propositional_sym { xbt_automaton_propositional_symbol_t prop_symb = NULL; prop_symb = xbt_new0(struct xbt_automaton_propositional_symbol, 1); - prop_symb->pred = strdup(id); + prop_symb->pred = xbt_strdup(id); prop_symb->callback = callback; prop_symb->data = data; prop_symb->free_function = free_function;