--- rpl/src/evaluation.c	2012/08/22 10:47:14	1.55
+++ rpl/src/evaluation.c	2012/09/15 12:57:09	1.56
@@ -915,6 +915,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -932,6 +933,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -987,6 +996,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -1001,6 +1018,55 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+													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;
+
+														liberation(
+														s_etat_processus,
+														s_objet_evalue);
+
+														(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+														return(d_erreur);
+													}
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);
 
@@ -1087,6 +1153,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -1097,6 +1164,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -1139,6 +1214,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -1147,6 +1230,62 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+													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;
+
+														if (presence_egalite ==
+																d_vrai)
+														{
+															liberation(
+															s_etat_processus,
+															s_objet_evalue);
+														}
+
+														(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+														return(d_erreur);
+													}
+
+													(*s_etat_processus)
+														.sections_critiques--;
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);
 											}
@@ -1240,6 +1379,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -1250,6 +1390,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -1292,6 +1440,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -1308,6 +1464,61 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*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;
+
+														if (presence_egalite ==
+																d_vrai)
+														{
+															liberation(
+															s_etat_processus,
+															s_objet_evalue);
+														}
+
+														(*s_etat_processus)
+															.erreur_systeme =
+															d_es_processus;
+														return(d_erreur);
+													}
+
+													(*s_etat_processus)
+														.sections_critiques--;
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);
 
@@ -3238,6 +3449,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -3255,6 +3467,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -3310,6 +3530,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -3324,6 +3552,58 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+													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;
+
+														if (presence_egalite ==
+																d_vrai)
+														{
+															liberation(
+															s_etat_processus,
+															s_objet_evalue);
+														}
+
+														(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+														return(d_erreur);
+													}
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);
 
@@ -3448,6 +3728,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -3458,6 +3739,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -3500,6 +3789,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -3508,6 +3805,58 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+													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;
+
+														if (presence_egalite ==
+																d_vrai)
+														{
+															liberation(
+															s_etat_processus,
+															s_objet_evalue);
+														}
+
+														(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+														return(d_erreur);
+													}
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);
 
@@ -3598,6 +3947,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -3608,6 +3958,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -3650,6 +4008,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -3658,6 +4024,58 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+													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;
+
+														if (presence_egalite ==
+																d_vrai)
+														{
+															liberation(
+															s_etat_processus,
+															s_objet_evalue);
+														}
+
+														(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+														return(d_erreur);
+													}
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);
 
@@ -3819,6 +4237,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -3836,6 +4255,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -3891,6 +4318,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -3905,6 +4340,58 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+													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;
+
+														if (presence_egalite ==
+																d_vrai)
+														{
+															liberation(
+															s_etat_processus,
+															s_objet_evalue);
+														}
+
+														(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+														return(d_erreur);
+													}
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);
 
@@ -4029,6 +4516,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -4039,6 +4527,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -4081,6 +4577,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -4089,6 +4593,58 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+													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;
+
+														if (presence_egalite ==
+																d_vrai)
+														{
+															liberation(
+															s_etat_processus,
+															s_objet_evalue);
+														}
+
+														(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+														return(d_erreur);
+													}
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);
 
@@ -4179,6 +4735,7 @@ evaluation(struct_processus *s_etat_proc
 												TEST(instruction_start) ||
 												TEST(instruction_select) ||
 												TEST(instruction_case) ||
+												TEST(instruction_critical) ||
 												TEST(vers_niveau_superieur))
 										{
 											if (TEST(vers_niveau_superieur))
@@ -4189,6 +4746,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -4231,6 +4796,14 @@ evaluation(struct_processus *s_etat_proc
 												if ((*s_etat_processus)
 														.erreur_systeme != d_es)
 												{
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
 													(*s_etat_processus)
 														.instruction_courante =
 														instruction_courante;
@@ -4239,6 +4812,58 @@ evaluation(struct_processus *s_etat_proc
 											}
 											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_end_incoherent;
+
+													if (presence_egalite ==
+															d_vrai)
+													{
+														liberation(
+															s_etat_processus,
+															s_objet_evalue);
+													}
+
+													(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+													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;
+
+														if (presence_egalite ==
+																d_vrai)
+														{
+															liberation(
+															s_etat_processus,
+															s_objet_evalue);
+														}
+
+														(*s_etat_processus)
+														.instruction_courante =
+														instruction_courante;
+														return(d_erreur);
+													}
+												}
+
 												depilement_pile_systeme(
 														s_etat_processus);