]>
Commit | Line | Data |
---|---|---|
885824d3 | 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 |