Project

General

Profile

Download (643 Bytes) Statistics
| Branch: | Tag: | Revision:
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(FILE* file, char* n);
11

    
12
/*@ assigns *n; */
13
extern int _get_int(FILE* file, char* n);
14

    
15
/*@ assigns *n; */
16
extern double _get_double(FILE* file, char* n);
17

    
18
/* Standard Output procedures **************/
19
/*@ assigns \nothing; */
20
extern void _put_bool(FILE* file, char* n, _Bool _V);
21

    
22
/*@ assigns \nothing; */
23
extern void _put_int(FILE* file, char* n, int _V);
24

    
25
/*@ assigns \nothing; */
26
extern void _put_double(FILE* file, char* n, double _V);
27

    
28
#endif
(9-9/14)