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

Diff for /rpl/src/instructions_e2.c between versions 1.38 and 1.39

version 1.38, 2012/08/22 10:47:15 version 1.39, 2012/09/29 17:53:02
Line 1214  instruction_exit(struct_processus *s_eta Line 1214  instruction_exit(struct_processus *s_eta
         printf("        (expression 2)\n");          printf("        (expression 2)\n");
         printf("    NEXT/STEP\n\n");          printf("    NEXT/STEP\n\n");
   
           printf("    FORALL\n");
           printf("        (expression 1)\n");
           printf("        EXIT\n");
           printf("        (expression 2)\n");
           printf("    NEXT\n\n");
   
         printf("    DO\n");          printf("    DO\n");
         printf("        (expression 1)\n");          printf("        (expression 1)\n");
         printf("        EXIT\n");          printf("        EXIT\n");
Line 1253  instruction_exit(struct_processus *s_eta Line 1259  instruction_exit(struct_processus *s_eta
     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;
             drapeau_boucle_definie = d_vrai;              drapeau_boucle_definie = d_vrai;
Line 1297  instruction_exit(struct_processus *s_eta Line 1304  instruction_exit(struct_processus *s_eta
                     return;                      return;
                 }                  }
   
                 if (recherche_variable(s_etat_processus,                  (*s_etat_processus).erreur_systeme = d_es;
                         (*s_etat_processus).instruction_courante) == d_vrai)                  instruction_majuscule = conversion_majuscule(
                           (*s_etat_processus).instruction_courante);
   
                   if (instruction_majuscule == NULL)
                 {                  {
                     instruction_majuscule = conversion_majuscule("");                      return;
                   }
   
                     if ((*(*s_etat_processus).pointeur_variable_courante)                  /*
                             .objet == NULL)                   * Traitement de la pile système par les
                    * 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, "CRITICAL") == 0)
                           || (strcmp(instruction_majuscule, "CASE") == 0)
                           || (strcmp(instruction_majuscule, "<<") == 0))
                   {
                       if (strcmp(instruction_majuscule, "<<") == 0)
                     {                      {
                         if (pthread_mutex_lock(&((*(*s_etat_processus)                          analyse(s_etat_processus, NULL);
                                 .s_liste_variables_partagees).mutex)) != 0)  
                         {  
                             (*s_etat_processus).erreur_systeme =  
                                     d_es_processus;  
                             return;  
                         }  
   
                         if (recherche_variable_partagee(s_etat_processus,  
                                 (*(*s_etat_processus)  
                                 .pointeur_variable_courante).nom,  
                                 (*(*s_etat_processus)  
                                 .pointeur_variable_courante).variable_partagee,  
                                 (*(*s_etat_processus)  
                                 .pointeur_variable_courante).origine) == d_vrai)  
                         {  
                             if ((*(*(*s_etat_processus)  
                                     .pointeur_variable_courante).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)  
                                         .pointeur_variable_courante).objet)  
                                         .objet)));  
   
                                 (*s_etat_processus)  
                                         .autorisation_empilement_programme  
                                         = 'N';  
                             }  
                         }  
                         else  
                         {  
                             (*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;  
                         }  
                     }                      }
                     else                      else
                     {                      {
                         if ((*(*(*s_etat_processus).pointeur_variable_courante)                          if ((strcmp(instruction_majuscule, "FOR") == 0) ||
                                 .objet).type == ADR)                                  (strcmp(instruction_majuscule, "START")
                                   == 0))
                         {                          {
                             empilement_pile_systeme(s_etat_processus);                              niveau++;
                           }
                             if ((*s_etat_processus).erreur_systeme != d_es)  
                             {  
                                 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 =                          empilement_pile_systeme(s_etat_processus);
                                     (*((unsigned long *)  
                                     ((*(*(*s_etat_processus)  
                                     .pointeur_variable_courante).objet)  
                                     .objet)));  
   
                             (*s_etat_processus)                          if ((*s_etat_processus).erreur_systeme != d_es)
                                     .autorisation_empilement_programme                          {
                                     = '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)  
                     {                      {
                         return;                          analyse(s_etat_processus, NULL);
                     }  
   
                     /*                          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);                              drapeau_presence_fin_boucle = d_faux;
                         }                              free((*s_etat_processus).instruction_courante);
                         else  
                         {  
                             if ((strcmp(instruction_majuscule, "FOR") == 0) ||  
                                     (strcmp(instruction_majuscule, "START")  
                                     == 0))  
                             {  
                                 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 1518  instruction_exit(struct_processus *s_eta Line 1431  instruction_exit(struct_processus *s_eta
                     return;                      return;
                 }                  }
   
                 if (recherche_variable(s_etat_processus,                  instruction_majuscule = conversion_majuscule(
                         (*s_etat_processus).instruction_courante) == d_vrai)                          (*s_etat_processus).instruction_courante);
   
                   if (instruction_majuscule == NULL)
                 {                  {
                     instruction_majuscule = conversion_majuscule("");                      return;
                   }
   
                     if ((*(*s_etat_processus).pointeur_variable_courante)                  /*
                             .objet == NULL)                   * Traitement de la pile système par les
                    * 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, "CRITICAL") == 0)
                           || (strcmp(instruction_majuscule, "CASE") == 0)
                           || (strcmp(instruction_majuscule, "<<") == 0))
                   {
                       if (strcmp(instruction_majuscule, "<<") == 0)
                     {                      {
                         if (pthread_mutex_lock(&((*(*s_etat_processus)                          analyse(s_etat_processus, NULL);
                                 .s_liste_variables_partagees).mutex)) != 0)  
                         {  
                             (*s_etat_processus).erreur_systeme =  
                                     d_es_processus;  
                             return;  
                         }  
   
                         if (recherche_variable_partagee(s_etat_processus,  
                                 (*(*s_etat_processus)  
                                 .pointeur_variable_courante).nom,  
                                 (*(*s_etat_processus)  
                                 .pointeur_variable_courante).variable_partagee,  
                                 (*(*s_etat_processus)  
                                 .pointeur_variable_courante).origine) == d_vrai)  
                         {  
                             if ((*(*(*s_etat_processus)  
                                     .pointeur_variable_courante).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)  
                                         .pointeur_variable_courante).objet)  
                                         .objet)));  
   
                                 (*s_etat_processus)  
                                         .autorisation_empilement_programme  
                                         = 'N';  
                             }  
                         }  
                         else  
                         {  
                             (*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;  
                         }  
                     }                      }
                     else                      else
                     {                      {
                         if ((*(*(*s_etat_processus).pointeur_variable_courante)                          if ((strcmp(instruction_majuscule, "DO") == 0) ||
                                 .objet).type == ADR)                                  (strcmp(instruction_majuscule, "WHILE")
                                   == 0))
                         {                          {
                             empilement_pile_systeme(s_etat_processus);                              niveau++;
                           }
                             if ((*s_etat_processus).erreur_systeme != d_es)  
                             {  
                                 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 =                          empilement_pile_systeme(s_etat_processus);
                                     (*((unsigned long *)  
                                     ((*(*(*s_etat_processus)  
                                     .pointeur_variable_courante).objet)  
                                     .objet)));  
   
                             (*s_etat_processus)                          if ((*s_etat_processus).erreur_systeme != d_es)
                                     .autorisation_empilement_programme                          {
                                     = '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)  
                     {                      {
                         return;                          analyse(s_etat_processus, NULL);
                     }  
   
                     /*                          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);                              drapeau_presence_fin_boucle = d_faux;
                         }                              free((*s_etat_processus).instruction_courante);
                         else  
                         {  
                             if ((strcmp(instruction_majuscule, "DO") == 0) ||  
                                     (strcmp(instruction_majuscule, "WHILE")  
                                     == 0))  
                             {  
                                 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, "END") == 0)
                         {                          {
                             analyse(s_etat_processus, NULL);                              if (((*(*s_etat_processus).l_base_pile_systeme)
                                       .type_cloture == 'D') ||
                             if ((*s_etat_processus).retour_routine_evaluation                                      ((*(*s_etat_processus)
                                     == 'Y')                                      .l_base_pile_systeme).type_cloture
                                       == 'W'))
                             {                              {
                                 drapeau_presence_fin_boucle = d_faux;                                  niveau--;
                                 free((*s_etat_processus).instruction_courante);  
   
                                 break;  
                             }                              }
   
                               depilement_pile_systeme(s_etat_processus);
                         }                          }
                         else                          else
                         {                          {
                             if (strcmp(instruction_majuscule, "END") == 0)                              if ((*s_etat_processus).l_base_pile_systeme == NULL)
                             {                              {
                                 if (((*(*s_etat_processus).l_base_pile_systeme)                                  (*s_etat_processus).erreur_systeme =
                                         .type_cloture == 'D') ||                                          d_es_processus;
                                         ((*(*s_etat_processus)                                  return;
                                         .l_base_pile_systeme).type_cloture                              }
                                         == 'W'))  
                               if ((*(*s_etat_processus).l_base_pile_systeme)
                                       .type_cloture == 'Q')
                               {
                                   if (pthread_mutex_unlock(
                                           &mutex_sections_critiques) != 0)
                                 {                                  {
                                     niveau--;                                      (*s_etat_processus).erreur_systeme =
                                               d_es_processus;
                                       return;
                                 }                                  }
   
                                 depilement_pile_systeme(s_etat_processus);                                  (*s_etat_processus).sections_critiques--;
                             }  
                             else  
                             {  
                                 depilement_pile_systeme(s_etat_processus);  
                             }                              }
   
                             if ((*s_etat_processus).erreur_systeme != d_es)                              depilement_pile_systeme(s_etat_processus);
                             {                          }
                                 return;  
                             }                          if ((*s_etat_processus).erreur_systeme != d_es)
                           {
                               return;
                         }                          }
                     }                      }
                 }                  }
Line 1777  instruction_exit(struct_processus *s_eta Line 1595  instruction_exit(struct_processus *s_eta
                         (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 1835  instruction_exit(struct_processus *s_eta Line 1654  instruction_exit(struct_processus *s_eta
                         }                          }
                         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 1877  instruction_exit(struct_processus *s_eta Line 1717  instruction_exit(struct_processus *s_eta
                         (fonction == instruction_for) ||                          (fonction == instruction_for) ||
                         (fonction == instruction_start) ||                          (fonction == instruction_start) ||
                         (fonction == instruction_select) ||                          (fonction == instruction_select) ||
                           (fonction == instruction_critical) ||
                         (fonction == instruction_case) ||                          (fonction == instruction_case) ||
                         (fonction == instruction_vers_niveau_superieur))                          (fonction == instruction_vers_niveau_superieur))
                 {                  {
Line 1933  instruction_exit(struct_processus *s_eta Line 1774  instruction_exit(struct_processus *s_eta
                         }                          }
                         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);
                         }                          }
   
Removed from v.1.38  
changed lines
  Added in v.1.39

CVSweb interface <joel.bertrand@systella.fr>