--- rpl/src/types.c 2012/12/18 13:19:40 1.53 +++ rpl/src/types.c 2014/07/24 14:38:44 1.67 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.1.12 - Copyright (C) 1989-2012 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.19 + Copyright (C) 1989-2014 Dr. BERTRAND Joël This file is part of RPL/2. @@ -38,7 +38,26 @@ void recherche_type(struct_processus *s_etat_processus) { - int nombre_elements_convertis; + enum t_type registre_type; + + integer8 i; + integer8 j; + integer8 niveau; + integer8 niveau_maximal; + integer8 nombre_colonnes; + integer8 nombre_egalites; + integer8 nombre_elements; + integer8 nombre_elements_convertis; + integer8 nombre_exposants; + integer8 nombre_lignes; + integer8 nombre_lignes_a_supprimer; + integer8 nombre_points; + integer8 nombre_virgules; + integer8 position_courante; + integer8 profondeur_finale; + integer8 profondeur_initiale; + integer8 sauvegarde_niveau_courant; + integer8 sauvegarde_longueur_definitions_chainees; struct_liste_chainee *l_base_liste_fonctions; struct_liste_chainee *l_base_liste_decomposition; @@ -82,24 +101,6 @@ recherche_type(struct_processus *s_etat_ unsigned char *tampon; unsigned char variable_implicite; - unsigned long i; - unsigned long j; - unsigned long niveau; - unsigned long niveau_maximal; - unsigned long nombre_colonnes; - unsigned long nombre_egalites; - unsigned long nombre_elements; - unsigned long nombre_exposants; - unsigned long nombre_lignes; - unsigned long nombre_lignes_a_supprimer; - unsigned long nombre_points; - unsigned long nombre_virgules; - unsigned long position_courante; - unsigned long profondeur_finale; - unsigned long profondeur_initiale; - unsigned long sauvegarde_niveau_courant; - unsigned long sauvegarde_longueur_definitions_chainees; - void *element; if ((s_objet = allocation(s_etat_processus, NON)) == NULL) @@ -275,7 +276,6 @@ recherche_type(struct_processus *s_etat_ element = (void *) ((struct_complexe16 *) malloc( sizeof(struct_complexe16))); - if (element == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; (*s_etat_processus).traitement_interruptible = @@ -289,10 +289,10 @@ recherche_type(struct_processus *s_etat_ sauvegarde_longueur_definitions_chainees = (*s_etat_processus).longueur_definitions_chainees; - tampon = (unsigned char *) malloc( + tampon = (unsigned char *) malloc(((size_t) (((*s_etat_processus).longueur_definitions_chainees - = strlen((*s_etat_processus).instruction_courante) - + 4) + 1) * sizeof(unsigned char)); + = (integer8) strlen((*s_etat_processus) + .instruction_courante) + 4) + 1)) * sizeof(unsigned char)); if (tampon == NULL) { @@ -432,7 +432,7 @@ recherche_type(struct_processus *s_etat_ liberation(s_etat_processus, s_objet); free(element); - for(i = 0; i < (unsigned long) nombre_elements_convertis; i++) + for(i = 0; i < nombre_elements_convertis; i++) { if (depilement(s_etat_processus, &((*s_etat_processus) .l_base_pile), &s_sous_objet) == d_erreur) @@ -458,7 +458,7 @@ recherche_type(struct_processus *s_etat_ if ((*s_sous_objet).type == INT) { (*((struct_complexe16 *) element)).partie_imaginaire = - (*((integer8 *) (*s_sous_objet).objet)); + (real8) (*((integer8 *) (*s_sous_objet).objet)); } else if ((*s_sous_objet).type == REL) { @@ -488,7 +488,8 @@ recherche_type(struct_processus *s_etat_ if ((*s_sous_objet).type == INT) { (*((struct_complexe16 *) element)).partie_reelle = - (*((integer8 *) (*s_sous_objet).objet)); + (real8) (*((integer8 *) + (*s_sous_objet).objet)); } else if ((*s_sous_objet).type == REL) { @@ -544,7 +545,8 @@ recherche_type(struct_processus *s_etat_ { case 'b' : { - i = strlen((*s_etat_processus).instruction_courante) - 2; + i = ((integer8) strlen((*s_etat_processus) + .instruction_courante)) - 2; valeur_base = 1; (*((logical8 *) element)) = 0; @@ -618,7 +620,8 @@ recherche_type(struct_processus *s_etat_ case 'o' : { - i = strlen((*s_etat_processus).instruction_courante) - 2; + i = ((integer8) strlen((*s_etat_processus) + .instruction_courante)) - 2; valeur_base = 1; (*((logical8 *) element)) = 0; @@ -722,7 +725,8 @@ recherche_type(struct_processus *s_etat_ case 'd' : { - i = strlen((*s_etat_processus).instruction_courante) - 2; + i = ((integer8) strlen((*s_etat_processus) + .instruction_courante)) - 2; valeur_base = 1; (*((logical8 *) element)) = 0; @@ -836,7 +840,8 @@ recherche_type(struct_processus *s_etat_ case 'h' : { - i = strlen((*s_etat_processus).instruction_courante) - 2; + i = ((integer8) strlen((*s_etat_processus) + .instruction_courante)) - 2; valeur_base = 1; (*((logical8 *) element)) = 0; @@ -1079,6 +1084,21 @@ recherche_type(struct_processus *s_etat_ case d_faux : { + registre_type = (*s_etat_processus).type_en_cours; + + if (drapeau_complexe == d_vrai) + { + (*s_etat_processus).type_en_cours = VCX; + } + else if (drapeau_reel == d_vrai) + { + (*s_etat_processus).type_en_cours = VRL; + } + else + { + (*s_etat_processus).type_en_cours = VIN; + } + /* -- Sauvegarde des paramètres du processus pour analyser le vecteur ------------- @@ -1089,10 +1109,11 @@ recherche_type(struct_processus *s_etat_ sauvegarde_longueur_definitions_chainees = (*s_etat_processus).longueur_definitions_chainees; - tampon = (unsigned char *) malloc( + tampon = (unsigned char *) malloc(((size_t) (((*s_etat_processus).longueur_definitions_chainees - = strlen((*s_etat_processus).instruction_courante) - + 4) + 1) * sizeof(unsigned char)); + = (integer8) strlen((*s_etat_processus) + .instruction_courante) + 4) + 1)) * + sizeof(unsigned char)); if (tampon == NULL) { @@ -1313,22 +1334,23 @@ recherche_type(struct_processus *s_etat_ if (drapeau_complexe == d_vrai) { (*((struct_vecteur *) element)).tableau = (void *) - ((struct_complexe16 *) malloc(nombre_colonnes * + ((struct_complexe16 *) malloc(((size_t) + nombre_colonnes) * sizeof(struct_complexe16))); (*((struct_vecteur *) element)).type = 'C'; } else if (drapeau_reel == d_vrai) { (*((struct_vecteur *) element)).tableau = (void *) - ((real8 *) malloc(nombre_colonnes * + ((real8 *) malloc(((size_t) nombre_colonnes) * sizeof(real8))); (*((struct_vecteur *) element)).type = 'R'; } else { (*((struct_vecteur *) element)).tableau = (void *) - ((integer8 *) malloc(nombre_colonnes * - sizeof(integer8))); + ((integer8 *) malloc(((size_t) nombre_colonnes) + * sizeof(integer8))); (*((struct_vecteur *) element)).type = 'I'; } @@ -1485,6 +1507,7 @@ recherche_type(struct_processus *s_etat_ (*s_objet).type = VIN; } + (*s_etat_processus).type_en_cours = registre_type; break; } @@ -1496,15 +1519,31 @@ recherche_type(struct_processus *s_etat_ case d_vrai : { + registre_type = (*s_etat_processus).type_en_cours; + + if (drapeau_complexe == d_vrai) + { + (*s_etat_processus).type_en_cours = MCX; + } + else if (drapeau_reel == d_vrai) + { + (*s_etat_processus).type_en_cours = MRL; + } + else + { + (*s_etat_processus).type_en_cours = MIN; + } + nombre_lignes--; sauvegarde_longueur_definitions_chainees = (*s_etat_processus).longueur_definitions_chainees; - tampon = (unsigned char *) malloc( + tampon = (unsigned char *) malloc(((size_t) (((*s_etat_processus).longueur_definitions_chainees - = strlen((*s_etat_processus).instruction_courante) - + 4) + 1) * sizeof(unsigned char)); + = (integer8) strlen((*s_etat_processus) + .instruction_courante) + 4) + 1)) * + sizeof(unsigned char)); if (tampon == NULL) { @@ -1791,7 +1830,7 @@ recherche_type(struct_processus *s_etat_ { if (((*((struct_matrice *) element)).tableau = (void **) ((struct_complexe16 **) - malloc(nombre_lignes * sizeof( + malloc(((size_t) nombre_lignes) * sizeof( struct_complexe16 *)))) == NULL) { liberation(s_etat_processus, s_objet_registre); @@ -1810,8 +1849,8 @@ recherche_type(struct_processus *s_etat_ if ((((*((struct_matrice *) element)).tableau)[i] = (void *) ((struct_complexe16 *) - malloc(nombre_colonnes * sizeof( - struct_complexe16)))) == NULL) + malloc(((size_t) nombre_colonnes) * + sizeof(struct_complexe16)))) == NULL) { liberation(s_etat_processus, s_objet_registre); @@ -1828,8 +1867,8 @@ recherche_type(struct_processus *s_etat_ else if (drapeau_reel == d_vrai) { if (((*((struct_matrice *) element)).tableau = - (void **) ((real8 **) - malloc(nombre_lignes * sizeof(real8 *)))) + (void **) ((real8 **) malloc(((size_t) + nombre_lignes) * sizeof(real8 *)))) == NULL) { liberation(s_etat_processus, s_objet_registre); @@ -1847,7 +1886,7 @@ recherche_type(struct_processus *s_etat_ { if ((((*((struct_matrice *)element)).tableau)[i] = (void *) ((real8 *) - malloc(nombre_colonnes * + malloc(((size_t) nombre_colonnes) * sizeof(real8)))) == NULL) { liberation(s_etat_processus, @@ -1866,7 +1905,7 @@ recherche_type(struct_processus *s_etat_ { if (((*((struct_matrice *) element)).tableau = (void **) ((integer8 **) - malloc(nombre_lignes * + malloc(((size_t) nombre_lignes) * sizeof(integer8 *)))) == NULL) { liberation(s_etat_processus, s_objet_registre); @@ -1885,7 +1924,7 @@ recherche_type(struct_processus *s_etat_ if ((((*((struct_matrice *) element)).tableau)[i] = (void *) ((integer8 *) - malloc(nombre_colonnes * + malloc(((size_t) nombre_colonnes) * sizeof(integer8)))) == NULL) { liberation(s_etat_processus, @@ -2114,6 +2153,7 @@ recherche_type(struct_processus *s_etat_ fflush(stdout); } + (*s_etat_processus).type_en_cours = registre_type; break; } } @@ -2129,13 +2169,16 @@ recherche_type(struct_processus *s_etat_ case '{' : { + registre_type = (*s_etat_processus).type_en_cours; + (*s_etat_processus).type_en_cours = LST; + sauvegarde_longueur_definitions_chainees = (*s_etat_processus).longueur_definitions_chainees; - tampon = (unsigned char *) malloc( + tampon = (unsigned char *) malloc(((size_t) (((*s_etat_processus).longueur_definitions_chainees = - strlen((*s_etat_processus).instruction_courante) + 4) + 1) - * sizeof(unsigned char)); + (integer8) strlen((*s_etat_processus) + .instruction_courante) + 4) + 1)) * sizeof(unsigned char)); if (tampon == NULL) { @@ -2222,13 +2265,32 @@ recherche_type(struct_processus *s_etat_ if ((*s_etat_processus).definitions_chainees [(*s_etat_processus).position_courante] == '"') { - if (drapeau_chaine == d_faux) + if ((*s_etat_processus).position_courante > 0) { - drapeau_chaine = d_vrai; + if ((*s_etat_processus).definitions_chainees + [(*s_etat_processus).position_courante - 1] + != '\\') + { + if (drapeau_chaine == d_faux) + { + drapeau_chaine = d_vrai; + } + else + { + drapeau_chaine = d_faux; + } + } } - else + else { - drapeau_chaine = d_faux; + if (drapeau_chaine == d_faux) + { + drapeau_chaine = d_vrai; + } + else + { + drapeau_chaine = d_faux; + } } } else if (drapeau_chaine == d_faux) @@ -2491,6 +2553,7 @@ recherche_type(struct_processus *s_etat_ (*s_objet).type = LST; element = (void *) l_element_courant; + (*s_etat_processus).type_en_cours = registre_type; break; } @@ -2885,17 +2948,21 @@ recherche_type(struct_processus *s_etat_ case '<' : { + registre_type = (*s_etat_processus).type_en_cours; + if ((*s_etat_processus).instruction_courante[1] == '[') { // Tableau + (*s_etat_processus).type_en_cours = TBL; sauvegarde_longueur_definitions_chainees = (*s_etat_processus).longueur_definitions_chainees; - tampon = (unsigned char *) malloc( + tampon = (unsigned char *) malloc(((size_t) (((*s_etat_processus).longueur_definitions_chainees - = strlen((*s_etat_processus).instruction_courante) - + 2) + 1) * sizeof(unsigned char)); + = (integer8) strlen((*s_etat_processus) + .instruction_courante) + 2) + 1)) * + sizeof(unsigned char)); if (tampon == NULL) { @@ -3122,7 +3189,8 @@ recherche_type(struct_processus *s_etat_ (*((struct_tableau *) element)).nombre_elements = nombre_lignes; if (((*((struct_tableau *) element)).elements = - malloc(nombre_lignes * sizeof(struct_objet *))) == NULL) + malloc(((size_t) nombre_lignes) * + sizeof(struct_objet *))) == NULL) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; @@ -3155,6 +3223,8 @@ recherche_type(struct_processus *s_etat_ { // Définition + (*s_etat_processus).type_en_cours = RPN; + if (strlen((*s_etat_processus).instruction_courante) < 5) { liberation(s_etat_processus, s_objet); @@ -3214,6 +3284,7 @@ recherche_type(struct_processus *s_etat_ } } + (*s_etat_processus).type_en_cours = registre_type; break; } @@ -3528,21 +3599,13 @@ recherche_type(struct_processus *s_etat_ integer8 conversion_entiere; real8 conversion_reelle; - if (sscanf((*s_etat_processus).instruction_courante, "%lg", - &conversion_reelle) != 1) - { - (*s_etat_processus).erreur_execution = d_ex_syntaxe; - } - 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)) + if (errno != ERANGE) { (*s_objet).type = INT; @@ -3561,6 +3624,12 @@ recherche_type(struct_processus *s_etat_ } else { + if (sscanf((*s_etat_processus).instruction_courante, + "%lg", &conversion_reelle) != 1) + { + (*s_etat_processus).erreur_execution = d_ex_syntaxe; + } + (*s_objet).type = REL; element = malloc(sizeof(real8));