[BACK]Return to interface_cas.cpp CVS log [TXT] [DIR] Up to [local] / rpl / src

Diff for /rpl/src/interface_cas.cpp between versions 1.12 and 1.16

version 1.12, 2011/08/03 09:26:47 version 1.16, 2011/09/16 16:37:08
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.1.2    RPL/2 (R) version 4.1.3
   Copyright (C) 1989-2011 Dr. BERTRAND Joël    Copyright (C) 1989-2011 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
Line 45  using namespace std; Line 45  using namespace std;
     using namespace giac;      using namespace giac;
 #endif  #endif
   
   void
   initialisation_contexte_cas(struct_processus *s_etat_processus)
   {
       s_etat_processus->contexte_cas = NULL;
       return;
   }
   
   void
   liberation_contexte_cas(struct_processus *s_etat_processus)
   {
       if (s_etat_processus->contexte_cas != NULL)
       {
   #       ifdef RPLCAS
           delete reinterpret_cast<giac::context *>(
                   s_etat_processus->contexte_cas);
   #       endif
           s_etat_processus->contexte_cas = NULL;
       }
   
       return;
   }
   
 static unsigned char *  static unsigned char *
 conversion_rpl_vers_cas(struct_processus *s_etat_processus,  conversion_rpl_vers_cas(struct_processus *s_etat_processus,
Line 233  conversion_rpl_vers_cas(struct_processus Line 254  conversion_rpl_vers_cas(struct_processus
   
 static void  static void
 conversion_cas_vers_rpl(struct_processus *s_etat_processus,  conversion_cas_vers_rpl(struct_processus *s_etat_processus,
         struct_objet *s_objet)          unsigned char *expression)
 {  {
       logical1                    drapeau;
   
     struct_liste_chainee        *l_element_courant;      struct_liste_chainee        *l_element_courant;
     struct_liste_chainee        *l_element_precedent;      struct_liste_chainee        *l_element_precedent;
   
       struct_objet                *s_objet;
   
       unsigned char               *registre;
   
       registre = s_etat_processus->instruction_courante;
       s_etat_processus->instruction_courante = expression;
       recherche_type(s_etat_processus);
       s_etat_processus->instruction_courante = registre;
   
       if ((s_etat_processus->l_base_pile == NULL) ||
               (s_etat_processus->erreur_execution != d_ex) ||
               (s_etat_processus->erreur_systeme != d_es))
       {
           return;
       }
   
       // Le niveau 1 de la pile opérationnelle contient l'expression
       // à convertir.
   
       if (depilement(s_etat_processus, &(s_etat_processus
               ->l_base_pile), &s_objet) == d_erreur)
       {
           return;
       }
   
     if ((s_objet->type == ALG) || (s_objet->type == RPN))      if ((s_objet->type == ALG) || (s_objet->type == RPN))
     {      {
         // On transcrit les fonctions de GIAC vers le RPL/2.          // On transcrit les fonctions de GIAC vers le RPL/2.
   
           l_element_courant = reinterpret_cast<struct_liste_chainee *>(
                   s_objet->objet);
           drapeau = d_faux;
   
           // S'il y a une valeur infini, on force l'évaluation de l'expression.
   
           while(l_element_courant != NULL)
           {
               if (l_element_courant->donnee->type == NOM)
               {
                   if (strcmp((const char *) reinterpret_cast<unsigned char *>(
                           reinterpret_cast<struct_nom *>(
                           l_element_courant->donnee->objet)->nom),
                           "infinity") == 0)
                   {
                       drapeau = d_vrai;
                       break;
                   }
               }
   
               l_element_courant = l_element_courant->suivant;
           }
   
           if (drapeau == d_vrai)
           {
               if (evaluation(s_etat_processus, s_objet, 'N') == d_erreur)
               {
                   return;
               }
   
               liberation(s_etat_processus, s_objet);
   
               if (depilement(s_etat_processus, &(s_etat_processus
                       ->l_base_pile), &s_objet) == d_erreur)
               {
                   return;
               }
           }
       }
   
       if ((s_objet->type == ALG) || (s_objet->type == RPN))
       {
         l_element_precedent = NULL;          l_element_precedent = NULL;
         l_element_courant = reinterpret_cast<struct_liste_chainee *>(          l_element_courant = reinterpret_cast<struct_liste_chainee *>(
                 s_objet->objet);                  s_objet->objet);
Line 293  conversion_cas_vers_rpl(struct_processus Line 383  conversion_cas_vers_rpl(struct_processus
         }          }
     }      }
   
       if (empilement(s_etat_processus, &(s_etat_processus->l_base_pile),
               s_objet) == d_erreur)
       {
           return;
       }
   
     return;      return;
 }  }
   
Line 325  interface_cas(struct_processus *s_etat_p Line 421  interface_cas(struct_processus *s_etat_p
     unsigned char           *argument_2;      unsigned char           *argument_2;
     unsigned char           *argument_3;      unsigned char           *argument_3;
     unsigned char           *argument_4;      unsigned char           *argument_4;
     unsigned char           *registre;  
   
     unsigned int            position;      unsigned int            position;
   
       giac::context           *contexte;
   
       if (s_etat_processus->contexte_cas == NULL)
       {
           try
           {
               s_etat_processus->contexte_cas = new giac::context;
           }
           catch(bad_alloc exception)
           {
               s_etat_processus->erreur_systeme = d_es_allocation_memoire;
               return;
           }
           catch(...)
           {
               s_etat_processus->erreur_execution = d_ex_erreur_interne_rplcas;
               return;
           }
       }
   
       contexte = reinterpret_cast<giac::context *>(
               s_etat_processus->contexte_cas);
   
       if ((s_etat_processus->erreur_execution != d_ex) ||
               (s_etat_processus->erreur_systeme != d_es))
       {
           return;
       }
   
     switch(commande)      switch(commande)
     {      {
         case RPLCAS_INTEGRATION:          case RPLCAS_INTEGRATION:
Line 367  interface_cas(struct_processus *s_etat_p Line 491  interface_cas(struct_processus *s_etat_p
   
             try              try
             {              {
                 giac::context   contexte;  
   
                 gen variable(                  gen variable(
                         string(reinterpret_cast<const char *>(argument_1)),                          string(reinterpret_cast<const char *>(argument_1)),
                         &contexte);                          contexte);
                 gen expression(                  gen expression(
                         string(reinterpret_cast<const char *>(argument_2)),                          string(reinterpret_cast<const char *>(argument_2)),
                         &contexte);                          contexte);
   
                 gen resultat = integrate_gen(expression, variable, &contexte);                  gen resultat = integrate_gen(expression, variable,
                           contexte);
                 string chaine = "'" + resultat.print() + "'";                  string chaine = "'" + resultat.print() + "'";
   
                 registre = s_etat_processus->instruction_courante;                  conversion_cas_vers_rpl(s_etat_processus,
                 s_etat_processus->instruction_courante =                          reinterpret_cast<unsigned char *>(const_cast<char *>(
                         reinterpret_cast<unsigned char *>(const_cast<char *>                          chaine.c_str())));
                         (chaine.c_str()));  
   
                 recherche_type(s_etat_processus);  
   
                 if (s_etat_processus->l_base_pile != NULL)  
                 {  
                     conversion_cas_vers_rpl(s_etat_processus,  
                             s_etat_processus->l_base_pile->donnee);  
                 }  
   
                 s_etat_processus->instruction_courante = registre;  
             }              }
             catch(bad_alloc exception)              catch(bad_alloc exception)
             {              {
Line 525  interface_cas(struct_processus *s_etat_p Line 637  interface_cas(struct_processus *s_etat_p
   
             try              try
             {              {
                 giac::context   contexte;  
   
                 int             direction;                  int             direction;
   
                 if (argument_4 == NULL)                  if (argument_4 == NULL)
Line 541  interface_cas(struct_processus *s_etat_p Line 651  interface_cas(struct_processus *s_etat_p
   
                 gen expression(                  gen expression(
                         string(reinterpret_cast<const char *>(argument_2)),                          string(reinterpret_cast<const char *>(argument_2)),
                         &contexte);                          contexte);
                 identificateur variable(                  identificateur variable(
                         string(reinterpret_cast<const char *>(argument_1)));                          string(reinterpret_cast<const char *>(argument_1)));
                 gen valeur(string(reinterpret_cast<const char *>                  gen valeur(string(reinterpret_cast<const char *>
                         (argument_3)), &contexte);                          (argument_3)), contexte);
   
                 gen resultat = limit(expression, variable, valeur, direction,                  gen resultat = limit(expression, variable, valeur, direction,
                         &contexte);                          contexte);
                 string chaine = "'" + resultat.print() + "'";                  string chaine = "'" + resultat.print() + "'";
   
                 registre = s_etat_processus->instruction_courante;                  conversion_cas_vers_rpl(s_etat_processus,
                 s_etat_processus->instruction_courante =                          reinterpret_cast<unsigned char *>(const_cast<char *>(
                         reinterpret_cast<unsigned char *>(const_cast<char *>                          chaine.c_str())));
                         (chaine.c_str()));  
   
                 recherche_type(s_etat_processus);  
   
                 if (s_etat_processus->l_base_pile != NULL)  
                 {  
                     conversion_cas_vers_rpl(s_etat_processus,  
                             s_etat_processus->l_base_pile->donnee);  
                 }  
   
                 s_etat_processus->instruction_courante = registre;  
             }              }
             catch(bad_alloc exception)              catch(bad_alloc exception)
             {              {
Removed from v.1.12  
changed lines
  Added in v.1.16

CVSweb interface <joel.bertrand@systella.fr>