Diff for /rpl/src/instructions_c2.c between versions 1.15 and 1.38

version 1.15, 2011/01/03 12:08:04 version 1.38, 2012/09/29 17:55:40
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.20    RPL/2 (R) version 4.1.10
   Copyright (C) 1989-2011 Dr. BERTRAND Joël    Copyright (C) 1989-2012 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 74  instruction_cycle(struct_processus *s_et Line 74  instruction_cycle(struct_processus *s_et
         printf("        ...\n");          printf("        ...\n");
         printf("    NEXT/STEP\n\n");          printf("    NEXT/STEP\n\n");
   
           printf("    FORALL (variable)\n");
           printf("        ...\n");
           printf("        CYCLE\n");
           printf("        ...\n");
           printf("    NEXT\n\n");
   
         printf("    START\n");          printf("    START\n");
         printf("        ...\n");          printf("        ...\n");
         printf("        CYCLE\n");          printf("        CYCLE\n");
Line 98  instruction_cycle(struct_processus *s_et Line 104  instruction_cycle(struct_processus *s_et
     while((l_element_pile_systeme != NULL) && (presence_boucle == d_faux))      while((l_element_pile_systeme != NULL) && (presence_boucle == d_faux))
     {      {
         if (((*l_element_pile_systeme).type_cloture == 'S') ||          if (((*l_element_pile_systeme).type_cloture == 'S') ||
                 ((*l_element_pile_systeme).type_cloture == 'F'))                  ((*l_element_pile_systeme).type_cloture == 'F') ||
                   ((*l_element_pile_systeme).type_cloture == 'A'))
         {          {
             presence_boucle = d_vrai;              presence_boucle = d_vrai;
         }          }
Line 132  instruction_cycle(struct_processus *s_et Line 139  instruction_cycle(struct_processus *s_et
                 return;                  return;
             }              }
   
             if (recherche_variable(s_etat_processus,              instruction_majuscule = conversion_majuscule(
                     (*s_etat_processus).instruction_courante) == d_vrai)                      (*s_etat_processus).instruction_courante);
             {  
                 instruction_majuscule = conversion_majuscule("");  
   
                 if (((*s_etat_processus).s_liste_variables  
                         [(*s_etat_processus).position_variable_courante]).objet  
                         == NULL)  
                 {  
                     // Variable partagée  
   
                     if (pthread_mutex_lock(&((*(*s_etat_processus)  
                             .s_liste_variables_partagees).mutex)) != 0)  
                     {  
                         (*s_etat_processus).erreur_systeme = d_es_processus;  
                         return;  
                     }  
   
                     if (recherche_variable_partagee(s_etat_processus,              if (instruction_majuscule == NULL)
                             ((*s_etat_processus).s_liste_variables              {
                             [(*s_etat_processus).position_variable_courante])                  (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                             .nom, ((*s_etat_processus).s_liste_variables                  return;
                             [(*s_etat_processus).position_variable_courante])              }
                             .variable_partagee, 'E') == d_vrai)  
                     {  
                         if ((*((*(*s_etat_processus)  
                                 .s_liste_variables_partagees).table  
                                 [(*(*s_etat_processus)  
                                 .s_liste_variables_partagees)  
                                 .position_variable])  
                                 .objet).type == ADR)  
                         {  
                             empilement_pile_systeme(s_etat_processus);  
   
                             if ((*s_etat_processus).erreur_systeme != d_es)  
                             {  
                                 if (pthread_mutex_unlock(&((*(*s_etat_processus)  
                                         .s_liste_variables_partagees).mutex))  
                                         != 0)  
                                 {  
                                     (*s_etat_processus).erreur_systeme =  
                                             d_es_processus;  
                                     return;  
                                 }  
   
                                 return;  
                             }  
   
                             (*(*s_etat_processus).l_base_pile_systeme)  
                                     .adresse_retour =  
                                     (*s_etat_processus).position_courante;  
   
                             (*(*s_etat_processus).l_base_pile_systeme)  
                                     .retour_definition = 'Y';  
                             (*(*s_etat_processus).l_base_pile_systeme)  
                                     .niveau_courant =  
                                     (*s_etat_processus).niveau_courant;  
   
                             (*s_etat_processus).position_courante =  
                                     (*((unsigned long *) ((*((*s_etat_processus)  
                                     .s_liste_variables[(*s_etat_processus)  
                                     .position_variable_courante].objet))  
                                     .objet)));  
   
                             (*s_etat_processus)              /*
                                     .autorisation_empilement_programme = 'N';               * Traitement de la pile système par les
                         }               * différentes instructions.
                     }               */
   
                     if (pthread_mutex_unlock(&((*(*s_etat_processus)              if ((strcmp(instruction_majuscule, "IF") == 0) ||
                             .s_liste_variables_partagees).mutex)) != 0)                      (strcmp(instruction_majuscule, "IFERR") == 0) ||
                     {                      (strcmp(instruction_majuscule, "DO") == 0) ||
                         (*s_etat_processus).erreur_systeme = d_es_processus;                      (strcmp(instruction_majuscule, "WHILE") == 0) ||
                         return;                      (strcmp(instruction_majuscule, "FOR") == 0) ||
                     }                      (strcmp(instruction_majuscule, "START") == 0) ||
                       (strcmp(instruction_majuscule, "SELECT") == 0)
                       || (strcmp(instruction_majuscule, "CRITICAL") == 0)
                       || (strcmp(instruction_majuscule, "CASE") == 0)
                       || (strcmp(instruction_majuscule, "<<") == 0))
               {
                   if (strcmp(instruction_majuscule, "<<") == 0)
                   {
                       analyse(s_etat_processus, NULL);
                 }                  }
                 else                  else
                 {                  {
                     // Variable privée                      if ((strcmp(instruction_majuscule, "FOR") == 0) ||
                               (strcmp(instruction_majuscule, "START") == 0))
                     if ((*((*s_etat_processus).s_liste_variables  
                             [(*s_etat_processus).position_variable_courante])  
                             .objet).type == ADR)  
                     {                      {
                         empilement_pile_systeme(s_etat_processus);                          niveau++;
                       }
                         if ((*s_etat_processus).erreur_systeme != d_es)  
                         {  
                             return;  
                         }  
   
                         (*(*s_etat_processus).l_base_pile_systeme)                      empilement_pile_systeme(s_etat_processus);
                                 .adresse_retour =  
                                 (*s_etat_processus).position_courante;  
   
                         (*(*s_etat_processus).l_base_pile_systeme)  
                                 .retour_definition = 'Y';  
                         (*(*s_etat_processus).l_base_pile_systeme)  
                                 .niveau_courant =  
                                 (*s_etat_processus).niveau_courant;  
   
                         (*s_etat_processus).position_courante =  
                                 (*((unsigned long *) ((*((*s_etat_processus)  
                                 .s_liste_variables[(*s_etat_processus)  
                                 .position_variable_courante].objet)).objet)));  
   
                         (*s_etat_processus).autorisation_empilement_programme                      if ((*s_etat_processus).erreur_systeme != d_es)
                                 = 'N';                      {
                           return;
                     }                      }
                 }                  }
             }              }
             else              else if ((strcmp(instruction_majuscule, "END") == 0) ||
                       (strcmp(instruction_majuscule, "NEXT") == 0) ||
                       (strcmp(instruction_majuscule, "STEP") == 0) ||
                       (strcmp(instruction_majuscule, ">>") == 0))
             {              {
                 (*s_etat_processus).erreur_systeme = d_es;                  if (strcmp(instruction_majuscule, ">>") == 0)
                 instruction_majuscule = conversion_majuscule(  
                         (*s_etat_processus).instruction_courante);  
   
                 if (instruction_majuscule == NULL)  
                 {                  {
                     (*s_etat_processus).erreur_systeme =                      analyse(s_etat_processus, NULL);
                             d_es_allocation_memoire;  
                     return;  
                 }  
   
                 /*                      if ((*s_etat_processus).retour_routine_evaluation
                  * Traitement de la pile système par les                              == 'Y')
                  * différentes instructions.  
                  */  
   
                 if ((strcmp(instruction_majuscule, "IF") == 0) ||  
                         (strcmp(instruction_majuscule, "IFERR") == 0) ||  
                         (strcmp(instruction_majuscule, "DO") == 0) ||  
                         (strcmp(instruction_majuscule, "WHILE") == 0) ||  
                         (strcmp(instruction_majuscule, "FOR") == 0) ||  
                         (strcmp(instruction_majuscule, "START") == 0) ||  
                         (strcmp(instruction_majuscule, "SELECT") == 0)  
                         || (strcmp(instruction_majuscule, "CASE") == 0)  
                         || (strcmp(instruction_majuscule, "<<") == 0))  
                 {  
                     if (strcmp(instruction_majuscule, "<<") == 0)  
                     {  
                         analyse(s_etat_processus, NULL);  
                     }  
                     else  
                     {                      {
                         if ((strcmp(instruction_majuscule, "FOR") == 0) ||                          drapeau_presence_fin_boucle = d_faux;
                                 (strcmp(instruction_majuscule, "START") == 0))                          free((*s_etat_processus).instruction_courante);
                         {  
                             niveau++;  
                         }  
   
                         empilement_pile_systeme(s_etat_processus);  
   
                         if ((*s_etat_processus).erreur_systeme != d_es)                          break;
                         {  
                             return;  
                         }  
                     }                      }
                 }                  }
                 else if ((strcmp(instruction_majuscule, "END") == 0) ||                  else
                         (strcmp(instruction_majuscule, "NEXT") == 0) ||  
                         (strcmp(instruction_majuscule, "STEP") == 0) ||  
                         (strcmp(instruction_majuscule, ">>") == 0))  
                 {                  {
                     if (strcmp(instruction_majuscule, ">>") == 0)                      if ((strcmp(instruction_majuscule, "NEXT") == 0) ||
                               (strcmp(instruction_majuscule, "STEP") == 0))
                     {                      {
                         analyse(s_etat_processus, NULL);                          niveau--;
   
                         if ((*s_etat_processus).retour_routine_evaluation                          if (niveau != 0)
                                 == 'Y')  
                         {                          {
                             drapeau_presence_fin_boucle = d_faux;                              depilement_pile_systeme(s_etat_processus);
                             free((*s_etat_processus).instruction_courante);  
   
                             break;  
                         }                          }
                     }                      }
                     else                      else
                     {                      {
                         if ((strcmp(instruction_majuscule, "NEXT") == 0) ||                          if ((*s_etat_processus).l_base_pile_systeme == NULL)
                                 (strcmp(instruction_majuscule, "STEP") == 0))  
                         {                          {
                             niveau--;                              (*s_etat_processus).erreur_systeme =
                                       d_es_processus;
                               return;
                           }
   
                             if (niveau != 0)                          if ((*(*s_etat_processus).l_base_pile_systeme)
                                   .type_cloture == 'Q')
                           {
                               if (pthread_mutex_unlock(
                                       &mutex_sections_critiques) != 0)
                             {                              {
                                 depilement_pile_systeme(s_etat_processus);                                  (*s_etat_processus).erreur_systeme =
                                           d_es_processus;
                                   return;
                             }                              }
                         }  
                         else  
                         {  
                             depilement_pile_systeme(s_etat_processus);  
                         }  
   
                         if ((*s_etat_processus).erreur_systeme != d_es)                              (*s_etat_processus).sections_critiques--;
                         {  
                             return;  
                         }                          }
   
                           depilement_pile_systeme(s_etat_processus);
                       }
   
                       if ((*s_etat_processus).erreur_systeme != d_es)
                       {
                           return;
                     }                      }
                 }                  }
             }              }
Line 388  instruction_cycle(struct_processus *s_et Line 301  instruction_cycle(struct_processus *s_et
                     (fonction == instruction_start) ||                      (fonction == instruction_start) ||
                     (fonction == instruction_select) ||                      (fonction == instruction_select) ||
                     (fonction == instruction_case) ||                      (fonction == instruction_case) ||
                       (fonction == instruction_critical) ||
                     (fonction == instruction_vers_niveau_superieur))                      (fonction == instruction_vers_niveau_superieur))
             {              {
                 if (fonction == instruction_vers_niveau_superieur)                  if (fonction == instruction_vers_niveau_superieur)
Line 440  instruction_cycle(struct_processus *s_et Line 354  instruction_cycle(struct_processus *s_et
                     }                      }
                     else                      else
                     {                      {
                           if ((*s_etat_processus).l_base_pile_systeme == NULL)
                           {
                               (*s_etat_processus).erreur_systeme =
                                       d_es_processus;
                               return;
                           }
   
                           if ((*(*s_etat_processus).l_base_pile_systeme)
                                   .type_cloture == 'Q')
                           {
                               if (pthread_mutex_unlock(&mutex_sections_critiques)
                                       != 0)
                               {
                                   (*s_etat_processus).erreur_systeme =
                                           d_es_processus;
                                   return;
                               }
   
                               (*s_etat_processus).sections_critiques--;
                           }   
   
                         depilement_pile_systeme(s_etat_processus);                          depilement_pile_systeme(s_etat_processus);
                     }                      }
   
Line 603  instruction_con(struct_processus *s_etat Line 538  instruction_con(struct_processus *s_etat
   
         liberation(s_etat_processus, s_objet_2);          liberation(s_etat_processus, s_objet_2);
   
         if ((*s_etat_processus).s_liste_variables[(*s_etat_processus)          if ((*(*s_etat_processus).pointeur_variable_courante)
                 .position_variable_courante].variable_verrouillee == d_vrai)                  .variable_verrouillee == d_vrai)
         {          {
             liberation(s_etat_processus, s_objet_1);              liberation(s_etat_processus, s_objet_1);
   
Line 612  instruction_con(struct_processus *s_etat Line 547  instruction_con(struct_processus *s_etat
             return;              return;
         }          }
   
         if ((*s_etat_processus).s_liste_variables          if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL)
                 [(*s_etat_processus).position_variable_courante].objet == NULL)  
         {          {
             // Variable partagée              // Variable partagée
   
Line 625  instruction_con(struct_processus *s_etat Line 559  instruction_con(struct_processus *s_etat
             }              }
   
             if (recherche_variable_partagee(s_etat_processus,              if (recherche_variable_partagee(s_etat_processus,
                     (*s_etat_processus).s_liste_variables                      (*(*s_etat_processus).pointeur_variable_courante).nom,
                     [(*s_etat_processus).position_variable_courante].nom,                      (*(*s_etat_processus).pointeur_variable_courante)
                     (*s_etat_processus).s_liste_variables                      .variable_partagee, (*(*s_etat_processus)
                     [(*s_etat_processus).position_variable_courante]                      .pointeur_variable_courante).origine)
                     .variable_partagee, (*s_etat_processus).s_liste_variables  
                     [(*s_etat_processus).position_variable_courante].origine)  
                     == d_faux)                      == d_faux)
             {              {
                 (*s_etat_processus).erreur_systeme = d_es;                  (*s_etat_processus).erreur_systeme = d_es;
Line 665  instruction_con(struct_processus *s_etat Line 597  instruction_con(struct_processus *s_etat
         {          {
             // Variable privée              // Variable privée
   
             s_objet_2 = (*s_etat_processus).s_liste_variables              s_objet_2 = (*(*s_etat_processus).pointeur_variable_courante).objet;
                     [(*s_etat_processus).position_variable_courante].objet;  
         }          }
     }      }
     else      else
Line 1056  instruction_con(struct_processus *s_etat Line 987  instruction_con(struct_processus *s_etat
     }      }
     else      else
     {      {
         (*s_etat_processus).s_liste_variables          (*(*s_etat_processus).pointeur_variable_courante).objet =
                 [(*s_etat_processus).position_variable_courante].objet =  
                 s_objet_resultat;                  s_objet_resultat;
     }      }
   

Removed from v.1.15  
changed lines
  Added in v.1.38


CVSweb interface <joel.bertrand@systella.fr>