Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / io_frontend.h @ 22fe1c93

History | View | Annotate | Download (570 Bytes)

1
#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