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