blob: 8c682c392dd6d3d138ec7d5bf6ae3ec2773391e5 (
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
|
#include <stdio.h>
#include "nonstd/io.h"
/** read a character from a file stream **/
int fgetc(FILE *stream)
{
flockfile(stream);
char c = getc_unlocked(stream);
funlockfile(stream);
/*
RETURN_SUCCESS(the next character);
RETURN_FAILURE(CONSTANT(EOF));
*/
return c;
}
/***
reads the next character from ARGUMENT(stream) as an
TYPE(unsigned char) converted to an TYPE(int). The file position indicator
of ARGUMENT(stream) is advanced.
***/
/*
STDC(1)
*/
|
