blob: 48e11719def9e3e1b23a3608c5c9cb74d0656fc0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#include <stdio.h>
/** write a character to a file stream **/
int putc(int c, FILE *stream)
{
/*
RETURN_SUCCESS(ARGUMENT(c));
RETURN_FAILURE(CONSTANT(EOF));
*/
return fputc(c, stream);
}
/***
is equivalent of FUNCTION(fputc), except that if it is defined
as a macro, it may evaluate ARGUMENT(stream) more than once.
***/
/*
STDC(1)
*/
|
