blob: 11a75d4e9a70a6aba39229ec94b1497fb65ed957 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#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)
*/
|
