input.h 487 B

123456789101112131415161718
  1. #include <stdio.h>
  2. char *new_line (void);
  3. char *next_text (void);
  4. void input_push (char *text, char *macro, char *filename, int line_number);
  5. void input_push_text (char *line, char *macro);
  6. void input_push_text_with_line_nos (char *text, int starting);
  7. int input_push_file (char *filename);
  8. void input_reset_input_stack (void);
  9. int expanding_macro (char *macro);
  10. int top_file_index (void);
  11. char *locate_include_file (char *filename);
  12. extern LINE_NR line_nr;
  13. extern int input_number;