Diff for /rpl/src/sequenceur.c between versions 1.6 and 1.87

version 1.6, 2010/02/26 19:22:05 version 1.87, 2015/02/01 09:47:44
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.11    RPL/2 (R) version 4.1.20
   Copyright (C) 1989-2010 Dr. BERTRAND Joël    Copyright (C) 1989-2015 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"
   
   
 /*  /*
Line 29 Line 29
 ================================================================================  ================================================================================
   Entrées : structure sur l'état du processus    Entrées : structure sur l'état du processus
 --------------------------------------------------------------------------------  --------------------------------------------------------------------------------
   Sorties : Néant    Sorties : néant
 --------------------------------------------------------------------------------  --------------------------------------------------------------------------------
   Effets de bord : néant    Effets de bord : néant
 ================================================================================  ================================================================================
Line 44  sequenceur(struct_processus *s_etat_proc Line 44  sequenceur(struct_processus *s_etat_proc
     struct_objet                *s_objet_evaluation;      struct_objet                *s_objet_evaluation;
     struct_objet                *s_sous_objet;      struct_objet                *s_sous_objet;
   
       integer8                    niveau;
       integer8                    position_courante;
   
     logical1                    drapeau_appel_definition;      logical1                    drapeau_appel_definition;
     logical1                    drapeau_fin;      logical1                    drapeau_fin;
     logical1                    drapeau_then;      logical1                    drapeau_then;
     logical1                    erreur;      logical1                    erreur;
       logical1                    presence_compteur;
   
     static logical1             completion_valide = d_faux;      static logical1             completion_valide = d_faux;
   
Line 60  sequenceur(struct_processus *s_etat_proc Line 64  sequenceur(struct_processus *s_etat_proc
     unsigned char               *message;      unsigned char               *message;
     unsigned char               *registre;      unsigned char               *registre;
     unsigned char               *tampon;      unsigned char               *tampon;
     unsigned char               tampon_retour;  
     unsigned char               *t_ligne;      unsigned char               *t_ligne;
   
     unsigned long               i;      Keymap                      ancien_keymap;
     unsigned long               j;      Keymap                      nouveau_keymap;
     unsigned long               niveau;  
     unsigned long               position_courante;  
   
     (*s_etat_processus).retour_routine_evaluation = 'N';      (*s_etat_processus).retour_routine_evaluation = 'N';
   
Line 78  sequenceur(struct_processus *s_etat_proc Line 79  sequenceur(struct_processus *s_etat_proc
         {          {
             if ((*s_etat_processus).langue == 'F')              if ((*s_etat_processus).langue == 'F')
             {              {
                 printf("[%d] Exécution récursive de niveau %lu\n",                  printf("[%d] Exécution récursive de niveau %lld\n",
                         (int) getpid(), (*s_etat_processus).niveau_recursivite);                          (int) getpid(), (*s_etat_processus).niveau_recursivite);
             }              }
             else              else
             {              {
                 printf("[%d] %lu level recursive execution\n",                  printf("[%d] %lld level recursive execution\n",
                         (int) getpid(), (*s_etat_processus).niveau_recursivite);                          (int) getpid(), (*s_etat_processus).niveau_recursivite);
             }              }
         }          }
Line 109  sequenceur(struct_processus *s_etat_proc Line 110  sequenceur(struct_processus *s_etat_proc
 --------------------------------------------------------------------------------  --------------------------------------------------------------------------------
 */  */
   
     i = 0;  
     j = 0;  
   
     do      do
     {      {
         drapeau_appel_definition = d_faux;          drapeau_appel_definition = d_faux;
Line 182  sequenceur(struct_processus *s_etat_proc Line 180  sequenceur(struct_processus *s_etat_proc
                 flockfile(stdin);                  flockfile(stdin);
                 flockfile(stdout);                  flockfile(stdout);
   
                   ancien_keymap = rl_get_keymap();
                   nouveau_keymap = rl_copy_keymap(ancien_keymap);
                   rl_set_keymap(nouveau_keymap);
   
                   rl_bind_key(NEWLINE, readline_analyse_syntaxique);
                   rl_bind_key(RETURN, readline_analyse_syntaxique);
                   rl_bind_key(CTRL('g'), readline_effacement);
                   rl_done = 0;
   
                 ligne = readline("RPL/2> ");                  ligne = readline("RPL/2> ");
   
                   rl_set_keymap(ancien_keymap);
                   rl_free(nouveau_keymap);
   
                 funlockfile(stdin);                  funlockfile(stdin);
                 funlockfile(stdout);                  funlockfile(stdout);
   
                 if ((*s_etat_processus).var_volatile_requete_arret != 0)  
                 {  
                     (*s_etat_processus).requete_arret = 'Y';  
                     break;  
                 }  
   
                 if (ligne != NULL)                  if (ligne != NULL)
                 {                  {
                     if ((t_ligne = transliteration(s_etat_processus, ligne,                      if ((t_ligne = transliteration(s_etat_processus, ligne,
                             (*s_etat_processus).localisation, d_locale))                              (*s_etat_processus).localisation, d_locale))
                             == NULL)                              == NULL)
                     {                      {
                           free((*s_etat_processus).instruction_courante);
                         return(d_erreur);                          return(d_erreur);
                     }                      }
   
                     free(ligne);                      free(ligne);
                     ligne = t_ligne;                      ligne = t_ligne;
   
                     if ((ligne = compactage(ligne)) == NULL)                      if ((ligne = compactage(s_etat_processus, ligne)) == NULL)
                     {                      {
                         (*s_etat_processus).erreur_systeme =                          (*s_etat_processus).erreur_systeme =
                                 d_es_allocation_memoire;                                  d_es_allocation_memoire;
Line 254  sequenceur(struct_processus *s_etat_proc Line 259  sequenceur(struct_processus *s_etat_proc
                     sprintf(ligne, "dup");                      sprintf(ligne, "dup");
                 }                  }
   
                   if ((*s_etat_processus).var_volatile_requete_arret != 0)
                   {
                       free(ligne);
                       (*s_etat_processus).requete_arret = 'Y';
                       break;
                   }
   
                 add_history(ligne);                  add_history(ligne);
                 stifle_history(ds_longueur_historique);                  stifle_history(ds_longueur_historique);
   
Line 284  sequenceur(struct_processus *s_etat_proc Line 296  sequenceur(struct_processus *s_etat_proc
                     tampon = (*s_etat_processus).instruction_courante;                      tampon = (*s_etat_processus).instruction_courante;
                     (*s_etat_processus).instruction_courante = ligne;                      (*s_etat_processus).instruction_courante = ligne;
   
                       (*s_etat_processus).type_en_cours = NON;
                     recherche_type(s_etat_processus);                      recherche_type(s_etat_processus);
   
                     (*s_etat_processus).instruction_courante = tampon;                      (*s_etat_processus).instruction_courante = tampon;
Line 305  sequenceur(struct_processus *s_etat_proc Line 318  sequenceur(struct_processus *s_etat_proc
   
                         if ((message = messages(s_etat_processus)) == NULL)                          if ((message = messages(s_etat_processus)) == NULL)
                         {                          {
                               free((*s_etat_processus).instruction_courante);
                             return(d_erreur);                              return(d_erreur);
                         }                          }
   
Line 321  sequenceur(struct_processus *s_etat_proc Line 335  sequenceur(struct_processus *s_etat_proc
                     }                      }
                     else                      else
                     {                      {
                         tampon_retour = (*(*s_etat_processus)                          position_courante =
                                 .l_base_pile_systeme).retour_definition;                                  (*s_etat_processus).position_courante;
                           empilement_pile_systeme(s_etat_processus);
   
                           if ((*s_etat_processus).erreur_systeme != d_es)
                           {
                               return(d_erreur);
                           }
   
                         (*(*s_etat_processus).l_base_pile_systeme)                          (*(*s_etat_processus).l_base_pile_systeme)
                                 .retour_definition = 'Y';                                  .retour_definition = 'Y';
   
Line 343  sequenceur(struct_processus *s_etat_proc Line 364  sequenceur(struct_processus *s_etat_proc
                                 printf("+++Error : Too few arguments\n");                                  printf("+++Error : Too few arguments\n");
                             }                              }
   
                             (*(*s_etat_processus).l_base_pile_systeme)                              depilement_pile_systeme(s_etat_processus);
                                     .retour_definition = tampon_retour;  
                               if ((*s_etat_processus).erreur_systeme != d_es)
                               {
                                   return(d_erreur);
                               }
   
                             fflush(stdout);                              fflush(stdout);
                         }                          }
                         else if (evaluation(s_etat_processus, s_objet, 'I') ==                          else if (evaluation(s_etat_processus, s_objet, 'I') ==
                                 d_erreur)                                  d_erreur)
                         {                          {
                             (*(*s_etat_processus).l_base_pile_systeme)  
                                     .retour_definition = tampon_retour;  
   
                             if ((*s_etat_processus).erreur_systeme != d_es)                              if ((*s_etat_processus).erreur_systeme != d_es)
                             {                              {
                                 if (test_cfsf(s_etat_processus, 51) == d_faux)                                  if (test_cfsf(s_etat_processus, 51) == d_faux)
Line 364  sequenceur(struct_processus *s_etat_proc Line 386  sequenceur(struct_processus *s_etat_proc
                                 if ((message = messages(s_etat_processus))                                  if ((message = messages(s_etat_processus))
                                         == NULL)                                          == NULL)
                                 {                                  {
                                       free((*s_etat_processus)
                                               .instruction_courante);
                                     return(d_erreur);                                      return(d_erreur);
                                 }                                  }
   
                                 printf("%s [%d]\n", message, (int) getpid());                                  printf("%s [%d]\n", message, (int) getpid());
                                 free(message);  
   
                                   free(message);
                                   free((*s_etat_processus).instruction_courante);
                                 return(d_erreur);                                  return(d_erreur);
                             }                              }
                             else if ((*s_etat_processus)                              else if ((*s_etat_processus)
Line 387  sequenceur(struct_processus *s_etat_proc Line 412  sequenceur(struct_processus *s_etat_proc
                                 if ((message = messages(s_etat_processus))                                  if ((message = messages(s_etat_processus))
                                         == NULL)                                          == NULL)
                                 {                                  {
                                       free((*s_etat_processus)
                                               .instruction_courante);
                                     return(d_erreur);                                      return(d_erreur);
                                 }                                  }
   
Line 434  sequenceur(struct_processus *s_etat_proc Line 461  sequenceur(struct_processus *s_etat_proc
                             liberation(s_etat_processus, s_objet);                              liberation(s_etat_processus, s_objet);
                         }                          }
   
                         (*(*s_etat_processus).l_base_pile_systeme)                          (*s_etat_processus).position_courante =
                                 .retour_definition = tampon_retour;                                  position_courante;
                     }                      }
                 }                  }
                 else if ((*s_etat_processus).invalidation_message_erreur                  else if ((*s_etat_processus).invalidation_message_erreur
Line 452  sequenceur(struct_processus *s_etat_proc Line 479  sequenceur(struct_processus *s_etat_proc
   
                     if ((message = messages(s_etat_processus)) == NULL)                      if ((message = messages(s_etat_processus)) == NULL)
                     {                      {
                           free((*s_etat_processus).instruction_courante);
                         free(ligne);                          free(ligne);
                         return(d_erreur);                          return(d_erreur);
                     }                      }
Line 547  sequenceur(struct_processus *s_etat_proc Line 575  sequenceur(struct_processus *s_etat_proc
                         d_vrai) && ((*s_etat_processus)                          d_vrai) && ((*s_etat_processus)
                         .autorisation_evaluation_nom == 'Y'))                          .autorisation_evaluation_nom == 'Y'))
                 {                  {
                     if (((*s_etat_processus).s_liste_variables                      if ((*(*s_etat_processus).pointeur_variable_courante)
                             [(*s_etat_processus)                              .objet == NULL)
                             .position_variable_courante]).objet == NULL)  
                     {                      {
   
 /*  /*
Line 564  sequenceur(struct_processus *s_etat_proc Line 591  sequenceur(struct_processus *s_etat_proc
                         {                          {
                             if ((*s_etat_processus).langue == 'F')                              if ((*s_etat_processus).langue == 'F')
                             {                              {
                                 printf("[%d] Empilement de la variable "                                  printf("[%d] Évaluation de la variable "
                                         "partagée %s de type %d\n",                                          "partagée %s de type %d\n",
                                         (int) getpid(),                                          (int) getpid(), (*s_etat_processus)
                                         (*s_etat_processus)  
                                         .instruction_courante,                                          .instruction_courante,
                                         (*((*s_etat_processus).s_liste_variables                                          (*(*(*s_etat_processus)
                                         [(*s_etat_processus)                                          .pointeur_variable_courante).objet)
                                         .position_variable_courante]).objet)  
                                         .type);                                          .type);
                             }                              }
                             else                              else
                             {                              {
                                 printf("[%d] Pushing %s as %d type shared "                                  printf("[%d] Pushing %s as %d type shared "
                                         "variable \n", (int) getpid(),                                          "variable\n", (int) getpid(),
                                         (*s_etat_processus)                                          (*s_etat_processus)
                                         .instruction_courante,                                          .instruction_courante,
                                         (*((*s_etat_processus).s_liste_variables                                          (*(*(*s_etat_processus)
                                         [(*s_etat_processus)                                          .pointeur_variable_courante).objet)
                                         .position_variable_courante]).objet)  
                                         .type);                                          .type);
                             }                              }
   
                             fflush(stdout);                              fflush(stdout);
                         }                          }
   
                         if (pthread_mutex_lock(&((*(*s_etat_processus)  
                                 .s_liste_variables_partagees).mutex)) != 0)  
                         {  
                             (*s_etat_processus).erreur_systeme =  
                                     d_es_processus;  
                             return(d_erreur);  
                         }  
   
                         if (recherche_variable_partagee(s_etat_processus,                          if (recherche_variable_partagee(s_etat_processus,
                                 ((*s_etat_processus).s_liste_variables                                  (*(*s_etat_processus)
                                 [(*s_etat_processus)                                  .pointeur_variable_courante).nom,
                                 .position_variable_courante]).nom,                                  (*(*s_etat_processus)
                                 ((*s_etat_processus).s_liste_variables                                  .pointeur_variable_courante).variable_partagee,
                                 [(*s_etat_processus)                                  'P') != NULL)
                                 .position_variable_courante])  
                                 .variable_partagee, 'P') == d_vrai)  
                         {                          {
                             // La variable existe.                              // La variable existe.
   
                             if ((s_objet = copie_objet(s_etat_processus,                              if ((s_objet = copie_objet(s_etat_processus,
                                     (*(*s_etat_processus)                                      (*(*s_etat_processus)
                                     .s_liste_variables_partagees)                                      .pointeur_variable_partagee_courante)
                                     .table[(*(*s_etat_processus)                                      .objet, 'P')) == NULL)
                                     .s_liste_variables_partagees)  
                                     .position_variable].objet, 'P'))  
                                     == NULL)  
                             {                              {
                                 (*s_etat_processus).erreur_systeme =                                  (*s_etat_processus).erreur_systeme =
                                         d_es_allocation_memoire;                                          d_es_allocation_memoire;
Line 622  sequenceur(struct_processus *s_etat_proc Line 633  sequenceur(struct_processus *s_etat_proc
                             }                              }
   
                             if (pthread_mutex_unlock(&((*(*s_etat_processus)                              if (pthread_mutex_unlock(&((*(*s_etat_processus)
                                     .s_liste_variables_partagees).mutex))                                      .pointeur_variable_partagee_courante)
                                     != 0)                                      .mutex)) != 0)
                             {                              {
                                 (*s_etat_processus).erreur_systeme =                                  (*s_etat_processus).erreur_systeme =
                                         d_es_processus;                                          d_es_processus;
                                 return(d_erreur);                                  return(d_erreur);
                             }                              }
   
                             if (empilement(s_etat_processus,                              if (evaluation(s_etat_processus, s_objet, 'E')
                                     &((*s_etat_processus).l_base_pile),                                      == d_erreur)
                                     s_objet) == d_erreur)  
                             {                              {
                                 (*s_etat_processus).erreur_systeme =                                  liberation(s_etat_processus, s_objet);
                                         d_es_allocation_memoire;  
                                 return(d_erreur);                                  return(d_erreur);
                             }                              }
   
                               liberation(s_etat_processus, s_objet);
                         }                          }
                         else                          else
                         {                          {
                             // La variable n'existe plus.                              // La variable n'existe plus.
   
                             (*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(d_erreur);  
                             }  
   
                             recherche_type(s_etat_processus);  
                         }                          }
                     }                      }
   
Line 664  sequenceur(struct_processus *s_etat_proc Line 662  sequenceur(struct_processus *s_etat_proc
 --------------------------------------------------------------------------------  --------------------------------------------------------------------------------
 */  */
   
                     else if ((*((*s_etat_processus).s_liste_variables                      else if ((*(*(*s_etat_processus).pointeur_variable_courante)
                             [(*s_etat_processus).position_variable_courante])  
                             .objet).type == ADR)                              .objet).type == ADR)
                     {                      {
   
Line 733  sequenceur(struct_processus *s_etat_proc Line 730  sequenceur(struct_processus *s_etat_proc
                                     .niveau_courant;                                      .niveau_courant;
   
                             (*s_etat_processus).position_courante =                              (*s_etat_processus).position_courante =
                                     (*((unsigned long *)                                      (*((integer8 *)
                                     ((*((*s_etat_processus).s_liste_variables                                      ((*(*(*s_etat_processus)
                                     [(*s_etat_processus)                                      .pointeur_variable_courante)
                                     .position_variable_courante]                                      .objet).objet)));
                                     .objet)).objet)));  
   
                             drapeau_appel_definition = d_vrai;                              drapeau_appel_definition = d_vrai;
                         }                          }
Line 750  sequenceur(struct_processus *s_etat_proc Line 746  sequenceur(struct_processus *s_etat_proc
                         {                          {
                             if ((*s_etat_processus).langue == 'F')                              if ((*s_etat_processus).langue == 'F')
                             {                              {
                                 printf("[%d] Empilement de la variable "                                  printf("[%d] Évaluation de la variable "
                                         "%s de type %d\n",                                          "%s de type %d\n",
                                         (int) getpid(),                                          (int) getpid(),
                                         (*s_etat_processus)                                          (*s_etat_processus)
                                         .instruction_courante,                                          .instruction_courante,
                                         (*((*s_etat_processus).s_liste_variables                                          (*(*(*s_etat_processus)
                                         [(*s_etat_processus)                                          .pointeur_variable_courante).objet)
                                         .position_variable_courante]).objet)  
                                         .type);                                          .type);
                             }                              }
                             else                              else
Line 766  sequenceur(struct_processus *s_etat_proc Line 761  sequenceur(struct_processus *s_etat_proc
                                         "\n", (int) getpid(),                                          "\n", (int) getpid(),
                                         (*s_etat_processus)                                          (*s_etat_processus)
                                         .instruction_courante,                                          .instruction_courante,
                                         (*((*s_etat_processus).s_liste_variables                                          (*(*(*s_etat_processus)
                                         [(*s_etat_processus)                                          .pointeur_variable_courante).objet)
                                         .position_variable_courante]).objet)  
                                         .type);                                          .type);
                             }                              }
   
Line 776  sequenceur(struct_processus *s_etat_proc Line 770  sequenceur(struct_processus *s_etat_proc
                         }                          }
   
                         if ((s_objet = copie_objet(s_etat_processus,                          if ((s_objet = copie_objet(s_etat_processus,
                                 ((*s_etat_processus)                                  (*(*s_etat_processus)
                                 .s_liste_variables[(*s_etat_processus)                                  .pointeur_variable_courante).objet, 'P'))
                                 .position_variable_courante]).objet, 'P'))  
                                 == NULL)                                  == NULL)
                         {                          {
                             (*s_etat_processus).erreur_systeme =                              (*s_etat_processus).erreur_systeme =
Line 786  sequenceur(struct_processus *s_etat_proc Line 779  sequenceur(struct_processus *s_etat_proc
                             return(d_erreur);                              return(d_erreur);
                         }                          }
   
                         if (empilement(s_etat_processus,                          if (evaluation(s_etat_processus, s_objet, 'E')
                                 &((*s_etat_processus).l_base_pile),                                  == d_erreur)
                                 s_objet) == d_erreur)  
                         {                          {
                             (*s_etat_processus).erreur_systeme =                              liberation(s_etat_processus, s_objet);
                                     d_es_allocation_memoire;  
                             return(d_erreur);                              return(d_erreur);
                         }                          }
   
                           liberation(s_etat_processus, s_objet);
                     }                      }
                 }                  }
                 else                  else
Line 806  sequenceur(struct_processus *s_etat_proc Line 799  sequenceur(struct_processus *s_etat_proc
 */  */
   
                     (*s_etat_processus).erreur_systeme = d_es;                      (*s_etat_processus).erreur_systeme = d_es;
                       (*s_etat_processus).type_en_cours = NON;
                     recherche_type(s_etat_processus);                      recherche_type(s_etat_processus);
   
                       if ((*s_etat_processus).autorisation_nom_implicite == 'N')
                       {
                           if ((*s_etat_processus).l_base_pile == NULL)
                           {
                               if (((*s_etat_processus).erreur_execution !=
                                       d_ex_nom_implicite) &&
                                       ((*s_etat_processus).erreur_execution !=
                                       d_ex_syntaxe))
                               {
                                   (*s_etat_processus).erreur_execution =
                                           d_ex_manque_argument;
                               }
                           }
                           else if ((*(*(*s_etat_processus).l_base_pile).donnee)
                                   .type == NOM)
                           {
                               if ((*((struct_nom *) (*(*(*s_etat_processus)
                                       .l_base_pile).donnee).objet)).symbole
                                       == d_faux)
                               {
                                   (*s_etat_processus).erreur_execution =
                                           d_ex_nom_implicite;
   
                                   // Si le niveau de récursivité est non nul, on
                                   // arrive ici depuis la fonction
                                   // recherche_type(). On retourne à cette
                                   // dernière en indiquant une erreur.
   
                                   if ((*s_etat_processus).niveau_recursivite != 0)
                                   {
                                       free((*s_etat_processus)
                                               .instruction_courante);
                                       return(d_erreur);
                                   }
                               }
                           }
                       }
   
                     // Le séquenceur est appelé depuis la routine d'évaluation                      // Le séquenceur est appelé depuis la routine d'évaluation
   
                     if ((*s_etat_processus).evaluation_forcee == 'Y')                      if ((*s_etat_processus).evaluation_forcee == 'Y')
Line 816  sequenceur(struct_processus *s_etat_proc Line 848  sequenceur(struct_processus *s_etat_proc
                                 &((*s_etat_processus).l_base_pile),                                  &((*s_etat_processus).l_base_pile),
                                 &s_objet_evaluation) == d_erreur)                                  &s_objet_evaluation) == d_erreur)
                         {                          {
                               free((*s_etat_processus).instruction_courante);
                             (*s_etat_processus).erreur_execution =                              (*s_etat_processus).erreur_execution =
                                     d_ex_manque_argument;                                      d_ex_manque_argument;
                             return(d_erreur);                              return(d_erreur);
Line 824  sequenceur(struct_processus *s_etat_proc Line 857  sequenceur(struct_processus *s_etat_proc
                         if (evaluation(s_etat_processus, s_objet_evaluation,                          if (evaluation(s_etat_processus, s_objet_evaluation,
                                 'N') == d_erreur)                                  'N') == d_erreur)
                         {                          {
                               free((*s_etat_processus).instruction_courante);
                             liberation(s_etat_processus, s_objet_evaluation);                              liberation(s_etat_processus, s_objet_evaluation);
                             return(d_erreur);                              return(d_erreur);
                         }                          }
   
                         liberation(s_etat_processus, s_objet_evaluation);                          liberation(s_etat_processus, s_objet_evaluation);
                     }                      }
   
                       // Le séquenceur est appelé depuis la routine de
                       // recherche de type
   
                       else if ((*s_etat_processus).recherche_type == 'Y')
                       {
                           if ((*s_etat_processus).erreur_execution != d_ex)
                           {
                               free((*s_etat_processus).instruction_courante);
                               return(d_erreur);
                           }
                       }
                 }                  }
             }              }
             else if (((*s_etat_processus).test_instruction == 'Y') &&              else if (((*s_etat_processus).test_instruction == 'Y') &&
Line 843  sequenceur(struct_processus *s_etat_proc Line 889  sequenceur(struct_processus *s_etat_proc
 */  */
   
                 if ((instruction_majuscule = conversion_majuscule(                  if ((instruction_majuscule = conversion_majuscule(
                         (*s_etat_processus).instruction_courante)) == NULL)                          s_etat_processus, (*s_etat_processus)
                           .instruction_courante)) == NULL)
                 {                  {
                     (*s_etat_processus).erreur_systeme =                      (*s_etat_processus).erreur_systeme =
                             d_es_allocation_memoire;                              d_es_allocation_memoire;
Line 854  sequenceur(struct_processus *s_etat_proc Line 901  sequenceur(struct_processus *s_etat_proc
                         != 0) && (strcmp((*s_etat_processus)                          != 0) && (strcmp((*s_etat_processus)
                         .instruction_courante, ">>") != 0))                          .instruction_courante, ">>") != 0))
                 {                  {
                     if ((s_objet = (struct_objet *) malloc(                      if ((s_objet = allocation(s_etat_processus, FCT)) == NULL)
                             sizeof(struct_objet))) == NULL)  
                     {  
                         (*s_etat_processus).erreur_systeme =  
                                 d_es_allocation_memoire;  
                         return(d_erreur);  
                     }  
   
                     initialisation_objet(s_objet);  
                     (*s_objet).type = FCT;  
   
                     if (((*s_objet).objet = allocation(s_etat_processus, FCT))  
                             == NULL)  
                     {                      {
                         (*s_etat_processus).erreur_systeme =                          (*s_etat_processus).erreur_systeme =
                                 d_es_allocation_memoire;                                  d_es_allocation_memoire;
Line 880  sequenceur(struct_processus *s_etat_proc Line 915  sequenceur(struct_processus *s_etat_proc
                     {                      {
                         if (((*((struct_fonction *) (*s_objet).objet))                          if (((*((struct_fonction *) (*s_objet).objet))
                                 .nom_fonction = conversion_majuscule(                                  .nom_fonction = conversion_majuscule(
                                 (*s_etat_processus).instruction_courante))                                  s_etat_processus, (*s_etat_processus)
                                 == NULL)                                  .instruction_courante)) == NULL)
                         {                          {
                             (*s_etat_processus).erreur_systeme =                              (*s_etat_processus).erreur_systeme =
                                     d_es_allocation_memoire;                                      d_es_allocation_memoire;
Line 929  sequenceur(struct_processus *s_etat_proc Line 964  sequenceur(struct_processus *s_etat_proc
                 free(instruction_majuscule);                  free(instruction_majuscule);
             }              }
   
             erreur |= (((*s_etat_processus).erreur_execution != d_ex)              erreur = (logical1) (erreur | (((*s_etat_processus)
                     ? d_erreur : d_absence_erreur);                      .erreur_execution != d_ex) ? d_erreur : d_absence_erreur));
         }          }
         else          else
         {          {
Line 949  sequenceur(struct_processus *s_etat_proc Line 984  sequenceur(struct_processus *s_etat_proc
   
             fflush(stdout);              fflush(stdout);
   
               free((*s_etat_processus).instruction_courante);
             return(d_erreur);              return(d_erreur);
         }          }
   
Line 1030  sequenceur(struct_processus *s_etat_proc Line 1066  sequenceur(struct_processus *s_etat_proc
   
             if ((message = messages(s_etat_processus)) == NULL)              if ((message = messages(s_etat_processus)) == NULL)
             {              {
                   free((*s_etat_processus).instruction_courante);
                 return(d_erreur);                  return(d_erreur);
             }              }
   
Line 1041  sequenceur(struct_processus *s_etat_proc Line 1078  sequenceur(struct_processus *s_etat_proc
             (*s_etat_processus).exception = d_ep;              (*s_etat_processus).exception = d_ep;
             erreur = d_absence_erreur;              erreur = d_absence_erreur;
   
             (*s_etat_processus).position_courante -=              (*s_etat_processus).position_courante -= (integer8)
                     strlen((*s_etat_processus).instruction_courante);                      strlen((*s_etat_processus).instruction_courante);
         }          }
   
Line 1116  sequenceur(struct_processus *s_etat_proc Line 1153  sequenceur(struct_processus *s_etat_proc
   
                     if (erreur == d_erreur)                      if (erreur == d_erreur)
                     {                      {
                           free((*s_etat_processus).instruction_courante);
                         return(d_erreur);                          return(d_erreur);
                     }                      }
   
                     if (recherche_variable(s_etat_processus,                      if (recherche_variable(s_etat_processus,
                             (*s_etat_processus).instruction_courante) == d_vrai)                              (*s_etat_processus).instruction_courante) == d_vrai)
                     {                      {
                         if (((*s_etat_processus).s_liste_variables                          if ((*(*s_etat_processus).pointeur_variable_courante)
                                 [(*s_etat_processus)                                  .objet == NULL)
                                 .position_variable_courante]).objet == NULL)  
                         {                          {
                             // Variable partagée                              // Variable partagée
                         }                          }
                         else if ((*((*s_etat_processus).s_liste_variables                          else if ((*(*(*s_etat_processus)
                                 [(*s_etat_processus)                                  .pointeur_variable_courante).objet).type == ADR)
                                 .position_variable_courante]).objet).type ==  
                                 ADR)  
                         {                          {
                             empilement_pile_systeme(s_etat_processus);                              empilement_pile_systeme(s_etat_processus);
   
                             if ((*s_etat_processus).erreur_systeme != d_es)                              if ((*s_etat_processus).erreur_systeme != d_es)
                             {                              {
                                   free((*s_etat_processus).instruction_courante);
                                 return(d_erreur);                                  return(d_erreur);
                             }                              }
   
Line 1152  sequenceur(struct_processus *s_etat_proc Line 1188  sequenceur(struct_processus *s_etat_proc
                                     .niveau_courant;                                      .niveau_courant;
   
                             (*s_etat_processus).position_courante =                              (*s_etat_processus).position_courante =
                                     (*((unsigned long *)                                      (*((integer8 *)
                                     ((*((*s_etat_processus).s_liste_variables                                      ((*(*(*s_etat_processus)
                                     [(*s_etat_processus)                                      .pointeur_variable_courante)
                                     .position_variable_courante]                                      .objet).objet)));
                                     .objet)).objet)));  
   
                             (*s_etat_processus)                              (*s_etat_processus)
                                     .autorisation_empilement_programme = 'N';                                      .autorisation_empilement_programme = 'N';
Line 1166  sequenceur(struct_processus *s_etat_proc Line 1201  sequenceur(struct_processus *s_etat_proc
                     {                      {
                         (*s_etat_processus).erreur_systeme = d_es;                          (*s_etat_processus).erreur_systeme = d_es;
                         instruction_majuscule = conversion_majuscule(                          instruction_majuscule = conversion_majuscule(
                                 (*s_etat_processus).instruction_courante);                                  s_etat_processus, (*s_etat_processus)
                                   .instruction_courante);
   
                         if (instruction_majuscule == NULL)                          if (instruction_majuscule == NULL)
                         {                          {
                               free((*s_etat_processus).instruction_courante);
                             return(d_erreur);                              return(d_erreur);
                         }                          }
   
Line 1183  sequenceur(struct_processus *s_etat_proc Line 1220  sequenceur(struct_processus *s_etat_proc
                                 (strcmp(instruction_majuscule, "DO") == 0) ||                                  (strcmp(instruction_majuscule, "DO") == 0) ||
                                 (strcmp(instruction_majuscule, "WHILE") == 0) ||                                  (strcmp(instruction_majuscule, "WHILE") == 0) ||
                                 (strcmp(instruction_majuscule, "FOR") == 0) ||                                  (strcmp(instruction_majuscule, "FOR") == 0) ||
                                   (strcmp(instruction_majuscule, "FORALL") == 0)
                                   ||
                                 (strcmp(instruction_majuscule, "START") == 0) ||                                  (strcmp(instruction_majuscule, "START") == 0) ||
                                 (strcmp(instruction_majuscule, "SELECT") == 0)                                  (strcmp(instruction_majuscule, "SELECT") == 0)
                                   ||
                                   (strcmp(instruction_majuscule, "CRITICAL") == 0)
                                 || (strcmp(instruction_majuscule, "CASE") == 0)                                  || (strcmp(instruction_majuscule, "CASE") == 0)
                                 || (strcmp(instruction_majuscule, "<<") == 0))                                  || (strcmp(instruction_majuscule, "<<") == 0))
                         {                          {
Line 1192  sequenceur(struct_processus *s_etat_proc Line 1233  sequenceur(struct_processus *s_etat_proc
                             {                              {
                                 analyse(s_etat_processus, NULL);                                  analyse(s_etat_processus, NULL);
                             }                              }
                               else if ((strcmp(instruction_majuscule, "FOR") == 0)
                                       || (strcmp(instruction_majuscule, "FORALL")
                                       == 0) || (strcmp(instruction_majuscule,
                                       "START") == 0))
                               {
                                   empilement_pile_systeme(s_etat_processus);
   
                                   if ((*s_etat_processus).erreur_systeme != d_es)
                                   {
                                       return(d_erreur);
                                   }
   
                                   (*(*s_etat_processus).l_base_pile_systeme)
                                           .type_cloture = 'L';
                               }
                             else                              else
                             {                              {
                                 empilement_pile_systeme(s_etat_processus);                                  empilement_pile_systeme(s_etat_processus);
Line 1224  sequenceur(struct_processus *s_etat_proc Line 1280  sequenceur(struct_processus *s_etat_proc
                                     return(d_absence_erreur);                                      return(d_absence_erreur);
                                 }                                  }
                             }                              }
                               else if (((strcmp(instruction_majuscule, "NEXT")
                                       == 0) || (strcmp(instruction_majuscule,
                                       "STEP") == 0)) && ((*(*s_etat_processus)
                                       .l_base_pile_systeme).type_cloture != 'L'))
                               {
                                   /*
                                    * Libération des compteurs de boucle.
                                    */
   
                                   presence_compteur = (((*(*s_etat_processus)
                                           .l_base_pile_systeme).type_cloture
                                           == 'F') || ((*(*s_etat_processus)
                                           .l_base_pile_systeme).type_cloture
                                           == 'A')) ? d_vrai : d_faux;
   
                                   if (((*(*s_etat_processus).l_base_pile_systeme)
                                           .type_cloture != 'S') &&
                                           (presence_compteur == d_faux))
                                   {
                                       return(d_erreur);
                                   }
   
                                   if (presence_compteur == d_vrai)
                                   {
                                       if (recherche_variable(s_etat_processus,
                                               (*(*s_etat_processus)
                                               .l_base_pile_systeme).nom_variable)
                                               == d_faux)
                                       {
                                           return(d_erreur);
                                       }
   
                                       if ((*(*s_etat_processus)
                                               .pointeur_variable_courante).objet
                                               == NULL)
                                       {
                                           return(d_erreur);
                                       }
   
                                       (*s_etat_processus).niveau_courant--;
   
                                       if (retrait_variables_par_niveau(
                                               s_etat_processus) == d_erreur)
                                       {
                                           return(d_erreur);
                                       }
                                   }
   
                                   depilement_pile_systeme(s_etat_processus);
   
                                   if ((*s_etat_processus).erreur_systeme != d_es)
                                   {
                                       return(d_erreur);
                                   }
                               }
                             else                              else
                             {                              {
                                   // Traitement spécifique pour la fin
                                   // d'une section critique
   
                                   if ((*s_etat_processus).l_base_pile_systeme
                                           == NULL)
                                   {
                                       (*s_etat_processus).erreur_systeme =
                                               d_es_processus;
                                       return(d_erreur);
                                   }
   
                                   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(d_erreur);
                                       }
   
                                       (*s_etat_processus).sections_critiques--;
                                   }
   
                                 depilement_pile_systeme(s_etat_processus);                                  depilement_pile_systeme(s_etat_processus);
   
                                 if ((*s_etat_processus).erreur_systeme != d_es)                                  if ((*s_etat_processus).erreur_systeme != d_es)
Line 1254  sequenceur(struct_processus *s_etat_proc Line 1390  sequenceur(struct_processus *s_etat_proc
                     }                      }
                                           
                     instruction_majuscule = conversion_majuscule(                      instruction_majuscule = conversion_majuscule(
                               s_etat_processus,
                             (*s_etat_processus).instruction_courante);                              (*s_etat_processus).instruction_courante);
   
                     if (instruction_majuscule == NULL)                      if (instruction_majuscule == NULL)
Line 1266  sequenceur(struct_processus *s_etat_proc Line 1403  sequenceur(struct_processus *s_etat_proc
                             (strcmp(instruction_majuscule, "DO") == 0) ||                              (strcmp(instruction_majuscule, "DO") == 0) ||
                             (strcmp(instruction_majuscule, "WHILE") == 0) ||                              (strcmp(instruction_majuscule, "WHILE") == 0) ||
                             (strcmp(instruction_majuscule, "FOR") == 0) ||                              (strcmp(instruction_majuscule, "FOR") == 0) ||
                               (strcmp(instruction_majuscule, "FORALL") == 0) ||
                             (strcmp(instruction_majuscule, "START") == 0) ||                              (strcmp(instruction_majuscule, "START") == 0) ||
                             (strcmp(instruction_majuscule, "SELECT") == 0)                              (strcmp(instruction_majuscule, "SELECT") == 0)
                               || (strcmp(instruction_majuscule, "CRITICAL") == 0)
                             || (strcmp(instruction_majuscule, "CASE") == 0)                              || (strcmp(instruction_majuscule, "CASE") == 0)
                             || (strcmp(instruction_majuscule, "<<") == 0))                              || (strcmp(instruction_majuscule, "<<") == 0))
                     {                      {
Line 1362  sequenceur(struct_processus *s_etat_proc Line 1501  sequenceur(struct_processus *s_etat_proc
   
         if ((*s_etat_processus).var_volatile_processus_pere == 0)          if ((*s_etat_processus).var_volatile_processus_pere == 0)
         {          {
             kill((*s_etat_processus).pid_processus_pere, SIGALRM);              envoi_signal_processus((*s_etat_processus).pid_processus_pere,
                       rpl_sigalrm);
         }          }
         else          else
         {          {

Removed from v.1.6  
changed lines
  Added in v.1.87


CVSweb interface <joel.bertrand@systella.fr>