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

Diff for /rpl/src/gestion_variables.c between versions 1.15 and 1.27

version 1.15, 2010/08/06 15:32:58 version 1.27, 2011/06/01 18:17:35
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.18    RPL/2 (R) version 4.1.0.prerelease.0
   Copyright (C) 1989-2010 Dr. BERTRAND Joël    Copyright (C) 1989-2011 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 39 Line 39
 ================================================================================  ================================================================================
 */  */
   
 logical1  static logical1
 creation_variable(struct_processus *s_etat_processus,  ajout_variable(struct_processus *s_etat_processus, struct_variable *s_variable)
         struct_variable *s_variable,  
         unsigned char autorisation_creation_variable_statique,  
         unsigned char autorisation_creation_variable_partagee)  
 {  {
     logical1                presence;      int                         i;
   
       struct_arbre_variables      *l_variable_courante;
   
     long                    i;      struct_liste_variables      *l_nouvelle_variable;
       struct_liste_variables      *l_variable_candidate;
   
     struct_variable         *s_nouvelle_base;      struct_liste_chainee        *l_nouvel_element;
   
     (*s_etat_processus).nombre_variables++;      unsigned char               *ptr;
   
     if ((*s_etat_processus).nombre_variables > (*s_etat_processus)      if ((*s_etat_processus).s_arbre_variables == NULL)
             .nombre_variables_allouees)  
     {      {
         // La nouvelle variable ne tient pas dans la table courante. Il          if (((*s_etat_processus).s_arbre_variables =
         // faut donc en augmenter la taille.                  malloc(sizeof(struct_arbre_variables))) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return(d_erreur);
           }
   
           (*(*s_etat_processus).s_arbre_variables).feuille = NULL;
           (*(*s_etat_processus).s_arbre_variables).noeuds_utilises = 0;
   
           if (((*(*s_etat_processus).arbre_instructions).noeud =
                   malloc((*s_etat_processus).nombre_caracteres_variables
                   * sizeof(struct_arbre_variables))) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return(d_erreur);
           }
   
         if ((*s_etat_processus).nombre_variables_allouees == 0)          for(i = 0; i < (*s_etat_processus).nombre_caracteres_variables; i++)
         {          {
             (*s_etat_processus).nombre_variables_allouees =              (*(*s_etat_processus).s_arbre_variables).noeud[i] = NULL;
                     (*s_etat_processus).nombre_variables;          }
       }
   
       l_variable_courante = (*s_etat_processus).s_arbre_variables;
       ptr = (*s_variable).nom;
   
       while((*ptr) != d_code_fin_chaine)
       {
           BUG((*s_etat_processus).pointeurs_caracteres_variables[*ptr] < 0,
                   printf("Variable=\"%s\", (*ptr)='%c'\n", (*s_variable).nom,
                   *ptr));
   
           if ((*l_variable_courante).noeud[(*s_etat_processus)
                   .pointeurs_caracteres_variables[*ptr]] == NULL)
           {
               // Le noeud n'existe pas encore, on le crée.
   
               if (((*l_variable_courante).noeud[(*s_etat_processus)
                       .pointeurs_caracteres_variables[*ptr]] =
                       malloc(sizeof(struct_arbre_variables))) == NULL)
               {
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
               }
   
               (*(*l_variable_courante).noeud[(*s_etat_processus)
                       .pointeurs_caracteres_variables[*ptr]]).feuille = NULL;
               (*(*l_variable_courante).noeud[(*s_etat_processus)
                       .pointeurs_caracteres_variables[*ptr]]).noeuds_utilises = 0;
   
               if (((*(*l_variable_courante).noeud[(*s_etat_processus)
                       .pointeurs_caracteres_variables[*ptr]]).noeud =
                       malloc((*s_etat_processus).nombre_caracteres_variables
                       * sizeof(struct_arbre_variables))) == NULL)
               {
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
               }
   
               for(i = 0; i < (*s_etat_processus).nombre_caracteres_variables; i++)
               {
                   (*(*l_variable_courante).noeud[(*s_etat_processus)
                           .pointeurs_caracteres_variables[*ptr]]).noeud[i] = NULL;
               }
           }
   
           (*l_variable_courante).noeuds_utilises++;
           l_variable_courante = (*l_variable_courante).noeud
                   [(*s_etat_processus).pointeurs_caracteres_variables[*ptr]];
           ptr++;
       }
   
       if ((*l_variable_courante).feuille == NULL)
       {
           // Aucune variable de même nom préexiste. On alloue le premier
           // élément de la liste doublement chaînée contenant toutes les
           // variables de même nom. Cette liste boucle en premier lieu sur
           // elle-même.
   
           if (((*l_variable_courante).feuille = malloc(
                   sizeof(struct_liste_variables))) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return(d_erreur);
           }
   
           (*(*l_variable_courante).feuille).suivant =
                   (*l_variable_courante).feuille;
           (*(*l_variable_courante).feuille).precedent =
                   (*l_variable_courante).feuille;
   
           // Allocation de la variable sur l'élément de la liste.
   
           if (((*(*l_variable_courante).feuille).variable =
                   malloc(sizeof(struct_variable))) == NULL)
           { 
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return(d_erreur);
           }
   
           (*((struct_variable *) (*(*l_variable_courante).feuille).variable)) =
                   (*s_variable);
   
           if (((*((struct_variable *) (*(*l_variable_courante).feuille).variable))
                   .nom = strdup((*s_variable).nom)) == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return(d_erreur);
           }
       }
       else
       {
           if ((*s_variable).niveau > 1)
           {
               // Cas d'une variable locale
   
               // Si le niveau de la dernière variable de même nom est
               // supérieur au niveau de la variable locale que l'on veut
               // enregistrer dans la liste, cette liste est incohérente.
   
               BUG((*(*(*l_variable_courante).feuille).variable).niveau >=
                       (*s_variable).niveau,
                       printf("Variable=\"%s\"\n", (*s_variable).nom));
   
               // On ajoute la variable à la liste existante.
   
               if ((l_nouvelle_variable = malloc(sizeof(struct_liste_variables)))
                       == NULL)
               {
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
               }
   
               (*l_nouvelle_variable).suivant = (*l_variable_courante).feuille;
               (*l_nouvelle_variable).precedent = (*(*l_variable_courante).feuille)
                       .precedent;
               (*(*(*l_variable_courante).feuille).precedent).suivant =
                       l_nouvelle_variable;
               (*(*l_variable_courante).feuille).precedent =
                       l_nouvelle_variable;
               (*l_variable_courante).feuille = l_nouvelle_variable;
   
               if (((*(*l_variable_courante).feuille).variable =
                       malloc(sizeof(struct_variable))) == NULL)
               { 
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
               }
   
               (*((struct_variable *) (*(*l_variable_courante).feuille).variable))
                       = (*s_variable);
   
               if (((*((struct_variable *) (*(*l_variable_courante).feuille)
                       .variable)).nom = strdup((*s_variable).nom)) == NULL)
               {
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
               }
         }          }
         else          else
         {          {
             while((*s_etat_processus).nombre_variables >              // Cas d'une variable globale (niveau 0 [définitions] ou 1
                     (*s_etat_processus).nombre_variables_allouees)              // [variables globales])
   
               l_variable_candidate = (*l_variable_courante).feuille;
   
               do
               {
                   // S'il y a déjà une variable de même niveau, la pile
                   // est incohérente.
   
                   BUG((*(*l_variable_candidate).variable).niveau ==
                           (*s_variable).niveau,
                           printf("Variable=\"%s\"\n", (*s_variable).nom));
   
                   l_variable_candidate = (*l_variable_candidate).precedent;
               } while((l_variable_candidate != (*l_variable_courante).feuille) &&
                       ((*(*l_variable_candidate).variable).niveau <= 1));
   
               if ((*(*(*(*l_variable_courante).feuille).precedent).variable)
                       .niveau > 1)
             {              {
                 (*s_etat_processus).nombre_variables_allouees *= 2;                  // Ajout inconditionnel des variables de niveaux 0 et 1
               }
               else
               {
                   l_variable_candidate = (*(*l_variable_courante).feuille)
                           .precedent;
               }
   
               (*l_nouvelle_variable).suivant = l_variable_candidate;
               (*l_nouvelle_variable).precedent = (*l_variable_candidate)
                       .precedent;
               (*(*l_variable_candidate).precedent).suivant = l_nouvelle_variable;
               (*l_variable_candidate).precedent = l_nouvelle_variable;
   
               if (((*l_nouvelle_variable).variable =
                       malloc(sizeof(struct_variable))) == NULL)
               { 
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
               }
   
               (*(*l_nouvelle_variable).variable) = (*s_variable);
   
               if (((*(*l_nouvelle_variable).variable).nom =
                       strdup((*s_variable).nom)) == NULL)
               {
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
             }              }
         }          }
       }
   
         if ((s_nouvelle_base = realloc((*s_etat_processus).s_liste_variables,      // Ajout de la variable nouvellement créée à la liste par niveaux.
                 (*s_etat_processus).nombre_variables_allouees *      // Le pointeur contenu dans la structure de description du processus indique
                 sizeof(struct_variable))) == NULL)      // toujours le plus haut niveau utilisé.
   
       if ((*s_etat_processus).l_liste_variables_par_niveau == NULL)
       {
           // Le niveau courant n'existe pas. Il est créé.
   
           if ((l_nouvelle_variable = malloc(sizeof(struct_liste_variables)))
                   == NULL)
         {          {
             (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;              (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
             (*s_etat_processus).nombre_variables--;  
             return(d_erreur);              return(d_erreur);
         }          }
   
         (*s_etat_processus).s_liste_variables = s_nouvelle_base;          (*l_nouvelle_variable).suivant = l_nouvelle_variable;
           (*l_nouvelle_variable).precedent = l_nouvelle_variable;
   
           (*s_etat_processus).l_liste_variables_par_niveau = l_nouvelle_variable;
     }      }
       else if ((*s_variable).niveau > (*((struct_variable *)
               (*(*(*s_etat_processus).l_liste_variables_par_niveau).liste)
               .donnee)).niveau)
       {
           // Le niveau courant n'existe pas. Il est créé.
   
           if ((l_nouvelle_variable = malloc(sizeof(struct_liste_variables)))
                   == NULL)
           {
               (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
               return(d_erreur);
           }
   
           (*l_nouvelle_variable).suivant = (*s_etat_processus)
                   .l_liste_variables_par_niveau;
           (*l_nouvelle_variable).precedent = (*(*s_etat_processus)
                   .l_liste_variables_par_niveau).precedent;
           (*(*(*s_etat_processus).l_liste_variables_par_niveau).precedent)
                   .suivant = l_nouvelle_variable;
           (*(*s_etat_processus).l_liste_variables_par_niveau).precedent =
                   l_nouvelle_variable;
   
           (*s_etat_processus).l_liste_variables_par_niveau = l_nouvelle_variable;
       }
       else
       {
           // Création d'une variable de niveau 0 ou 1
   
           l_variable_candidate = (*s_etat_processus).l_liste_variables_par_niveau;
   
           if ((*((struct_variable *) (*(*(*(*s_etat_processus)
                   .l_liste_variables_par_niveau).precedent).liste).donnee))
                   .niveau > 1)
           {
               // Ajout inconditionnel des variables de niveaux 0 et 1
           }
           else
           {
               l_variable_candidate = (*(*s_etat_processus)
                       .l_liste_variables_par_niveau).precedent;
           }
   
           (*l_nouvelle_variable).suivant = l_variable_candidate;
           (*l_nouvelle_variable).precedent = (*l_variable_candidate)
                   .precedent;
           (*(*l_variable_candidate).precedent).suivant = l_nouvelle_variable;
           (*l_variable_candidate).precedent = l_nouvelle_variable;
       }
   
       // Ajout de la variable en tête de la liste
   
       if ((l_nouvel_element = malloc(sizeof(struct_liste_chainee))) == NULL)
       {
           (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
           return(d_erreur);
       }
   
       (*l_nouvel_element).suivant = (*(*s_etat_processus)
               .l_liste_variables_par_niveau).liste;
       (*l_nouvel_element).donnee = (struct_objet *) s_variable;
       (*l_nouvelle_variable).liste = l_nouvel_element;
   
       return(d_absence_erreur);
   }
   
   logical1
   creation_variable(struct_processus *s_etat_processus,
           struct_variable *s_variable,
           unsigned char autorisation_creation_variable_statique,
           unsigned char autorisation_creation_variable_partagee)
   {
     if ((*s_etat_processus).mode_execution_programme == 'Y')      if ((*s_etat_processus).mode_execution_programme == 'Y')
     {      {
         (*s_variable).origine = 'P';          (*s_variable).origine = 'P';
Line 190  creation_variable(struct_processus *s_et Line 466  creation_variable(struct_processus *s_et
     }      }
   
     /*      /*
      * Positionnement de la variable au bon endroit       * Recherche de la feuille correspondante dans l'arbre des variables.
        * Si cette feuille n'existe pas, elle est créée.
      */       */
   
     // Nous avons (*s_etat_processus).nombre_variables - 1 variables dans la      if (ajout_variable(s_etat_processus, s_variable) == d_erreur)
     // table qui sera balayée de la fin vers le début.      {
           return(d_erreur);
       }
   
       return(d_absence_erreur);
   }
   
   
   /*
   ================================================================================
     Procédure de recherche d'une variable par son nom dans la base
   ================================================================================
     Entrée :
   --------------------------------------------------------------------------------
     Sortie :
   --------------------------------------------------------------------------------
     Effets de bord : néant
   ================================================================================
   */
   
   logical1
   recherche_variable(struct_processus *s_etat_processus,
           unsigned char *nom_variable)
   {
       int                         pointeur;
   
       struct_arbre_variables      *l_variable_courante;
       struct_liste_pile_systeme   *l_element_courant;
   
       unsigned char               *ptr;
   
       unsigned long               niveau_appel;
   
     if ((*s_etat_processus).nombre_variables == 1)      if ((*s_etat_processus).s_arbre_variables == NULL)
     {      {
         (*s_etat_processus).s_liste_variables[0] = (*s_variable);          (*s_etat_processus).erreur_systeme = d_es_variable_introuvable;
           return d_faux;
     }      }
     else  
       ptr = nom_variable;
   
       while((*ptr) != d_code_fin_chaine)
     {      {
         for(i = (*s_etat_processus).nombre_variables - 2; i >= 0; i--)          pointeur = (*s_etat_processus).pointeurs_caracteres_variables[*ptr];
   
           if (pointeur < 0)
         {          {
             if (strcmp((*s_variable).nom,              // Caractère hors de l'alphabet des variables
                     (*s_etat_processus).s_liste_variables[i].nom) < 0)              return(d_erreur);
             {          }
                 (*s_etat_processus).s_liste_variables[i + 1] =  
                         (*s_etat_processus).s_liste_variables[i];          if ((*l_variable_courante).noeud[pointeur] == NULL)
             }          {
             else              // Le chemin de la variable candidate n'existe pas.
               return(d_erreur);
           }
   
           l_variable_courante = (*l_variable_courante).noeud[pointeur];
           ptr++;
       }
   
       if ((*l_variable_courante).feuille != NULL)
       {
           // Il existe une pile de variables de même nom. Le sommet de la
           // pile est la variable de niveau le plus haut.
   
           l_element_courant = (*s_etat_processus).l_base_pile_systeme;
   
           if (l_element_courant == NULL)
           {
               // Problème : la pile système est vide !
               (*s_etat_processus).erreur_systeme = d_es_pile_vide;
               return(d_erreur);
           }
   
           while((*l_element_courant).retour_definition != 'Y')
           {
               l_element_courant = (*l_element_courant).suivant;
   
               if (l_element_courant == NULL)
             {              {
                 break;                  (*s_etat_processus).erreur_systeme = d_es_pile_vide;
                   return(d_erreur);
             }              }
         }          }
   
         if ((*s_variable).niveau > 1)          niveau_appel = (*l_element_courant).niveau_courant;
   
           if (niveau_appel < (*(*(*l_variable_courante).feuille).variable).niveau)
         {          {
             // Cas d'une variable locale              // Une variable locale est accessible puisque créée dans la
             (*s_etat_processus).s_liste_variables[i + 1] = (*s_variable);              // fonction courante.
   
               (*s_etat_processus).pointeur_variable_courante =
                       (*(*l_variable_courante).feuille).variable;
               (*s_etat_processus).pointeur_feuille_courante =
                       (*l_variable_courante).feuille;
               return(d_absence_erreur);
         }          }
         else          else
         {          {
             // Cas d'une variable globale              // Aucune variable locale n'est accessible depuis la fonction.
             presence = d_faux;              // Dans ce cas, on prend la variable de niveau le plus bas
               // si ce niveau est inférieur ou égal à 1 (variable globale
             for(; i >= 0; i--)              // ou fonction définie par l'utilisateur). Si le niveau de la
             {              // plus ancienne variable est strictement supérieur à 1, il
                 if ((strcmp((*s_variable).nom,              // s'agit d'une variable locale inaccessible.
                         (*s_etat_processus).s_liste_variables[i].nom) == 0)  
                         && ((*s_etat_processus).s_liste_variables[i].niveau              if ((*(*(*(*l_variable_courante).feuille).precedent).variable)
                         != 0))                      .niveau <= 1)
               {
                   (*s_etat_processus).pointeur_variable_courante =
                           (*(*(*l_variable_courante).feuille).precedent).variable;
                   (*s_etat_processus).pointeur_feuille_courante =
                           (*l_variable_courante).feuille;
   
                   // S'il existe une variable de niveau 0 et une seconde de
                   // niveau 1, la variable de niveau 0 (fonction) est masquée
                   // par celle de niveau 1.
   
                   if (((*(*(*l_variable_courante).feuille).variable).niveau == 0)
                           && ((*(*(*(*l_variable_courante).feuille).precedent)
                           .variable).niveau == 1))
                 {                  {
                     (*s_etat_processus).s_liste_variables[i + 1] =                      (*s_etat_processus).pointeur_variable_courante =
                             (*s_etat_processus).s_liste_variables[i];                              (*(*(*l_variable_courante).feuille).precedent)
                               .variable;
                       (*s_etat_processus).pointeur_feuille_courante =
                               (*l_variable_courante).feuille;
                 }                  }
                 else  
                 {  
                     presence = d_vrai;  
                     break;  
                 }  
             }  
   
             if (presence = d_faux)                  return(d_absence_erreur);
             {  
                 (*s_etat_processus).s_liste_variables[0] = (*s_variable);  
             }  
             else  
             {  
                 (*s_etat_processus).s_liste_variables[i + 1] = (*s_variable);  
             }              }
         }          }
     }      }
   
     return(d_absence_erreur);      return(d_erreur);
 }  }
   
   
Line 275  logical1 Line 628  logical1
 retrait_variable(struct_processus *s_etat_processus,  retrait_variable(struct_processus *s_etat_processus,
         unsigned char *nom_variable, unsigned char type)          unsigned char *nom_variable, unsigned char type)
 {  {
     struct_variable     *s_nouvelle_base;  
   
     logical1            erreur;      logical1            erreur;
   
     unsigned long       position_courante;  
     unsigned long       position_supprimee;  
   
     if (recherche_variable(s_etat_processus, nom_variable) == d_vrai)      if (recherche_variable(s_etat_processus, nom_variable) == d_vrai)
     {      {
           // Une variable correspondant au nom recherché est accessible.
   
         if (type == 'G')          if (type == 'G')
         {          {
             if ((*s_etat_processus).position_variable_courante > 0)              if ((*(*s_etat_processus).pointeur_variable_courante).niveau > 1)
             {              {
                 while(strcmp((*s_etat_processus).s_liste_variables                  // La variable obtenue est une variable locale. il faut
                         [(*s_etat_processus).position_variable_courante]                  // s'assurer qu'il existe une variable de niveau 1 de même
                         .nom, nom_variable) == 0)                  // nom sur la feuille.
                 {  
                     (*s_etat_processus).position_variable_courante--;  
   
                     if ((*s_etat_processus).position_variable_courante >=                  if ((*(*(*(*s_etat_processus).pointeur_feuille_courante)
                             (*s_etat_processus).nombre_variables)                          .precedent).variable).niveau <= 1)
                   {
                       (*s_etat_processus).pointeur_feuille_courante =
                               (*(*s_etat_processus).pointeur_feuille_courante)
                               .precedent;
                       (*s_etat_processus).pointeur_variable_courante =
                               (*(*s_etat_processus).pointeur_feuille_courante)
                               .variable;
   
                       // Si la variable retournée est de niveau 0, on regarde
                       // un peu plus loin si une variable de niveau 1 existe.
   
                       if (((*(*(*s_etat_processus).pointeur_feuille_courante)
                               .variable).niveau == 0) &&
                               ((*(*(*(*s_etat_processus)
                               .pointeur_feuille_courante).precedent).variable)
                               .niveau == 1))
                     {                      {
                         erreur = d_erreur;                          (*s_etat_processus).pointeur_feuille_courante =
                         (*s_etat_processus).erreur_execution =                                  (*(*s_etat_processus).pointeur_feuille_courante)
                                 d_ex_variable_non_definie;                                  .precedent;
                         return erreur;                          (*s_etat_processus).pointeur_variable_courante =
                                   (*(*s_etat_processus).pointeur_feuille_courante)
                                   .variable;
                     }                      }
                 }                  }
                   else
                   {
                       // Aucune variable globale (niveau 1) n'existe.
   
                 (*s_etat_processus).position_variable_courante++;                      erreur = d_erreur;
             }                      (*s_etat_processus).erreur_execution =
                               d_ex_variable_non_definie;
             if ((*s_etat_processus).s_liste_variables                      return(erreur);
                     [(*s_etat_processus).position_variable_courante]                  }
                     .niveau != 1)  
             {  
                 erreur = d_erreur;  
                 (*s_etat_processus).erreur_execution =  
                         d_ex_variable_non_definie;  
                 return erreur;  
             }              }
   
             if ((*s_etat_processus).s_liste_variables              if ((*(*s_etat_processus).pointeur_variable_courante)
                     [(*s_etat_processus).position_variable_courante]  
                     .variable_verrouillee == d_vrai)                      .variable_verrouillee == d_vrai)
             {              {
                 erreur = d_erreur;                  erreur = d_erreur;
Line 328  retrait_variable(struct_processus *s_eta Line 690  retrait_variable(struct_processus *s_eta
             }              }
         }          }
   
         if ((*s_etat_processus).nombre_variables <          // Suppression de la variable de la liste.
                 ((*s_etat_processus).nombre_variables_allouees / 2))          // Deux cas peuvent survenir :
         {          // 1/ les pointeurs sur la variable et la variable suivante
             (*s_etat_processus).nombre_variables_allouees /= 2;          // sont identiques et on supprime la variable ainsi que la feuille
           // associée ;
             // (*s_etat_processus).nombre_variables est forcément          // 2/ ces deux pointeurs sont différents et se contente de retirer
             // supérieur à 1 (la décrémentation est postérieure). Ce test          // la structure décrivant la variable.
             // est vrai lorsque le nombre de variables allouées est  
             // strictement supérieur à 2.  
   
             if ((s_nouvelle_base =  
                     realloc((*s_etat_processus).s_liste_variables,  
                     (*s_etat_processus).nombre_variables_allouees *  
                     sizeof(struct_variable))) == NULL)  
             {  
                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;  
                 return(d_erreur);  
             }  
   
             (*s_etat_processus).s_liste_variables = s_nouvelle_base;  
         }  
   
         position_supprimee = (*s_etat_processus).position_variable_courante;          position_supprimee = (*s_etat_processus).position_variable_courante;
   
Line 371  retrait_variable(struct_processus *s_eta Line 719  retrait_variable(struct_processus *s_eta
     }      }
     else      else
     {      {
         erreur = d_erreur;          // Aucune variable n'est accessible depuis le point courant du
         (*s_etat_processus).erreur_systeme = d_es_variable_introuvable;          // programme.
     }  
   
     return erreur;  
 }  
   
   
 /*  
 ================================================================================  
   Procédure de recherche d'une variable par son nom dans la base  
 ================================================================================  
   Entrée :  
 --------------------------------------------------------------------------------  
   Sortie :  
 --------------------------------------------------------------------------------  
   Effets de bord : néant  
 ================================================================================  
 */  
   
 logical1  
 recherche_variable(struct_processus *s_etat_processus,  
         unsigned char *nom_variable)  
 {  
     logical1                    existence_variable;  
   
     long                        difference;  
     long                        difference_inferieure;  
     long                        difference_superieure;  
   
     struct_liste_pile_systeme   *l_element_courant;  
   
     unsigned long               borne_inferieure;  
     unsigned long               borne_superieure;  
     unsigned long               moyenne;  
     unsigned long               niveau_appel;  
     unsigned long               nombre_iterations_maximal;  
     unsigned long               ordre_iteration;  
   
     if ((*s_etat_processus).nombre_variables == 0)  
     {  
         (*s_etat_processus).erreur_systeme = d_es_variable_introuvable;  
         return d_faux;  
     }  
   
     ordre_iteration = 0;  
     nombre_iterations_maximal = ((unsigned long)  
             (log((*s_etat_processus).nombre_variables) / log(2))) + 2;  
   
     borne_inferieure = 0;  
     borne_superieure = (*s_etat_processus).nombre_variables - 1;  
   
     do  
     {  
         moyenne = (borne_inferieure + borne_superieure) / 2;  
         ordre_iteration++;  
   
         if (((borne_inferieure + borne_superieure) % 2) == 0)  
         {  
             difference = strcmp(nom_variable,  
                     ((*s_etat_processus).s_liste_variables)[moyenne].nom);  
   
             if (difference != 0)  
             {  
                 if (difference > 0)  
                 {  
                     borne_inferieure = moyenne;  
                 }  
                 else  
                 {  
                     borne_superieure = moyenne;  
                 }  
             }  
         }  
         else  
         {  
             difference_inferieure = strcmp(nom_variable,  
                     ((*s_etat_processus).s_liste_variables)[moyenne].nom);  
             difference_superieure = strcmp(nom_variable,  
                     ((*s_etat_processus).s_liste_variables)[moyenne + 1].nom);  
   
             if (difference_inferieure == 0)          erreur = d_erreur;
             {  
                 difference = 0;  
             }  
             else if (difference_superieure == 0)  
             {  
                 difference = 0;  
                 moyenne++;  
             }  
             else  
             {  
                 difference = difference_inferieure;  
   
                 if (difference > 0)  
                 {  
                     borne_inferieure = moyenne;  
                 }  
                 else  
                 {  
                     borne_superieure = moyenne;  
                 }  
             }  
         }  
     } while((difference != 0) &&  
             (ordre_iteration <= nombre_iterations_maximal));  
   
     if (ordre_iteration > nombre_iterations_maximal)  
     {  
         existence_variable = d_faux;  
         (*s_etat_processus).erreur_systeme = d_es_variable_introuvable;          (*s_etat_processus).erreur_systeme = d_es_variable_introuvable;
     }      }
     else  
     {  
         if ((moyenne + 1) < (*s_etat_processus).nombre_variables)  
         {  
             while(strcmp(((*s_etat_processus).s_liste_variables)  
                     [moyenne + 1].nom, nom_variable) == 0)  
             {  
                 moyenne++;  
   
                 if ((moyenne + 1) >= (*s_etat_processus).nombre_variables)  
                 {  
                     break;  
                 }  
             }  
         }  
   
         (*s_etat_processus).position_variable_courante = moyenne;  
   
         if ((*s_etat_processus).s_liste_variables[(*s_etat_processus)  
                 .position_variable_courante].niveau > 1)  
         {  
             // La variable trouvée est une variable locale.  
             // On vérifie qu'elle est accessible à la définition  
             // courante.  
   
             niveau_appel = (*s_etat_processus).niveau_courant;  
             l_element_courant = (*s_etat_processus).l_base_pile_systeme;  
   
             if (l_element_courant == NULL)  
             {  
                 (*s_etat_processus).erreur_systeme = d_es_pile_vide;  
                 existence_variable = d_faux;  
   
                 return existence_variable;  
             }  
   
             while((*l_element_courant).retour_definition != 'Y')  
             {  
                 l_element_courant = (*l_element_courant).suivant;  
   
                 if (l_element_courant == NULL)  
                 {  
                     (*s_etat_processus).erreur_systeme = d_es_pile_vide;  
                     existence_variable = d_faux;  
   
                     return existence_variable;  
                 }  
             }  
   
             niveau_appel = (*l_element_courant).niveau_courant;  
   
             if (niveau_appel < (*s_etat_processus).s_liste_variables  
                     [(*s_etat_processus).position_variable_courante].niveau)  
             {  
                 existence_variable = d_vrai;  
             }  
             else  
             {  
                 existence_variable = d_faux;  
   
                 // La variable locale n'est pas accessible. On regarde si par  
                 // hasard il existe une variable globale.  
   
                 while((*s_etat_processus).position_variable_courante != 0)  
                 {  
                     if (strcmp(((*s_etat_processus).s_liste_variables)  
                             [(*s_etat_processus).position_variable_courante - 1]                            .nom, nom_variable) == 0)  
                     {  
                         (*s_etat_processus).position_variable_courante--;  
                     }  
                     else  
                     {  
                         if ((*s_etat_processus).s_liste_variables  
                                 [(*s_etat_processus).position_variable_courante]  
                                 .niveau <= 1)  
                         {  
                             existence_variable = d_vrai;  
                         }  
   
                         break;  
                     }  
                 }  
   
                 if ((strcmp(((*s_etat_processus).s_liste_variables)  
                         [(*s_etat_processus).position_variable_courante].nom,  
                         nom_variable) == 0) && ((*s_etat_processus)  
                         .s_liste_variables[(*s_etat_processus)  
                         .position_variable_courante].niveau <= 1))  
                 {  
                     existence_variable = d_vrai;  
                 }  
             }  
         }  
         else  
         {  
             // La variable trouvée est soit un pointeur sur une définition  
             // (niveau 0), soit une variable globale (niveau 1).  
   
             existence_variable = d_vrai;  
         }  
     }  
   
     return existence_variable;      return(erreur);
 }  }
   
   
Line 677  retrait_variable_par_niveau(struct_proce Line 818  retrait_variable_par_niveau(struct_proce
                     {                      {
                         (*s_etat_processus).erreur_systeme =                          (*s_etat_processus).erreur_systeme =
                                 d_es_variable_introuvable;                                  d_es_variable_introuvable;
                           return(d_erreur);
                     }                      }
   
                     (*s_etat_processus).s_liste_variables[i].objet = NULL;                      (*s_etat_processus).s_liste_variables[i].objet = NULL;
Line 710  retrait_variable_par_niveau(struct_proce Line 852  retrait_variable_par_niveau(struct_proce
     return(d_absence_erreur);      return(d_absence_erreur);
 }  }
   
   
   /*
   ================================================================================
     Procédure de retrait des toutes les variables locales et globales
   ================================================================================
     Entrée : drapeau indiquant s'il faut retirer les définitions (variables
              de niveau 0)
   --------------------------------------------------------------------------------
     Sortie :
   --------------------------------------------------------------------------------
     Effets de bord : néant
   ================================================================================
   */
   
   void
   liberation_arbre_variables(struct_processus *s_etat_processus,
           struct_arbre_variables *arbre, logical1 retrait_definitions)
   {
       int                     i;
   
       struct_liste_chainee    *l_element_courant;
       struct_liste_chainee    *l_element_suivant;
   
       for(i = 0; i < (*s_etat_processus).nombre_caracteres_variables; i++)
       {
           if ((*arbre).noeud[i] != NULL)
           {
               l_element_courant = (*arbre).l_variables;
   
               while(l_element_courant != NULL)
               {
                   l_element_suivant = (*l_element_courant).suivant;
   
                   if (retrait_definitions == d_vrai)
                   {
                       liberation(s_etat_processus, (*((struct_variable *)
                               (*l_element_courant).donnee)).objet);
                       free((*((struct_variable *) (*l_element_courant)
                               .donnee)).nom);
                       free((struct_variable *) (*l_element_courant).donnee);
                   }
                   else
                   {
                       if ((*((struct_variable *) (*l_element_courant).donnee))
                               .niveau >= 1)
                       {
                           liberation(s_etat_processus, (*((struct_variable *)
                                   (*l_element_courant).donnee)).objet);
                           free((*((struct_variable *) (*l_element_courant)
                                   .donnee)).nom);
                           free((struct_variable *) (*l_element_courant).donnee);
                       }
                   }
   
                   free(l_element_courant);
                   l_element_courant = l_element_suivant;
               }
   
               liberation_arbre_variables(s_etat_processus, (*arbre).noeud[i]);
           }
       }
   
       free((*arbre).noeud);
       free(arbre);
   
       return;
   }
   
   /*
   ================================================================================
     Procédure de copie de l'arbre des variables
   ================================================================================
     Entrée :
   --------------------------------------------------------------------------------
     Sortie :
   --------------------------------------------------------------------------------
     Effets de bord : néant
   ================================================================================
   */
   
   struct_arbre_variables *
   copie_arbre_variables(struct_processus *s_etat_processus)
   {
       // Les définitions sont partagées entre tous les threads et ne sont pas
       // copiées.
   
       return(d_absence_erreur);
   }
   
   
   /*
   ================================================================================
     Procédure d'initialisation de la table de correspondance des variables
   ================================================================================
     Entrée :
   --------------------------------------------------------------------------------
     Sortie :
   --------------------------------------------------------------------------------
     Effets de bord : néant
   ================================================================================
   */
   
   /*
    * Caractères autorisés dans les instructions
    *
    * A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
    * a b c d e f g h i j k l m n o p q r s t u v w x y z
    * _
    * 1 2 3 4 5 6 7 8 9 0
    */
   
   void
   initialisation_variables(struct_processus *s_etat_processus)
   {
       int             decalage;
       int             i;
       int             longueur_tableau;
   
       unsigned char   caractere;
   
       // Récupération de la longueur d'un unsigned char
   
       longueur_tableau = 1;
       decalage = 0;
       caractere = 1;
   
       while((1L << decalage) == (long) ((unsigned char) (caractere << decalage)))
       {
           decalage++;
           longueur_tableau *= 2;
       }
   
       if (((*s_etat_processus).pointeurs_caracteres_variables =
               malloc(longueur_tableau * sizeof(int))) == NULL)
       {
           (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
           return;
       }
   
       for(i = 0; i < longueur_tableau; i++)
       {
           (*s_etat_processus).pointeurs_caracteres_variables[i] = -1;
       }
   
       (*s_etat_processus).nombre_caracteres_variables = 0;
   
   #define DECLARATION_CARACTERE(c) \
           do { (*s_etat_processus).pointeurs_caracteres_variables[c] = \
           (*s_etat_processus).nombre_caracteres_variables++; } while(0)
   
       DECLARATION_CARACTERE('A');
       DECLARATION_CARACTERE('B');
       DECLARATION_CARACTERE('C');
       DECLARATION_CARACTERE('D');
       DECLARATION_CARACTERE('E');
       DECLARATION_CARACTERE('F');
       DECLARATION_CARACTERE('G');
       DECLARATION_CARACTERE('H');
       DECLARATION_CARACTERE('I');
       DECLARATION_CARACTERE('J');
       DECLARATION_CARACTERE('K');
       DECLARATION_CARACTERE('L');
       DECLARATION_CARACTERE('M');
       DECLARATION_CARACTERE('N');
       DECLARATION_CARACTERE('O');
       DECLARATION_CARACTERE('P');
       DECLARATION_CARACTERE('Q');
       DECLARATION_CARACTERE('R');
       DECLARATION_CARACTERE('S');
       DECLARATION_CARACTERE('T');
       DECLARATION_CARACTERE('U');
       DECLARATION_CARACTERE('V');
       DECLARATION_CARACTERE('W');
       DECLARATION_CARACTERE('X');
       DECLARATION_CARACTERE('Y');
       DECLARATION_CARACTERE('Z');
   
       DECLARATION_CARACTERE('a');
       DECLARATION_CARACTERE('b');
       DECLARATION_CARACTERE('c');
       DECLARATION_CARACTERE('d');
       DECLARATION_CARACTERE('e');
       DECLARATION_CARACTERE('f');
       DECLARATION_CARACTERE('g');
       DECLARATION_CARACTERE('h');
       DECLARATION_CARACTERE('i');
       DECLARATION_CARACTERE('j');
       DECLARATION_CARACTERE('k');
       DECLARATION_CARACTERE('l');
       DECLARATION_CARACTERE('m');
       DECLARATION_CARACTERE('n');
       DECLARATION_CARACTERE('o');
       DECLARATION_CARACTERE('p');
       DECLARATION_CARACTERE('q');
       DECLARATION_CARACTERE('r');
       DECLARATION_CARACTERE('s');
       DECLARATION_CARACTERE('t');
       DECLARATION_CARACTERE('u');
       DECLARATION_CARACTERE('v');
       DECLARATION_CARACTERE('w');
       DECLARATION_CARACTERE('x');
       DECLARATION_CARACTERE('y');
       DECLARATION_CARACTERE('z');
   
       DECLARATION_CARACTERE('_');
   
       DECLARATION_CARACTERE('1');
       DECLARATION_CARACTERE('2');
       DECLARATION_CARACTERE('3');
       DECLARATION_CARACTERE('4');
       DECLARATION_CARACTERE('5');
       DECLARATION_CARACTERE('6');
       DECLARATION_CARACTERE('7');
       DECLARATION_CARACTERE('8');
       DECLARATION_CARACTERE('9');
       DECLARATION_CARACTERE('0');
   #undef DECLARATION_CARACTERE
   
       return;
   }
   
 // vim: ts=4  // vim: ts=4
Removed from v.1.15  
changed lines
  Added in v.1.27

CVSweb interface <joel.bertrand@systella.fr>