--- rpl/src/rpl.h	2010/09/08 17:18:37	1.69
+++ rpl/src/rpl.h	2011/08/09 11:31:36	1.111
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.19
-  Copyright (C) 1989-2010 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.3
+  Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -23,21 +23,28 @@
 #ifndef INCLUSION_RPL
 #define INCLUSION_RPL
 
-#define _GNU_SOURCE
-#define _POSIX_C_SOURCE		200112L
+#ifndef __RPLCAS
+#	define _GNU_SOURCE
+#	define _POSIX_C_SOURCE		200112L
+#endif
+
 #define _REENTRANT
 
-#ifdef Darwin
-#	define	_DARWIN_C_SOURCE
-#endif
+#ifndef __RPLCAS
+#	ifdef Darwin
+#		define	_DARWIN_C_SOURCE
+#	endif
 
-#ifdef OpenBSD
-#	define _BSD_SOURCE
+#	ifdef OpenBSD
+#		define _BSD_SOURCE
+#	endif
 #endif
 
 #ifdef OS2
-#	define _BSD_SOURCE
-#	define _XOPEN_SOURCE	600
+#	ifndef __RPLCAS
+#		define _BSD_SOURCE
+#		define _XOPEN_SOURCE	600
+#	endif
 
 #	include <types.h>
 	enum { SHUT_RD = 0, SHUT_WR, SHUT_RDWR };
@@ -922,6 +929,8 @@ pid_t debug_fork();
 #	define d_ex_clef_inexistante				__erreur(80)
 #	define d_ex_nom_implicite					__erreur(81)
 #	define d_ex_version_bibliotheque			__erreur(82)
+#	define d_ex_creation_variable_globale		__erreur(83)
+#	define d_ex_erreur_interne_rplcas			__erreur(84)
 #endif
 
 
@@ -945,8 +954,8 @@ pid_t debug_fork();
 #	undef MAX
 #endif
 
-#define	ADR	__RPL_ADR
-#define	ALG	__RPL_ALG
+#define ADR	__RPL_ADR
+#define ALG	__RPL_ALG
 #define BIN	__RPL_BIN
 #define CHN	__RPL_CHN
 #define CPL	__RPL_CPL
@@ -965,13 +974,14 @@ pid_t debug_fork();
 #define RPN	__RPL_RPN
 #define SCK	__RPL_SCK
 #define SLB	__RPL_SLB
-#define SPH __RPL_SPH
+#define SPH	__RPL_SPH
 #define SQL	__RPL_SQL
-#define TBL __RPL_TBL
+#define TBL	__RPL_TBL
 #define VCX	__RPL_VCX
 #define VIN	__RPL_VIN
 #define VRL	__RPL_VRL
 
+enum t_rplcas_commandes		{ RPLCAS_INTEGRATION = 0, RPLCAS_LIMITE };
 
 enum t_type		{ ADR = 0, ALG, BIN, CHN, CPL, FCH, FCT, INT, LST,
 				MCX, MIN, MRL, MTX, NOM, NON, PRC, REL, RPN, SCK,
@@ -1359,6 +1369,7 @@ typedef struct descripteur_thread
 	pthread_t					thread_pere;
 
 	pthread_mutex_t				mutex;
+	pthread_mutex_t				mutex_nombre_references;
 
 	volatile logical1			thread_actif;
 
@@ -1669,6 +1680,68 @@ typedef struct rpl_arguments
 	void						*s_etat_processus;
 } struct_rpl_arguments;
 
+/*
+--------------------------------------------------------------------------------
+  Structure d'arbre des instructions intrinsèques
+--------------------------------------------------------------------------------
+*/
+
+#ifndef RPLARGS
+typedef struct instruction
+{
+	struct instruction		**noeuds;
+	void					(*feuille)(struct processus *);
+} struct_instruction;
+#endif
+
+/*
+--------------------------------------------------------------------------------
+  Structure d'arbre des variables variable globales et locales
+--------------------------------------------------------------------------------
+*/
+
+#ifndef RPLARGS
+typedef struct arbre_variables
+{
+	unsigned int			noeuds_utilises;
+	signed int				indice_tableau_pere;
+	struct arbre_variables	*noeud_pere;
+	struct arbre_variables	**noeuds;
+	struct liste_variables	*feuille;
+} struct_arbre_variables;
+
+typedef struct tableau_variables
+{
+	unsigned char			origine;
+	unsigned char			*nom;		// pointeur sur la struct_variable
+										// réelle et non copie de la chaîne
+	unsigned long			niveau;
+
+	struct_objet			*objet;		// pointeur sur l'objet et non copie
+										// de l'objet.
+
+	logical1				variable_verrouillee;
+	union_position_variable	variable_statique;
+	union_position_variable	variable_partagee;
+} struct_tableau_variables;
+
+typedef struct liste_variables
+{
+	union
+	{
+		// Utilisation dans la gestion des variables
+		struct_variable					*variable;
+		// Utilisation dans la pile système (variables par niveau)
+		struct_liste_chainee			*liste;
+	};
+
+	struct arbre_variables				*noeud_pere;
+	struct arbre_variables				*noeud;
+	struct liste_variables				*suivant;
+	struct liste_variables				*precedent;
+} struct_liste_variables;
+
+#endif
 
 /*
 --------------------------------------------------------------------------------
@@ -1706,6 +1779,7 @@ typedef struct processus
 	unsigned char				mode_interactif;					/*Y/N*/
 	unsigned char				mode_evaluation_expression;			/*Y/N*/
 	unsigned char				traitement_cycle_exit;				/*N/E/C*/
+	unsigned char				recherche_type;						/*Y/N*/
 
 	unsigned long				position_courante;
 	unsigned long				longueur_definitions_chainees;
@@ -1714,7 +1788,7 @@ typedef struct processus
 
 	int							*pointeurs_caracteres;
 	int							nombre_caracteres;
-	struct instruction			*arbre_instructions;
+	struct_instruction			*arbre_instructions;
 
 /* Requetes												*/
 
@@ -1778,9 +1852,25 @@ typedef struct processus
 
 /* Variables											*/
 
-	struct_variable				*s_liste_variables;
-	unsigned long				nombre_variables;
-	unsigned long				nombre_variables_allouees;
+	// La liste des variables par niveau est doublement chaînée.
+	// À tout moment, elle pointe sur le niveau le plus haut existant et
+	// l_liste_variable_par_niveau->precedent renvoie la liste des
+	// définitions. l_liste_variable_par_niveau->precedent->precedent pointe
+	// sur la liste des variables globales.
+	//
+	// À l'initialisation :
+	// l_liste_variables_par_niveau->suivant == l_liste_variables_par_niveau
+	// l_liste_variables_par_niveau->precedent == l_liste_variables_par_niveau
+
+	struct_arbre_variables		*s_arbre_variables;
+	struct_liste_variables		*l_liste_variables_par_niveau;
+	logical1					niveau_supprime;
+
+	struct_variable				*pointeur_variable_courante;
+	struct_liste_variables		*pointeur_feuille_courante;
+
+	int							*pointeurs_caracteres_variables;
+	int							nombre_caracteres_variables;
 
 	struct_variable_statique	*s_liste_variables_statiques;
 	unsigned long				nombre_variables_statiques;
@@ -1791,7 +1881,6 @@ typedef struct processus
 
 	unsigned long				niveau_courant;
 	unsigned long				niveau_initial;
-	unsigned long				position_variable_courante;
 	unsigned long				position_variable_statique_courante;
 
 	logical1					creation_variables_statiques;
@@ -2057,6 +2146,8 @@ typedef struct processus
 	gsl_rng						*generateur_aleatoire;
 	const gsl_rng_type			*type_generateur_aleatoire;
 
+	void						*contexte_cas;
+
 	integer8					nombre_arguments;
 
 	/*
@@ -2119,11 +2210,7 @@ typedef struct processus
 	unsigned long				taille_pile_objets;
 	struct_objet				*pile_objets;
 
-#	ifndef DEBUG_MALLOC
-#		define TAILLE_CACHE 16384
-#	else
-#		define TAILLE_CACHE 4
-#	endif
+#	define TAILLE_CACHE 16384
 
 	unsigned long				*objets_adr[TAILLE_CACHE];
 	int							pointeur_adr;
@@ -2157,23 +2244,20 @@ typedef struct processus
 
 	struct_liste_chainee		*maillons[TAILLE_CACHE];
 	int							pointeur_maillons;
-} struct_processus;
-#endif
 
-/*
---------------------------------------------------------------------------------
-  Structures instruction intrinsèque
---------------------------------------------------------------------------------
-*/
+	struct_arbre_variables		*variables_noeud[TAILLE_CACHE];
+	int							pointeur_variables_noeud;
 
-#ifndef RPLARGS
-typedef struct instruction
-{
-	struct instruction		**noeud;
-	void					(*feuille)(struct_processus *);
-} struct_instruction;
-#endif
+	struct_liste_variables		*variables_feuille[TAILLE_CACHE];
+	int							pointeur_variables_feuille;
 
+	struct_variable				*variables_variable[TAILLE_CACHE];
+	int							pointeur_variables_variable;
+
+	struct_arbre_variables		**variables_tableau_noeuds[TAILLE_CACHE];
+	int							pointeur_variables_tableau_noeuds;
+} struct_processus;
+#endif
 
 /*
 --------------------------------------------------------------------------------
@@ -2210,6 +2294,7 @@ typedef struct fonction
 // BEGIN C PROTOTYPES
 void instruction_sensible_e(struct_processus *s_etat_processus);
 void instruction_sensible_i(struct_processus *s_etat_processus);
+void instruction_sensible_infinity(struct_processus *s_etat_processus);
 
 void instruction_abort(struct_processus *s_etat_processus);
 void instruction_abs(struct_processus *s_etat_processus);
@@ -2406,6 +2491,7 @@ void instruction_in(struct_processus *s_
 void instruction_incr(struct_processus *s_etat_processus);
 void instruction_indep(struct_processus *s_etat_processus);
 void instruction_input(struct_processus *s_etat_processus);
+void instruction_infinity(struct_processus *s_etat_processus);
 void instruction_inquire(struct_processus *s_etat_processus);
 void instruction_int(struct_processus *s_etat_processus);
 void instruction_interrupt(struct_processus *s_etat_processus);
@@ -2429,6 +2515,7 @@ void instruction_lcd_fleche(struct_proce
 void instruction_lchol(struct_processus *s_etat_processus);
 void instruction_le(struct_processus *s_etat_processus);
 void instruction_legv(struct_processus *s_etat_processus);
+void instruction_limit(struct_processus *s_etat_processus);
 void instruction_line(struct_processus *s_etat_processus);
 void instruction_list_fleche(struct_processus *s_etat_processus);
 void instruction_ln(struct_processus *s_etat_processus);
@@ -2442,6 +2529,7 @@ void instruction_lq(struct_processus *s_
 void instruction_lsq(struct_processus *s_etat_processus);
 void instruction_lt(struct_processus *s_etat_processus);
 void instruction_lu(struct_processus *s_etat_processus);
+void instruction_l_vers_t(struct_processus *s_etat_processus);
 
 void instruction_mant(struct_processus *s_etat_processus);
 void instruction_mark(struct_processus *s_etat_processus);
@@ -2677,6 +2765,7 @@ void instruction_trn(struct_processus *s
 void instruction_trnc(struct_processus *s_etat_processus);
 void instruction_true(struct_processus *s_etat_processus);
 void instruction_type(struct_processus *s_etat_processus);
+void instruction_t_vers_l(struct_processus *s_etat_processus);
 
 void instruction_ucase(struct_processus *s_etat_processus);
 void instruction_uchol(struct_processus *s_etat_processus);
@@ -2735,7 +2824,6 @@ void affichage_pile(struct_processus *s_
 		niveau_courant);
 #endif
 
-void *allocation(struct_processus *s_etat_processus, enum t_type type);
 void *allocation_maillon(struct_processus *s_etat_processus);
 
 #ifndef RPLARGS
@@ -2756,6 +2844,8 @@ void conversion_hms_vers_decimal(real8 *
 void conversion_majuscule_limitee(unsigned char *chaine_entree, 
 		unsigned char *chaine_sortie, unsigned long longueur);
 void conversion_radians_vers_degres(real8 *angle);
+void copie_arbre_variables(struct_processus *s_etat_processus,
+		struct_processus *s_nouvel_etat_processus);
 void correction_formateur_tex(struct_processus *s_etat_processus,
 		unsigned char **ligne);
 void depilement_pile_systeme(struct_processus *s_etat_processus);
@@ -2795,10 +2885,12 @@ void impression_tex(struct_processus *s_
 void informations(struct_processus *s_etat_processus);
 void initialisation_allocateur(struct_processus *s_etat_processus);
 void initialisation_completion(void);
+void initialisation_contexte_cas(struct_processus *s_etat_processus);
 void initialisation_drapeaux(struct_processus *s_etat_processus);
 void initialisation_generateur_aleatoire(struct_processus *s_etat_processus,
 		logical1 initialisation_automatique, unsigned long int racine);
 void initialisation_instructions(struct_processus *s_etat_processus);
+void initialisation_variables(struct_processus *s_etat_processus);
 #endif
 
 void initialisation_objet(struct_objet *s_objet);
@@ -2811,6 +2903,8 @@ void insertion_thread_surveillance(struc
 void integrale_romberg(struct_processus *s_etat_processus,
 		struct_objet *s_expression, unsigned char *variable,
 		real8 a, real8 b, real8 precision);
+void interface_cas(struct_processus *s_etat_processus,
+		enum t_rplcas_commandes commande);
 void interruption1(SIGHANDLER_ARGS);
 void interruption2(SIGHANDLER_ARGS);
 void interruption3(SIGHANDLER_ARGS);
@@ -2836,6 +2930,9 @@ void liberation_maillon(struct_processus
 void liberation_allocateur(struct_processus *s_etat_processus);
 void liberation_arbre_instructions(struct_processus *s_etat_processus,
 		struct_instruction *arbre);
+void liberation_arbre_variables(struct_processus *s_etat_processus,
+		struct_arbre_variables *arbre, logical1 definitions);
+void liberation_contexte_cas(struct_processus *s_etat_processus);
 void liberation_generateur_aleatoire(struct_processus *s_etat_processus);
 void liberation_threads(struct_processus *s_etat_processus);
 void liberation_profil(struct_processus *s_etat_processus);
@@ -2978,6 +3075,8 @@ unsigned char *formateur_fichier(struct_
 		struct_objet *s_objet, struct_objet *s_format,
 		long longueur, long longueur_champ, unsigned char format,
 		unsigned char type, long *longueur_effective, long *recursivite);
+unsigned char *formateur_flux(struct_processus *s_etat_processus,
+		unsigned char *donnees, long *longueur);
 unsigned char *formateur_fichier_nombre(struct_processus *s_etat_processus,
 		void *valeur_numerique, unsigned char type,
 		long longueur, long longueur_champ, unsigned char format);
@@ -3062,6 +3161,8 @@ logical1 ecriture_pipe(struct_processus
 		struct_objet *s_objet);
 logical1 recherche_variable(struct_processus *s_etat_processus,
 		unsigned char *nom_variable);
+logical1 recherche_variable_globale(struct_processus *s_etat_processus,
+		unsigned char *nom_variable);
 logical1 recherche_variable_partagee(struct_processus *s_etat_processus,
 		unsigned char *nom_variable, union_position_variable position,
 		unsigned char origine);
@@ -3094,6 +3195,11 @@ ssize_t write_atomic(struct_processus *s
 */
 
 int alsprintf(unsigned char **strp, const char *fmt, ...);
+int liste_variables(struct_processus *s_etat_processus,
+		struct_tableau_variables *tableau, int position,
+		struct_arbre_variables *l_element_courant);
+int nombre_variables(struct_processus *s_etat_processus,
+		struct_arbre_variables *l_element_courant);
 int tex_fprintf(struct_processus *s_etat_processus,
 		file *flux, const char *format, ...);
 int transliterated_fprintf(struct_processus *s_etat_processus, file *flux,
@@ -3176,6 +3282,7 @@ struct_objet *copie_objet(struct_process
 		struct_objet *s_objet, unsigned char type);
 
 #ifndef RPLARGS
+struct_objet *allocation(struct_processus *s_etat_processus, enum t_type type);
 struct_objet *formateur_date(struct_processus *s_etat_processus,
 		struct timeval *temps);
 struct_objet *lecture_pipe(struct_processus *s_etat_processus, int pipe);