/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        S U P P R E S S I O N   D E S   B L A N C S   R E D O N D A N T S  :                                                       */
/*                                                                                                                                   */
/*                                                                                                                                   */
/*        Author of '$xcp/compacte$K' :                                                                                              */
/*                                                                                                                                   */
/*                    Jean-Francois COLONNA (LACTAMME, 1988??????????).                                                              */
/*                                                                                                                                   */
/*************************************************************************************************************************************/

/*===================================================================================================================================*/
/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        I N T E R F A C E   ' listG '  :                                                                                           */
/*                                                                                                                                   */
/*                                                                                                                                   */
/*        :Debut_listG:                                                                                                              */
/*        :Fin_listG:                                                                                                                */
/*                                                                                                                                   */
/*************************************************************************************************************************************/

/*===================================================================================================================================*/
/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        D I R E C T I V E S   S P E C I F I Q U E S   D E   C O M P I L A T I O N  :                                               */
/*                                                                                                                                   */
/*************************************************************************************************************************************/
@define   PRAGMA_CL_____PAS_DE_LIBRAIRIES_DYNAMIQUES

/*===================================================================================================================================*/
/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        F I C H I E R S   D ' I N C L U D E S  :                                                                                   */
/*                                                                                                                                   */
/*************************************************************************************************************************************/
#include  INCLUDES_MINI

/*===================================================================================================================================*/
/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        P A R A M E T R E S  :                                                                                                     */
/*                                                                                                                                   */
/*************************************************************************************************************************************/
#define   COMPATIBILITE_20030917                                                                                                        \
                    FAUX                                                                                                                \
                                        /* Permet de proceder a des filtrages compatibles a ceux qui furent effectues anterieurement */ \
                                        /* au 20030917092041.                                                                        */

/*===================================================================================================================================*/
/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        M A C R O S   U T I L E S  :                                                                                               */
/*                                                                                                                                   */
/*************************************************************************************************************************************/

/*===================================================================================================================================*/
/*************************************************************************************************************************************/
/*                                                                                                                                   */
/*        S U P P R E S S I O N   D E S   B L A N C S   R E D O N D A N T S  :                                                       */
/*                                                                                                                                   */
/*************************************************************************************************************************************/
BCommande(nombre_d_arguments,arguments)
/*-----------------------------------------------------------------------------------------------------------------------------------*/
     Bblock
     DEFV(Logical,INIT(compatibilite_20030917,COMPATIBILITE_20030917));
                                        /* Permet de proceder a des filtrages compatibles a ceux qui furent effectues anterieurement */
                                        /* au 20030917092041.                                                                        */

     DEFV(Logical,INIT(faut_il_compacter,VRAI));
                                        /* Cet indicateur indique en permanence si l'on peut supprimer les espaces                   */
                                        /* (cette notion recouvrant aussi bien le 'BLANC' que le 'TABULATION')                       */
                                        /* redondants ou pas :                                                                       */
                                        /*                                                                                           */
                                        /*                  VRAI    : a l'initialisation, et apres chaque 'BLANC' ou 'TABULATION',   */
                                        /*                  FAUX    : apres tout caractere non 'BLANC' et non 'TABULATION',          */
                                        /*                                                                                           */
                                        /* Ainsi, on enleve tous les 'BLANC' redondants, c'est-a-dire que l'on ne garde              */
                                        /* que le premier, sauf bien sur dans les chaines "..." et '...'.                            */

     DEFV(Logical,INIT(on_vient_de_rencontrer_un_anti_slash,FAUX));
                                        /* Cet indicateur indique en permanence si l'on vient de rencontrer                          */
                                        /* immediatement un anti-slash (introduit le 20030917094603).                                */
     DEFV(Logical,INIT(on_vient_de_rencontrer_une_apostrophe,FAUX));
                                        /* Cet indicateur indique en permanence si l'on vient de rencontrer                          */
                                        /* immediatement une apostrophe (') :                                                        */
                                        /*                                                                                           */
                                        /*                  VRAI    : apres la premiere rencontree,                                  */
                                        /*                  FAUX    : apres la seconde,                                              */
                                        /*                                                                                           */
                                        /* cet indicateur fonctionnant en bascule, puisque les apostrophes forment                   */
                                        /* des couples de parentheses...                                                             */
     DEFV(Logical,INIT(on_vient_de_rencontrer_une_quote,FAUX));
                                        /* Cet indicateur indique en permanence si l'on vient de rencontrer                          */
                                        /* immediatement une quote (") :                                                             */
                                        /*                                                                                           */
                                        /*                  VRAI    : apres la premiere rencontree,                                  */
                                        /*                  FAUX    : apres la seconde,                                              */
                                        /*                                                                                           */
                                        /* cet indicateur fonctionnant en bascule, puisque les quotes forment                        */
                                        /* des couples de parentheses...                                                             */

     DEFV(Char,INIT(caractere_courant,K_UNDEF));
                                        /* Caractere courant.                                                                        */
     /*..............................................................................................................................*/
     GET_ARGUMENTS_(nombre_d_arguments
                   ,BLOC(GET_ARGUMENT_L("compatibilite_20030917=",compatibilite_20030917);
                         )
                    );

     Tant(GetcharT(caractere_courant))
          Bblock
                                        /* Le caractere courant de l'entree courante est recupere ; et on boucle                     */
                                        /* sur cette recuperation tant que l'on n'est pas au bout du fichier.                        */

                                        /* ATTENTION : on notera que l'on pourrait surement optimiser les tests qui vont suivre sur  */
                                        /* 'caractere_courant' en les imbriquant, mais les tests etant complexes (en testant une     */
                                        /* condition supplementaire a celle portant sur 'caractere_courant'), cela compliquerait     */
                                        /* les choses tout en les rendant moins fiables...                                           */

          Test(IFET(IFEQ(caractere_courant,K_LF)
                   ,EST_FAUX(compatibilite_20030917)
                    )
               )
               Bblock
               EGAL(on_vient_de_rencontrer_une_apostrophe,FAUX);
               EGAL(on_vient_de_rencontrer_une_quote,FAUX);
                                        /* A compter du 20030917092041 et si ce dispositif n'est pas inhibe, le detecteur            */
                                        /* d'apostrophes et de quotes est reinitialise a chaque changement de ligne, ce qui          */
                                        /* plus logique puisqu'une chaine ("..." ou '...') ne peut etre "a cheval" sur deux lignes.  */
               Eblock
          ATes
               Bblock
               Eblock
          ETes

          Test(I3ET(IFEQ(caractere_courant,K_ANTI_SLASH)
                   ,EST_FAUX(on_vient_de_rencontrer_un_anti_slash)
                   ,EST_FAUX(compatibilite_20030917)
                    )
               )
               Bblock
               EGAL(on_vient_de_rencontrer_un_anti_slash,VRAI);
                                        /* Introduit le 20030917094603...                                                            */
               Eblock
          ATes
               Bblock
               Eblock
          ETes

          Test(I3ET(IFEQ(caractere_courant,K_QUOTE)
                   ,EST_FAUX(on_vient_de_rencontrer_une_apostrophe)
                   ,EST_FAUX(on_vient_de_rencontrer_un_anti_slash)
                    )
               )
               Bblock
               EGAL(on_vient_de_rencontrer_une_quote,NOTL(on_vient_de_rencontrer_une_quote));
                                        /* On gere les quotes comme des parentheses...                                               */
               Eblock
          ATes
               Bblock
               Eblock
          ETes

          Test(I3ET(IFEQ(caractere_courant,K_APOSTROPHE)
                   ,EST_FAUX(on_vient_de_rencontrer_une_quote)
                   ,EST_FAUX(on_vient_de_rencontrer_un_anti_slash)
                    )
               )
               Bblock
               EGAL(on_vient_de_rencontrer_une_apostrophe,NOTL(on_vient_de_rencontrer_une_apostrophe));
                                        /* On gere les apostrophes comme des parentheses...                                          */
               Eblock
          ATes
               Bblock
               Eblock
          ETes

          Test(IFOU(IFET(IFNE(caractere_courant,K_TABULATION)
                        ,IFNE(caractere_courant,K_BLANC)
                         )
                   ,EST_FAUX(faut_il_compacter)
                    )
               )
               Bblock
               CALS(Putchar(caractere_courant));
                                        /* Lorsque le caractere courant n'est pas 'BLANC', ou bien qu'il faut les                    */
                                        /* conserver (ce qui signifie qu'ils sont soit dans une chaine "..." ou '...',               */
                                        /* ou bien qu'ils sont les premiers d'une serie redondante).                                 */
               Eblock
          ATes
               Bblock
               Eblock
          ETes

          EGAL(faut_il_compacter,FAUX);
                                        /* A priori, on interdit le compactage...                                                    */

          Test(IFOU(IFEQ(caractere_courant,K_TABULATION)
                   ,IFEQ(caractere_courant,K_BLANC)
                    )
               )
               Bblock
                                        /* Pour les non 'BLANC's on peut changer l'autorisation de compactage :                      */
               Test(IFET(EST_FAUX(on_vient_de_rencontrer_une_apostrophe)
                        ,EST_FAUX(on_vient_de_rencontrer_une_quote)
                         )
                    )
                    Bblock
                    EGAL(faut_il_compacter,VRAI);
                                        /* Apres chaque 'BLANC' ne figurant pas dans une chaine, on autorise                         */
                                        /* le compactage (et ce jusqu'a la rencontre du premier non 'BLANC').                        */
                                        /* On notera qu'une hypothese simplificatrice est faite : ces                                */
                                        /* pseudo-parentheses doivent etre logiquement imbriquees :                                  */
                                        /* "...", '...', "...'...'...", '..."..."...', les imbrications                              */
                                        /* du type "...'..."...' donnant lieu a erreurs.                                             */
                    Eblock
               ATes
                    Bblock
                    Eblock
               ETes
               Eblock
          ATes
               Bblock
               Eblock
          ETes

          Test(IFET(IFNE(caractere_courant,K_ANTI_SLASH)
                   ,EST_FAUX(compatibilite_20030917)
                    )
               )
               Bblock
               EGAL(on_vient_de_rencontrer_un_anti_slash,FAUX);
                                        /* Introduit le 20030917094603...                                                            */
               Eblock
          ATes
               Bblock
               Eblock
          ETes
          Eblock
     ETan

     RETU_Commande;
     Eblock
ECommande



Copyright © Jean-François COLONNA, 2019-2024.
Copyright © CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641 / École polytechnique, Institut Polytechnique de Paris, 2019-2024.