home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / imports / string.lcl < prev    next >
Text File  |  2000-06-12  |  1KB  |  96 lines
  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.  
  96.