Project

General

Profile

Revision 6fa45cb6 include/io_frontend.h

View differences:

include/io_frontend.h
7 7
/* Standard Input procedures **************/
8 8

  
9 9
/*@ assigns *n; */
10
extern _Bool _get_bool(char* n);
10
extern _Bool _get_bool(FILE* file, char* n);
11 11

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

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

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

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

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

  
28 28
#endif

Also available in: Unified diff