--- rpl/src/types.c 2010/01/26 15:22:44 1.1.1.1 +++ rpl/src/types.c 2012/03/30 14:13:17 1.47 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.0.9 - Copyright (C) 1989-2010 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.7 + Copyright (C) 1989-2012 Dr. BERTRAND Joël This file is part of RPL/2. @@ -20,7 +20,7 @@ */ -#include "rpl.conv.h" +#include "rpl-conv.h" /* @@ -49,6 +49,7 @@ recherche_type(struct_processus *s_etat_ struct_liste_pile_systeme *s_sauvegarde_pile; struct_objet *s_objet; + struct_objet *s_objet_registre; struct_objet *s_sous_objet; logical1 drapeau_chaine; @@ -75,9 +76,11 @@ recherche_type(struct_processus *s_etat_ unsigned char registre_instruction_valide; unsigned char registre_interruption; unsigned char registre_mode_execution_programme; + unsigned char registre_recherche_type; unsigned char registre_test; unsigned char registre_test_bis; unsigned char *tampon; + unsigned char variable_implicite; unsigned long i; unsigned long j; @@ -99,18 +102,16 @@ recherche_type(struct_processus *s_etat_ void *element; - s_objet = (struct_objet *) malloc(sizeof(struct_objet)); - element = NULL; - nombre_egalites = 0; - i = 0; - - if (s_objet == NULL) + if ((s_objet = allocation(s_etat_processus, NON)) == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; } - initialisation_objet(s_objet); + element = NULL; + nombre_egalites = 0; + i = 0; + registre_test = (*s_etat_processus).test_instruction; registre_instruction_valide = (*s_etat_processus).instruction_valide; registre_interruption = (*s_etat_processus).traitement_interruptible; @@ -176,6 +177,9 @@ recherche_type(struct_processus *s_etat_ (*s_objet).type = FCT; (*s_objet).objet = element; + (*((struct_fonction *) (*s_objet).objet)).prediction_saut = NULL; + (*((struct_fonction *) (*s_objet).objet)).prediction_execution + = d_faux; if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile), s_objet) == d_erreur) @@ -203,7 +207,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).test_instruction = 'N'; analyse(s_etat_processus, NULL); (*s_etat_processus).test_instruction = registre_test_bis; - free(s_objet); + liberation(s_etat_processus, s_objet); } else { @@ -268,8 +272,6 @@ recherche_type(struct_processus *s_etat_ case '(' : { - (*s_objet).type = CPL; - element = (void *) ((struct_complexe16 *) malloc( sizeof(struct_complexe16))); @@ -367,12 +369,18 @@ recherche_type(struct_processus *s_etat_ } } + registre_recherche_type = (*s_etat_processus).recherche_type; + (*s_etat_processus).recherche_type = 'Y'; + if (sequenceur(s_etat_processus) == d_erreur) { + (*s_etat_processus).erreur_execution = d_ex_syntaxe; + (*s_etat_processus).recherche_type = registre_recherche_type; (*s_etat_processus).instruction_courante = tampon; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = sauvegarde_niveau_courant; @@ -386,13 +394,14 @@ recherche_type(struct_processus *s_etat_ sauvegarde_longueur_definitions_chainees; free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).traitement_interruptible = registre_interruption; return; } + (*s_etat_processus).recherche_type = registre_recherche_type; (*s_etat_processus).instruction_courante = tampon; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; @@ -420,7 +429,7 @@ recherche_type(struct_processus *s_etat_ { (*s_etat_processus).erreur_execution = d_ex_syntaxe; - free(s_objet); + liberation(s_etat_processus, s_objet); free(element); for(i = 0; i < (unsigned long) nombre_elements_convertis; i++) @@ -461,7 +470,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).erreur_execution = d_ex_syntaxe; free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); liberation(s_etat_processus, s_sous_objet); @@ -491,7 +500,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).erreur_execution = d_ex_syntaxe; free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); liberation(s_etat_processus, s_sous_objet); @@ -505,6 +514,7 @@ recherche_type(struct_processus *s_etat_ } } + (*s_objet).type = CPL; break; } @@ -516,8 +526,6 @@ recherche_type(struct_processus *s_etat_ case '#' : { - (*s_objet).type = BIN; - element = (void *) ((logical8 *) malloc( sizeof(logical8))); @@ -568,7 +576,7 @@ recherche_type(struct_processus *s_etat_ if (i != 0) { free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; @@ -672,7 +680,7 @@ recherche_type(struct_processus *s_etat_ if (i != 0) { free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; @@ -786,7 +794,7 @@ recherche_type(struct_processus *s_etat_ if (i != 0) { free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; @@ -930,7 +938,7 @@ recherche_type(struct_processus *s_etat_ if (i != 0) { free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; @@ -981,7 +989,7 @@ recherche_type(struct_processus *s_etat_ (erreur_lecture_binaire == d_vrai)) { free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -989,6 +997,7 @@ recherche_type(struct_processus *s_etat_ return; } + (*s_objet).type = BIN; break; } @@ -1049,7 +1058,7 @@ recherche_type(struct_processus *s_etat_ if (niveau != 0) { - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -1073,7 +1082,7 @@ recherche_type(struct_processus *s_etat_ /* -- Sauvegarde des paramètres du processus pour analyser le vecteur ------------- --- Analyse récursive en appelant l'interpréteur sur le vecteur moins ----------- +-- Analyse récursive en appelant l'interprète sur le vecteur moins ------------- -- ses délimiteurs ------------------------------------------------------------- */ @@ -1158,8 +1167,15 @@ recherche_type(struct_processus *s_etat_ } } + registre_recherche_type = + (*s_etat_processus).recherche_type; + (*s_etat_processus).recherche_type = 'Y'; + if (sequenceur(s_etat_processus) == d_erreur) { + (*s_etat_processus).erreur_execution = d_ex_syntaxe; + (*s_etat_processus).recherche_type = + registre_recherche_type; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; nombre_lignes_a_supprimer = @@ -1182,6 +1198,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).instruction_courante = tampon; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = @@ -1197,7 +1214,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).longueur_definitions_chainees = sauvegarde_longueur_definitions_chainees; - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -1205,6 +1222,8 @@ recherche_type(struct_processus *s_etat_ return; } + (*s_etat_processus).recherche_type = + registre_recherche_type; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; @@ -1230,6 +1249,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).instruction_courante = tampon; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = @@ -1245,7 +1265,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).longueur_definitions_chainees = sauvegarde_longueur_definitions_chainees; - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -1322,7 +1342,7 @@ recherche_type(struct_processus *s_etat_ } erreur = d_absence_erreur; - free(s_objet); + s_objet_registre = s_objet; for(i = 0; (i < nombre_colonnes) && (erreur == d_absence_erreur); i++) @@ -1419,6 +1439,8 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus) .traitement_interruptible = registre_interruption; + liberation(s_etat_processus, + s_objet_registre); return; } @@ -1431,6 +1453,7 @@ recherche_type(struct_processus *s_etat_ free((*((struct_vecteur *) element)).tableau); free(element); + liberation(s_etat_processus, s_objet_registre); (*s_etat_processus).traitement_interruptible = registre_interruption; return; @@ -1445,18 +1468,7 @@ recherche_type(struct_processus *s_etat_ } } - s_objet = (struct_objet *) malloc(sizeof(struct_objet)); - - if (s_objet == NULL) - { - (*s_etat_processus).erreur_systeme = - d_es_allocation_memoire; - (*s_etat_processus).traitement_interruptible = - registre_interruption; - return; - } - - initialisation_objet(s_objet); + s_objet = s_objet_registre; if (drapeau_complexe == d_vrai) { @@ -1564,9 +1576,16 @@ recherche_type(struct_processus *s_etat_ return; } } + + registre_recherche_type = (*s_etat_processus) + .recherche_type; + (*s_etat_processus).recherche_type = 'Y'; if (sequenceur(s_etat_processus) == d_erreur) { + (*s_etat_processus).erreur_execution = d_ex_syntaxe; + (*s_etat_processus).recherche_type = + registre_recherche_type; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; nombre_lignes_a_supprimer = @@ -1589,6 +1608,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).instruction_courante = tampon; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = @@ -1605,7 +1625,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).position_courante = position_courante; - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -1613,6 +1633,8 @@ recherche_type(struct_processus *s_etat_ return; } + (*s_etat_processus).recherche_type = + registre_recherche_type; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; @@ -1638,6 +1660,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).instruction_courante = tampon; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = @@ -1654,7 +1677,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).position_courante = position_courante; - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -1737,7 +1760,7 @@ recherche_type(struct_processus *s_etat_ } free(element); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).traitement_interruptible = registre_interruption; @@ -1758,7 +1781,7 @@ recherche_type(struct_processus *s_etat_ l_element_courant = (*l_element_courant).suivant; } - free(s_objet); + s_objet_registre = s_objet; if ((*s_etat_processus).erreur_execution == d_ex) { @@ -1769,6 +1792,8 @@ recherche_type(struct_processus *s_etat_ malloc(nombre_lignes * sizeof( struct_complexe16 *)))) == NULL) { + liberation(s_etat_processus, s_objet_registre); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; (*s_etat_processus).traitement_interruptible = @@ -1786,6 +1811,9 @@ recherche_type(struct_processus *s_etat_ malloc(nombre_colonnes * sizeof( struct_complexe16)))) == NULL) { + liberation(s_etat_processus, + s_objet_registre); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; (*s_etat_processus) @@ -1802,6 +1830,8 @@ recherche_type(struct_processus *s_etat_ malloc(nombre_lignes * sizeof(real8 *)))) == NULL) { + liberation(s_etat_processus, s_objet_registre); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; (*s_etat_processus).traitement_interruptible = @@ -1818,6 +1848,9 @@ recherche_type(struct_processus *s_etat_ malloc(nombre_colonnes * sizeof(real8)))) == NULL) { + liberation(s_etat_processus, + s_objet_registre); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; (*s_etat_processus) @@ -1834,6 +1867,8 @@ recherche_type(struct_processus *s_etat_ malloc(nombre_lignes * sizeof(integer8 *)))) == NULL) { + liberation(s_etat_processus, s_objet_registre); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; (*s_etat_processus).traitement_interruptible = @@ -1851,6 +1886,9 @@ recherche_type(struct_processus *s_etat_ malloc(nombre_colonnes * sizeof(integer8)))) == NULL) { + liberation(s_etat_processus, + s_objet_registre); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; (*s_etat_processus) @@ -1993,6 +2031,9 @@ recherche_type(struct_processus *s_etat_ .l_base_pile), &s_objet) == d_erreur) { + liberation(s_etat_processus, + s_objet_registre); + (*s_etat_processus) .traitement_interruptible = registre_interruption; @@ -2016,6 +2057,9 @@ recherche_type(struct_processus *s_etat_ .tableau); free(element); + liberation(s_etat_processus, + s_objet_registre); + (*s_etat_processus) .traitement_interruptible = registre_interruption; @@ -2032,18 +2076,7 @@ recherche_type(struct_processus *s_etat_ } } - s_objet = (struct_objet *) malloc(sizeof(struct_objet)); - - if (s_objet == NULL) - { - (*s_etat_processus).erreur_systeme = - d_es_allocation_memoire; - (*s_etat_processus).traitement_interruptible = - registre_interruption; - return; - } - - initialisation_objet(s_objet); + s_objet = s_objet_registre; if (drapeau_complexe == d_vrai) { @@ -2248,11 +2281,12 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).autorisation_evaluation_nom = autorisation_evaluation_nom; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = sauvegarde_niveau_courant; free((*s_etat_processus).definitions_chainees); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).definitions_chainees = definitions_chainees_precedentes; @@ -2284,11 +2318,24 @@ recherche_type(struct_processus *s_etat_ } } + variable_implicite = (*s_etat_processus).autorisation_nom_implicite; + registre_recherche_type = (*s_etat_processus).recherche_type; + (*s_etat_processus).recherche_type = 'Y'; + (*s_etat_processus).autorisation_nom_implicite = 'Y'; + if (sequenceur(s_etat_processus) == d_erreur) { + (*s_etat_processus).autorisation_nom_implicite = + variable_implicite; + (*s_etat_processus).recherche_type = registre_recherche_type; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; - (*s_etat_processus).erreur_execution = d_ex_syntaxe; + + if ((*s_etat_processus).erreur_execution != + d_ex_nom_implicite) + { + (*s_etat_processus).erreur_execution = d_ex_syntaxe; + } nombre_lignes_a_supprimer = (*s_etat_processus).hauteur_pile_operationnelle @@ -2315,11 +2362,12 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).autorisation_evaluation_nom = autorisation_evaluation_nom; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = sauvegarde_niveau_courant; free((*s_etat_processus).definitions_chainees); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).definitions_chainees = definitions_chainees_precedentes; @@ -2333,6 +2381,8 @@ recherche_type(struct_processus *s_etat_ return; } + (*s_etat_processus).autorisation_nom_implicite = variable_implicite; + (*s_etat_processus).recherche_type = registre_recherche_type; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; @@ -2363,11 +2413,12 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).autorisation_evaluation_nom = autorisation_evaluation_nom; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = sauvegarde_niveau_courant; free((*s_etat_processus).definitions_chainees); - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).definitions_chainees = definitions_chainees_precedentes; @@ -2407,8 +2458,7 @@ recherche_type(struct_processus *s_etat_ profondeur_finale = (*s_etat_processus).hauteur_pile_operationnelle; l_element_courant = NULL; - - free(s_objet); + s_objet_registre = s_objet; for(i = 0; i < (profondeur_finale - profondeur_initiale); i++) { @@ -2416,6 +2466,7 @@ recherche_type(struct_processus *s_etat_ &((*s_etat_processus).l_base_pile), &s_objet) == d_erreur) { + liberation(s_etat_processus, s_objet_registre); (*s_etat_processus).traitement_interruptible = registre_interruption; return; @@ -2424,23 +2475,14 @@ recherche_type(struct_processus *s_etat_ if (empilement(s_etat_processus, &l_element_courant, s_objet) == d_erreur) { + liberation(s_etat_processus, s_objet_registre); (*s_etat_processus).traitement_interruptible = registre_interruption; return; } } - s_objet = (struct_objet *) malloc(sizeof(struct_objet)); - - if (s_objet == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - (*s_etat_processus).traitement_interruptible = - registre_interruption; - return; - } - - initialisation_objet(s_objet); + s_objet = s_objet_registre; (*s_objet).type = LST; element = (void *) l_element_courant; @@ -2476,7 +2518,7 @@ recherche_type(struct_processus *s_etat_ free(l_element_courant_fonctions); } - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).traitement_interruptible = registre_interruption; @@ -2515,7 +2557,8 @@ recherche_type(struct_processus *s_etat_ * puis on renvoie une erreur. */ - free(s_objet); + (*s_objet).type = NON; + liberation(s_etat_processus, s_objet); l_element_courant = l_base_liste_decomposition; @@ -2731,7 +2774,7 @@ recherche_type(struct_processus *s_etat_ (*s_sous_objet).type = FCT; if (((*s_sous_objet).objet = (void *) - allocation(s_etat_processus, FCT)) + malloc(sizeof(struct_fonction))) == NULL) { (*s_etat_processus).erreur_systeme = @@ -2811,59 +2854,18 @@ recherche_type(struct_processus *s_etat_ while((*ptr_lecture) != d_code_fin_chaine) { - if ((*ptr_lecture) == '\\') - { - if ((*(ptr_lecture + 1)) == '"') - { - if ((*(ptr_lecture + 2)) != d_code_fin_chaine) - { - ptr_lecture++; - } - } - else if ((*(ptr_lecture + 1)) == 'b') - { - if ((*(ptr_lecture + 2)) != d_code_fin_chaine) - { - ptr_lecture++; - (*ptr_lecture) = '\b'; - } - } - else if ((*(ptr_lecture + 1)) == 'n') - { - if ((*(ptr_lecture + 2)) != d_code_fin_chaine) - { - ptr_lecture++; - (*ptr_lecture) = '\n'; - } - } - else if ((*(ptr_lecture + 1)) == 't') - { - if ((*(ptr_lecture + 2)) != d_code_fin_chaine) - { - ptr_lecture++; - (*ptr_lecture) = '\t'; - } - } - else if ((*(ptr_lecture + 1)) == '\\') - { - if ((*(ptr_lecture + 2)) != d_code_fin_chaine) - { - ptr_lecture++; - } - } - } - *ptr_ecriture++ = *ptr_lecture++; } (*(--ptr_ecriture)) = d_code_fin_chaine; - if ((element = realloc(element, (strlen((unsigned char *) - element) + 1) * sizeof(unsigned char))) == NULL) + if (validation_chaine((unsigned char *) element) == d_faux) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = registre_interruption; + + free(element); return; } @@ -2963,8 +2965,20 @@ recherche_type(struct_processus *s_etat_ } } + registre_recherche_type = (*s_etat_processus).recherche_type; + (*s_etat_processus).recherche_type = 'Y'; + + variable_implicite = + (*s_etat_processus).autorisation_nom_implicite; + (*s_etat_processus).autorisation_nom_implicite = 'Y'; + if (sequenceur(s_etat_processus) == d_erreur) { + (*s_etat_processus).autorisation_nom_implicite = + variable_implicite; + (*s_etat_processus).erreur_execution = d_ex_syntaxe; + (*s_etat_processus).recherche_type = + registre_recherche_type; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; nombre_lignes_a_supprimer = @@ -2987,6 +3001,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).instruction_courante = tampon; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = @@ -3003,7 +3018,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).position_courante = position_courante; - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -3011,6 +3026,9 @@ recherche_type(struct_processus *s_etat_ return; } + (*s_etat_processus).autorisation_nom_implicite = + variable_implicite; + (*s_etat_processus).recherche_type = registre_recherche_type; (*s_etat_processus).mode_execution_programme = registre_mode_execution_programme; @@ -3036,6 +3054,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).instruction_courante = tampon; + effacement_pile_systeme(s_etat_processus); (*s_etat_processus).l_base_pile_systeme = s_sauvegarde_pile; (*s_etat_processus).niveau_courant = @@ -3052,7 +3071,7 @@ recherche_type(struct_processus *s_etat_ (*s_etat_processus).position_courante = position_courante; - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -3086,10 +3105,7 @@ recherche_type(struct_processus *s_etat_ nombre_lignes = profondeur_finale - profondeur_initiale; - element = (void *) ((struct_tableau *) malloc( - sizeof(struct_tableau))); - - if (element == NULL) + if ((element = malloc(sizeof(struct_tableau))) == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; @@ -3136,7 +3152,7 @@ recherche_type(struct_processus *s_etat_ if (strlen((*s_etat_processus).instruction_courante) < 5) { - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -3148,7 +3164,7 @@ recherche_type(struct_processus *s_etat_ != 0) && (strcmp((*s_etat_processus) .instruction_courante, "<<") != 0)) { - free(s_objet); + liberation(s_etat_processus, s_objet); (*s_etat_processus).erreur_execution = d_ex_syntaxe; (*s_etat_processus).traitement_interruptible = @@ -3169,6 +3185,8 @@ recherche_type(struct_processus *s_etat_ d_es_allocation_memoire; } + liberation(s_etat_processus, s_objet); + (*s_etat_processus).traitement_interruptible = registre_interruption; return; @@ -3196,95 +3214,6 @@ recherche_type(struct_processus *s_etat_ /* -------------------------------------------------------------------------------- - Adresse --------------------------------------------------------------------------------- -*/ - - case '@' : - { - if ((*s_etat_processus).recherche_types_speciaux == 'Y') - { - if (strlen((*s_etat_processus).instruction_courante) > 2) - { - tampon = (*s_etat_processus).instruction_courante; - - if (((*s_etat_processus).instruction_courante = - malloc((strlen(tampon) + 2) * - sizeof(unsigned char))) == NULL) - { - (*s_etat_processus).erreur_systeme = - d_es_allocation_memoire; - (*s_etat_processus).traitement_interruptible = - registre_interruption; - return; - } - - strcpy((*s_etat_processus).instruction_courante, tampon); - (*s_etat_processus).instruction_courante[0] = '#'; - (*s_etat_processus).instruction_courante - [strlen((*s_etat_processus).instruction_courante) - + 1] = d_code_fin_chaine; - (*s_etat_processus).instruction_courante - [strlen((*s_etat_processus).instruction_courante)] - = 'h'; - - recherche_type(s_etat_processus); - - free((*s_etat_processus).instruction_courante); - (*s_etat_processus).instruction_courante = tampon; - - if (((*s_etat_processus).erreur_systeme == d_es) && - ((*s_etat_processus).erreur_execution == d_ex)) - { - if (depilement(s_etat_processus, - &((*s_etat_processus).l_base_pile), - &s_sous_objet) == d_absence_erreur) - { - if ((*s_sous_objet).type == BIN) - { - (*s_objet).type = ADR; - - if ((element = - malloc(sizeof(unsigned long))) == NULL) - { - (*s_etat_processus).erreur_systeme = - d_es_allocation_memoire; - (*s_etat_processus) - .traitement_interruptible = - registre_interruption; - return; - } - - (*((unsigned long *) element)) = (*((logical8 *) - (*s_sous_objet).objet)); - } - else - { - (*s_etat_processus).erreur_execution = - d_ex_syntaxe; - } - - liberation(s_etat_processus, s_sous_objet); - } - else - { - (*s_etat_processus).traitement_interruptible = - registre_interruption; - return; - } - } - } - else - { - (*s_etat_processus).erreur_execution = d_ex_syntaxe; - } - - break; - } - } - -/* --------------------------------------------------------------------------------- Entier ou réel -------------------------------------------------------------------------------- */ @@ -3505,6 +3434,26 @@ recherche_type(struct_processus *s_etat_ if ((drapeau_valeur_reelle == d_faux) && (drapeau_valeur_entiere == d_faux)) { + ptr = (*s_etat_processus).instruction_courante; + + while((*ptr) != d_code_fin_chaine) + { + if ((isalnum((*ptr)) == 0) && + ((*ptr) != '_') && + ((*ptr) != '$')) + { + liberation(s_etat_processus, s_objet); + + (*s_etat_processus).erreur_execution = d_ex_syntaxe; + (*s_etat_processus).traitement_interruptible = + registre_interruption; + + return; + } + + ptr++; + } + (*s_objet).type = NOM; element = malloc(sizeof(struct_nom)); @@ -3564,28 +3513,64 @@ recherche_type(struct_processus *s_etat_ } else { - (*s_objet).type = INT; + // Le format ressemble à un entier mais il peut y avoir + // un dépassement de capacité lors de la conversion. + // On convertit donc en entier et en réel. Si les + // deux conversions donnent le même résultat, on + // considère que la conversion en entier est bonne. Dans + // le cas contraire, on garde la conversion en réel. - element = (void *) ((integer8 *) malloc( - sizeof(integer8))); + integer8 conversion_entiere; + real8 conversion_reelle; - if (element == NULL) + if (sscanf((*s_etat_processus).instruction_courante, "%lg", + &conversion_reelle) != 1) { - (*s_etat_processus).erreur_systeme = - d_es_allocation_memoire; - (*s_etat_processus).traitement_interruptible = - registre_interruption; - return; + (*s_etat_processus).erreur_execution = d_ex_syntaxe; } - nombre_elements_convertis = sscanf( - (*s_etat_processus).instruction_courante, "%lld", - (integer8 *) element); - - if (nombre_elements_convertis != 1) + if (sscanf((*s_etat_processus).instruction_courante, "%lld", + &conversion_entiere) != 1) { (*s_etat_processus).erreur_execution = d_ex_syntaxe; } + + if (abs(nextafter(conversion_reelle, conversion_entiere) + - conversion_reelle) >= abs(conversion_reelle + - conversion_entiere)) + { + (*s_objet).type = INT; + + element = malloc(sizeof(integer8)); + + if (element == NULL) + { + (*s_etat_processus).erreur_systeme = + d_es_allocation_memoire; + (*s_etat_processus).traitement_interruptible = + registre_interruption; + return; + } + + (*((integer8 *) element)) = conversion_entiere; + } + else + { + (*s_objet).type = REL; + + element = malloc(sizeof(real8)); + + if (element == NULL) + { + (*s_etat_processus).erreur_systeme = + d_es_allocation_memoire; + (*s_etat_processus).traitement_interruptible = + registre_interruption; + return; + } + + (*((real8 *) element)) = conversion_reelle; + } } } @@ -3608,7 +3593,8 @@ recherche_type(struct_processus *s_etat_ &((*s_etat_processus).l_base_pile), s_objet) == d_erreur) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - (*s_etat_processus).traitement_interruptible = registre_interruption; + (*s_etat_processus).traitement_interruptible = + registre_interruption; return; }