--- rpl/src/instructions_f4.c	2010/03/09 10:18:46	1.5
+++ rpl/src/instructions_f4.c	2017/01/18 15:44:20	1.63
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.13
-  Copyright (C) 1989-2010 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.26
+  Copyright (C) 1989-2017 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -20,7 +20,7 @@
 */
 
 
-#include "rpl.conv.h"
+#include "rpl-conv.h"
 
 
 /*
@@ -40,8 +40,8 @@ instruction_fleche_table(struct_processu
 {
 	struct_objet					*s_objet;
 
-	signed long						i;
-	signed long						nombre_elements;
+	integer8						i;
+	integer8						nombre_elements;
 
     (*s_etat_processus).erreur_execution = d_ex;
 
@@ -116,8 +116,7 @@ instruction_fleche_table(struct_processu
 		return;
 	}
 
-	if ((unsigned long) nombre_elements >=
-			(*s_etat_processus).hauteur_pile_operationnelle)
+	if (nombre_elements >= (*s_etat_processus).hauteur_pile_operationnelle)
 	{
 		(*s_etat_processus).erreur_execution = d_ex_manque_argument;
 		return;
@@ -149,8 +148,8 @@ instruction_fleche_table(struct_processu
 	(*((struct_tableau *) (*s_objet).objet)).nombre_elements =
 			nombre_elements;
 
-	if (((*((struct_tableau *) (*s_objet).objet)).elements = malloc(
-			nombre_elements * sizeof(struct_objet *))) == NULL)
+	if (((*((struct_tableau *) (*s_objet).objet)).elements = malloc(((size_t)
+			nombre_elements) * sizeof(struct_objet *))) == NULL)
 	{
 		(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 		return;
@@ -194,8 +193,8 @@ instruction_fleche_diag(struct_processus
 	struct_objet				*s_objet_argument;
 	struct_objet				*s_objet_resultat;
 
-	unsigned long				i;
-	unsigned long				j;
+	integer8					i;
+	integer8					j;
 
 	(*s_etat_processus).erreur_execution = d_ex;
 
@@ -256,8 +255,9 @@ instruction_fleche_diag(struct_processus
 				(*((struct_vecteur *) (*s_objet_argument).objet)).taille;
 
 		if (((*((struct_matrice *) (*s_objet_resultat).objet)).tableau =
-				malloc((*((struct_matrice *) (*s_objet_resultat).objet))
-				.nombre_lignes * sizeof(integer8 *))) == NULL)
+				malloc(((size_t) (*((struct_matrice *)
+				(*s_objet_resultat).objet)).nombre_lignes)
+				* sizeof(integer8 *))) == NULL)
 		{
 			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
@@ -268,8 +268,8 @@ instruction_fleche_diag(struct_processus
 		{
 			if ((((integer8 **) (*((struct_matrice *)
 					(*s_objet_resultat).objet)).tableau)[i] =
-					malloc((*((struct_matrice *)
-					(*s_objet_resultat).objet)).nombre_colonnes *
+					malloc(((size_t) (*((struct_matrice *)
+					(*s_objet_resultat).objet)).nombre_colonnes) *
 					sizeof(integer8))) == NULL)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
@@ -308,8 +308,8 @@ instruction_fleche_diag(struct_processus
 				(*((struct_vecteur *) (*s_objet_argument).objet)).taille;
 
 		if (((*((struct_matrice *) (*s_objet_resultat).objet)).tableau =
-				malloc((*((struct_matrice *) (*s_objet_resultat).objet))
-				.nombre_lignes * sizeof(real8 *))) == NULL)
+				malloc(((size_t) (*((struct_matrice *) (*s_objet_resultat)
+				.objet)).nombre_lignes) * sizeof(real8 *))) == NULL)
 		{
 			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
@@ -320,8 +320,8 @@ instruction_fleche_diag(struct_processus
 		{
 			if ((((real8 **) (*((struct_matrice *)
 					(*s_objet_resultat).objet)).tableau)[i] =
-					malloc((*((struct_matrice *)
-					(*s_objet_resultat).objet)).nombre_colonnes *
+					malloc(((size_t) (*((struct_matrice *)
+					(*s_objet_resultat).objet)).nombre_colonnes) *
 					sizeof(real8))) == NULL)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
@@ -360,8 +360,8 @@ instruction_fleche_diag(struct_processus
 				(*((struct_vecteur *) (*s_objet_argument).objet)).taille;
 
 		if (((*((struct_matrice *) (*s_objet_resultat).objet)).tableau =
-				malloc((*((struct_matrice *) (*s_objet_resultat).objet))
-				.nombre_lignes * sizeof(complex16 *))) == NULL)
+				malloc(((size_t) (*((struct_matrice *) (*s_objet_resultat)
+				.objet)).nombre_lignes) * sizeof(complex16 *))) == NULL)
 		{
 			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
@@ -372,8 +372,8 @@ instruction_fleche_diag(struct_processus
 		{
 			if ((((complex16 **) (*((struct_matrice *)
 					(*s_objet_resultat).objet)).tableau)[i] =
-					malloc((*((struct_matrice *)
-					(*s_objet_resultat).objet)).nombre_colonnes *
+					malloc(((size_t) (*((struct_matrice *)
+					(*s_objet_resultat).objet)).nombre_colonnes) *
 					sizeof(complex16))) == NULL)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
@@ -423,5 +423,338 @@ instruction_fleche_diag(struct_processus
 
 	return;
 }
+
+
+/*
+================================================================================
+  Fonction 'forall'
+================================================================================
+  Entrées : structure processus
+--------------------------------------------------------------------------------
+  Sorties :
+--------------------------------------------------------------------------------
+  Effets de bord : néant
+================================================================================
+*/
+
+void
+instruction_forall(struct_processus *s_etat_processus)
+{
+	struct_objet						*s_objet_1;
+	struct_objet						*s_objet_2;
+
+	struct_variable						s_variable;
+
+	unsigned char						instruction_valide;
+	unsigned char						*tampon;
+	unsigned char						test_instruction;
+
+    (*s_etat_processus).erreur_execution = d_ex;
+
+	if ((*s_etat_processus).affichage_arguments == 'Y')
+	{
+		printf("\n  FORALL ");
+
+		if ((*s_etat_processus).langue == 'F')
+		{
+			printf("(boucle définie sur un objet)\n\n");
+		}
+		else
+		{
+			printf("(define a object-based loop)\n\n");
+		}
+
+		if ((*s_etat_processus).langue == 'F')
+		{
+			printf("  Utilisation :\n\n");
+		}
+		else
+		{
+			printf("  Usage:\n\n");
+		}
+
+		printf("    %s FORALL (variable)\n", d_LST);
+		printf("        (expression)\n");
+		printf("        [EXIT]/[CYCLE]\n");
+		printf("        ...\n");
+		printf("    NEXT\n\n");
+
+		printf("    %s FORALL (variable)\n", d_TAB);
+		printf("        (expression)\n");
+		printf("        [EXIT]/[CYCLE]\n");
+		printf("        ...\n");
+		printf("    NEXT\n");
+		return;
+	}
+	else if ((*s_etat_processus).test_instruction == 'Y')
+	{
+		(*s_etat_processus).nombre_arguments = -1;
+		return;
+	}
+
+	if ((*s_etat_processus).erreur_systeme != d_es)
+	{
+		return;
+	}
+
+	if (test_cfsf(s_etat_processus, 31) == d_vrai)
+	{
+		if (empilement_pile_last(s_etat_processus, 1) == d_erreur)
+		{
+			return;
+		}
+	}
+
+	if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
+			&s_objet_1) == d_erreur)
+	{
+		(*s_etat_processus).erreur_execution = d_ex_manque_argument;
+		return;
+	}
+
+	if (((*s_objet_1).type != LST) && ((*s_objet_1).type != TBL))
+	{
+		liberation(s_etat_processus, s_objet_1);
+
+		(*s_etat_processus).erreur_execution = d_ex_erreur_traitement_boucle;
+		return;
+	}
+
+	empilement_pile_systeme(s_etat_processus);
+
+	if ((*s_etat_processus).erreur_systeme != d_es)
+	{
+		return;
+	}
+
+	if ((*s_etat_processus).mode_execution_programme == 'Y')
+	{
+		tampon = (*s_etat_processus).instruction_courante;
+		test_instruction = (*s_etat_processus).test_instruction;
+		instruction_valide = (*s_etat_processus).instruction_valide;
+		(*s_etat_processus).test_instruction = 'Y';
+
+		if (recherche_instruction_suivante(s_etat_processus) == d_erreur)
+		{
+			return;
+		}
+
+		analyse(s_etat_processus, NULL);
+
+		if ((*s_etat_processus).instruction_valide == 'Y')
+		{
+			liberation(s_etat_processus, s_objet_1);
+			free((*s_etat_processus).instruction_courante);
+			(*s_etat_processus).instruction_courante = tampon;
+			(*s_etat_processus).instruction_valide = instruction_valide;
+			(*s_etat_processus).test_instruction = test_instruction;
+
+			depilement_pile_systeme(s_etat_processus);
+
+			(*s_etat_processus).erreur_execution = d_ex_nom_reserve;
+			return;
+		}
+
+		(*s_etat_processus).type_en_cours = NON;
+		recherche_type(s_etat_processus);
+
+		free((*s_etat_processus).instruction_courante);
+		(*s_etat_processus).instruction_courante = tampon;
+		(*s_etat_processus).instruction_valide = instruction_valide;
+		(*s_etat_processus).test_instruction = test_instruction;
+
+		if ((*s_etat_processus).erreur_execution != d_ex)
+		{
+			depilement_pile_systeme(s_etat_processus);
+			liberation(s_etat_processus, s_objet_1);
+			return;
+		}
+
+		if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
+				&s_objet_2) == d_erreur)
+		{
+			liberation(s_etat_processus, s_objet_1);
+
+			depilement_pile_systeme(s_etat_processus);
+			(*s_etat_processus).erreur_execution = d_ex_manque_argument;
+			return;
+		}
+
+		(*(*s_etat_processus).l_base_pile_systeme)
+				.origine_routine_evaluation = 'N';
+	}
+	else
+	{
+		if ((*s_etat_processus).expression_courante == NULL)
+		{
+			depilement_pile_systeme(s_etat_processus);
+
+			(*s_etat_processus).erreur_execution = d_ex_manque_argument;
+			return;
+		}
+
+		(*s_etat_processus).expression_courante = (*(*s_etat_processus)
+				.expression_courante).suivant;
+
+		if ((s_objet_2 = copie_objet(s_etat_processus,
+				(*(*s_etat_processus).expression_courante)
+				.donnee, 'P')) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		(*(*s_etat_processus).l_base_pile_systeme)
+				.origine_routine_evaluation = 'Y';
+	}
+
+	if ((*s_objet_2).type != NOM)
+	{
+		liberation(s_etat_processus, s_objet_1);
+		depilement_pile_systeme(s_etat_processus);
+
+		(*s_etat_processus).erreur_execution = d_ex_erreur_traitement_boucle;
+		return;
+	}
+	else if ((*((struct_nom *) (*s_objet_2).objet)).symbole == d_vrai)
+	{
+		liberation(s_etat_processus, s_objet_1);
+		depilement_pile_systeme(s_etat_processus);
+
+		(*s_etat_processus).erreur_execution = d_ex_erreur_traitement_boucle;
+		return;
+	}
+
+	(*s_etat_processus).niveau_courant++;
+	(*(*s_etat_processus).l_base_pile_systeme).type_cloture = 'A';
+
+	if ((s_variable.nom = malloc((strlen(
+			(*((struct_nom *) (*s_objet_2).objet)).nom) + 1) *
+			sizeof(unsigned char))) == NULL)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+		return;
+	}
+
+	strcpy(s_variable.nom, (*((struct_nom *) (*s_objet_2).objet)).nom);
+	s_variable.niveau = (*s_etat_processus).niveau_courant;
+
+	if ((*s_objet_1).type == LST)
+	{
+		if ((*s_objet_1).objet == NULL)
+		{
+			// La liste est vide. On doit sauter au NEXT correspondant.
+			liberation(s_etat_processus, s_objet_1);
+			liberation(s_etat_processus, s_objet_2);
+			free(s_variable.nom);
+
+			if (((*(*s_etat_processus).l_base_pile_systeme)
+					.limite_indice_boucle = allocation(s_etat_processus, NON))
+					== NULL)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+				return;
+			}
+
+			instruction_cycle(s_etat_processus);
+			return;
+		}
+
+		if ((s_variable.objet = copie_objet(s_etat_processus,
+				(*((struct_liste_chainee *) (*s_objet_1).objet)).donnee, 'P'))
+				== NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		// Mémorisation de la position courante dans la liste
+
+		if (((*(*s_etat_processus).l_base_pile_systeme).indice_boucle =
+				allocation(s_etat_processus, NON)) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		(*(*(*s_etat_processus).l_base_pile_systeme).indice_boucle).objet =
+				(struct_objet *) (*s_objet_1).objet;
+	}
+	else
+	{
+		if ((*((struct_tableau *) (*s_objet_1).objet)).nombre_elements == 0)
+		{
+			// La table est vide, il convient de sauter au NEXT correspondant.
+			liberation(s_etat_processus, s_objet_1);
+			liberation(s_etat_processus, s_objet_2);
+			free(s_variable.nom);
+
+			if (((*(*s_etat_processus).l_base_pile_systeme)
+					.limite_indice_boucle = allocation(s_etat_processus, NON))
+					== NULL)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+				return;
+			}
+
+			instruction_cycle(s_etat_processus);
+			return;
+		}
+
+		if ((s_variable.objet = copie_objet(s_etat_processus,
+				(*((struct_tableau *) (*s_objet_1).objet)).elements[0], 'P'))
+				== NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		// Création d'un objet de type entier contenant la position
+		// de l'élément courant dans la table.
+
+		if (((*(*s_etat_processus).l_base_pile_systeme).indice_boucle =
+				allocation(s_etat_processus, INT)) == NULL)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+			return;
+		}
+
+		(*((integer8 *) (*(*(*s_etat_processus).l_base_pile_systeme)
+				.indice_boucle).objet)) = 0;
+	}
+
+	if (creation_variable(s_etat_processus, &s_variable, 'V', 'P') == d_erreur)
+	{
+		return;
+	}
+
+	liberation(s_etat_processus, s_objet_2);
+
+	(*(*s_etat_processus).l_base_pile_systeme).limite_indice_boucle = s_objet_1;
+
+	if ((*s_etat_processus).mode_execution_programme == 'Y')
+	{
+		(*(*s_etat_processus).l_base_pile_systeme).adresse_retour =
+				(*s_etat_processus).position_courante;
+	}
+	else
+	{
+		(*(*s_etat_processus).l_base_pile_systeme).pointeur_objet_retour =
+				(*s_etat_processus).expression_courante;
+	}
+
+	if (((*(*s_etat_processus).l_base_pile_systeme).nom_variable =
+			malloc((strlen(s_variable.nom) + 1) *
+			sizeof(unsigned char))) == NULL)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
+		return;
+	}
+
+	strcpy((*(*s_etat_processus).l_base_pile_systeme).nom_variable,
+			s_variable.nom);
+
+	return;
+}
 
 // vim: ts=4