imports/string.lcl

   1 /*
   2 ** strings.lcl
   3 */
   4
   5 int strcasecmp(char *s1, char *s2)
   6 {
   7   ensures true ;
   8 }
   9
  10 int strncasecmp(char *s1, char *s2, int n)
  11 {
  12   ensures true ;
  13 }
  14
  15 char *strcat(char *s1, char *s2)
  16 {
  17   ensures true ;
  18 }
  19
  20 char *strncat(char *s1, char *s2, int n)
  21 {
  22   ensures true ;
  23 }
  24
  25 int strcmp(char *s1, char *s2)
  26 {
  27   ensures true ;
  28 }
  29
  30 int strncmp(char *s1, char *s2, int n)
  31 {
  32   ensures true ;
  33 }
  34
  35 | char : void | *strcpy(char *s1, char *s2)
  36 {
  37   ensures true ;
  38 }
  39
  40 char *strncpy(char *s1, char *s2, int n)
  41 {
  42   ensures true ;
  43 }
  44
  45 int strlen(char *s)
  46 {
  47   ensures true ;
  48 }
  49
  50 char *strchr(char *s, int c)
  51 {
  52   ensures true ;
  53 }
  54
  55 char *strrchr(char *s, int c)
  56 {
  57   ensures true ;
  58 }
  59
  60 char *strpbrk(char *s1, char *s2)
  61 {
  62   ensures true ;
  63 }
  64
  65 int strspn(char *s1, char *s2)
  66 {
  67   ensures true ;
  68 }
  69
  70 int strcspn(char *s1, char *s2)
  71 {
  72   ensures true ;
  73 }
  74
  75 char *strtok(char *s1, char *s2)
  76 {
  77   ensures true ;
  78 }
  79
  80 char *index(char *s, char c)
  81 {
  82   ensures true ;
  83 }
  84
  85 char *rindex(char *s, char c)
  86 {
  87   ensures true ;
  88 }
  89
  90 char *strstr(char *s1, char *s2)
  91 {
  92   ensures true ;
  93 }
  94
  95