--- rpl/src/instructions_v1.c 2010/02/10 10:14:25 1.3 +++ rpl/src/instructions_v1.c 2011/07/24 14:44:10 1.28 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.0.11 - Copyright (C) 1989-2010 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.1 + Copyright (C) 1989-2011 Dr. BERTRAND Joël This file is part of RPL/2. @@ -20,7 +20,7 @@ */ -#include "rpl.conv.h" +#include "rpl-conv.h" /* @@ -38,10 +38,6 @@ void instruction_var(struct_processus *s_etat_processus) { - logical1 presence_variable; - - long i; - struct_objet *s_objet_statistique; struct_objet *s_objet_resultat; struct_objet *s_objet_temporaire; @@ -85,74 +81,39 @@ instruction_var(struct_processus *s_etat * Recherche d'une variable globale référencée par SIGMA */ - if (recherche_variable(s_etat_processus, ds_sdat) == d_faux) + if (recherche_variable_globale(s_etat_processus, ds_sdat) == d_faux) { /* * Aucune variable SIGMA */ (*s_etat_processus).erreur_systeme = d_es; - (*s_etat_processus).erreur_execution = d_ex_absence_observations; - return; - } - else - { - /* - * Il existe une variable locale SIGMA. Reste à vérifier l'existence - * d'une variable SIGMA globale... - */ - i = (*s_etat_processus).position_variable_courante; - presence_variable = d_faux; - - while(i >= 0) + if ((*s_etat_processus).erreur_execution == d_ex) { - if ((strcmp((*s_etat_processus).s_liste_variables[i].nom, - ds_sdat) == 0) && ((*s_etat_processus) - .s_liste_variables[i].niveau == 1)) - { - presence_variable = d_vrai; - break; - } - - i--; + (*s_etat_processus).erreur_execution = d_ex_absence_observations; } - if (presence_variable == d_faux) + return; + } + else + { + if (((*(*(*s_etat_processus).pointeur_variable_courante).objet) + .type != MIN) && ((*(*(*s_etat_processus) + .pointeur_variable_courante).objet).type != MRL)) { - (*s_etat_processus).erreur_execution = d_ex_absence_observations; + (*s_etat_processus).erreur_execution = + d_ex_matrice_statistique_invalide; return; } - else - { - (*s_etat_processus).position_variable_courante = i; - - if ((*s_etat_processus).s_liste_variables[i].objet == NULL) - { - (*s_etat_processus).erreur_execution = d_ex_variable_partagee; - return; - } - - if (((*((*s_etat_processus).s_liste_variables - [(*s_etat_processus).position_variable_courante].objet)) - .type != MIN) && ((*((*s_etat_processus) - .s_liste_variables[(*s_etat_processus) - .position_variable_courante].objet)).type != MRL)) - { - (*s_etat_processus).erreur_execution = - d_ex_matrice_statistique_invalide; - return; - } - nombre_colonnes = (*((struct_matrice *) (*((*s_etat_processus) - .s_liste_variables[(*s_etat_processus) - .position_variable_courante].objet)).objet)) - .nombre_colonnes; - } + nombre_colonnes = (*((struct_matrice *) (*(*(*s_etat_processus) + .pointeur_variable_courante).objet).objet)) + .nombre_colonnes; } - s_objet_statistique = ((*s_etat_processus).s_liste_variables - [(*s_etat_processus).position_variable_courante]).objet; + s_objet_statistique = (*(*s_etat_processus).pointeur_variable_courante) + .objet; if (((*s_objet_statistique).type == MIN) || ((*s_objet_statistique).type == MRL)) @@ -276,6 +237,9 @@ instruction_version(struct_processus *s_ struct_objet *s_objet_resultat; unsigned char texte[] = "RPL/2 version "; + unsigned char tampon[256 + 1]; + + void *pointeur; (*s_etat_processus).erreur_execution = d_ex; @@ -869,8 +833,8 @@ instruction_version(struct_processus *s_ return; } -#ifdef DEBUG - if (((*(*l_element_courant).donnee).objet = malloc(6 * +#ifdef RPLCAS + if (((*(*l_element_courant).donnee).objet = malloc(8 * sizeof(unsigned char))) == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; @@ -878,9 +842,9 @@ instruction_version(struct_processus *s_ } strcpy((unsigned char *) (*(*l_element_courant).donnee).objet, - "DEBUG"); + "RPL/CAS"); #else - if (((*(*l_element_courant).donnee).objet = malloc(15 * + if (((*(*l_element_courant).donnee).objet = malloc(17 * sizeof(unsigned char))) == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; @@ -888,7 +852,7 @@ instruction_version(struct_processus *s_ } strcpy((unsigned char *) (*(*l_element_courant).donnee).objet, - "DEBUG DISABLED"); + "RPL/CAS DISABLED"); #endif if (((*l_element_courant).suivant = @@ -930,6 +894,58 @@ instruction_version(struct_processus *s_ "EXPERIMENTAL CODE DISABLED"); #endif + if (((*l_element_courant).suivant = + allocation_maillon(s_etat_processus)) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + l_element_courant = (*l_element_courant).suivant; + (*l_element_courant).suivant = NULL; + + if (((*l_element_courant).donnee = allocation(s_etat_processus, CHN)) + == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + sprintf(tampon, "%d BITS ABI", sizeof(pointeur) * 8); + + if (((*(*l_element_courant).donnee).objet = malloc((strlen(tampon) + 1 ) + * sizeof(unsigned char))) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + strcpy((unsigned char *) (*(*l_element_courant).donnee).objet, tampon); + + if (((*l_element_courant).suivant = + allocation_maillon(s_etat_processus)) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + l_element_courant = (*l_element_courant).suivant; + (*l_element_courant).suivant = NULL; + + if (((*l_element_courant).donnee = allocation(s_etat_processus, CHN)) + == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + if (((*(*l_element_courant).donnee).objet = conversion_majuscule(HOST)) + == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + /* * Empilement du résultat */ @@ -959,6 +975,9 @@ instruction_version(struct_processus *s_ void instruction_vars(struct_processus *s_etat_processus) { + int i; + int nb_variables; + logical1 variable_partagee; struct_liste_chainee *l_element_courant; @@ -966,7 +985,7 @@ instruction_vars(struct_processus *s_eta struct_objet *s_objet_resultat; - unsigned long i; + struct_tableau_variables *tableau; (*s_etat_processus).erreur_execution = d_ex; @@ -1010,7 +1029,20 @@ instruction_vars(struct_processus *s_eta (*s_objet_resultat).objet = NULL; l_element_precedent = NULL; - for(i = 0; i < (*s_etat_processus).nombre_variables; i++) + nb_variables = nombre_variables(s_etat_processus, + (*s_etat_processus).s_arbre_variables); + + if ((tableau = malloc(nb_variables * sizeof(struct_tableau_variables))) + == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + liste_variables(s_etat_processus, tableau, 0, + (*s_etat_processus).s_arbre_variables); + + for(i = 0; i < nb_variables; i++) { if (l_element_precedent == NULL) { @@ -1060,7 +1092,7 @@ instruction_vars(struct_processus *s_eta * Mise en place d'un verrou si la variable est partagée. */ - if ((*s_etat_processus).s_liste_variables[i].objet == NULL) + if (tableau[i].objet == NULL) { if (pthread_mutex_lock(&((*(*s_etat_processus) .s_liste_variables_partagees).mutex)) != 0) @@ -1070,10 +1102,8 @@ instruction_vars(struct_processus *s_eta } if (recherche_variable_partagee(s_etat_processus, - ((*s_etat_processus).s_liste_variables[i]).nom, - ((*s_etat_processus).s_liste_variables[i]) - .variable_partagee, ((*s_etat_processus) - .s_liste_variables[i]).origine) == d_faux) + tableau[i].nom, tableau[i].variable_partagee, + tableau[i].origine) == d_faux) { // La variable partagée n'existe plus. @@ -1122,7 +1152,7 @@ instruction_vars(struct_processus *s_eta if (((*((struct_nom *) (*(*((struct_liste_chainee *) (*((struct_objet *) (*l_element_courant).donnee)).objet)).donnee).objet)).nom = - malloc((strlen((*s_etat_processus).s_liste_variables[i].nom) + malloc((strlen(tableau[i].nom) + 1) * sizeof(unsigned char))) == NULL) { if (variable_partagee == d_vrai) @@ -1141,8 +1171,7 @@ instruction_vars(struct_processus *s_eta strcpy((*((struct_nom *) (*(*((struct_liste_chainee *) (*((struct_objet *) (*l_element_courant).donnee)).objet)) - .donnee).objet)).nom, (*s_etat_processus) - .s_liste_variables[i].nom); + .donnee).objet)).nom, tableau[i].nom); /* * Préparation du niveau @@ -1186,7 +1215,7 @@ instruction_vars(struct_processus *s_eta (*((integer8 *) (*(*(*((struct_liste_chainee *) (*((struct_objet *) (*l_element_courant).donnee)).objet)).suivant).donnee).objet)) = - (integer8) (*s_etat_processus).s_liste_variables[i].niveau; + (integer8) tableau[i].niveau; /* * Préparation du contenu de la variable @@ -1210,7 +1239,7 @@ instruction_vars(struct_processus *s_eta return; } - if ((*s_etat_processus).s_liste_variables[i].objet == NULL) + if (tableau[i].objet == NULL) { // Variable partagée @@ -1246,8 +1275,8 @@ instruction_vars(struct_processus *s_eta if (((*(*(*((struct_liste_chainee *) (*((struct_objet *) (*l_element_courant).donnee)).objet)).suivant).suivant) - .donnee = copie_objet(s_etat_processus, (*s_etat_processus) - .s_liste_variables[i].objet, 'P')) == NULL) + .donnee = copie_objet(s_etat_processus, tableau[i].objet, + 'P')) == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; @@ -1274,11 +1303,9 @@ instruction_vars(struct_processus *s_eta return; } - if (((*s_etat_processus).s_liste_variables[i].origine == 'P') - ? ((*s_etat_processus).s_liste_variables[i] - .variable_statique.adresse != 0) - : ((*s_etat_processus).s_liste_variables[i] - .variable_statique.pointeur != NULL)) + if ((tableau[i].origine == 'P') + ? (tableau[i].variable_statique.adresse != 0) + : (tableau[i].variable_statique.pointeur != NULL)) { if (((*(*(*(*(*((struct_liste_chainee *) (*((struct_objet *) (*l_element_courant).donnee)).objet)).suivant).suivant) @@ -1331,8 +1358,7 @@ instruction_vars(struct_processus *s_eta return; } - if ((*s_etat_processus).s_liste_variables[i].variable_verrouillee - == d_vrai) + if (tableau[i].variable_verrouillee == d_vrai) { if (((*(*(*(*(*(*((struct_liste_chainee *) (*((struct_objet *) (*l_element_courant).donnee)).objet)).suivant).suivant) @@ -1431,6 +1457,8 @@ instruction_vars(struct_processus *s_eta l_element_precedent = l_element_courant; } + free(tableau); + if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile), s_objet_resultat) == d_erreur) { @@ -1641,10 +1669,6 @@ instruction_visit(struct_processus *s_et void instruction_variable(struct_processus *s_etat_processus) { - logical1 presence_variable; - - long i; - struct_liste_chainee *l_element_courant; struct_objet *s_objet; @@ -1691,7 +1715,7 @@ instruction_variable(struct_processus *s if ((*s_objet).type == NOM) { - if (recherche_variable(s_etat_processus, ((*((struct_nom *) + if (recherche_variable_globale(s_etat_processus, ((*((struct_nom *) (*s_objet).objet)).nom)) == d_faux) { liberation(s_etat_processus, s_objet); @@ -1701,34 +1725,8 @@ instruction_variable(struct_processus *s return; } - i = (*s_etat_processus).position_variable_courante; - presence_variable = d_faux; - - while(i >= 0) - { - if ((strcmp((*s_etat_processus).s_liste_variables[i].nom, - (*((struct_nom *) (*s_objet).objet)).nom) == 0) - && ((*s_etat_processus).s_liste_variables[i].niveau == 1)) - { - presence_variable = d_vrai; - break; - } - - i--; - } - - (*s_etat_processus).position_variable_courante = i; - - if (presence_variable == d_faux) - { - liberation(s_etat_processus, s_objet); - - (*s_etat_processus).erreur_execution = d_ex_variable_non_definie; - return; - } - - ((*s_etat_processus).s_liste_variables[(*s_etat_processus) - .position_variable_courante]).variable_verrouillee = d_faux; + (*(*s_etat_processus).pointeur_variable_courante) + .variable_verrouillee = d_faux; } else if ((*s_objet).type == LST) { @@ -1744,7 +1742,7 @@ instruction_variable(struct_processus *s return; } - if (recherche_variable(s_etat_processus, (*((struct_nom *) + if (recherche_variable_globale(s_etat_processus, (*((struct_nom *) (*(*l_element_courant).donnee).objet)).nom) == d_faux) { liberation(s_etat_processus, s_objet); @@ -1755,36 +1753,8 @@ instruction_variable(struct_processus *s return; } - i = (*s_etat_processus).position_variable_courante; - presence_variable = d_faux; - - while(i >= 0) - { - if ((strcmp((*s_etat_processus).s_liste_variables[i].nom, - (*((struct_nom *) (*(*l_element_courant).donnee) - .objet)).nom) == 0) && ((*s_etat_processus) - .s_liste_variables[i].niveau == 1)) - { - presence_variable = d_vrai; - break; - } - - i--; - } - - (*s_etat_processus).position_variable_courante = i; - - if (presence_variable == d_faux) - { - liberation(s_etat_processus, s_objet); - - (*s_etat_processus).erreur_execution = - d_ex_variable_non_definie; - return; - } - - ((*s_etat_processus).s_liste_variables[(*s_etat_processus) - .position_variable_courante]).variable_verrouillee = d_faux; + (*(*s_etat_processus).pointeur_variable_courante) + .variable_verrouillee = d_faux; l_element_courant = (*l_element_courant).suivant; }