src/stdio/getchar.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#include <stdio.h>

/** read a character from stdin **/
int getchar(void)
{
	/*
	RETURN_SUCCESS(the next character);
	RETURN_FAILURE(CONSTANT(EOF));
	*/
	return getc(stdin);
}

/***
reads the next character from ARGUMENT(stdin).
***/
/*
STDC(1)
*/