Project

General

Profile

« Previous | Next » 

Revision f0a067e9

Added by Pierre-Loïc Garoche almost 3 years ago

Better production of trace files.
By default traces are not produced. Requires the option -t to produce them

View differences:

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

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

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

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

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

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

  
25 25
/*@ assigns \nothing; */
26
extern void _put_float(FILE* file, char* n, float _V, int PREC);
26
extern void _put_float(char* n, float _V, int PREC);
27 27

  
28 28
/*@ assigns \nothing; */
29
extern void _put_double(FILE* file, char* n, double _V, int PREC);
29
extern void _put_double(char* n, double _V, int PREC);
30 30

  
31 31
#endif

Also available in: Unified diff