blob: b4b8c8540e561a881c243081a4ed1206584e71ad (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#if 0
#include <stdio.h>
/** read a character from a file stream **/
int getc(FILE *stream)
{
/*
RETURN_SUCCESS(the next character);
RETURN_FAILURE(CONSTANT(EOF));
*/
return fgetc(stream);
}
/***
is the equivalent of FUNCTION(fgetc) except that if it is
defined as a macro, it may evaluate ARGUMENT(stream) more than once.
***/
/*
STDC(1)
*/
#endif
|
