Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / io_frontend.h @ 86ae18b7

History | View | Annotate | Download (570 Bytes)

1 22fe1c93 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 86ae18b7 Ploc
extern _Bool _get_bool(char* n);
11 22fe1c93 ploc
12
/*@ assigns *n; */
13 86ae18b7 Ploc
extern int _get_int(char* n);
14 22fe1c93 ploc
15
/*@ assigns *n; */
16 86ae18b7 Ploc
extern double _get_double(char* n);
17 22fe1c93 ploc
18
/* Standard Output procedures **************/
19
/*@ assigns \nothing; */
20 86ae18b7 Ploc
extern void _put_bool(char* n, _Bool _V);
21 22fe1c93 ploc
22
/*@ assigns \nothing; */
23 86ae18b7 Ploc
extern void _put_int(char* n, int _V);
24 22fe1c93 ploc
25
/*@ assigns \nothing; */
26 86ae18b7 Ploc
extern void _put_double(char* n, double _V);
27 22fe1c93 ploc
28
#endif