--- rpl/src/instructions_c2.c	2011/04/21 16:00:56	1.18
+++ rpl/src/instructions_c2.c	2012/09/30 20:46:46	1.39
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.0.prerelease.0
-  Copyright (C) 1989-2011 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.10
+  Copyright (C) 1989-2012 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -74,6 +74,12 @@ instruction_cycle(struct_processus *s_et
 		printf("        ...\n");
 		printf("    NEXT/STEP\n\n");
 
+		printf("    FORALL (variable)\n");
+		printf("        ...\n");
+		printf("        CYCLE\n");
+		printf("        ...\n");
+		printf("    NEXT\n\n");
+
 		printf("    START\n");
 		printf("        ...\n");
 		printf("        CYCLE\n");
@@ -98,7 +104,8 @@ instruction_cycle(struct_processus *s_et
 	while((l_element_pile_systeme != NULL) && (presence_boucle == d_faux))
 	{
 		if (((*l_element_pile_systeme).type_cloture == 'S') ||
-				((*l_element_pile_systeme).type_cloture == 'F'))
+				((*l_element_pile_systeme).type_cloture == 'F') ||
+				((*l_element_pile_systeme).type_cloture == 'A'))
 		{
 			presence_boucle = d_vrai;
 		}
@@ -132,204 +139,112 @@ instruction_cycle(struct_processus *s_et
 				return;
 			}
 
-			if (recherche_variable(s_etat_processus,
-					(*s_etat_processus).instruction_courante) == d_vrai)
-			{
-				instruction_majuscule = conversion_majuscule("");
-
-				if (((*s_etat_processus).s_liste_variables
-						[(*s_etat_processus).position_variable_courante]).objet
-						== NULL)
-				{
-					// Variable partagée
-
-					if (pthread_mutex_lock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
-					{
-						(*s_etat_processus).erreur_systeme = d_es_processus;
-						return;
-					}
+			instruction_majuscule = conversion_majuscule(
+					(*s_etat_processus).instruction_courante);
 
-					if (recherche_variable_partagee(s_etat_processus,
-							((*s_etat_processus).s_liste_variables
-							[(*s_etat_processus).position_variable_courante])
-							.nom, ((*s_etat_processus).s_liste_variables
-							[(*s_etat_processus).position_variable_courante])
-							.variable_partagee, 'E') == d_vrai)
-					{
-						if ((*((*(*s_etat_processus)
-								.s_liste_variables_partagees).table
-								[(*(*s_etat_processus)
-								.s_liste_variables_partagees)
-								.position_variable])
-								.objet).type == ADR)
-						{
-							empilement_pile_systeme(s_etat_processus);
-
-							if ((*s_etat_processus).erreur_systeme != d_es)
-							{
-								if (pthread_mutex_unlock(&((*(*s_etat_processus)
-										.s_liste_variables_partagees).mutex))
-										!= 0)
-								{
-									(*s_etat_processus).erreur_systeme =
-											d_es_processus;
-									return;
-								}
-
-								return;
-							}
-
-							(*(*s_etat_processus).l_base_pile_systeme)
-									.adresse_retour =
-									(*s_etat_processus).position_courante;
-
-							(*(*s_etat_processus).l_base_pile_systeme)
-									.retour_definition = 'Y';
-							(*(*s_etat_processus).l_base_pile_systeme)
-									.niveau_courant =
-									(*s_etat_processus).niveau_courant;
-
-							(*s_etat_processus).position_courante =
-									(*((unsigned long *) ((*((*s_etat_processus)
-									.s_liste_variables[(*s_etat_processus)
-									.position_variable_courante].objet))
-									.objet)));
+			if (instruction_majuscule == NULL)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+				return;
+			}
 
-							(*s_etat_processus)
-									.autorisation_empilement_programme = 'N';
-						}
-					}
+			/*
+			 * Traitement de la pile système par les
+			 * différentes instructions.
+			 */
 
-					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
-					{
-						(*s_etat_processus).erreur_systeme = d_es_processus;
-						return;
-					}
+			if ((strcmp(instruction_majuscule, "IF") == 0) ||
+					(strcmp(instruction_majuscule, "IFERR") == 0) ||
+					(strcmp(instruction_majuscule, "DO") == 0) ||
+					(strcmp(instruction_majuscule, "WHILE") == 0) ||
+					(strcmp(instruction_majuscule, "FOR") == 0) ||
+					(strcmp(instruction_majuscule, "FORALL") == 0) ||
+					(strcmp(instruction_majuscule, "START") == 0) ||
+					(strcmp(instruction_majuscule, "SELECT") == 0)
+					|| (strcmp(instruction_majuscule, "CRITICAL") == 0)
+					|| (strcmp(instruction_majuscule, "CASE") == 0)
+					|| (strcmp(instruction_majuscule, "<<") == 0))
+			{
+				if (strcmp(instruction_majuscule, "<<") == 0)
+				{
+					analyse(s_etat_processus, NULL);
 				}
 				else
 				{
-					// Variable privée
-
-					if ((*((*s_etat_processus).s_liste_variables
-							[(*s_etat_processus).position_variable_courante])
-							.objet).type == ADR)
+					if ((strcmp(instruction_majuscule, "FOR") == 0) ||
+							(strcmp(instruction_majuscule, "FORALL") == 0) ||
+							(strcmp(instruction_majuscule, "START") == 0))
 					{
-						empilement_pile_systeme(s_etat_processus);
-
-						if ((*s_etat_processus).erreur_systeme != d_es)
-						{
-							return;
-						}
+						niveau++;
+					}
 
-						(*(*s_etat_processus).l_base_pile_systeme)
-								.adresse_retour =
-								(*s_etat_processus).position_courante;
-
-						(*(*s_etat_processus).l_base_pile_systeme)
-								.retour_definition = 'Y';
-						(*(*s_etat_processus).l_base_pile_systeme)
-								.niveau_courant =
-								(*s_etat_processus).niveau_courant;
-
-						(*s_etat_processus).position_courante =
-								(*((unsigned long *) ((*((*s_etat_processus)
-								.s_liste_variables[(*s_etat_processus)
-								.position_variable_courante].objet)).objet)));
+					empilement_pile_systeme(s_etat_processus);
 
-						(*s_etat_processus).autorisation_empilement_programme
-								= 'N';
+					if ((*s_etat_processus).erreur_systeme != d_es)
+					{
+						return;
 					}
 				}
 			}
-			else
+			else if ((strcmp(instruction_majuscule, "END") == 0) ||
+					(strcmp(instruction_majuscule, "NEXT") == 0) ||
+					(strcmp(instruction_majuscule, "STEP") == 0) ||
+					(strcmp(instruction_majuscule, ">>") == 0))
 			{
-				(*s_etat_processus).erreur_systeme = d_es;
-				instruction_majuscule = conversion_majuscule(
-						(*s_etat_processus).instruction_courante);
-
-				if (instruction_majuscule == NULL)
+				if (strcmp(instruction_majuscule, ">>") == 0)
 				{
-					(*s_etat_processus).erreur_systeme =
-							d_es_allocation_memoire;
-					return;
-				}
+					analyse(s_etat_processus, NULL);
 
-				/*
-				 * Traitement de la pile système par les
-				 * différentes instructions.
-				 */
-
-				if ((strcmp(instruction_majuscule, "IF") == 0) ||
-						(strcmp(instruction_majuscule, "IFERR") == 0) ||
-						(strcmp(instruction_majuscule, "DO") == 0) ||
-						(strcmp(instruction_majuscule, "WHILE") == 0) ||
-						(strcmp(instruction_majuscule, "FOR") == 0) ||
-						(strcmp(instruction_majuscule, "START") == 0) ||
-						(strcmp(instruction_majuscule, "SELECT") == 0)
-						|| (strcmp(instruction_majuscule, "CASE") == 0)
-						|| (strcmp(instruction_majuscule, "<<") == 0))
-				{
-					if (strcmp(instruction_majuscule, "<<") == 0)
-					{
-						analyse(s_etat_processus, NULL);
-					}
-					else
+					if ((*s_etat_processus).retour_routine_evaluation
+							== 'Y')
 					{
-						if ((strcmp(instruction_majuscule, "FOR") == 0) ||
-								(strcmp(instruction_majuscule, "START") == 0))
-						{
-							niveau++;
-						}
-
-						empilement_pile_systeme(s_etat_processus);
+						drapeau_presence_fin_boucle = d_faux;
+						free((*s_etat_processus).instruction_courante);
 
-						if ((*s_etat_processus).erreur_systeme != d_es)
-						{
-							return;
-						}
+						break;
 					}
 				}
-				else if ((strcmp(instruction_majuscule, "END") == 0) ||
-						(strcmp(instruction_majuscule, "NEXT") == 0) ||
-						(strcmp(instruction_majuscule, "STEP") == 0) ||
-						(strcmp(instruction_majuscule, ">>") == 0))
+				else
 				{
-					if (strcmp(instruction_majuscule, ">>") == 0)
+					if ((strcmp(instruction_majuscule, "NEXT") == 0) ||
+							(strcmp(instruction_majuscule, "STEP") == 0))
 					{
-						analyse(s_etat_processus, NULL);
+						niveau--;
 
-						if ((*s_etat_processus).retour_routine_evaluation
-								== 'Y')
+						if (niveau != 0)
 						{
-							drapeau_presence_fin_boucle = d_faux;
-							free((*s_etat_processus).instruction_courante);
-
-							break;
+							depilement_pile_systeme(s_etat_processus);
 						}
 					}
 					else
 					{
-						if ((strcmp(instruction_majuscule, "NEXT") == 0) ||
-								(strcmp(instruction_majuscule, "STEP") == 0))
+						if ((*s_etat_processus).l_base_pile_systeme == NULL)
 						{
-							niveau--;
+							(*s_etat_processus).erreur_systeme =
+									d_es_processus;
+							return;
+						}
 
-							if (niveau != 0)
+						if ((*(*s_etat_processus).l_base_pile_systeme)
+								.type_cloture == 'Q')
+						{
+							if (pthread_mutex_unlock(
+									&mutex_sections_critiques) != 0)
 							{
-								depilement_pile_systeme(s_etat_processus);
+								(*s_etat_processus).erreur_systeme =
+										d_es_processus;
+								return;
 							}
-						}
-						else
-						{
-							depilement_pile_systeme(s_etat_processus);
-						}
 
-						if ((*s_etat_processus).erreur_systeme != d_es)
-						{
-							return;
+							(*s_etat_processus).sections_critiques--;
 						}
+
+						depilement_pile_systeme(s_etat_processus);
+					}
+
+					if ((*s_etat_processus).erreur_systeme != d_es)
+					{
+						return;
 					}
 				}
 			}
@@ -385,9 +300,11 @@ instruction_cycle(struct_processus *s_et
 					(fonction == instruction_do) ||
 					(fonction == instruction_while) ||
 					(fonction == instruction_for) ||
+					(fonction == instruction_forall) ||
 					(fonction == instruction_start) ||
 					(fonction == instruction_select) ||
 					(fonction == instruction_case) ||
+					(fonction == instruction_critical) ||
 					(fonction == instruction_vers_niveau_superieur))
 			{
 				if (fonction == instruction_vers_niveau_superieur)
@@ -440,6 +357,27 @@ instruction_cycle(struct_processus *s_et
 					}
 					else
 					{
+						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 == 'Q')
+						{
+							if (pthread_mutex_unlock(&mutex_sections_critiques)
+									!= 0)
+							{
+								(*s_etat_processus).erreur_systeme =
+										d_es_processus;
+								return;
+							}
+
+							(*s_etat_processus).sections_critiques--;
+						}	
+
 						depilement_pile_systeme(s_etat_processus);
 					}
 
@@ -603,8 +541,8 @@ instruction_con(struct_processus *s_etat
 
 		liberation(s_etat_processus, s_objet_2);
 
-		if ((*s_etat_processus).s_liste_variables[(*s_etat_processus)
-				.position_variable_courante].variable_verrouillee == d_vrai)
+		if ((*(*s_etat_processus).pointeur_variable_courante)
+				.variable_verrouillee == d_vrai)
 		{
 			liberation(s_etat_processus, s_objet_1);
 
@@ -612,8 +550,7 @@ instruction_con(struct_processus *s_etat
 			return;
 		}
 
-		if ((*s_etat_processus).s_liste_variables
-				[(*s_etat_processus).position_variable_courante].objet == NULL)
+		if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL)
 		{
 			// Variable partagée
 
@@ -625,12 +562,10 @@ instruction_con(struct_processus *s_etat
 			}
 
 			if (recherche_variable_partagee(s_etat_processus,
-					(*s_etat_processus).s_liste_variables
-					[(*s_etat_processus).position_variable_courante].nom,
-					(*s_etat_processus).s_liste_variables
-					[(*s_etat_processus).position_variable_courante]
-					.variable_partagee, (*s_etat_processus).s_liste_variables
-					[(*s_etat_processus).position_variable_courante].origine)
+					(*(*s_etat_processus).pointeur_variable_courante).nom,
+					(*(*s_etat_processus).pointeur_variable_courante)
+					.variable_partagee, (*(*s_etat_processus)
+					.pointeur_variable_courante).origine)
 					== d_faux)
 			{
 				(*s_etat_processus).erreur_systeme = d_es;
@@ -665,8 +600,7 @@ instruction_con(struct_processus *s_etat
 		{
 			// Variable privée
 
-			s_objet_2 = (*s_etat_processus).s_liste_variables
-					[(*s_etat_processus).position_variable_courante].objet;
+			s_objet_2 = (*(*s_etat_processus).pointeur_variable_courante).objet;
 		}
 	}
 	else
@@ -1056,8 +990,7 @@ instruction_con(struct_processus *s_etat
 	}
 	else
 	{
-		(*s_etat_processus).s_liste_variables
-				[(*s_etat_processus).position_variable_courante].objet =
+		(*(*s_etat_processus).pointeur_variable_courante).objet =
 				s_objet_resultat;
 	}