]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
2 | ** ctype.h | |
3 | */ | |
4 | ||
5 | | int : bool | isalnum (| int : char | c ) { ensures true; } | |
6 | | int : bool | isalpha (| int : char | c ) { ensures true; } | |
7 | | int : bool | isascii (| int : char | c ) { ensures true; } | |
8 | | int : bool | iscntrl (| int : char | c ) { ensures true; } | |
9 | | int : bool | isdigit (| int : char | c ) { ensures true; } | |
10 | | int : bool | isgraph (| int : char | c ) { ensures true; } | |
11 | | int : bool | islower (| int : char | c ) { ensures true; } | |
12 | | int : bool | isprint (| int : char | c ) { ensures true; } | |
13 | | int : bool | ispunct (| int : char | c ) { ensures true; } | |
14 | | int : bool | isspace (| int : char | c ) { ensures true; } | |
15 | | int : bool | isupper (| int : char | c ) { ensures true; } | |
16 | | int : bool | isxdigit (| int : char | c ) { ensures true; } | |
17 | | int : char | toascii (| int : char | c ) { ensures true; } | |
18 | | int : char | tolower (| int : char | c ) { ensures true; } | |
19 | | int : char | toupper (| int : char | c ) { ensures true; } | |
20 |