--- rpl/src/instructions_r2.c	2012/09/29 17:53:02	1.39
+++ rpl/src/instructions_r2.c	2012/12/18 13:19:37	1.45
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.10
+  RPL/2 (R) version 4.1.12
   Copyright (C) 1989-2012 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -446,6 +446,7 @@ instruction_return(struct_processus *s_e
 						analyse(s_etat_processus, NULL);
 					}
 					else if ((strcmp(instruction_majuscule, "FOR") == 0) ||
+							(strcmp(instruction_majuscule, "FORALL") == 0) ||
 							(strcmp(instruction_majuscule, "START") == 0))
 					{
 						empilement_pile_systeme(s_etat_processus);
@@ -511,9 +512,10 @@ instruction_return(struct_processus *s_e
 						 * Libération des compteurs de boucle.
 						 */
 
-						presence_compteur = ((*(*s_etat_processus)
-								.l_base_pile_systeme).type_cloture == 'F')
-								? d_vrai : d_faux;
+						presence_compteur = (((*(*s_etat_processus)
+								.l_base_pile_systeme).type_cloture == 'F') ||
+								((*(*s_etat_processus).l_base_pile_systeme)
+								.type_cloture == 'A')) ? d_vrai : d_faux;
 
 						if (((*(*s_etat_processus).l_base_pile_systeme)
 								.type_cloture != 'S') &&
@@ -547,7 +549,7 @@ instruction_return(struct_processus *s_e
 
 							(*s_etat_processus).niveau_courant--;
 
-							if (retrait_variable_par_niveau(
+							if (retrait_variables_par_niveau(
 									s_etat_processus) == d_erreur)
 							{
 								return;
@@ -695,6 +697,7 @@ instruction_return(struct_processus *s_e
 							instruction_vers_niveau_superieur);
 				}
 				else if ((fonction == instruction_for) ||
+						(fonction == instruction_forall) ||
 						(fonction == instruction_start))
 				{
 					empilement_pile_systeme(s_etat_processus);
@@ -756,9 +759,10 @@ instruction_return(struct_processus *s_e
 					 * Libération des compteurs de boucle.
 					 */
 
-					presence_compteur = ((*(*s_etat_processus)
-							.l_base_pile_systeme).type_cloture == 'F')
-							? d_vrai : d_faux;
+					presence_compteur = (((*(*s_etat_processus)
+							.l_base_pile_systeme).type_cloture == 'F') ||
+							((*(*s_etat_processus).l_base_pile_systeme)
+							.type_cloture == 'A')) ? d_vrai : d_faux;
 
 					if (((*(*s_etat_processus).l_base_pile_systeme)
 							.type_cloture != 'S') &&
@@ -792,7 +796,7 @@ instruction_return(struct_processus *s_e
 
 						(*s_etat_processus).niveau_courant--;
 
-						if (retrait_variable_par_niveau(s_etat_processus)
+						if (retrait_variables_par_niveau(s_etat_processus)
 								== d_erreur)
 						{
 							return;
@@ -976,27 +980,12 @@ instruction_rdm(struct_processus *s_etat
 
 		if (s_objet_initial == NULL)
 		{
-			if (pthread_mutex_lock(&((*(*s_etat_processus)
-					.s_liste_variables_partagees).mutex)) != 0)
-			{
-				(*s_etat_processus).erreur_systeme = d_es_processus;
-				return;
-			}
-
 			if (recherche_variable_partagee(s_etat_processus,
 					(*(*s_etat_processus).pointeur_variable_courante).nom,
 					(*(*s_etat_processus).pointeur_variable_courante)
 					.variable_partagee, (*(*s_etat_processus)
-					.pointeur_variable_courante).origine)
-					== d_faux)
+					.pointeur_variable_courante).origine) == NULL)
 			{
-				if (pthread_mutex_unlock(&((*(*s_etat_processus)
-						.s_liste_variables_partagees).mutex)) != 0)
-				{
-					(*s_etat_processus).erreur_systeme = d_es_processus;
-					return;
-				}
-
 				(*s_etat_processus).erreur_systeme = d_es;
 				(*s_etat_processus).erreur_execution =
 						d_ex_variable_non_definie;
@@ -1019,7 +1008,7 @@ instruction_rdm(struct_processus *s_etat
 		if (variable_partagee == d_vrai)
 		{
 			if (pthread_mutex_unlock(&((*(*s_etat_processus)
-					.s_liste_variables_partagees).mutex)) != 0)
+					.pointeur_variable_partagee_courante).mutex)) != 0)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				return;
@@ -1051,7 +1040,7 @@ instruction_rdm(struct_processus *s_etat
 		if (variable_partagee == d_vrai)
 		{
 			if (pthread_mutex_unlock(&((*(*s_etat_processus)
-					.s_liste_variables_partagees).mutex)) != 0)
+					.pointeur_variable_partagee_courante).mutex)) != 0)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				return;
@@ -1081,7 +1070,7 @@ instruction_rdm(struct_processus *s_etat
 			if (variable_partagee == d_vrai)
 			{
 				if (pthread_mutex_unlock(&((*(*s_etat_processus)
-						.s_liste_variables_partagees).mutex)) != 0)
+						.pointeur_variable_partagee_courante).mutex)) != 0)
 				{
 					(*s_etat_processus).erreur_systeme = d_es_processus;
 					return;
@@ -1104,7 +1093,7 @@ instruction_rdm(struct_processus *s_etat
 			if (variable_partagee == d_vrai)
 			{
 				if (pthread_mutex_unlock(&((*(*s_etat_processus)
-						.s_liste_variables_partagees).mutex)) != 0)
+						.pointeur_variable_partagee_courante).mutex)) != 0)
 				{
 					(*s_etat_processus).erreur_systeme = d_es_processus;
 					return;
@@ -1141,7 +1130,7 @@ instruction_rdm(struct_processus *s_etat
 		if (variable_partagee == d_vrai)
 		{
 			if (pthread_mutex_unlock(&((*(*s_etat_processus)
-					.s_liste_variables_partagees).mutex)) != 0)
+					.pointeur_variable_partagee_courante).mutex)) != 0)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				return;
@@ -1170,7 +1159,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1191,7 +1180,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1228,7 +1217,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1249,7 +1238,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1287,7 +1276,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1309,7 +1298,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1356,7 +1345,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1377,7 +1366,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1427,7 +1416,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1448,7 +1437,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1499,7 +1488,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1521,7 +1510,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1576,7 +1565,7 @@ instruction_rdm(struct_processus *s_etat
 			if (variable_partagee == d_vrai)
 			{
 				if (pthread_mutex_unlock(&((*(*s_etat_processus)
-						.s_liste_variables_partagees).mutex)) != 0)
+						.pointeur_variable_partagee_courante).mutex)) != 0)
 				{
 					(*s_etat_processus).erreur_systeme = d_es_processus;
 					return;
@@ -1614,7 +1603,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1638,7 +1627,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1658,7 +1647,8 @@ instruction_rdm(struct_processus *s_etat
 					if (variable_partagee == d_vrai)
 					{
 						if (pthread_mutex_unlock(&((*(*s_etat_processus)
-								.s_liste_variables_partagees).mutex)) != 0)
+								.pointeur_variable_partagee_courante).mutex))
+								!= 0)
 						{
 							(*s_etat_processus).erreur_systeme = d_es_processus;
 							return;
@@ -1699,7 +1689,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1723,7 +1713,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1743,7 +1733,8 @@ instruction_rdm(struct_processus *s_etat
 					if (variable_partagee == d_vrai)
 					{
 						if (pthread_mutex_unlock(&((*(*s_etat_processus)
-								.s_liste_variables_partagees).mutex)) != 0)
+								.pointeur_variable_partagee_courante).mutex))
+								!= 0)
 						{
 							(*s_etat_processus).erreur_systeme = d_es_processus;
 							return;
@@ -1784,7 +1775,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1808,7 +1799,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1829,7 +1820,8 @@ instruction_rdm(struct_processus *s_etat
 					if (variable_partagee == d_vrai)
 					{
 						if (pthread_mutex_unlock(&((*(*s_etat_processus)
-								.s_liste_variables_partagees).mutex)) != 0)
+								.pointeur_variable_partagee_courante).mutex))
+								!= 0)
 						{
 							(*s_etat_processus).erreur_systeme = d_es_processus;
 							return;
@@ -1881,7 +1873,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1905,7 +1897,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -1928,7 +1920,8 @@ instruction_rdm(struct_processus *s_etat
 					if (variable_partagee == d_vrai)
 					{
 						if (pthread_mutex_unlock(&((*(*s_etat_processus)
-								.s_liste_variables_partagees).mutex)) != 0)
+								.pointeur_variable_partagee_courante).mutex))
+								!= 0)
 						{
 							(*s_etat_processus).erreur_systeme = d_es_processus;
 							return;
@@ -1980,7 +1973,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -2004,7 +1997,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -2027,7 +2020,8 @@ instruction_rdm(struct_processus *s_etat
 					if (variable_partagee == d_vrai)
 					{
 						if (pthread_mutex_unlock(&((*(*s_etat_processus)
-								.s_liste_variables_partagees).mutex)) != 0)
+								.pointeur_variable_partagee_courante).mutex))
+								!= 0)
 						{
 							(*s_etat_processus).erreur_systeme = d_es_processus;
 							return;
@@ -2079,7 +2073,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -2103,7 +2097,7 @@ instruction_rdm(struct_processus *s_etat
 				if (variable_partagee == d_vrai)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
-							.s_liste_variables_partagees).mutex)) != 0)
+							.pointeur_variable_partagee_courante).mutex)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -2126,7 +2120,8 @@ instruction_rdm(struct_processus *s_etat
 					if (variable_partagee == d_vrai)
 					{
 						if (pthread_mutex_unlock(&((*(*s_etat_processus)
-								.s_liste_variables_partagees).mutex)) != 0)
+								.pointeur_variable_partagee_courante).mutex))
+								!= 0)
 						{
 							(*s_etat_processus).erreur_systeme = d_es_processus;
 							return;
@@ -2184,7 +2179,7 @@ instruction_rdm(struct_processus *s_etat
 			if (variable_partagee == d_vrai)
 			{
 				if (pthread_mutex_unlock(&((*(*s_etat_processus)
-						.s_liste_variables_partagees).mutex)) != 0)
+						.pointeur_variable_partagee_courante).mutex)) != 0)
 				{
 					(*s_etat_processus).erreur_systeme = d_es_processus;
 					return;
@@ -2219,12 +2214,11 @@ instruction_rdm(struct_processus *s_etat
 	{
 		if (variable_partagee == d_vrai)
 		{
-			(*(*s_etat_processus).s_liste_variables_partagees).table
-					[(*(*s_etat_processus).s_liste_variables_partagees)
-					.position_variable].objet = s_objet_redimensionne;
+			(*(*s_etat_processus).pointeur_variable_partagee_courante).objet =
+					s_objet_redimensionne;
 
 			if (pthread_mutex_unlock(&((*(*s_etat_processus)
-					.s_liste_variables_partagees).mutex)) != 0)
+					.pointeur_variable_partagee_courante).mutex)) != 0)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				return;