402 class char_buffer {  class
404   char_buffer();
405   ~char_buffer();
424 char_buffer::char_buffer()  in char_buffer()  function in char_buffer
433 char_buffer::~char_buffer()  in ~char_buffer()
447 int char_buffer::read_file(FILE *fp)  in read_file()
637 void char_buffer::write_upto_newline(char_block **t, int *i, int is_html)  in write_upto_newline()
679 int char_buffer::can_see(char_block **t, int *i, const char *str)  in can_see()
709 int char_buffer::skip_spaces(char_block **t, int *i)  in skip_spaces()
734 void char_buffer::skip_until_newline(char_block **t, int *i)  in skip_until_newline()
764 void char_buffer::emit_troff_output(int device_format_selector)  in emit_troff_output()
1279 int char_buffer::run_output_filter(int filter, int /* argc */, char **argv)  in run_output_filter()
1435 int char_buffer::do_html(int argc, char *argv[])  in do_html()
1469 int char_buffer::do_image(int argc, char *argv[])  in do_image()
1502 static char_buffer inputFile;