Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / io_frontend.h @ f044d0b0

History | View | Annotate | Download (570 Bytes)

1 0cbf0839 ploc
#ifndef _IO_FRONTEND
2
#define _IO_FRONTEND
3
4
/* Print a promt ? ************************/
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_double(char* n, double _V);
27
28
#endif