|
1
|
#ifndef _IO_FRONTEND
|
|
2
|
#define _IO_FRONTEND
|
|
3
|
|
|
4
|
/* Print a prompt ? ************************/
|
|
5
|
extern int ISATTY;
|
|
6
|
|
|
7
|
/* Standard Input procedures **************/
|
|
8
|
|
|
9
|
/*@ assigns *n; */
|
|
10
|
extern _Bool _get_bool(char* n);
|
|
11
|
|
|
12
|
/*@ assigns *n; */
|
|
13
|
extern int _get_int(char* n);
|
|
14
|
|
|
15
|
/*@ assigns *n; */
|
|
16
|
extern double _get_double(char* n);
|
|
17
|
|
|
18
|
/* Standard Output procedures **************/
|
|
19
|
/*@ assigns \nothing; */
|
|
20
|
extern void _put_bool(char* n, _Bool _V);
|
|
21
|
|
|
22
|
/*@ assigns \nothing; */
|
|
23
|
extern void _put_int(char* n, int _V);
|
|
24
|
|
|
25
|
/*@ assigns \nothing; */
|
|
26
|
extern void _put_float(char* n, float _V, int PREC);
|
|
27
|
|
|
28
|
/*@ assigns \nothing; */
|
|
29
|
extern void _put_double(char* n, double _V, int PREC);
|
|
30
|
|
|
31
|
#endif
|