Diff for /rpl/src/instructions_e1.c between versions 1.36 and 1.37

version 1.36, 2012/08/22 10:47:15 version 1.37, 2012/09/15 12:57:09
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.36  
changed lines
  Added in v.1.37


CVSweb interface <joel.bertrand@systella.fr>