Diff for /rpl/src/compilation.c between versions 1.41 and 1.56

version 1.41, 2012/01/30 11:57:40 version 1.56, 2013/03/17 22:26:43
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.1.6    RPL/2 (R) version 4.1.13
   Copyright (C) 1989-2012 Dr. BERTRAND Joël    Copyright (C) 1989-2013 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 358  compilation(struct_processus *s_etat_pro Line 358  compilation(struct_processus *s_etat_pro
 ================================================================================  ================================================================================
 */  */
   
 logical1  enum t_condition    { AN_IF = 1, AN_IFERR, AN_THEN, AN_ELSE, AN_ELSEIF,
 analyse_syntaxique(struct_processus *s_etat_processus)                      AN_END, AN_DO, AN_UNTIL, AN_WHILE, AN_REPEAT, AN_SELECT,
 {                      AN_CASE, AN_DEFAULT, AN_UP, AN_DOWN, AN_FOR, AN_START,
     enum t_condition    { AN_IF = 1, AN_IFERR, AN_THEN, AN_ELSE, AN_ELSEIF,                      AN_NEXT, AN_STEP, AN_CRITICAL, AN_FORALL };
                         AN_END, AN_DO, AN_UNTIL, AN_WHILE, AN_REPEAT, AN_SELECT,  
                         AN_CASE, AN_DEFAULT, AN_UP, AN_DOWN, AN_FOR, AN_START,  
                         AN_NEXT, AN_STEP };  
   
     unsigned char       *instruction;  
     unsigned char       registre;  
   
     typedef struct pile  typedef struct pile
     {  {
         enum t_condition    condition;      enum t_condition    condition;
         struct pile         *suivant;      struct pile         *suivant;
     } struct_pile_analyse;  } struct_pile_analyse;
   
     struct_pile_analyse     *l_base_pile;  static inline struct_pile_analyse *
     struct_pile_analyse     *l_nouvelle_base_pile;  empilement_analyse(struct_pile_analyse *ancienne_base,
           enum t_condition condition)
   {
       struct_pile_analyse     *nouvelle_base;
   
     inline struct_pile_analyse *      if ((nouvelle_base = malloc(sizeof(struct_pile_analyse))) == NULL)
     empilement_analyse(struct_pile_analyse *ancienne_base,  
             enum t_condition condition)  
     {      {
         struct_pile_analyse     *nouvelle_base;          return(NULL);
       }
   
         if ((nouvelle_base = malloc(sizeof(struct_pile_analyse))) == NULL)      (*nouvelle_base).suivant = ancienne_base;
         {      (*nouvelle_base).condition = condition;
             return(NULL);  
         }  
   
         (*nouvelle_base).suivant = ancienne_base;      return(nouvelle_base);
         (*nouvelle_base).condition = condition;  }
   
         return(nouvelle_base);  static inline struct_pile_analyse *
     }  depilement_analyse(struct_pile_analyse *ancienne_base)
   {
       struct_pile_analyse     *nouvelle_base;
   
     inline struct_pile_analyse *      if (ancienne_base == NULL)
     depilement_analyse(struct_pile_analyse *ancienne_base)  
     {      {
         struct_pile_analyse     *nouvelle_base;          return(NULL);
       }
   
         if (ancienne_base == NULL)      nouvelle_base = (*ancienne_base).suivant;
         {      free(ancienne_base);
             return(NULL);  
         }  
   
         nouvelle_base = (*ancienne_base).suivant;      return(nouvelle_base);
         free(ancienne_base);  }
   
         return(nouvelle_base);  static inline logical1
   test_analyse(struct_pile_analyse *l_base_pile, enum t_condition condition)
   {
       if (l_base_pile == NULL)
       {
           return(d_faux);
     }      }
   
     inline logical1      return(((*l_base_pile).condition == condition) ? d_vrai : d_faux);
     test_analyse(struct_pile_analyse *l_base_pile, enum t_condition condition)  }
     {  
         if (l_base_pile == NULL)  
         {  
             return(d_faux);  
         }  
   
         return(((*l_base_pile).condition == condition) ? d_vrai : d_faux);  static inline void
     }  liberation_analyse(struct_pile_analyse *l_base_pile)
   {
       struct_pile_analyse     *l_nouvelle_base_pile;
   
     inline void      while(l_base_pile != NULL)
     liberation_analyse(struct_pile_analyse *l_base_pile)  
     {      {
         struct_pile_analyse     *l_nouvelle_base_pile;          l_nouvelle_base_pile = (*l_base_pile).suivant;
           free(l_base_pile);
           l_base_pile = l_nouvelle_base_pile;
       }
   
         while(l_base_pile != NULL)      return;
         {  }
             l_nouvelle_base_pile = (*l_base_pile).suivant;  
             free(l_base_pile);  
             l_base_pile = l_nouvelle_base_pile;  
         }  
   
         return;  logical1
     }  analyse_syntaxique(struct_processus *s_etat_processus)
   {
       unsigned char       *instruction;
       unsigned char       registre;
   
       struct_pile_analyse     *l_base_pile;
       struct_pile_analyse     *l_nouvelle_base_pile;
   
     l_base_pile = NULL;      l_base_pile = NULL;
     l_nouvelle_base_pile = NULL;      l_nouvelle_base_pile = NULL;
Line 514  analyse_syntaxique(struct_processus *s_e Line 514  analyse_syntaxique(struct_processus *s_e
   
             l_base_pile = l_nouvelle_base_pile;              l_base_pile = l_nouvelle_base_pile;
         }          }
           else if (strcmp(instruction, "CRITICAL") == 0)
           {
               if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
                       AN_CRITICAL)) == NULL)
               {
                   liberation_analyse(l_base_pile);
   
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
               }
   
               l_base_pile = l_nouvelle_base_pile;
           }
         else if (strcmp(instruction, "THEN") == 0)          else if (strcmp(instruction, "THEN") == 0)
         {          {
             if ((test_analyse(l_base_pile, AN_IF) == d_faux) &&              if ((test_analyse(l_base_pile, AN_IF) == d_faux) &&
Line 572  analyse_syntaxique(struct_processus *s_e Line 585  analyse_syntaxique(struct_processus *s_e
                     (test_analyse(l_base_pile, AN_DEFAULT) == d_faux) &&                      (test_analyse(l_base_pile, AN_DEFAULT) == d_faux) &&
                     (test_analyse(l_base_pile, AN_SELECT) == d_faux) &&                      (test_analyse(l_base_pile, AN_SELECT) == d_faux) &&
                     (test_analyse(l_base_pile, AN_THEN) == d_faux) &&                      (test_analyse(l_base_pile, AN_THEN) == d_faux) &&
                       (test_analyse(l_base_pile, AN_CRITICAL) == d_faux) &&
                     (test_analyse(l_base_pile, AN_ELSE) == d_faux))                      (test_analyse(l_base_pile, AN_ELSE) == d_faux))
             {              {
                 liberation_analyse(l_base_pile);                  liberation_analyse(l_base_pile);
Line 753  analyse_syntaxique(struct_processus *s_e Line 767  analyse_syntaxique(struct_processus *s_e
   
             l_base_pile = l_nouvelle_base_pile;              l_base_pile = l_nouvelle_base_pile;
         }          }
           else if (strcmp(instruction, "FORALL") == 0)
           {
               if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
                       AN_FORALL)) == NULL)
               {
                   liberation_analyse(l_base_pile);
   
                   (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                   return(d_erreur);
               }
   
               l_base_pile = l_nouvelle_base_pile;
           }
         else if (strcmp(instruction, "NEXT") == 0)          else if (strcmp(instruction, "NEXT") == 0)
         {          {
             if ((test_analyse(l_base_pile, AN_FOR) == d_faux) &&              if ((test_analyse(l_base_pile, AN_FOR) == d_faux) &&
                       (test_analyse(l_base_pile, AN_FORALL) == d_faux) &&
                     (test_analyse(l_base_pile, AN_START) == d_faux))                      (test_analyse(l_base_pile, AN_START) == d_faux))
             {              {
                 liberation_analyse(l_base_pile);                  liberation_analyse(l_base_pile);
Line 930  readline_effacement(int count, int key) Line 958  readline_effacement(int count, int key)
     ligne = NULL;      ligne = NULL;
     niveau = 0;      niveau = 0;
   
     uprintf("annulation\n");      uprintf("^G\n");
     rl_expand_prompt("RPL/2> ");      rl_expand_prompt("RPL/2> ");
     rl_on_new_line();      rl_on_new_line();
     return(0);      return(0);
Line 1052  recherche_instruction_suivante(struct_pr Line 1080  recherche_instruction_suivante(struct_pr
         {          {
             case ']' :              case ']' :
             case '}' :              case '}' :
               {
                   break;
               }
   
             case ')' :              case ')' :
             {              {
                 erreur_format = d_ex_syntaxe;                  erreur_format = d_ex_syntaxe;
Line 1390  recherche_instruction_suivante(struct_pr Line 1422  recherche_instruction_suivante(struct_pr
                 while((niveau != 0) && ((*pointeur_caractere_courant) !=                  while((niveau != 0) && ((*pointeur_caractere_courant) !=
                         d_code_fin_chaine))                          d_code_fin_chaine))
                 {                  {
                     switch(*pointeur_caractere_courant)                      (*s_etat_processus).position_courante =
                               pointeur_caractere_courant
                               - (*s_etat_processus).definitions_chainees;
   
                       if (recherche_instruction_suivante(s_etat_processus)
                               == d_erreur)
                     {                      {
                         case '{' :                          if ((*s_etat_processus).instruction_courante
                                   != NULL)
                         {                          {
                             if (niveau_annexe == 0)                              free((*s_etat_processus).instruction_courante);
                             {  
                                 niveau++;  
                             }  
                             else  
                             {  
                                 erreur_analyse = d_ex_syntaxe;  
                             }  
   
                             break;  
                         }                          }
   
                         case '}' :                          return(d_erreur);
                         {                      }
                             if (niveau_annexe == 0)  
                             {  
                                 niveau--;  
                             }  
                             else  
                             {  
                                 erreur_analyse = d_ex_syntaxe;  
                             }  
   
                             break;                      pointeur_caractere_courant =
                         }                              (*s_etat_processus).definitions_chainees +
                               (*s_etat_processus).position_courante;
   
                         case '[' :                      if (strcmp((*s_etat_processus).instruction_courante, "{")
                               == 0)
                       {
                           if (niveau_annexe == 0)
                         {                          {
                             niveau_annexe++;                              niveau++;
   
                             if (niveau_annexe > 2)  
                             {  
                                 erreur_analyse = d_ex_syntaxe;  
                             }  
   
                             break;  
                         }                          }
                           else
                         case ']' :  
                         {                          {
                             niveau_annexe--;                              erreur_analyse = d_ex_syntaxe;
                           }
                             if (niveau_annexe < 0)                      }
                             {                      else if (strcmp((*s_etat_processus).instruction_courante,
                                 erreur_analyse = d_ex_syntaxe;                              "}") == 0)
                             }                      {
                           if (niveau_annexe == 0)
                           {
                               niveau--;
                           }
                           else
                           {
                               erreur_analyse = d_ex_syntaxe;
                           }
                       }
                       else if (strcmp((*s_etat_processus).instruction_courante,
                               "<[") == 0)
                       {
                           niveau++;
                       }
                       else if (strcmp((*s_etat_processus).instruction_courante,
                               "]>") == 0)
                       {
                           niveau--;
                       }
                       else if (strcmp((*s_etat_processus).instruction_courante,
                               "[") == 0)
                       {
                           niveau_annexe++;
   
                             break;                          if (niveau_annexe > 2)
                           {
                               erreur_analyse = d_ex_syntaxe;
                         }                          }
                       }
                       else if (strcmp((*s_etat_processus).instruction_courante,
                               "[[") == 0)
                       {
                           niveau_annexe += 2;
   
                         case '"' :                          if (niveau_annexe > 2)
                         {                          {
                             if (niveau_annexe == 0)                              erreur_analyse = d_ex_syntaxe;
                             {                          }
                                 pointeur_caractere_courant++;                      }
                       else if (strcmp((*s_etat_processus).instruction_courante,
                               "]") == 0)
                       {
                           niveau_annexe--;
   
                                 while((*pointeur_caractere_courant != '"') &&                          if (niveau_annexe < 0)
                                         ((*pointeur_caractere_courant) !=                          {
                                         d_code_fin_chaine))                              erreur_analyse = d_ex_syntaxe;
                                 {                          }
                                     if (*pointeur_caractere_courant == '\\')                      }
                                     {                      else if (strcmp((*s_etat_processus).instruction_courante,
                                         pointeur_caractere_courant++;                              "]]") == 0)
                       {
                                         switch(*pointeur_caractere_courant)                          niveau_annexe -= 2;
                                         {  
                                             case '\\' :  
                                             case '"' :  
                                             {  
                                                 pointeur_caractere_courant++;  
                                                 break;  
                                             }  
                                         }  
                                     }  
                                     else  
                                     {  
                                         pointeur_caractere_courant++;  
                                     }  
                                 }  
                             }  
                             else  
                             {  
                                 erreur_analyse = d_ex_syntaxe;  
                             }  
   
                             break;                          if (niveau_annexe < 0)
                           {
                               erreur_analyse = d_ex_syntaxe;
                           }
                       }
                       else if ((*s_etat_processus).instruction_courante[0] == '"')
                       {
                           if (niveau_annexe != 0)
                           {
                               erreur_analyse = d_ex_syntaxe;
                         }                          }
                     }                      }
   
                     pointeur_caractere_courant++;                      free((*s_etat_processus).instruction_courante);
                 }                  }
   
                 if ((niveau != 0) || (niveau_annexe != 0))                  if ((niveau != 0) || (niveau_annexe != 0))
Line 1577  recherche_instruction_suivante(struct_pr Line 1618  recherche_instruction_suivante(struct_pr
             {              {
                 if (((*s_etat_processus).autorisation_empilement_programme                  if (((*s_etat_processus).autorisation_empilement_programme
                         == 'Y') && ((*pointeur_caractere_courant) == '<'))                          == 'Y') && ((*pointeur_caractere_courant) == '<'))
                 {                  { // Cas << >>
                     if (pointeur_debut_instruction !=                      if (pointeur_debut_instruction !=
                             (pointeur_caractere_courant - 1))                              (pointeur_caractere_courant - 1))
                     {                      {
Line 1589  recherche_instruction_suivante(struct_pr Line 1630  recherche_instruction_suivante(struct_pr
                     while((niveau != 0) && ((*pointeur_caractere_courant) !=                      while((niveau != 0) && ((*pointeur_caractere_courant) !=
                             d_code_fin_chaine))                              d_code_fin_chaine))
                     {                      {
                         if (((*pointeur_caractere_courant) == '<') &&                          (*s_etat_processus).position_courante =
                                 ((*(pointeur_caractere_courant + 1)) == '<'))                                  pointeur_caractere_courant
                                   - (*s_etat_processus).definitions_chainees;
   
                           if (recherche_instruction_suivante(s_etat_processus)
                                   == d_erreur)
                         {                          {
                             niveau++;                              if ((*s_etat_processus).instruction_courante
                             pointeur_caractere_courant++;                                      != NULL)
                               {
                                   free((*s_etat_processus).instruction_courante);
                               }
   
                               return(d_erreur);
                         }                          }
                         else if (((*pointeur_caractere_courant) == '>') &&  
                                 ((*(pointeur_caractere_courant + 1)) == '>'))                          pointeur_caractere_courant =
                                   (*s_etat_processus).definitions_chainees +
                                   (*s_etat_processus).position_courante;
   
                           if (strcmp((*s_etat_processus).instruction_courante,
                                   "<<") == 0)
                         {                          {
                             niveau--;                              niveau++;
                             pointeur_caractere_courant++;  
                         }                          }
                         else if ((*pointeur_caractere_courant) == '"')                          else if (strcmp((*s_etat_processus)
                                   .instruction_courante, ">>") == 0)
                         {                          {
                             pointeur_caractere_courant++;                              niveau--;
   
                             while((*pointeur_caractere_courant != '"') &&  
                                     ((*pointeur_caractere_courant) !=  
                                     d_code_fin_chaine))  
                             {  
                                 if (*pointeur_caractere_courant == '\\')  
                                 {  
                                     pointeur_caractere_courant++;  
   
                                     switch(*pointeur_caractere_courant)  
                                     {  
                                         case '\\' :  
                                         case '"' :  
                                         {  
                                             pointeur_caractere_courant++;  
                                             break;  
                                         }  
                                     }  
                                 }  
                                 else  
                                 {  
                                     pointeur_caractere_courant++;  
                                 }  
                             }  
                         }                          }
   
                         pointeur_caractere_courant++;                          free((*s_etat_processus).instruction_courante);
                     }                      }
   
                     if (niveau != 0)                      if (niveau != 0)
Line 1641  recherche_instruction_suivante(struct_pr Line 1672  recherche_instruction_suivante(struct_pr
                     drapeau_fin_objet = d_vrai;                      drapeau_fin_objet = d_vrai;
                 }                  }
                 else if ((*pointeur_caractere_courant) == '[')                  else if ((*pointeur_caractere_courant) == '[')
                 {                  { // Cas <[ ]>
                     if (pointeur_debut_instruction !=                      if (pointeur_debut_instruction !=
                             (pointeur_caractere_courant - 1))                              (pointeur_caractere_courant - 1))
                     {                      {

Removed from v.1.41  
changed lines
  Added in v.1.56


CVSweb interface <joel.bertrand@systella.fr>