|
|
1.1 root 1: void open_monitor_file(); /* Create a new monitor file. */
2: void close_monitor_file(); /* Destroy the monitor file. */
3: void putchar_monitor_file(); /* Write to the monitor file. */
4: int getchar_monitor_file(); /* Read from the monitor file. */
5: void rewind_monitor_file(); /* Rewind the monitor file. */
6: int fseek_monitor_file(); /* Seek to an arbitrary position in the
7: * monitor file.
8: */
9: void ungetchar_monitor_file(); /* Push one character back onto the monitor file. */
10: int my_getchar(); /* Special getchar for diverting i/o. */
11: int my_ungetchar(); /* Special ungetchar for diverting i/o. */
12:
13: EXTERN boolean saving_to_monitor_file EQUALS(FALSE); /* Are we saving input? */
14: EXTERN boolean reading_from_monitor_file EQUALS(FALSE); /* Are we saving input? */
15: EXTERN int oldlineno; /* This marks the start of the monitor file relative
16: * to the input file. (Which is what we really care
17: * about anyway!)
18: */
19: EXTERN boolean hava_delay EQUALS(FALSE); /* Do we have a delayed character? */
20: EXTERN int delayed_char;
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.