--- rpl/src/instructions_s4.c 2011/01/03 12:08:08 1.16 +++ rpl/src/instructions_s4.c 2013/06/21 14:15:56 1.45 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.0.20 - Copyright (C) 1989-2011 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.15 + Copyright (C) 1989-2013 Dr. BERTRAND Joël This file is part of RPL/2. @@ -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; @@ -912,8 +847,8 @@ instruction_stws(struct_processus *s_eta return; } - (*((logical8 *) (*s_objet_binaire).objet)) = (*((integer8 *) - (*s_objet_argument).objet)) - 1; + (*((logical8 *) (*s_objet_binaire).objet)) = (logical8) ((*((integer8 *) + (*s_objet_argument).objet)) - 1); i43 = test_cfsf(s_etat_processus, 43); i44 = test_cfsf(s_etat_processus, 44); @@ -947,15 +882,15 @@ instruction_stws(struct_processus *s_eta { if (valeur_binaire[i] == '0') { - cf(s_etat_processus, j++); + cf(s_etat_processus, (unsigned char) j++); } else { - sf(s_etat_processus, j++); + sf(s_etat_processus, (unsigned char) j++); } } - for(; j <= 42; cf(s_etat_processus, j++)); + for(; j <= 42; cf(s_etat_processus, (unsigned char) j++)); free(valeur_binaire); } @@ -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;