--- rpl/src/evaluation.c 2010/05/16 19:36:19 1.15 +++ rpl/src/evaluation.c 2010/05/19 09:22:33 1.16 @@ -829,8 +829,9 @@ evaluation(struct_processus *s_etat_proc free(message); - while((*(*s_etat_processus).l_base_pile_systeme) - .clause != 'R') + drapeau_then = d_faux; + + while(drapeau_then == d_faux) { l_registre_atome = l_element_courant; l_element_courant = @@ -992,66 +993,28 @@ evaluation(struct_processus *s_etat_proc } } } + else if (TEST(instruction_then)) + { + if ((*(*s_etat_processus) + .l_base_pile_systeme) + .clause == 'R') + { + (*(*s_etat_processus) + .l_base_pile_systeme) + .clause = 'X'; + instruction_then( + s_etat_processus); + drapeau_then = d_vrai; + } + } } } } + (*s_etat_processus).expression_courante = + l_element_courant; (*s_etat_processus).instruction_courante = instruction_courante; - drapeau_then = d_faux; - - do - { - l_registre_atome = l_element_courant; - - if (l_element_courant == NULL) - { - /* - * La fin de l'expression est atteinte, - * le sequenceur reprend la main. - */ - - if (presence_egalite == d_vrai) - { - liberation(s_etat_processus, - s_objet_evalue); - } - - (*s_etat_processus) - .mode_execution_programme = - registre_mode_execution_programme; - (*s_etat_processus).instruction_courante = - instruction_courante; - return(d_absence_erreur); - } - - if ((*(*l_element_courant).donnee).type == FCT) - { - (*s_etat_processus) - .instruction_courante = - (*((struct_fonction *) - (*(*l_element_courant).donnee) - .objet)).nom_fonction; - fonction = (*((struct_fonction *) - (*(*l_element_courant).donnee) - .objet)).fonction; - (*s_etat_processus).instruction_courante = - instruction_courante; - - drapeau_then = TEST(instruction_then) - ? d_vrai : d_faux; - } - - l_element_courant = (*l_element_courant) - .suivant; - } while(drapeau_then == d_faux); - - (*s_etat_processus).expression_courante = - l_registre_atome; - - (*(*s_etat_processus).l_base_pile_systeme) - .clause = 'X'; - instruction_then(s_etat_processus); (*s_etat_processus).exception = d_ep; (*s_etat_processus).erreur_execution = d_ex;