Revision 6fa45cb6
Added by Pierre-Loïc Garoche over 7 years ago
| 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
Changed the generated C file to produce input and output csv files (named inXX and outXX)