Project

General

Profile

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