--- rpl/src/instructions_i2.c 2011/06/22 13:27:00 1.23 +++ rpl/src/instructions_i2.c 2011/06/24 15:59:07 1.24 @@ -1033,266 +1033,338 @@ instruction_int(struct_processus *s_etat if ((*s_etat_processus).langue == 'F') { - printf("(intégration numérique)\n\n"); + printf("(intégration)\n\n"); } else { - printf("(numerical integration)\n\n"); + printf("(numerical)\n\n"); } + // Entier et réel printf(" 3: %s, %s, %s\n", d_NOM, d_ALG, d_RPN); printf(" 2: %s\n", d_LST); printf(" 1: %s, %s\n", d_INT, d_REL); printf("-> 2: %s, %s\n", d_INT, d_REL); - printf(" 1: %s, %s\n", d_INT, d_REL); + printf(" 1: %s, %s\n\n", d_INT, d_REL); + printf(" 2: %s, %s\n", d_ALG, d_NOM); + printf(" 1: %s\n", d_NOM); + printf("-> 1: %s\n", d_ALG); return; } else if ((*s_etat_processus).test_instruction == 'Y') { - (*s_etat_processus).nombre_arguments = 3; + (*s_etat_processus).nombre_arguments = -1; return; } - - if ((last_valide = test_cfsf(s_etat_processus, 31)) == d_vrai) - { - if (empilement_pile_last(s_etat_processus, 3) == d_erreur) - { - return; - } - } - if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), - &s_objet_argument_1) == d_erreur) + if ((*s_etat_processus).l_base_pile == NULL) { (*s_etat_processus).erreur_execution = d_ex_manque_argument; return; } - if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), - &s_objet_argument_2) == d_erreur) + if ((*(*(*s_etat_processus).l_base_pile).donnee).type == NOM) { - liberation(s_etat_processus, s_objet_argument_1); + // Intégration symbolique - (*s_etat_processus).erreur_execution = d_ex_manque_argument; - return; - } + if (test_cfsf(s_etat_processus, 31) == d_vrai) + { + if (empilement_pile_last(s_etat_processus, 3) == d_erreur) + { + return; + } + } - if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), - &s_objet_argument_3) == d_erreur) - { - liberation(s_etat_processus, s_objet_argument_1); - liberation(s_etat_processus, s_objet_argument_2); + if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), + &s_objet_argument_1) == d_erreur) + { + (*s_etat_processus).erreur_execution = d_ex_manque_argument; + return; + } - (*s_etat_processus).erreur_execution = d_ex_manque_argument; - return; - } + if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), + &s_objet_argument_2) == d_erreur) + { + liberation(s_etat_processus, s_objet_argument_1); - if ((*s_objet_argument_1).type == INT) - { - precision = (*((integer8 *) (*s_objet_argument_1).objet)); - } - else if ((*s_objet_argument_1).type == REL) - { - precision = (*((real8 *) (*s_objet_argument_1).objet)); - } - else - { - liberation(s_etat_processus, s_objet_argument_1); - liberation(s_etat_processus, s_objet_argument_2); - liberation(s_etat_processus, s_objet_argument_3); + (*s_etat_processus).erreur_execution = d_ex_manque_argument; + return; + } - (*s_etat_processus).erreur_execution = d_ex_erreur_type_argument; - return; - } + if (((*s_objet_argument_1).type == NOM) && + (((*s_objet_argument_2).type == NOM) || + ((*s_objet_argument_2).type == ALG))) + { + if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile), + s_objet_argument_2) == d_erreur) + { + return; + } - if ((*s_objet_argument_2).type == LST) - { - l_element_courant = (*s_objet_argument_2).objet; + if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile), + s_objet_argument_1) == d_erreur) + { + return; + } - if ((*(*l_element_courant).donnee).type != NOM) + interface_cas(s_etat_processus, RPLCAS_INTEGRATION); + } + else { liberation(s_etat_processus, s_objet_argument_1); liberation(s_etat_processus, s_objet_argument_2); - liberation(s_etat_processus, s_objet_argument_3); - (*s_etat_processus).erreur_execution = d_ex_erreur_type_argument; + (*s_etat_processus).erreur_execution = + d_ex_erreur_type_argument; return; } + } + else + { + // Intégration numérique - if ((nom_variable = malloc((strlen((*((struct_nom *) - (*(*l_element_courant).donnee).objet)).nom) - + 1) * sizeof(unsigned char))) == NULL) + if ((last_valide = test_cfsf(s_etat_processus, 31)) == d_vrai) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + if (empilement_pile_last(s_etat_processus, 3) == d_erreur) + { + return; + } + } + + if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), + &s_objet_argument_1) == d_erreur) + { + (*s_etat_processus).erreur_execution = d_ex_manque_argument; + return; + } + + if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), + &s_objet_argument_2) == d_erreur) + { + liberation(s_etat_processus, s_objet_argument_1); + + (*s_etat_processus).erreur_execution = d_ex_manque_argument; return; } - strcpy(nom_variable, (*((struct_nom *) (*(*l_element_courant) - .donnee).objet)).nom); + if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), + &s_objet_argument_3) == d_erreur) + { + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); - l_element_courant = (*l_element_courant).suivant; + (*s_etat_processus).erreur_execution = d_ex_manque_argument; + return; + } - if ((*(*l_element_courant).donnee).type == INT) + if ((*s_objet_argument_1).type == INT) { - borne_minimale = (real8) (*((integer8 *) - (*(*l_element_courant).donnee).objet)); + precision = (*((integer8 *) (*s_objet_argument_1).objet)); } - else if ((*(*l_element_courant).donnee).type == REL) + else if ((*s_objet_argument_1).type == REL) { - borne_minimale = (*((real8 *) (*(*l_element_courant) - .donnee).objet)); + precision = (*((real8 *) (*s_objet_argument_1).objet)); } else { - if (evaluation(s_etat_processus, (*l_element_courant).donnee, - 'N') == d_erreur) - { - free(nom_variable); - liberation(s_etat_processus, s_objet_argument_1); - liberation(s_etat_processus, s_objet_argument_2); - liberation(s_etat_processus, s_objet_argument_3); + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); + liberation(s_etat_processus, s_objet_argument_3); - return; - } + (*s_etat_processus).erreur_execution = d_ex_erreur_type_argument; + return; + } + + if ((*s_objet_argument_2).type == LST) + { + l_element_courant = (*s_objet_argument_2).objet; - if (depilement(s_etat_processus, &((*s_etat_processus) - .l_base_pile), &s_objet_evalue) == d_erreur) + if ((*(*l_element_courant).donnee).type != NOM) { - free(nom_variable); liberation(s_etat_processus, s_objet_argument_1); liberation(s_etat_processus, s_objet_argument_2); liberation(s_etat_processus, s_objet_argument_3); (*s_etat_processus).erreur_execution = - d_ex_manque_argument; + d_ex_erreur_type_argument; return; } - if ((*s_objet_evalue).type == INT) + if ((nom_variable = malloc((strlen((*((struct_nom *) + (*(*l_element_courant).donnee).objet)).nom) + + 1) * sizeof(unsigned char))) == NULL) { - borne_minimale = (real8) (*((integer8 *) - (*s_objet_evalue).objet)); - } - else if ((*s_objet_evalue).type == REL) - { - borne_minimale = (*((real8 *) (*s_objet_evalue).objet)); - } - else - { - free(nom_variable); - - liberation(s_etat_processus, s_objet_evalue); - liberation(s_etat_processus, s_objet_argument_1); - liberation(s_etat_processus, s_objet_argument_2); - liberation(s_etat_processus, s_objet_argument_3); - - (*s_etat_processus).erreur_execution = - d_ex_erreur_type_argument; + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; } - liberation(s_etat_processus, s_objet_evalue); - } + strcpy(nom_variable, (*((struct_nom *) (*(*l_element_courant) + .donnee).objet)).nom); - l_element_courant = (*l_element_courant).suivant; + l_element_courant = (*l_element_courant).suivant; - if ((*(*l_element_courant).donnee).type == INT) - { - borne_maximale = (real8) (*((integer8 *) - (*(*l_element_courant).donnee).objet)); - } - else if ((*(*l_element_courant).donnee).type == REL) - { - borne_maximale = (*((real8 *) (*(*l_element_courant) - .donnee).objet)); - } - else - { - if (evaluation(s_etat_processus, (*l_element_courant).donnee, - 'N') == d_erreur) + if ((*(*l_element_courant).donnee).type == INT) { - free(nom_variable); - liberation(s_etat_processus, s_objet_argument_1); - liberation(s_etat_processus, s_objet_argument_2); - liberation(s_etat_processus, s_objet_argument_3); - - return; + borne_minimale = (real8) (*((integer8 *) + (*(*l_element_courant).donnee).objet)); } - - if (depilement(s_etat_processus, &((*s_etat_processus) - .l_base_pile), &s_objet_evalue) == d_erreur) + else if ((*(*l_element_courant).donnee).type == REL) { - free(nom_variable); - liberation(s_etat_processus, s_objet_argument_1); - liberation(s_etat_processus, s_objet_argument_2); - liberation(s_etat_processus, s_objet_argument_3); + borne_minimale = (*((real8 *) (*(*l_element_courant) + .donnee).objet)); + } + else + { + if (evaluation(s_etat_processus, (*l_element_courant).donnee, + 'N') == d_erreur) + { + free(nom_variable); + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); + liberation(s_etat_processus, s_objet_argument_3); + + return; + } + + if (depilement(s_etat_processus, &((*s_etat_processus) + .l_base_pile), &s_objet_evalue) == d_erreur) + { + free(nom_variable); + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); + liberation(s_etat_processus, s_objet_argument_3); + + (*s_etat_processus).erreur_execution = + d_ex_manque_argument; + return; + } + + if ((*s_objet_evalue).type == INT) + { + borne_minimale = (real8) (*((integer8 *) + (*s_objet_evalue).objet)); + } + else if ((*s_objet_evalue).type == REL) + { + borne_minimale = (*((real8 *) (*s_objet_evalue).objet)); + } + else + { + free(nom_variable); + + liberation(s_etat_processus, s_objet_evalue); + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); + liberation(s_etat_processus, s_objet_argument_3); + + (*s_etat_processus).erreur_execution = + d_ex_erreur_type_argument; + return; + } - (*s_etat_processus).erreur_execution = - d_ex_manque_argument; - return; + liberation(s_etat_processus, s_objet_evalue); } - if ((*s_objet_evalue).type == INT) + l_element_courant = (*l_element_courant).suivant; + + if ((*(*l_element_courant).donnee).type == INT) { borne_maximale = (real8) (*((integer8 *) - (*s_objet_evalue).objet)); + (*(*l_element_courant).donnee).objet)); } - else if ((*s_objet_evalue).type == REL) + else if ((*(*l_element_courant).donnee).type == REL) { - borne_maximale = (*((real8 *) (*s_objet_evalue).objet)); + borne_maximale = (*((real8 *) (*(*l_element_courant) + .donnee).objet)); } else { - free(nom_variable); + if (evaluation(s_etat_processus, (*l_element_courant).donnee, + 'N') == d_erreur) + { + free(nom_variable); + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); + liberation(s_etat_processus, s_objet_argument_3); + + return; + } + + if (depilement(s_etat_processus, &((*s_etat_processus) + .l_base_pile), &s_objet_evalue) == d_erreur) + { + free(nom_variable); + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); + liberation(s_etat_processus, s_objet_argument_3); + + (*s_etat_processus).erreur_execution = + d_ex_manque_argument; + return; + } + + if ((*s_objet_evalue).type == INT) + { + borne_maximale = (real8) (*((integer8 *) + (*s_objet_evalue).objet)); + } + else if ((*s_objet_evalue).type == REL) + { + borne_maximale = (*((real8 *) (*s_objet_evalue).objet)); + } + else + { + free(nom_variable); + + liberation(s_etat_processus, s_objet_evalue); + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); + liberation(s_etat_processus, s_objet_argument_3); + + (*s_etat_processus).erreur_execution = + d_ex_erreur_type_argument; + return; + } liberation(s_etat_processus, s_objet_evalue); - liberation(s_etat_processus, s_objet_argument_1); - liberation(s_etat_processus, s_objet_argument_2); - liberation(s_etat_processus, s_objet_argument_3); - - (*s_etat_processus).erreur_execution = - d_ex_erreur_type_argument; - return; } - liberation(s_etat_processus, s_objet_evalue); - } + /* + * Le résultat est retourné sur la pile par la routine + */ - /* - * Le résultat est retourné sur la pile par la routine - */ + if (last_valide == d_vrai) + { + cf(s_etat_processus, 31); + } - if (last_valide == d_vrai) - { - cf(s_etat_processus, 31); - } + integrale_romberg(s_etat_processus, s_objet_argument_3, + nom_variable, borne_minimale, borne_maximale, precision); - integrale_romberg(s_etat_processus, s_objet_argument_3, nom_variable, - borne_minimale, borne_maximale, precision); + if (last_valide == d_vrai) + { + sf(s_etat_processus, 31); + } - if (last_valide == d_vrai) + free(nom_variable); + } + else { - sf(s_etat_processus, 31); + liberation(s_etat_processus, s_objet_argument_1); + liberation(s_etat_processus, s_objet_argument_2); + liberation(s_etat_processus, s_objet_argument_3); + + (*s_etat_processus).erreur_execution = + d_ex_erreur_type_argument; + return; } - free(nom_variable); - } - else - { liberation(s_etat_processus, s_objet_argument_1); liberation(s_etat_processus, s_objet_argument_2); liberation(s_etat_processus, s_objet_argument_3); - - (*s_etat_processus).erreur_execution = - d_ex_erreur_type_argument; - return; } - liberation(s_etat_processus, s_objet_argument_1); - liberation(s_etat_processus, s_objet_argument_2); - liberation(s_etat_processus, s_objet_argument_3); - return; }