sl-mwc.c
资源名称:pclint.rar [点击查看]
上传用户:filter2008
上传日期:2010-03-12
资源大小:2959k
文件大小:4k
源码类别:
编辑器/阅读器
开发平台:
C/C++
- /*lint -cmwc
- Standard Library Definitions -- Mark Williams Compiler Version
- With this variation of the standard library description,
- library headers are assumed to NOT contain prototypes.
- (If your compiler supports prototypes use a file similar
- to those having names of the form: sl-xxx.lnt).
- This file contains declarations of standard library functions
- for use with PC-Lint. When provided to PC-Lint along with
- other modules, the functions declared here are considered
- defined with the properties given.
- This file may not be complete. Your compiler may contain
- many other functions not declared here.
- You may modify or augment this file so that it more
- closely conforms to the library provided with your compiler.
- The include file "stdio.h" is provided with your compiler.
- */
- /*lint -e746 don't insist on a prototype for each call */
- /*lint -save save the current error suppression state */
- /*lint -library library flag -- Don't get upset if these externals
- are not referenced or defined */
- #include "stdio.h"
- typedef char *UNIV; /* universal pointer */
- typedef char *STRING; /* string */
- typedef const char *CSTRING; /* constant string */
- #define VOID void /* compiler-independent void */
- typedef FILE *STREAM; /* a universal file designator */
- /*lint +fvr
- The following functions exhibit variable return modes.
- That is, they may equally-usefully be called for a value
- as called just for their effects.
- */
- int close(int);
- int creat( CSTRING, int );
- int fclose(STREAM);
- int fputc( int, STREAM );
- VOID fputs( STRING, STREAM );
- int fseek( STREAM, long, int );
- int fwrite( UNIV, int, int, STREAM );
- long lseek( int, long, int );
- VOID puts( STRING );
- STRING strcat( STRING, STRING );
- STRING strcpy( STRING, STRING );
- STRING strncat( STRING, STRING, int);
- STRING strncpy( STRING, STRING, int);
- int unlink( STRING );
- int write( int, UNIV, int);
- /*lint +fva1 arguments vary after the first */
- int printf(STRING);
- int scanf(STRING);
- /*lint +fva2 arguments vary after the second */
- int fprintf(STREAM, CSTRING);
- int fscanf(STREAM, STRING);
- STRING sprintf(STRING, STRING);
- int sscanf(STRING, STRING);
- /*lint -fva end of varying arguments */
- extern FILE _stdin, _stdout, _stderr, _stdaux, _stdprn, *_fp[_NFILE];
- extern char _ctype[256];
- double atof(STRING);
- int atoi(STRING);
- long atol(STRING);
- UNIV calloc(unsigned, unsigned);
- VOID exit(int);
- STRING fgets( STRING, int, STREAM );
- STREAM fopen( STRING, STRING );
- int fread( UNIV, int, int, STREAM );
- STREAM freopen( STRING, STRING, STREAM );
- VOID free(UNIV);
- long ftell( STREAM );
- STRING gets( UNIV );
- VOID main( int, char**);
- UNIV malloc(unsigned);
- int open( STRING, int );
- int read( int, UNIV, int );
- UNIV realloc( UNIV, unsigned );
- int strcmp( STRING, STRING );
- int strlen( STRING );
- int strncmp( STRING, STRING, int );
- /* Math functions; if you need them, #define math 1 */
- #define math 0
- #if math
- double acos(double);
- double asin(double);
- double atan(double);
- double ceil(double);
- double cos(double);
- double exp(double);
- double exp10(double);
- double fabs(double);
- double floor(double);
- double log(double);
- double log10(double);
- double pow(double, double);
- double sin(double);
- double sqrt(double);
- double tan(double);
- #endif
- /*lint -restore Restore error messages to state last "-save"d
- This option is only necessary if flags of the form
- -e... appear after the -save above and to inhibit their
- propogation to later files */