--- rpl/src/gestion_variables_statiques.c 2010/04/07 13:45:03 1.6 +++ rpl/src/gestion_variables_statiques.c 2021/03/13 12:50:39 1.72 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.0.14 - Copyright (C) 1989-2010 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.33 + Copyright (C) 1989-2021 Dr. BERTRAND Joël This file is part of RPL/2. @@ -20,7 +20,61 @@ */ -#include "rpl.conv.h" +#include "rpl-conv.h" + + +/* +================================================================================ + Routine de retrait des variables statiques +================================================================================ + Entrée : +-------------------------------------------------------------------------------- + Sortie : +-------------------------------------------------------------------------------- + Effets de bords : néant +================================================================================ +*/ + +// Cette routine libère toutes les variables statiques de niveau non +// nul, donc attachées à une expression et non un programme. + +logical1 +retrait_variables_statiques_locales(struct_processus *s_etat_processus) +{ + struct_liste_variables_statiques *l_element_courant; + struct_liste_variables_statiques *l_element_suivant; + + unsigned char registre_mode_execution; + + registre_mode_execution = (*s_etat_processus).mode_execution_programme; + l_element_courant = (*s_etat_processus).l_liste_variables_statiques; + + while(l_element_courant != NULL) + { + l_element_suivant = (*l_element_courant).suivant; + + (*s_etat_processus).mode_execution_programme = + ((*(*l_element_courant).variable).origine == 'P') ? 'Y' : 'N'; + + if ((*(*l_element_courant).variable).niveau > 0) + { + if (retrait_variable_statique(s_etat_processus, + (*(*l_element_courant).variable).nom, + (*(*l_element_courant).variable).variable_statique) + == d_erreur) + { + (*s_etat_processus).mode_execution_programme = + registre_mode_execution; + return(d_erreur); + } + } + + l_element_courant = l_element_suivant; + } + + (*s_etat_processus).mode_execution_programme = registre_mode_execution; + return(d_absence_erreur); +} /* @@ -39,76 +93,178 @@ logical1 creation_variable_statique(struct_processus *s_etat_processus, struct_variable_statique *s_variable) { - struct_variable_statique *s_nouvelle_base; + int i; + + struct_arbre_variables *l_variable_courante; - long i; + struct_liste_variables_statiques *l_nouvel_element; - (*s_etat_processus).nombre_variables_statiques++; + unsigned char *ptr; - if ((*s_etat_processus).nombre_variables_statiques > (*s_etat_processus) - .nombre_variables_statiques_allouees) + // Ajout de la variable en tête de la liste des variables statiques + + if ((l_nouvel_element = malloc(sizeof(struct_liste_variables_statiques))) + == NULL) { - // La nouvelle variable statique ne tient pas dans la table courante. - // Il convient donc d'en augmenter la taille. + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return(d_erreur); + } - if ((*s_etat_processus).nombre_variables_statiques_allouees == 0) - { - (*s_etat_processus).nombre_variables_statiques_allouees = - (*s_etat_processus).nombre_variables_statiques; - } - else + if (((*l_nouvel_element).variable = malloc(sizeof( + struct_variable_statique))) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return(d_erreur); + } + + (*(*l_nouvel_element).variable) = (*s_variable); + + (*l_nouvel_element).suivant = (*s_etat_processus) + .l_liste_variables_statiques; + (*l_nouvel_element).precedent = NULL; + + if ((*s_etat_processus).l_liste_variables_statiques != NULL) + { + (*(*s_etat_processus).l_liste_variables_statiques).precedent + = l_nouvel_element; + } + + (*s_etat_processus).l_liste_variables_statiques = l_nouvel_element; + + // Ajout de la variable à la feuille statique de l'arbre des variables + + if ((*s_etat_processus).s_arbre_variables == NULL) + { + if (((*s_etat_processus).s_arbre_variables = + allocation_noeud(s_etat_processus)) == NULL) { - while((*s_etat_processus).nombre_variables_statiques > - (*s_etat_processus).nombre_variables_statiques_allouees) - { - (*s_etat_processus).nombre_variables_statiques_allouees *= 2; - } + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return(d_erreur); } - if ((s_nouvelle_base = realloc((*s_etat_processus) - .s_liste_variables_statiques, (*s_etat_processus) - .nombre_variables_statiques_allouees * - sizeof(struct_variable_statique))) == NULL) + (*(*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) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - (*s_etat_processus).nombre_variables_statiques--; return(d_erreur); } - (*s_etat_processus).s_liste_variables_statiques = s_nouvelle_base; + for(i = 0; i < (*s_etat_processus).nombre_caracteres_variables; i++) + { + (*(*s_etat_processus).s_arbre_variables).noeuds[i] = NULL; + } } - /* - * Positionnement de la variable statique au bon endroit - */ - - // Nous avons (*s_etat_processus).nombre_variables_statiques - 1 variables - // dans la table qui sera balayée de la fin vers le début. + l_variable_courante = (*s_etat_processus).s_arbre_variables; + ptr = (*s_variable).nom; - if ((*s_etat_processus).nombre_variables_statiques == 1) - { - (*s_etat_processus).s_liste_variables_statiques[0] = (*s_variable); - } - else + while((*ptr) != d_code_fin_chaine) { - for(i = (*s_etat_processus).nombre_variables_statiques - 2; i >= 0; i--) - { - if (strcmp((*s_variable).nom, - (*s_etat_processus).s_liste_variables_statiques[i].nom) < 0) + BUG((*s_etat_processus).pointeurs_caracteres_variables[*ptr] < 0, + uprintf("Variable=\"%s\", (*ptr)='%c'\n", (*s_variable).nom, + *ptr)); + + if ((*l_variable_courante).noeuds[(*s_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_etat_processus) + .pointeurs_caracteres_variables[*ptr]] = + allocation_noeud(s_etat_processus)) == NULL) { - (*s_etat_processus).s_liste_variables_statiques[i + 1] = - (*s_etat_processus).s_liste_variables_statiques[i]; + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return(d_erreur); } - else + + (*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_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 + // 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_etat_processus) + .pointeurs_caracteres_variables[*ptr]]).noeud_pere = + l_variable_courante; + (*(*l_variable_courante).noeuds[(*s_etat_processus) + .pointeurs_caracteres_variables[*ptr]]) + .indice_tableau_pere = (*s_etat_processus) + .pointeurs_caracteres_variables[*ptr]; + + // Allocation du tableau noeuds[] et initialisation à zéro de + // tous les pointeurs. + + if (((*(*l_variable_courante).noeuds[(*s_etat_processus) + .pointeurs_caracteres_variables[*ptr]]).noeuds = + allocation_tableau_noeuds(s_etat_processus)) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return(d_erreur); + } + + for(i = 0; i < (*s_etat_processus).nombre_caracteres_variables; i++) { - break; + (*(*l_variable_courante).noeuds[(*s_etat_processus) + .pointeurs_caracteres_variables[*ptr]]).noeuds[i] + = NULL; } } - (*s_etat_processus).s_liste_variables_statiques[i + 1] = (*s_variable); + l_variable_courante = (*l_variable_courante).noeuds + [(*s_etat_processus).pointeurs_caracteres_variables[*ptr]]; + ptr++; + } + + if ((l_nouvel_element = malloc(sizeof(struct_liste_variables_statiques))) + == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return(d_erreur); + } + + // Dans la feuille statique de l'arbre des variables, on ne balaie + // les variables que dans l'ordre. Le champ 'reference' est alors utilisé + // pour sauvegarder une référence vers la liste des variables statiques + // pour pouvoir purger l'élément en cas de besoin. + + (*l_nouvel_element).suivant = (*l_variable_courante).feuille_statique; + (*l_nouvel_element).precedent = NULL; + + if ((*l_nouvel_element).suivant != NULL) + { + (*(*l_nouvel_element).suivant).precedent = l_nouvel_element; } - return d_absence_erreur; + (*l_nouvel_element).reference = + (*s_etat_processus).l_liste_variables_statiques; + (*l_nouvel_element).variable = (*(*s_etat_processus) + .l_liste_variables_statiques).variable; + (*l_variable_courante).feuille_statique = l_nouvel_element; + (*l_nouvel_element).feuille = l_variable_courante; + + return(d_absence_erreur); } @@ -128,53 +284,92 @@ logical1 retrait_variable_statique(struct_processus *s_etat_processus, unsigned char *nom_variable, union_position_variable position) { - struct_variable_statique *s_nouvelle_base; - - logical1 erreur; + struct_liste_variables_statiques *l_element_a_supprimer; + struct_liste_variables_statiques *l_element_liste_a_supprimer; - unsigned long position_courante; - unsigned long position_supprimee; + logical1 erreur; - if (recherche_variable_statique(s_etat_processus, nom_variable, - position, ((*s_etat_processus).mode_execution_programme == 'Y') - ? 'P' : 'E') == d_vrai) + if ((l_element_a_supprimer = recherche_variable_statique(s_etat_processus, + nom_variable, position, ((*s_etat_processus) + .mode_execution_programme == 'Y') ? 'P' : 'E')) != NULL) { - if ((*s_etat_processus).nombre_variables_statiques < - ((*s_etat_processus).nombre_variables_statiques_allouees / 2)) + // (*s_etat_processus).pointeur_variable_statique_courante + // pointe sur la variable à éliminer. Cette variable est celle qui + // est présente dans l'une des feuilles statiques de l'arbre des + // variables. + + l_element_liste_a_supprimer = (*l_element_a_supprimer).reference; + + // Suppression de la liste des variables statiques + + if ((*l_element_liste_a_supprimer).precedent != NULL) { - (*s_etat_processus).nombre_variables_statiques_allouees /= 2; + // L'élément à supprimer n'est pas le premier de la liste. - if ((s_nouvelle_base = - realloc((*s_etat_processus).s_liste_variables_statiques, - (*s_etat_processus).nombre_variables_statiques_allouees * - sizeof(struct_variable_statique))) == NULL) + (*(*l_element_liste_a_supprimer).precedent).suivant = + (*l_element_liste_a_supprimer).suivant; + + if ((*l_element_liste_a_supprimer).suivant != NULL) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return(d_erreur); + // Il y a un élément suivant. On le chaîne. + (*(*l_element_liste_a_supprimer).suivant).precedent = NULL; } + } + else + { + // L'élement est le premier de la liste. S'il y a un élément + // suivant, on le chaîne. - (*s_etat_processus).s_liste_variables_statiques = s_nouvelle_base; + if ((*l_element_liste_a_supprimer).suivant != NULL) + { + (*(*l_element_liste_a_supprimer).suivant).precedent = NULL; + } + + (*s_etat_processus).l_liste_variables_statiques = + (*l_element_liste_a_supprimer).suivant; } - position_supprimee = (*s_etat_processus) - .position_variable_statique_courante; + free(l_element_liste_a_supprimer); - liberation(s_etat_processus, (*s_etat_processus) - .s_liste_variables_statiques[position_supprimee].objet); - free((*s_etat_processus).s_liste_variables_statiques - [position_supprimee].nom); + // Suppression depuis la feuille statique. Le champ 'precedent' ne sert + // pas car la liste est simplement chaînée. + + if ((*l_element_a_supprimer).precedent != NULL) + { + // L'élément n'est pas le premier de la liste. - (*s_etat_processus).nombre_variables_statiques--; + (*(*l_element_a_supprimer).precedent).suivant = + (*l_element_a_supprimer).suivant; - for(position_courante = position_supprimee; position_courante < - (*s_etat_processus).nombre_variables_statiques; - position_courante++) + if ((*l_element_a_supprimer).suivant != NULL) + { + (*(*l_element_a_supprimer).suivant).precedent = + (*l_element_a_supprimer).precedent; + } + else + { + (*(*l_element_a_supprimer).precedent).suivant = NULL; + } + } + else { - (*s_etat_processus).s_liste_variables_statiques[position_courante] - = (*s_etat_processus).s_liste_variables_statiques - [position_courante + 1]; + // L'élément est le premier de la liste. + + if ((*l_element_a_supprimer).suivant != NULL) + { + (*(*l_element_a_supprimer).suivant).precedent = NULL; + } + + (*(*l_element_a_supprimer).feuille).feuille_statique + = (*l_element_a_supprimer).suivant; } + liberation(s_etat_processus, (*(*l_element_a_supprimer).variable) + .objet); + free((*(*l_element_a_supprimer).variable).nom); + free((*l_element_a_supprimer).variable); + free(l_element_a_supprimer); + erreur = d_absence_erreur; } else @@ -183,7 +378,7 @@ retrait_variable_statique(struct_process (*s_etat_processus).erreur_systeme = d_es_variable_introuvable; } - return erreur; + return(erreur); } @@ -199,236 +394,81 @@ retrait_variable_statique(struct_process ================================================================================ */ -logical1 +struct_liste_variables_statiques * recherche_variable_statique(struct_processus *s_etat_processus, unsigned char *nom_variable, union_position_variable position, unsigned char origine) { - logical1 existence_variable; + int pointeur; - long difference; - long difference_inferieure; - long difference_superieure; - - unsigned long borne_inferieure; - unsigned long borne_superieure; - unsigned long moyenne; - unsigned long nombre_iterations_maximal; - unsigned long ordre_iteration; - - if ((*s_etat_processus).nombre_variables_statiques == 0) - { - (*s_etat_processus).erreur_systeme = d_es_variable_introuvable; - return d_faux; - } + struct_arbre_variables *l_variable_courante; + struct_liste_variables_statiques *l_element_courant; - ordre_iteration = 0; - nombre_iterations_maximal = ((unsigned long) - (log((*s_etat_processus).nombre_variables_statiques) / log(2))) + 2; + unsigned char *ptr; - borne_inferieure = 0; - borne_superieure = (*s_etat_processus).nombre_variables_statiques - 1; + l_variable_courante = (*s_etat_processus).s_arbre_variables; + ptr = nom_variable; - do + while((*ptr) != d_code_fin_chaine) { - moyenne = (borne_inferieure + borne_superieure) / 2; - ordre_iteration++; + pointeur = (*s_etat_processus).pointeurs_caracteres_variables[*ptr]; - if ((2 * ((unsigned long) ((borne_inferieure + borne_superieure) / 2))) - == (borne_inferieure + borne_superieure)) + if (pointeur < 0) { - difference = strcmp(nom_variable, - ((*s_etat_processus).s_liste_variables_statiques) - [moyenne].nom); + // Caractère hors de l'alphabet des variables - if (difference != 0) - { - if (difference > 0) - { - borne_inferieure = moyenne; - } - else - { - borne_superieure = moyenne; - } - } + (*s_etat_processus).erreur_systeme = d_es_variable_introuvable; + return(NULL); } - else - { - difference_inferieure = strcmp(nom_variable, - ((*s_etat_processus).s_liste_variables_statiques) - [moyenne].nom); - difference_superieure = strcmp(nom_variable, - ((*s_etat_processus).s_liste_variables_statiques) - [moyenne + 1].nom); - - if (difference_inferieure == 0) - { - difference = 0; - } - else if (difference_superieure == 0) - { - difference = 0; - moyenne++; - } - else - { - difference = difference_inferieure; - if (difference > 0) - { - borne_inferieure = moyenne; - } - else - { - borne_superieure = moyenne; - } - } + if ((*l_variable_courante).noeuds[pointeur] == NULL) + { + // Le chemin de la variable candidate n'existe pas. + (*s_etat_processus).erreur_systeme = d_es_variable_introuvable; + return(NULL); } - } while((difference != 0) && - (ordre_iteration <= nombre_iterations_maximal)); - if (ordre_iteration > nombre_iterations_maximal) - { - existence_variable = d_faux; - (*s_etat_processus).erreur_systeme = d_es_variable_introuvable; + l_variable_courante = (*l_variable_courante).noeuds[pointeur]; + ptr++; } - else + + if ((*l_variable_courante).feuille_statique != NULL) { - // Reste à rechercher la variable déclarée à la position 'position'... + // Il existe au moins une variable statique du nom requis. - if (((*s_etat_processus).s_liste_variables_statiques)[moyenne] - .origine == 'P') - { - if ((((*s_etat_processus).s_liste_variables_statiques)[moyenne] - .variable_statique.adresse == position.adresse) && - (((*s_etat_processus).s_liste_variables_statiques)[moyenne] - .origine == origine)) - { - existence_variable = d_vrai; - } - else - { - existence_variable = d_faux; - } - } - else - { - if ((((*s_etat_processus).s_liste_variables_statiques)[moyenne] - .variable_statique.pointeur == position.pointeur) && - (((*s_etat_processus).s_liste_variables_statiques)[moyenne] - .origine == origine)) - { - existence_variable = d_vrai; - } - else - { - existence_variable = d_faux; - } - } + l_element_courant = (*l_variable_courante).feuille_statique; - if (existence_variable == d_faux) + while(l_element_courant != NULL) { - // On rembobine. - - if (moyenne > 0) + if ((*(*l_element_courant).variable).origine == 'P') { - while(strcmp(nom_variable, ((*s_etat_processus) - .s_liste_variables_statiques)[moyenne - 1].nom) == 0) + if (((*(*l_element_courant).variable).variable_statique.adresse + == position.adresse) && + ((*(*l_element_courant).variable).origine == origine)) { - moyenne--; - - if (moyenne == 0) - { - break; - } + (*s_etat_processus).pointeur_variable_statique_courante + = (*l_element_courant).variable; + return(l_element_courant); } } - - // Un petit test pour voir si le premier élément du tableau - // peut correspondre au critère de recherche. - - existence_variable = d_faux; - - if (strcmp(((*s_etat_processus).s_liste_variables_statiques) - [moyenne].nom, nom_variable) == 0) + else { - if (((*s_etat_processus).s_liste_variables_statiques) - [moyenne].origine == 'P') + if (((*(*l_element_courant).variable).variable_statique.pointeur + == position.pointeur) && + ((*(*l_element_courant).variable).origine == origine)) { - if ((((*s_etat_processus).s_liste_variables_statiques) - [moyenne].variable_statique.adresse - == position.adresse) && - (((*s_etat_processus).s_liste_variables_statiques) - [moyenne].origine == origine)) - { - existence_variable = d_vrai; - } - } - else - { - if ((((*s_etat_processus).s_liste_variables_statiques) - [moyenne].variable_statique.pointeur - == position.pointeur) && - (((*s_etat_processus).s_liste_variables_statiques) - [moyenne].origine == origine)) - { - existence_variable = d_vrai; - } + (*s_etat_processus).pointeur_variable_statique_courante + = (*l_element_courant).variable; + return(l_element_courant); } } - // Puis on balaye dans le sens croissant. - - if (((moyenne + 1) < (*s_etat_processus) - .nombre_variables_statiques) && - (existence_variable == d_faux)) - { - while(strcmp(((*s_etat_processus) - .s_liste_variables_statiques)[moyenne + 1].nom, - nom_variable) == 0) - { - moyenne++; - - if (((*s_etat_processus).s_liste_variables_statiques) - [moyenne].origine == 'P') - { - if ((((*s_etat_processus).s_liste_variables_statiques) - [moyenne].variable_statique.adresse == - position.adresse) && (((*s_etat_processus) - .s_liste_variables_statiques) - [moyenne].origine == origine)) - { - existence_variable = d_vrai; - break; - } - } - else - { - if ((((*s_etat_processus).s_liste_variables_statiques) - [moyenne].variable_statique.pointeur == - position.pointeur) && (((*s_etat_processus) - .s_liste_variables_statiques) - [moyenne].origine == origine)) - { - existence_variable = d_vrai; - break; - } - } - - if ((moyenne + 1) >= (*s_etat_processus) - .nombre_variables_statiques) - { - break; - } - } - } + l_element_courant = (*l_element_courant).suivant; } - - (*s_etat_processus).position_variable_statique_courante = moyenne; } - return existence_variable; + (*s_etat_processus).pointeur_variable_statique_courante = NULL; + return(NULL); } // vim: ts=4