--- rpl/src/instructions_s4.c 2011/04/21 16:00:59 1.19 +++ rpl/src/instructions_s4.c 2011/06/10 11:35:13 1.20 @@ -38,10 +38,6 @@ void instruction_steq(struct_processus *s_etat_processus) { - logical1 presence_variable; - - long i; - struct_objet *s_objet; struct_variable s_variable; @@ -93,83 +89,21 @@ instruction_steq(struct_processus *s_eta return; } - if (recherche_variable(s_etat_processus, "EQ") == d_vrai) + if (recherche_variable_globale(s_etat_processus, "EQ") == d_vrai) { - /* - * La variable préexiste. Il faut tester si celle-ci est globale - * (de niveau 1). - */ - - i = (*s_etat_processus).position_variable_courante; - presence_variable = d_faux; - - while(i >= 0) - { - if ((strcmp((*s_etat_processus).s_liste_variables[i].nom, "EQ") - == 0) && ((*s_etat_processus).s_liste_variables[i] - .niveau == 1)) - { - presence_variable = d_vrai; - break; - } - i--; - } - - (*s_etat_processus).position_variable_courante = i; - - if (presence_variable == d_vrai) + if ((*(*s_etat_processus).pointeur_variable_courante) + .variable_verrouillee == d_vrai) { - if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) - .position_variable_courante].variable_verrouillee == - d_vrai) - { - liberation(s_etat_processus, s_objet); - - (*s_etat_processus).erreur_execution = - d_ex_variable_verrouillee; - return; - } - - if ((*s_etat_processus).s_liste_variables[i].objet == NULL) - { - liberation(s_etat_processus, s_objet); + liberation(s_etat_processus, s_objet); - (*s_etat_processus).erreur_execution = d_ex_variable_partagee; - return; - } - - liberation(s_etat_processus, - (*s_etat_processus).s_liste_variables[(*s_etat_processus) - .position_variable_courante].objet); - - (*s_etat_processus).s_liste_variables[(*s_etat_processus) - .position_variable_courante].objet = s_objet; + (*s_etat_processus).erreur_execution = + d_ex_variable_verrouillee; + return; } - else - { - if ((s_variable.nom = malloc(3 * sizeof(unsigned char))) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } - - strcpy(s_variable.nom, "EQ"); - s_variable.niveau = 1; - - /* - * Le niveau 0 correspond aux définitions. Les variables - * commencent à 1 car elles sont toujours incluses dans - * une définition. - */ - s_variable.objet = s_objet; - - if (creation_variable(s_etat_processus, &s_variable, 'V', 'P') - == d_erreur) - { - return; - } - } + liberation(s_etat_processus, + (*(*s_etat_processus).pointeur_variable_courante).objet); + (*(*s_etat_processus).pointeur_variable_courante).objet = s_objet; } else { @@ -177,6 +111,9 @@ instruction_steq(struct_processus *s_eta * La variable n'existe pas et on crée une variable globale. */ + (*s_etat_processus).erreur_systeme = d_es; + (*s_etat_processus).erreur_execution = d_ex; + if ((s_variable.nom = malloc(3 * sizeof(unsigned char))) == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; @@ -199,8 +136,6 @@ instruction_steq(struct_processus *s_eta { return; } - - (*s_etat_processus).erreur_systeme = d_es; } return; @@ -1584,10 +1519,6 @@ instruction_star_s(struct_processus *s_e void instruction_stos(struct_processus *s_etat_processus) { - logical1 presence_variable; - - long i; - struct_objet *s_objet; struct_variable s_variable; @@ -1637,83 +1568,21 @@ instruction_stos(struct_processus *s_eta return; } - if (recherche_variable(s_etat_processus, ds_sdat) == d_vrai) + if (recherche_variable_globale(s_etat_processus, ds_sdat) == d_vrai) { - /* - * La variable préexiste. Il faut tester si celle-ci est globale - * (de niveau 1). - */ - - i = (*s_etat_processus).position_variable_courante; - presence_variable = d_faux; - - while(i >= 0) - { - if ((strcmp((*s_etat_processus).s_liste_variables[i].nom, ds_sdat) - == 0) && ((*s_etat_processus).s_liste_variables[i] - .niveau == 1)) - { - presence_variable = d_vrai; - break; - } - i--; - } - - (*s_etat_processus).position_variable_courante = i; - - if (presence_variable == d_vrai) + if ((*(*s_etat_processus).pointeur_variable_courante) + .variable_verrouillee == d_vrai) { - if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) - .position_variable_courante].variable_verrouillee == - d_vrai) - { - liberation(s_etat_processus, s_objet); - - (*s_etat_processus).erreur_execution = - d_ex_variable_verrouillee; - return; - } - - if ((*s_etat_processus).s_liste_variables[i].objet == NULL) - { - liberation(s_etat_processus, s_objet); + liberation(s_etat_processus, s_objet); - (*s_etat_processus).erreur_execution = d_ex_variable_partagee; - return; - } - - liberation(s_etat_processus, - (*s_etat_processus).s_liste_variables[(*s_etat_processus) - .position_variable_courante].objet); - - (*s_etat_processus).s_liste_variables[(*s_etat_processus) - .position_variable_courante].objet = s_objet; + (*s_etat_processus).erreur_execution = + d_ex_variable_verrouillee; + return; } - else - { - if ((s_variable.nom = malloc(6 * sizeof(unsigned char))) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } - - strcpy(s_variable.nom, ds_sdat); - s_variable.niveau = 1; - - /* - * Le niveau 0 correspond aux définitions. Les variables - * commencent à 1 car elles sont toujours incluses dans - * une définition. - */ - s_variable.objet = s_objet; - - if (creation_variable(s_etat_processus, &s_variable, 'V', 'P') - == d_erreur) - { - return; - } - } + liberation(s_etat_processus, + (*(*s_etat_processus).pointeur_variable_courante).objet); + (*(*s_etat_processus).pointeur_variable_courante).objet = s_objet; } else { @@ -1721,6 +1590,9 @@ instruction_stos(struct_processus *s_eta * La variable n'existe pas et on crée une variable globale. */ + (*s_etat_processus).erreur_systeme = d_es; + (*s_etat_processus).erreur_execution = d_ex; + if ((s_variable.nom = malloc(6 * sizeof(unsigned char))) == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; @@ -1743,8 +1615,6 @@ instruction_stos(struct_processus *s_eta { return; } - - (*s_etat_processus).erreur_systeme = d_es; } return;