/*----------------------------------------------------------*/
/*                                                          */
/*         AUTHOR : Eric VIOLARD                            */
/*         E-MAIL : violard@icps.u-strasbg.fr               */
/*         ORGANISM : Université Louis Pasteur (Strasbourg) */
/*         CREATION : 28/12/02                              */
/*                                                          */
/* ---------------------------------------------------------*/
  
 
/* --- Définition du type des chaines de caractères --- */

#define NB_MAX_CHAR 255

typedef char string[NB_MAX_CHAR];

/* Redéfinition des fonctions associées : */

int strlen2(string s);
     /* longueur de la chaîne s */


void strcpy2(string s, string t);
     /* copie de t dans s par effet de bord */
     /* pré-conditions : néant */
     /* post-conditions : pour i compris entre 0 et strlen(t) . s[i]=t[i]  */


void strcat2(string s, string t);
     /* ajoute la chaîne t à la fin de la chaîne s (concaténation) */
     /* la chaine s est modifiée par effet de bord */
     /* pré-conditions : strlen(s)+strlen(t) < NB_MAX_CHAR */
     /* post-conditions :
          si l est la longueur de s avant exécution
          pour i compris entre 0 et l-1 . s[i] a la même valeur qu'avant exécution et 
          pour i compris entre l et l+strlen(t) . s[i+l]=t[i]  
     */


int strcmp2(string s,string t);
     /* compare s et t */
     /* le résultat est : 0 si s et t sont identiques, 
                         -1 si s précéde t, 
                         +1 si t précéde s 
     */