lustrec / include / io_frontend.h @ f044d0b0
History | View | Annotate | Download (570 Bytes)
| 1 | 0cbf0839 | ploc | #ifndef _IO_FRONTEND
|
|---|---|---|---|
| 2 | #define _IO_FRONTEND
|
||
| 3 | |||
| 4 | /* Print a promt ? ************************/
|
||
| 5 | extern int ISATTY; |
||
| 6 | |||
| 7 | /* Standard Input procedures **************/
|
||
| 8 | |||
| 9 | /*@ assigns *n; */
|
||
| 10 | extern _Bool _get_bool(char* n); |
||
| 11 | |||
| 12 | /*@ assigns *n; */
|
||
| 13 | extern int _get_int(char* n); |
||
| 14 | |||
| 15 | /*@ assigns *n; */
|
||
| 16 | extern double _get_double(char* n); |
||
| 17 | |||
| 18 | /* Standard Output procedures **************/
|
||
| 19 | /*@ assigns \nothing; */
|
||
| 20 | extern void _put_bool(char* n, _Bool _V); |
||
| 21 | |||
| 22 | /*@ assigns \nothing; */
|
||
| 23 | extern void _put_int(char* n, int _V); |
||
| 24 | |||
| 25 | /*@ assigns \nothing; */
|
||
| 26 | extern void _put_double(char* n, double _V); |
||
| 27 | |||
| 28 | #endif |