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

Diff for /rpl/src/instructions_c2.c between versions 1.16 and 1.45

version 1.16, 2011/03/06 16:44:10 version 1.45, 2012/12/19 09:58:24
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.21    RPL/2 (R) version 4.1.12
   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);
   
               if (instruction_majuscule == NULL)
             {              {
                 instruction_majuscule = conversion_majuscule("");                  (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return;
               }
   
                 if (((*s_etat_processus).s_liste_variables              /*
                         [(*s_etat_processus).position_variable_courante]).objet               * Traitement de la pile système par les
                         == NULL)               * 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, "FORALL") == 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)
                 {                  {
                     // Variable partagée                      analyse(s_etat_processus, NULL);
   
                     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,  
                             ((*s_etat_processus).s_liste_variables  
                             [(*s_etat_processus).position_variable_courante])  
                             .nom, ((*s_etat_processus).s_liste_variables  
                             [(*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';  
                         }  
                     }  
   
                     if (pthread_mutex_unlock(&((*(*s_etat_processus)  
                             .s_liste_variables_partagees).mutex)) != 0)  
                     {  
                         (*s_etat_processus).erreur_systeme = d_es_processus;  
                         return;  
                     }  
                 }                  }
                 else                  else
                 {                  {
                     // Variable privée                      if ((strcmp(instruction_majuscule, "FOR") == 0) ||
                               (strcmp(instruction_majuscule, "FORALL") == 0) ||
                     if ((*((*s_etat_processus).s_liste_variables                              (strcmp(instruction_majuscule, "START") == 0))
                             [(*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);                          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);                          break;
   
                         if ((*s_etat_processus).erreur_systeme != d_es)  
                         {  
                             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 385  instruction_cycle(struct_processus *s_et Line 300  instruction_cycle(struct_processus *s_et
                     (fonction == instruction_do) ||                      (fonction == instruction_do) ||
                     (fonction == instruction_while) ||                      (fonction == instruction_while) ||
                     (fonction == instruction_for) ||                      (fonction == instruction_for) ||
                       (fonction == instruction_forall) ||
                     (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 357  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 499  instruction_con(struct_processus *s_etat Line 437  instruction_con(struct_processus *s_etat
     struct_objet                    *s_objet_resultat;      struct_objet                    *s_objet_resultat;
   
     logical1                        argument_nom;      logical1                        argument_nom;
       logical1                        variable_partagee;
   
     unsigned long                   i;      unsigned long                   i;
     unsigned long                   j;      unsigned long                   j;
Line 603  instruction_con(struct_processus *s_etat Line 542  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 551  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
   
             if (pthread_mutex_lock(&((*(*s_etat_processus)              variable_partagee = d_vrai;
                     .s_liste_variables_partagees).mutex)) != 0)  
             {  
                 (*s_etat_processus).erreur_systeme = d_es_processus;  
                 return;  
             }  
   
             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                      == NULL)
                     [(*s_etat_processus).position_variable_courante].origine)  
                     == d_faux)  
             {              {
                 (*s_etat_processus).erreur_systeme = d_es;                  (*s_etat_processus).erreur_systeme = d_es;
                 (*s_etat_processus).erreur_execution =                  (*s_etat_processus).erreur_execution =
                         d_ex_variable_non_definie;                          d_ex_variable_non_definie;
   
                 if (pthread_mutex_unlock(&((*(*s_etat_processus)  
                         .s_liste_variables_partagees).mutex)) != 0)  
                 {  
                     (*s_etat_processus).erreur_systeme = d_es_processus;  
                     return;  
                 }  
   
                 liberation(s_etat_processus, s_objet_1);                  liberation(s_etat_processus, s_objet_1);
                 liberation(s_etat_processus, s_objet_2);                  liberation(s_etat_processus, s_objet_2);
   
                 return;                  return;
             }              }
   
             s_objet_2 = (*(*s_etat_processus).s_liste_variables_partagees)              s_objet_2 = (*(*s_etat_processus)
                     .table[(*(*s_etat_processus).s_liste_variables_partagees)                      .pointeur_variable_partagee_courante).objet;
                     .position_variable].objet;  
   
             if (pthread_mutex_unlock(&((*(*s_etat_processus)  
                     .s_liste_variables_partagees).mutex)) != 0)  
             {  
                 (*s_etat_processus).erreur_systeme = d_es_processus;  
                 return;  
             }  
         }          }
         else          else
         {          {
             // 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;              variable_partagee = d_faux;
         }          }
     }      }
     else      else
     {      {
         argument_nom = d_faux;          argument_nom = d_faux;
           variable_partagee = d_faux;
     }      }
           
 /*  /*
Line 699  instruction_con(struct_processus *s_etat Line 616  instruction_con(struct_processus *s_etat
             {              {
                 liberation(s_etat_processus, s_objet_2);                  liberation(s_etat_processus, s_objet_2);
             }              }
               else
               {
                   if (variable_partagee == d_vrai)
                   {
                       if (pthread_mutex_unlock(&((*(*s_etat_processus)
                               .pointeur_variable_partagee_courante).mutex)) != 0)
                       {
                           (*s_etat_processus).erreur_systeme = d_es_processus;
                           return;
                       }
                   }
               }
   
             (*s_etat_processus).erreur_execution = d_ex_dimensions_invalides;              (*s_etat_processus).erreur_execution = d_ex_dimensions_invalides;
             return;              return;
Line 719  instruction_con(struct_processus *s_etat Line 648  instruction_con(struct_processus *s_etat
                 {                  {
                     liberation(s_etat_processus, s_objet_2);                      liberation(s_etat_processus, s_objet_2);
                 }                  }
                   else
                   {
                       if (variable_partagee == d_vrai)
                       {
                           if (pthread_mutex_unlock(&((*(*s_etat_processus)
                                   .pointeur_variable_partagee_courante).mutex))
                                   != 0)
                           {
                               (*s_etat_processus).erreur_systeme = d_es_processus;
                               return;
                           }
                       }
                   }
   
                 (*s_etat_processus).erreur_execution =                  (*s_etat_processus).erreur_execution =
                         d_ex_erreur_type_argument;                          d_ex_erreur_type_argument;
Line 733  instruction_con(struct_processus *s_etat Line 675  instruction_con(struct_processus *s_etat
                 {                  {
                     liberation(s_etat_processus, s_objet_2);                      liberation(s_etat_processus, s_objet_2);
                 }                  }
                   else
                   {
                       if (variable_partagee == d_vrai)
                       {
                           if (pthread_mutex_unlock(&((*(*s_etat_processus)
                                   .pointeur_variable_partagee_courante).mutex))
                                   != 0)
                           {
                               (*s_etat_processus).erreur_systeme = d_es_processus;
                               return;
                           }
                       }
                   }
   
                 (*s_etat_processus).erreur_execution = d_ex_argument_invalide;                  (*s_etat_processus).erreur_execution = d_ex_argument_invalide;
                 return;                  return;
Line 790  instruction_con(struct_processus *s_etat Line 745  instruction_con(struct_processus *s_etat
         {          {
             liberation(s_etat_processus, s_objet_2);              liberation(s_etat_processus, s_objet_2);
         }          }
           else
           {
               if (variable_partagee == d_vrai)
               {
                   if (pthread_mutex_unlock(&((*(*s_etat_processus)
                           .pointeur_variable_partagee_courante).mutex)) != 0)
                   {
                       (*s_etat_processus).erreur_systeme = d_es_processus;
                       return;
                   }
               }
           }
   
         liberation(s_etat_processus, s_objet_1);          liberation(s_etat_processus, s_objet_1);
   
Line 811  instruction_con(struct_processus *s_etat Line 778  instruction_con(struct_processus *s_etat
         {          {
             liberation(s_etat_processus, s_objet_2);              liberation(s_etat_processus, s_objet_2);
         }          }
           else
           {
               if (variable_partagee == d_vrai)
               {
                   if (pthread_mutex_unlock(&((*(*s_etat_processus)
                           .pointeur_variable_partagee_courante).mutex)) != 0)
                   {
                       (*s_etat_processus).erreur_systeme = d_es_processus;
                       return;
                   }
               }
           }
   
         liberation(s_etat_processus, s_objet_1);          liberation(s_etat_processus, s_objet_1);
   
Line 1056  instruction_con(struct_processus *s_etat Line 1035  instruction_con(struct_processus *s_etat
     }      }
     else      else
     {      {
         (*s_etat_processus).s_liste_variables          if (variable_partagee == d_vrai)
                 [(*s_etat_processus).position_variable_courante].objet =          {
                 s_objet_resultat;              (*(*s_etat_processus).pointeur_variable_partagee_courante).objet =
                       s_objet_resultat;
   
               if (pthread_mutex_unlock(&((*(*s_etat_processus)
                       .pointeur_variable_partagee_courante).mutex)) != 0)
               {
                   (*s_etat_processus).erreur_systeme = d_es_processus;
                   return;
               }
           }
           else
           {
               (*(*s_etat_processus).pointeur_variable_courante).objet =
                       s_objet_resultat;
           }
     }      }
   
     return;      return;
Removed from v.1.16  
changed lines
  Added in v.1.45

CVSweb interface <joel.bertrand@systella.fr>