Diff for /rpl/src/instructions_e1.c between versions 1.11 and 1.41

version 1.11, 2010/07/14 14:19:35 version 1.41, 2013/02/26 19:56:14
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.18    RPL/2 (R) version 4.1.12
   Copyright (C) 1989-2010 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 20 Line 20
 */  */
   
   
 #include "rpl.conv.h"  #include "rpl-conv.h"
   
   
 /*  /*
Line 229  instruction_end(struct_processus *s_etat Line 229  instruction_end(struct_processus *s_etat
         printf("        (expression 2)]\n");          printf("        (expression 2)]\n");
         printf("    END\n\n");          printf("    END\n\n");
   
           printf("    CRITICAL\n");
           printf("        (expression)\n");
           printf("    END\n\n");
   
         printf("    DO\n");          printf("    DO\n");
         printf("        (expression)\n");          printf("        (expression)\n");
         printf("    UNTIL\n");          printf("    UNTIL\n");
Line 264  instruction_end(struct_processus *s_etat Line 268  instruction_end(struct_processus *s_etat
         return;          return;
     }      }
   
       if ((*s_etat_processus).l_base_pile_systeme == NULL)
       {
           (*s_etat_processus).erreur_systeme = d_es_processus;
           return;
       }
   
     if (((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'I')      if (((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'I')
             || ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'J'))              || ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'J'))
     {      {
Line 416  instruction_end(struct_processus *s_etat Line 426  instruction_end(struct_processus *s_etat
             return;              return;
         }          }
     }      }
     else       else if ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'Q')
       {
           depilement_pile_systeme(s_etat_processus);
   
           if ((*s_etat_processus).erreur_systeme != d_es)
           {
               return;
           }
   
           if (pthread_mutex_unlock(&mutex_sections_critiques) != 0)
           {
               (*s_etat_processus).erreur_systeme = d_es_processus;
               return;
           }
   
           (*s_etat_processus).sections_critiques--;
       }
       else
     {      {
         (*s_etat_processus).erreur_systeme = d_es_end_incoherent;          (*s_etat_processus).erreur_systeme = d_es_end_incoherent;
     }      }

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


CVSweb interface <joel.bertrand@systella.fr>