sl-lc2.c
上传用户:filter2008
上传日期:2010-03-12
资源大小:2959k
文件大小:4k
源码类别:

编辑器/阅读器

开发平台:

C/C++

  1. /*lint -clc
  2.     Standard Library Definitions -- Lattice 2.1x Version
  3.     With this variation of the standard library description,
  4.     library headers are assumed to NOT contain prototypes.
  5.     (If your compiler supports prototypes use a file similar
  6.     to those having names of the form: sl-xxx.lnt).
  7.     This file contains declarations of standard library functions
  8.     for use with PC-Lint.  When provided to PC-Lint along with
  9.     other modules, the functions declared here are considered
  10.     defined with the properties given.
  11.     This file may not be complete.  Your compiler may contain
  12.     many other functions not declared here.
  13.     You may modify or augment this file so that it more
  14.     closely conforms to the library provided with your compiler.
  15.     The include file "stdio.h" is provided with your compiler.
  16.  */
  17. /*lint -e746  don't insist on a prototype for each call */
  18. /*lint -$  establish $ as an identifier character */
  19. /*lint -save  save the current error suppression state */
  20. /*lint -library  library flag -- Don't get upset if these externals
  21.               are not referenced or defined */
  22. #include "stdio.h"
  23. typedef char *UNIV;     /* universal pointer */
  24. typedef char *STRING;   /* string */
  25. typedef const char *CSTRING;   /* constant string */
  26. /*  If your compiler supports the void type replace the following
  27.     with #define VOID void.
  28.  */
  29. #define VOID            /* function returns nothing */
  30. typedef FILE *STREAM;   /* a universal file designator */
  31. /*lint +fvr
  32.   The following functions exhibit variable return modes.
  33.   That is, they may equally-usefully be called for a value
  34.   as called just for their effects.
  35.  */
  36. int     close(int);
  37. int     creat( CSTRING, int );
  38. int     fclose(STREAM);
  39. int     fputc( int, STREAM );
  40. int     fputs( STRING, STREAM );
  41. int     free(UNIV);
  42. int     fseek( STREAM, long, int );
  43. int     fwrite( UNIV, int, int, STREAM );
  44. long    lseek( int, long, int );
  45. int     puts( STRING );
  46. STRING  strcat( STRING, STRING );
  47. STRING  strcpy( STRING, STRING );
  48. STRING  strncat( STRING, STRING, int);
  49. STRING  strncpy( STRING, STRING, int);
  50. int     unlink( STRING );
  51. int     write( int, UNIV, int);
  52. /*lint +fva1  arguments vary after the first */
  53. int     printf(STRING);
  54. int     scanf(STRING);
  55. /*lint +fva2  arguments vary after the second */
  56. int     fprintf(STREAM, CSTRING);
  57. int     fscanf(STREAM, STRING);
  58. int     sprintf(STRING, STRING);
  59. int     sscanf(STRING, STRING);
  60. /*lint -fva  end of varying arguments */
  61. extern struct _iobuf _iob[_NFILE];
  62. int     _filbf(STREAM);
  63. int     _flsbf(int,STREAM);
  64. extern char    _ctype[256];
  65. double  atof(STRING);
  66. int     atoi(STRING);
  67. long    atol(STRING);
  68. int     bdos(int, int);
  69. UNIV    calloc(unsigned, unsigned);
  70. VOID    exit(int);
  71. int     fgetc(STREAM);
  72. STRING  fgets( STRING, int, STREAM );
  73. STREAM  fopen( STRING, STRING );
  74. int     fread( UNIV, int, int, STREAM );
  75. STREAM  freopen( STRING, STRING, STREAM );
  76. long    ftell( STREAM );
  77. STRING  gets( UNIV );
  78. int     isalnum(char);
  79. int     isalpha(char);
  80. int     isascii(char);
  81. int     isdigit(char);
  82. int     islower(char);
  83. int     isprint(char);
  84. int     isspace(char);
  85. int     isupper(char);
  86. VOID    main( int, char**);
  87. UNIV    malloc(unsigned);
  88. VOID    movmem( UNIV, UNIV, unsigned );
  89. int     open( STRING, int );
  90. int     read( int, UNIV, int );
  91. int     strcmp( STRING, STRING );
  92. int     strlen( STRING );
  93. int     strncmp( STRING, STRING, int );
  94. int     tolower(char);
  95. int     toupper(char);
  96. /*  Math functions; if you need them, #define math 1  */
  97. #define math 0
  98. #if math
  99. double  acos(double);
  100. double  asin(double);
  101. double  atan(double);
  102. double  atan2(double,double);
  103. double  ceil(double);
  104. double  cos(double);
  105. double  cosh(double);
  106. double  exp(double);
  107. double  exp10(double);
  108. double  fabs(double);
  109. double  floor(double);
  110. double  fmod(double,double);
  111. double  frexp(double,int*);
  112. double  ldexp(double,int);
  113. double  log(double);
  114. double  log10(double);
  115. double  modf(double,double*);
  116. double  pow(double, double);
  117. double  sin(double);
  118. double  sqrt(double);
  119. double  tan(double);
  120. double  tanh(double);
  121. #endif
  122. /*lint -restore Restore error messages to state last "-save"d
  123.        This option is only necessary if flags of the form
  124.        -e... appear after the -save above and to inhibit their
  125.        propogation to later files */