src/input.h

   1 /*
   2  * Source file:
   3  *      input.h
   4  */
   5
   6 extern long             char_number;
   7 extern int              got_some_input;
   8
   9 extern boolean set_input_stream(int);
  10 extern stream_status    getnextchar(char *);
  11 extern void ungetnextchar(char, stream_status);
  12 extern void setup_input(void);
  13 extern void init_input(void);