[BACK]Return to evaluation.c CVS log [TXT] [DIR] Up to [local] / rpl / src

Diff for /rpl/src/evaluation.c between versions 1.14 and 1.31

version 1.14, 2010/04/21 13:45:44 version 1.31, 2011/01/03 12:08:03
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.15    RPL/2 (R) version 4.0.20
   Copyright (C) 1989-2010 Dr. BERTRAND Joël    Copyright (C) 1989-2011 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 20 Line 20
 */  */
   
   
 #include "rpl.conv.h"  #include "rpl-conv.h"
   
 #define TEST(instruction) (fonction == instruction)  #define TEST(instruction) (fonction == instruction)
 #define vers_niveau_inferieur instruction_vers_niveau_inferieur  #define vers_niveau_inferieur instruction_vers_niveau_inferieur
Line 436  evaluation(struct_processus *s_etat_proc Line 436  evaluation(struct_processus *s_etat_proc
                     }                      }
                 }                  }
   
                   autorisation_empilement_programme = (*s_etat_processus)
                           .autorisation_empilement_programme;
   
                   empilement_pile_systeme(s_etat_processus);
   
                   if ((*s_etat_processus).erreur_systeme != d_es)
                   {
                       if (presence_variable_partagee == d_vrai)
                       {
                           liberation(s_etat_processus, s_copie_variable_partagee);
                       }
   
                       (*s_etat_processus).instruction_courante =
                               instruction_courante;
                       return(d_erreur);
                   }
   
                   (*(*s_etat_processus).l_base_pile_systeme)
                           .retour_definition = 'Y';
                   (*(*s_etat_processus).l_base_pile_systeme)
                           .origine_routine_evaluation = 'Y';
   
                   (*s_etat_processus).mode_execution_programme = 'Y';
                   (*s_etat_processus).autorisation_empilement_programme = 'N';
   
                   (*(*s_etat_processus).l_base_pile_systeme)
                           .niveau_courant = (*s_etat_processus)
                           .niveau_courant;
   
                   empilement_pile_systeme(s_etat_processus);
   
                 if (presence_variable_partagee == d_faux)                  if (presence_variable_partagee == d_faux)
                 {                  {
                     if (evaluation(s_etat_processus, (*s_etat_processus)                      if (evaluation(s_etat_processus, (*s_etat_processus)
Line 488  evaluation(struct_processus *s_etat_proc Line 519  evaluation(struct_processus *s_etat_proc
                     profilage(s_etat_processus, NULL);                      profilage(s_etat_processus, NULL);
                 }                  }
   
                   depilement_pile_systeme(s_etat_processus);
                   depilement_pile_systeme(s_etat_processus);
   
                   if ((*s_etat_processus).erreur_systeme != d_es)
                   {
                       return(d_erreur);
                   }
   
                 (*s_etat_processus).evaluation_expression_compilee =                  (*s_etat_processus).evaluation_expression_compilee =
                         registre_evaluation_expression_compilee;                          registre_evaluation_expression_compilee;
                   (*s_etat_processus).autorisation_empilement_programme =
                           autorisation_empilement_programme;
             }              }
             else if ((*s_etat_processus).erreur_execution != d_ex_nom_implicite)              else if ((*s_etat_processus).erreur_execution != d_ex_nom_implicite)
             {              {
Line 730  evaluation(struct_processus *s_etat_proc Line 771  evaluation(struct_processus *s_etat_proc
         registre_retour_definition = (*(*s_etat_processus).l_base_pile_systeme)          registre_retour_definition = (*(*s_etat_processus).l_base_pile_systeme)
                 .retour_definition;                  .retour_definition;
         (*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'N';          (*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'N';
           (*(*s_etat_processus).l_base_pile_systeme).pointeur_adresse_retour =
                   s_objet;
   
         l_element_courant = (struct_liste_chainee *) (*s_objet).objet;          l_element_courant = (struct_liste_chainee *) (*s_objet).objet;
         autorisation_empilement_programme = (*s_etat_processus)          autorisation_empilement_programme = (*s_etat_processus)
Line 829  evaluation(struct_processus *s_etat_proc Line 872  evaluation(struct_processus *s_etat_proc
   
                             free(message);                              free(message);
   
                             while((*(*s_etat_processus).l_base_pile_systeme)                              drapeau_then = d_faux;
                                     .clause != 'R')  
                               while(drapeau_then == d_faux)
                             {                              {
                                 l_registre_atome = l_element_courant;                                  l_registre_atome = l_element_courant;
                                 l_element_courant =                                  l_element_courant =
Line 992  evaluation(struct_processus *s_etat_proc Line 1036  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 =                              (*s_etat_processus).instruction_courante =
                                     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).exception = d_ep;
                             (*s_etat_processus).erreur_execution = d_ex;                              (*s_etat_processus).erreur_execution = d_ex;
Line 1157  evaluation(struct_processus *s_etat_proc Line 1163  evaluation(struct_processus *s_etat_proc
                                             {                                              {
                                                 depilement_pile_systeme(                                                  depilement_pile_systeme(
                                                         s_etat_processus);                                                          s_etat_processus);
                                               }
   
                                                 if ((*s_etat_processus)                                              if ((*s_etat_processus)
                                                         .erreur_systeme != d_es)                                                      .erreur_systeme != d_es)
                                               {
                                                   if (presence_egalite ==
                                                           d_vrai)
                                                 {                                                  {
                                                     if (presence_egalite ==                                                      liberation(
                                                             d_vrai)                                                          s_etat_processus,
                                                     {                                                          s_objet_evalue);
                                                         liberation(  
                                                             s_etat_processus,  
                                                             s_objet_evalue);  
                                                     }  
   
                                                     (*s_etat_processus)  
                                                         .instruction_courante =  
                                                         instruction_courante;  
                                                     return(d_erreur);  
                                                 }                                                  }
   
                                                   (*s_etat_processus)
                                                       .instruction_courante =
                                                       instruction_courante;
                                                   return(d_erreur);
                                             }                                              }
                                         }                                          }
                                     }                                      }
Line 1305  evaluation(struct_processus *s_etat_proc Line 1311  evaluation(struct_processus *s_etat_proc
                                                         instruction_courante;                                                          instruction_courante;
                                                     return(d_erreur);                                                      return(d_erreur);
                                                 }                                                  }
   
                                                   if ((*(*s_etat_processus)
                                                           .l_base_pile_systeme)
                                                           .retour_definition
                                                           == 'Y')
                                                   {
                                                       break;
                                                   }
                                             }                                              }
                                             else                                              else
                                             {                                              {
Line 4561  evaluation(struct_processus *s_etat_proc Line 4575  evaluation(struct_processus *s_etat_proc
   
                     if (presence_fonction == d_vrai)                      if (presence_fonction == d_vrai)
                     {                      {
                         autorisation_empilement_programme = (*s_etat_processus)                          if ((*((struct_nom *) (*(*l_element_courant).donnee)
                                 .autorisation_empilement_programme;                                  .objet)).symbole == d_vrai)
                         registre_position_courante = (*s_etat_processus)  
                                 .position_courante;  
   
                         empilement_pile_systeme(s_etat_processus);  
   
                         if ((*s_etat_processus).erreur_systeme != d_es)  
                         {                          {
                             if (presence_variable_partagee == d_vrai)                              // L'objet apparaît comme un symbole dans
                               // l'expression en cours d'évaluation. On se
                               // contente de l'empiler.
   
                               if ((s_sous_objet = copie_objet(s_etat_processus,
                                       (*l_element_courant).donnee, 'P')) == NULL)
                             {                              {
                                 liberation(s_etat_processus,                                  (*s_etat_processus).instruction_courante =
                                         s_copie_variable_partagee);                                          instruction_courante;
   
                                   (*s_etat_processus).erreur_systeme =
                                           d_es_allocation_memoire;
                                   return(d_erreur);
                             }                              }
   
                             if (presence_egalite == d_vrai)                              if (empilement(s_etat_processus,
                                       &((*s_etat_processus).l_base_pile),
                                       s_sous_objet) == d_erreur)
                             {                              {
                                 liberation(s_etat_processus, s_objet_evalue);                                  (*s_etat_processus).instruction_courante =
                                           instruction_courante;
                                   liberation(s_etat_processus, s_sous_objet);
                                   return(d_erreur);
                             }                              }
   
                             (*s_etat_processus).instruction_courante =  
                                     instruction_courante;  
                             return(d_erreur);  
                         }  
   
                         (*(*s_etat_processus).l_base_pile_systeme)  
                                 .retour_definition = 'Y';  
                         (*(*s_etat_processus).l_base_pile_systeme)  
                                 .origine_routine_evaluation = 'Y';  
   
                         (*s_etat_processus).mode_execution_programme = 'Y';  
                         (*s_etat_processus).autorisation_empilement_programme  
                                 = 'N';  
   
                         (*(*s_etat_processus).l_base_pile_systeme)  
                                 .niveau_courant = (*s_etat_processus)  
                                 .niveau_courant;  
   
                         if (presence_variable_partagee == d_faux)  
                         {  
                             (*s_etat_processus).position_courante =  
                                     (*((unsigned long *)  
                                     ((*((*s_etat_processus).s_liste_variables  
                                     [(*s_etat_processus)  
                                     .position_variable_courante]  
                                     .objet)).objet)));  
                         }                          }
                         else                          else
                         {                          {
                             (*s_etat_processus).position_courante =                              autorisation_empilement_programme =
                                     (*((unsigned long *)                                      (*s_etat_processus)
                                     (*s_copie_variable_partagee).objet));                                      .autorisation_empilement_programme;
                             liberation(s_etat_processus,                              registre_position_courante = (*s_etat_processus)
                                     s_copie_variable_partagee);                                      .position_courante;
                         }  
   
                         if ((*s_etat_processus).profilage == d_vrai)                              empilement_pile_systeme(s_etat_processus);
                         {  
                             profilage(s_etat_processus,  
                                     (*s_etat_processus).s_liste_variables  
                                     [(*s_etat_processus)  
                                     .position_variable_courante].nom);  
   
                             if ((*s_etat_processus).erreur_systeme != d_es)                              if ((*s_etat_processus).erreur_systeme != d_es)
                             {                              {
                                   if (presence_variable_partagee == d_vrai)
                                   {
                                       liberation(s_etat_processus,
                                               s_copie_variable_partagee);
                                   }
   
                                   if (presence_egalite == d_vrai)
                                   {
                                       liberation(s_etat_processus,
                                               s_objet_evalue);
                                   }
   
                                   (*s_etat_processus).instruction_courante =
                                           instruction_courante;
                                 return(d_erreur);                                  return(d_erreur);
                             }                              }
                         }  
   
                         registre_evaluation_forcee =                              (*(*s_etat_processus).l_base_pile_systeme)
                                 (*s_etat_processus).evaluation_forcee;                                      .retour_definition = 'Y';
                               (*(*s_etat_processus).l_base_pile_systeme)
                                       .origine_routine_evaluation = 'Y';
   
                         if (type_evaluation == 'N')                              (*s_etat_processus).mode_execution_programme = 'Y';
                         {                              (*s_etat_processus)
                             (*s_etat_processus).evaluation_forcee = 'Y';                                      .autorisation_empilement_programme = 'N';
                         }  
   
                         if (sequenceur(s_etat_processus) == d_erreur)                              (*(*s_etat_processus).l_base_pile_systeme)
                         {                                      .niveau_courant = (*s_etat_processus)
                             (*s_etat_processus).evaluation_forcee =                                      .niveau_courant;
                                 registre_evaluation_forcee;  
   
                             if (presence_egalite == d_vrai)                              if (presence_variable_partagee == d_faux)
                             {                              {
                                 liberation(s_etat_processus, s_objet_evalue);                                  (*s_etat_processus).position_courante =
                                           (*((unsigned long *)
                                           ((*((*s_etat_processus)
                                           .s_liste_variables[(*s_etat_processus)
                                           .position_variable_courante]
                                           .objet)).objet)));
                               }
                               else
                               {
                                   (*s_etat_processus).position_courante =
                                           (*((unsigned long *)
                                           (*s_copie_variable_partagee).objet));
                                   liberation(s_etat_processus,
                                           s_copie_variable_partagee);
                             }                              }
   
                               if ((*s_etat_processus).profilage == d_vrai)
                               {
                                   profilage(s_etat_processus,
                                           (*s_etat_processus).s_liste_variables
                                           [(*s_etat_processus)
                                           .position_variable_courante].nom);
   
                                   if ((*s_etat_processus).erreur_systeme != d_es)
                                   {
                                       return(d_erreur);
                                   }
                               }
   
                               registre_evaluation_forcee =
                                       (*s_etat_processus).evaluation_forcee;
   
                               if (type_evaluation == 'N')
                               {
                                   (*s_etat_processus).evaluation_forcee = 'Y';
                               }
   
                               if (sequenceur(s_etat_processus) == d_erreur)
                               {
                                   (*s_etat_processus).evaluation_forcee =
                                       registre_evaluation_forcee;
   
                                   if (presence_egalite == d_vrai)
                                   {
                                       liberation(s_etat_processus,
                                               s_objet_evalue);
                                   }
   
                                   (*s_etat_processus).instruction_courante =
                                           instruction_courante;
                                   (*s_etat_processus).mode_execution_programme =
                                           registre_mode_execution_programme;
                                   return(d_erreur);
                               }
   
                               (*s_etat_processus).evaluation_forcee =
                                   registre_evaluation_forcee;
                             (*s_etat_processus).instruction_courante =                              (*s_etat_processus).instruction_courante =
                                     instruction_courante;                                      instruction_courante;
                             (*s_etat_processus).mode_execution_programme =                              (*s_etat_processus).mode_execution_programme = 'N';
                                     registre_mode_execution_programme;  
                             return(d_erreur);  
                         }  
   
                         (*s_etat_processus).evaluation_forcee =                              depilement_pile_systeme(s_etat_processus);
                             registre_evaluation_forcee;  
                         (*s_etat_processus).instruction_courante =  
                                 instruction_courante;  
                         (*s_etat_processus).mode_execution_programme = 'N';  
   
                         depilement_pile_systeme(s_etat_processus);  
   
                         if ((*s_etat_processus).erreur_systeme != d_es)                              if ((*s_etat_processus).erreur_systeme != d_es)
                         {  
                             if (presence_egalite == d_vrai)  
                             {                              {
                                 liberation(s_etat_processus, s_objet_evalue);                                  if (presence_egalite == d_vrai)
                                   {
                                       liberation(s_etat_processus,
                                               s_objet_evalue);
                                   }
   
                                   return(d_erreur);
                             }                              }
   
                             return(d_erreur);                              (*s_etat_processus).retour_routine_evaluation = 'N';
                               (*s_etat_processus).position_courante =
                                       registre_position_courante;
                               (*s_etat_processus)
                                       .autorisation_empilement_programme =
                                       autorisation_empilement_programme;
                         }                          }
   
                         (*s_etat_processus).retour_routine_evaluation = 'N';  
                         (*s_etat_processus).position_courante =  
                                 registre_position_courante;  
                         (*s_etat_processus).autorisation_empilement_programme =  
                                 autorisation_empilement_programme;  
                     }                      }
                     else if (((type_evaluation == 'N') || ((*((struct_nom *)                      else if (((type_evaluation == 'N') || ((*((struct_nom *)
                             (*(*l_element_courant).donnee).objet)).symbole ==                              (*(*l_element_courant).donnee).objet)).symbole ==
Line 5422  evaluation(struct_processus *s_etat_proc Line 5472  evaluation(struct_processus *s_etat_proc
         (*s_etat_processus).instruction_courante =           (*s_etat_processus).instruction_courante = 
                 (*((struct_fonction *) (*s_objet).objet)).nom_fonction;                  (*((struct_fonction *) (*s_objet).objet)).nom_fonction;
   
           registre_type_evaluation = (test_cfsf(s_etat_processus, 35) == d_vrai)
                   ? 'E' : 'N';
           cf(s_etat_processus, 35);
   
         analyse(s_etat_processus, (*((struct_fonction *)          analyse(s_etat_processus, (*((struct_fonction *)
                 (*s_objet).objet)).fonction);                  (*s_objet).objet)).fonction);
   
         (*s_etat_processus).instruction_courante = instruction_courante;          (*s_etat_processus).instruction_courante = instruction_courante;
   
           if (registre_type_evaluation == 'E')
           {
               sf(s_etat_processus, 35);
           }
           else
           {
               cf(s_etat_processus, 35);
           }
   
         if (((*s_etat_processus).erreur_systeme != d_es) ||          if (((*s_etat_processus).erreur_systeme != d_es) ||
                 ((*s_etat_processus).erreur_execution != d_ex) ||                  ((*s_etat_processus).erreur_execution != d_ex) ||
                 ((*s_etat_processus).exception != d_ep))                  ((*s_etat_processus).exception != d_ep))
         {          {
             (*s_etat_processus).instruction_courante = instruction_courante;  
             (*s_etat_processus).mode_execution_programme =              (*s_etat_processus).mode_execution_programme =
                     registre_mode_execution_programme;                      registre_mode_execution_programme;
             return(d_erreur);              return(d_erreur);
Line 5439  evaluation(struct_processus *s_etat_proc Line 5500  evaluation(struct_processus *s_etat_proc
     }      }
     else      else
     {      {
           (*s_etat_processus).instruction_courante = instruction_courante;
   
         if ((s_objet_tampon = copie_objet(s_etat_processus, s_objet, 'P'))          if ((s_objet_tampon = copie_objet(s_etat_processus, s_objet, 'P'))
                 == NULL)                  == NULL)
         {          {
             (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;              (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
             (*s_etat_processus).instruction_courante = instruction_courante;  
             return(d_erreur);              return(d_erreur);
         }          }
   
         if (empilement(s_etat_processus, &((*s_etat_processus)          if (empilement(s_etat_processus, &((*s_etat_processus)
                 .l_base_pile), s_objet_tampon) == d_erreur)                  .l_base_pile), s_objet_tampon) == d_erreur)
         {          {
             (*s_etat_processus).instruction_courante = instruction_courante;  
             return(d_erreur);              return(d_erreur);
         }          }
     }      }
Removed from v.1.14  
changed lines
  Added in v.1.31

CVSweb interface <joel.bertrand@systella.fr>