--- rpl/src/gestion_variables.c	2011/07/22 07:38:35	1.44
+++ rpl/src/gestion_variables.c	2012/10/05 13:12:39	1.60
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.1
-  Copyright (C) 1989-2011 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.11
+  Copyright (C) 1989-2012 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -426,12 +426,13 @@ ajout_variable(struct_processus *s_etat_
 		}
 
 		(*(*s_etat_processus).s_arbre_variables).feuille = NULL;
+		(*(*s_etat_processus).s_arbre_variables).feuille_statique = NULL;
 		(*(*s_etat_processus).s_arbre_variables).noeuds_utilises = 0;
 		(*(*s_etat_processus).s_arbre_variables).indice_tableau_pere = -1;
 		(*(*s_etat_processus).s_arbre_variables).noeud_pere = NULL;
 
 		if (((*(*s_etat_processus).s_arbre_variables).noeuds =
-					allocation_tableau_noeuds(s_etat_processus)) == NULL)
+				allocation_tableau_noeuds(s_etat_processus)) == NULL)
 		{
 			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return(d_erreur);
@@ -476,6 +477,9 @@ ajout_variable(struct_processus *s_etat_
 			(*(*l_variable_courante).noeuds[(*s_etat_processus)
 			 		.pointeurs_caracteres_variables[*ptr]]).feuille = NULL;
 			(*(*l_variable_courante).noeuds[(*s_etat_processus)
+			 		.pointeurs_caracteres_variables[*ptr]]).feuille_statique
+					= NULL;
+			(*(*l_variable_courante).noeuds[(*s_etat_processus)
 			 		.pointeurs_caracteres_variables[*ptr]]).noeuds_utilises = 0;
 
 			// Le champ noeud_pere de la structure créée pointe sur
@@ -1292,7 +1296,8 @@ retrait_variable(struct_processus *s_eta
 					[(*(*variable_a_supprimer).noeud).indice_tableau_pere]))
 					.feuille = NULL;
 
-			while((*s_arbre_courant).noeuds_utilises == 0)
+			while(((*s_arbre_courant).noeuds_utilises == 0) &&
+					((*s_arbre_courant).feuille_statique == NULL))
 			{
 				s_arbre_a_supprimer = s_arbre_courant;
 				s_arbre_courant = (*s_arbre_courant).noeud_pere;
@@ -1494,7 +1499,7 @@ retrait_variable(struct_processus *s_eta
 */
 
 logical1
-retrait_variable_par_niveau(struct_processus *s_etat_processus)
+retrait_variables_par_niveau(struct_processus *s_etat_processus)
 {
 	struct_liste_variables			*l_element_a_supprimer;
 
@@ -1548,12 +1553,11 @@ retrait_variable_par_niveau(struct_proce
 								.l_liste_variables_par_niveau).liste).donnee))
 								.variable_statique, ((*s_etat_processus)
 								.mode_execution_programme
-								 == 'Y') ? 'P' : 'E') == d_vrai)
+								 == 'Y') ? 'P' : 'E') != NULL)
 						{
-							(*s_etat_processus).s_liste_variables_statiques
-									[(*s_etat_processus)
-									.position_variable_statique_courante]
-									.objet = (*((struct_variable *)
+							(*(*s_etat_processus)
+									.pointeur_variable_statique_courante)
+							 		.objet = (*((struct_variable *)
 									(*(*(*s_etat_processus)
 									.l_liste_variables_par_niveau).liste)
 									.donnee)).objet;
@@ -1587,11 +1591,10 @@ retrait_variable_par_niveau(struct_proce
 								.l_liste_variables_par_niveau).liste).donnee))
 								.variable_statique, ((*s_etat_processus)
 								.mode_execution_programme
-								 == 'Y') ? 'P' : 'E') == d_vrai)
+								 == 'Y') ? 'P' : 'E') != NULL)
 						{
-							(*s_etat_processus).s_liste_variables_statiques
-									[(*s_etat_processus)
-									.position_variable_statique_courante]
+							(*(*s_etat_processus)
+									.pointeur_variable_statique_courante)
 									.objet = (*((struct_variable *)
 									(*(*(*s_etat_processus)
 									.l_liste_variables_par_niveau).liste)
@@ -1666,13 +1669,16 @@ void
 liberation_arbre_variables(struct_processus *s_etat_processus,
 		struct_arbre_variables *arbre, logical1 retrait_definitions)
 {
-	int						i;
+	int									i;
 
-	struct_liste_chainee	*l_element_courant_liste;
-	struct_liste_chainee	*l_element_suivant_liste;
+	struct_liste_chainee				*l_element_courant_liste;
+	struct_liste_chainee				*l_element_suivant_liste;
 
-	struct_liste_variables	*l_element_courant;
-	struct_liste_variables	*l_element_suivant;
+	struct_liste_variables				*l_element_courant;
+	struct_liste_variables				*l_element_suivant;
+
+	struct_liste_variables_statiques	*l_element_statique_courant;
+	struct_liste_variables_statiques	*l_element_statique_suivant;
 
 	// Libération de l'arbre des variables. Le contenu des variables n'est
 	// pas détruit par cette opération, il sera détruit lors de la libération
@@ -1697,6 +1703,19 @@ liberation_arbre_variables(struct_proces
 		(*arbre).feuille = NULL;
 	}
 
+	l_element_statique_courant = (*arbre).feuille_statique;
+
+	while(l_element_statique_courant != NULL)
+	{
+		l_element_statique_suivant = (*l_element_statique_courant).suivant;
+
+		free((*(*l_element_statique_courant).variable).nom);
+		liberation(s_etat_processus, (*(*l_element_statique_courant)
+				.variable).objet);
+
+		l_element_statique_courant = l_element_statique_suivant;
+	}
+
 	for(i = 0; i < (*s_etat_processus).nombre_caracteres_variables; i++)
 	{
 		if ((*arbre).noeuds[i] != NULL)
@@ -1772,10 +1791,11 @@ int
 nombre_variables(struct_processus *s_etat_processus,
 		struct_arbre_variables *l_element_courant)
 {
-	int						i;
-	int						n;
+	int									i;
+	int									n;
 
-	struct_liste_variables	*l_variable;
+	struct_liste_variables				*l_variable;
+	struct_liste_variables_statiques	*l_variable_statique;
 
 	n = 0;
 
@@ -1790,6 +1810,24 @@ nombre_variables(struct_processus *s_eta
 		} while(l_variable != (*l_element_courant).feuille);
 	}
 
+	if ((*l_element_courant).feuille_statique != NULL)
+	{
+		l_variable_statique = (*l_element_courant).feuille_statique;
+
+		do
+		{
+			// Si le pointeur est nul, la variable est accessible et a été
+			// copiée dans l'arbre des variables.
+
+			if ((*(*l_variable_statique).variable).objet != NULL)
+			{
+				n++;
+			}
+
+			l_variable_statique = (*l_variable_statique).suivant;
+		} while(l_variable_statique != NULL);
+	}
+
 	for(i = 0; i < (*s_etat_processus).nombre_caracteres_variables; i++)
 	{
 		if ((*l_element_courant).noeuds[i] != NULL)
@@ -1802,14 +1840,16 @@ nombre_variables(struct_processus *s_eta
 	return(n);
 }
 
+
 int
 liste_variables(struct_processus *s_etat_processus,
 		struct_tableau_variables *tableau, int position,
 		struct_arbre_variables *l_element_courant)
 {
-	int						i;
+	int									i;
 
-	struct_liste_variables	*l_variable;
+	struct_liste_variables				*l_variable;
+	struct_liste_variables_statiques	*l_variable_statique;
 
 	if ((*l_element_courant).feuille != NULL)
 	{
@@ -1827,12 +1867,40 @@ liste_variables(struct_processus *s_etat
 					(*(*l_variable).variable).variable_statique;
 			tableau[position].variable_partagee =
 					(*(*l_variable).variable).variable_partagee;
+			tableau[position].variable_masquee = d_faux;
 
 			position++;
 			l_variable = (*l_variable).suivant;
 		} while(l_variable != (*l_element_courant).feuille);
 	}
 
+	if ((*l_element_courant).feuille_statique != NULL)
+	{
+		l_variable_statique = (*l_element_courant).feuille_statique;
+
+		do
+		{
+			if ((*(*l_variable_statique).variable).objet != NULL)
+			{
+				tableau[position].origine = 'E';
+				tableau[position].nom = (*(*l_variable_statique).variable).nom;
+				tableau[position].niveau =
+						(*(*l_variable_statique).variable).niveau;
+				tableau[position].objet =
+						(*(*l_variable_statique).variable).objet;
+				tableau[position].variable_verrouillee = d_faux;
+				tableau[position].variable_statique =
+						(*(*l_variable_statique).variable).variable_statique;
+				tableau[position].variable_partagee.pointeur = NULL;
+				tableau[position].variable_masquee = d_vrai;
+
+				position++;
+			}
+
+			l_variable_statique = (*l_variable_statique).suivant;
+		} while(l_variable_statique != NULL);
+	}
+
 	for(i = 0; i < (*s_etat_processus).nombre_caracteres_variables; i++)
 	{
 		if ((*l_element_courant).noeuds[i] != NULL)
@@ -1845,6 +1913,7 @@ liste_variables(struct_processus *s_etat
 	return(position);
 }
 
+
 /*
 ================================================================================
   Procédure de copie de l'arbre des variables
@@ -1874,13 +1943,21 @@ copie_arbre_variables(struct_processus *
 	// structure. Les variables de niveau 0 étant non modifiables, elles
 	// ne sont pas dupliquées.
 
-	int								i;
+	int									i;
+
+	logical1							niveau_0_traite;
+	logical1							niveau_1_traite;
+
+	struct_arbre_variables				*l_variable_courante;
+
+	struct_liste_chainee				*l_element_courant;
 
-	struct_liste_chainee			*l_element_courant;
+	struct_liste_variables				*l_niveau_courant;
+	struct_liste_variables_statiques	*l_element_statique_courant;
 
-	struct_liste_variables			*l_niveau_courant;
+	struct_variable						s_variable;
 
-	struct_variable					s_variable;
+	unsigned char						*ptr;
 
 	(*s_nouvel_etat_processus).s_arbre_variables = NULL;
 	(*s_nouvel_etat_processus).l_liste_variables_par_niveau = NULL;
@@ -1888,7 +1965,7 @@ copie_arbre_variables(struct_processus *
 	l_niveau_courant = (*s_etat_processus).l_liste_variables_par_niveau;
 	
 	// Si la variable en tête n'est pas une variable de niveau 0, le niveau
-	// 0, s'il existe est le nivau précédent la valeur courante dans la
+	// 0, s'il existe est le niveau précédent la valeur courante dans la
 	// boucle.
 
 	if ((*((struct_variable *) (*(*l_niveau_courant).liste).donnee)).niveau
@@ -1900,69 +1977,216 @@ copie_arbre_variables(struct_processus *
 	// Les variables de niveaux 0 et 1 sont accessibles en au plus trois
 	// itérations (par construction).
 
+	niveau_0_traite = d_faux;
+	niveau_1_traite = d_faux;
+
 	for(i = 0; i <= 2; i++)
 	{
 		if ((*((struct_variable *) (*(*l_niveau_courant).liste)
 				.donnee)).niveau == 0)
 		{
-			l_element_courant = (*l_niveau_courant).liste;
-
-			while(l_element_courant != NULL)
+			if (niveau_0_traite == d_faux)
 			{
-				if (ajout_variable(s_nouvel_etat_processus,
-						(struct_variable *) (*l_element_courant).donnee)
-						== d_erreur)
+				l_element_courant = (*l_niveau_courant).liste;
+
+				while(l_element_courant != NULL)
 				{
-					return;
+					if (ajout_variable(s_nouvel_etat_processus,
+							(struct_variable *) (*l_element_courant).donnee)
+							== d_erreur)
+					{
+						return;
+					}
+
+					l_element_courant = (*l_element_courant).suivant;
 				}
 
-				l_element_courant = (*l_element_courant).suivant;
+				niveau_0_traite = d_vrai;
 			}
 		}
 		else if ((*((struct_variable *) (*(*l_niveau_courant).liste)
 				.donnee)).niveau == 1)
 		{
-			l_element_courant = (*l_niveau_courant).liste;
-
-			while(l_element_courant != NULL)
+			if (niveau_1_traite == d_faux)
 			{
-				s_variable = (*((struct_variable *)
-						(*l_element_courant).donnee));
+				l_element_courant = (*l_niveau_courant).liste;
 
-				if ((s_variable.nom = strdup((*((struct_variable *)
-						(*l_element_courant).donnee)).nom)) == NULL)
+				while(l_element_courant != NULL)
 				{
-					(*s_nouvel_etat_processus).erreur_systeme =
-							d_es_allocation_memoire;
-					return;
+					s_variable = (*((struct_variable *)
+							(*l_element_courant).donnee));
+
+					if ((s_variable.nom = strdup((*((struct_variable *)
+							(*l_element_courant).donnee)).nom)) == NULL)
+					{
+						(*s_nouvel_etat_processus).erreur_systeme =
+								d_es_allocation_memoire;
+						return;
+					}
+
+					if ((s_variable.objet = copie_objet(s_nouvel_etat_processus,
+							(*((struct_variable *) (*l_element_courant).donnee))
+							.objet, 'P')) == NULL)
+					{
+						(*s_nouvel_etat_processus).erreur_systeme =
+								d_es_allocation_memoire;
+						return;
+					}
+
+					if (ajout_variable(s_nouvel_etat_processus, &s_variable)
+							== d_erreur)
+					{
+						return;
+					}
+
+					l_element_courant = (*l_element_courant).suivant;
 				}
 
-				if ((s_variable.objet = copie_objet(s_nouvel_etat_processus,
-						(*((struct_variable *) (*l_element_courant).donnee))
-						.objet, 'P')) == NULL)
+				niveau_1_traite = d_vrai;
+			}
+
+			// Les variables de niveau 0 ayant déjà été copiées, on
+			// peut sortir de la boucle car toutes les variables sont
+			// maintenant disponibles dans le fil d'exécution fils.
+
+			break;
+		}
+
+		l_niveau_courant = (*l_niveau_courant).precedent;
+	}
+
+	// Copie des variables statiques
+
+	l_element_statique_courant = (*s_etat_processus)
+			.l_liste_variables_statiques;
+
+	while(l_element_statique_courant != NULL)
+	{
+		// Création des branches de l'arbre si nécessaire.
+
+		if ((*s_nouvel_etat_processus).s_arbre_variables == NULL)
+		{
+			if (((*s_nouvel_etat_processus).s_arbre_variables =
+						allocation_noeud(s_nouvel_etat_processus)) == NULL)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+				return;
+			}
+
+			(*(*s_nouvel_etat_processus).s_arbre_variables).feuille = NULL;
+			(*(*s_nouvel_etat_processus).s_arbre_variables).feuille_statique
+					= NULL;
+			(*(*s_nouvel_etat_processus).s_arbre_variables).noeuds_utilises = 0;
+			(*(*s_nouvel_etat_processus).s_arbre_variables).indice_tableau_pere
+					= -1;
+			(*(*s_nouvel_etat_processus).s_arbre_variables).noeud_pere = NULL;
+
+			if (((*(*s_nouvel_etat_processus).s_arbre_variables).noeuds =
+					allocation_tableau_noeuds(s_nouvel_etat_processus)) == NULL)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+				return;
+			}
+
+			for(i = 0; i < (*s_nouvel_etat_processus)
+					.nombre_caracteres_variables; i++)
+			{
+				(*(*s_nouvel_etat_processus).s_arbre_variables).noeuds[i]
+						= NULL;
+			}
+		}
+
+		l_variable_courante = (*s_nouvel_etat_processus).s_arbre_variables;
+		ptr = (*(*l_element_statique_courant).variable).nom;
+
+		while((*ptr) != d_code_fin_chaine)
+		{
+			BUG((*s_nouvel_etat_processus).pointeurs_caracteres_variables
+					[*ptr] < 0, uprintf("Variable=\"%s\", (*ptr)='%c'\n",
+					(*(*l_element_statique_courant).variable).nom, *ptr));
+
+			if ((*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+					.pointeurs_caracteres_variables[*ptr]] == NULL)
+			{
+				// Le noeud n'existe pas encore, on le crée et on le marque
+				// comme utilisé dans la structure parente.
+
+				if (((*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+						.pointeurs_caracteres_variables[*ptr]] =
+						allocation_noeud(s_nouvel_etat_processus)) == NULL)
 				{
-					(*s_nouvel_etat_processus).erreur_systeme =
+					(*s_etat_processus).erreur_systeme =
 							d_es_allocation_memoire;
 					return;
 				}
 
-				if (ajout_variable(s_nouvel_etat_processus, &s_variable)
-						== d_erreur)
+				(*l_variable_courante).noeuds_utilises++;
+
+				// La feuille est par défaut vide et aucun élément du tableau
+				// noeuds (les branches qui peuvent être issues de ce nouveau
+				// noeud) n'est encore utilisée.
+
+				(*(*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+						.pointeurs_caracteres_variables[*ptr]]).feuille = NULL;
+				(*(*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+						.pointeurs_caracteres_variables[*ptr]]).feuille_statique
+						= NULL;
+				(*(*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+						.pointeurs_caracteres_variables[*ptr]]).noeuds_utilises
+						= 0;
+
+				// Le champ noeud_pere de la structure créée pointe sur
+				// la structure parente et l'indice tableau_pere correspond à la
+				// position réelle dans le tableau noeuds[] de la structure
+				// parente du noeud courant. Cette valeur sera utilisée lors de
+				// la destruction du noeud pour annuler le pointeur contenu dans
+				// le tableau noeuds[] de la structure parente.
+
+				(*(*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+						.pointeurs_caracteres_variables[*ptr]]).noeud_pere =
+						l_variable_courante;
+				(*(*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+						.pointeurs_caracteres_variables[*ptr]])
+						.indice_tableau_pere = (*s_nouvel_etat_processus)
+						.pointeurs_caracteres_variables[*ptr];
+
+				// Allocation du tableau noeuds[] et initialisation à zéro de
+				// tous les pointeurs.
+
+				if (((*(*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+						.pointeurs_caracteres_variables[*ptr]]).noeuds =
+						allocation_tableau_noeuds(s_nouvel_etat_processus))
+						== NULL)
 				{
+					(*s_etat_processus).erreur_systeme
+							= d_es_allocation_memoire;
 					return;
 				}
 
-				l_element_courant = (*l_element_courant).suivant;
+				for(i = 0; i < (*s_nouvel_etat_processus)
+						.nombre_caracteres_variables; i++)
+				{
+					(*(*l_variable_courante).noeuds[(*s_nouvel_etat_processus)
+							.pointeurs_caracteres_variables[*ptr]]).noeuds[i]
+							= NULL;
+				}
 			}
 
-			// Les variables de niveau 0 ayant déjà été copiées, on
-			// peut sortir de la boucle car toutes les variables sont
-			// maintenant disponibles dans le fil d'exécution fils.
+			l_variable_courante = (*l_variable_courante).noeuds
+					[(*s_nouvel_etat_processus).pointeurs_caracteres_variables
+					[*ptr]];
 
-			break;
+			ptr++;
 		}
 
-		l_niveau_courant = (*l_niveau_courant).precedent;
+		if (creation_variable_statique(s_nouvel_etat_processus,
+				(*l_element_statique_courant).variable) == d_erreur)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		l_element_statique_courant = (*l_element_statique_courant).suivant;
 	}
 
 	return;