1939 class html_printer : public printer {  class
2103   html_printer          ();
2104   ~html_printer         ();
2120   return new html_printer;  in make_printer()
2125 void html_printer::set_style(const style &sty)  in set_style()
2140 int html_printer::is_bold (font *f)  in is_bold()
2150 font *html_printer::make_bold (font *f)  in make_bold()
2163 void html_printer::end_of_line()  in end_of_line()
2173 void html_printer::emit_line (text_glob *)  in emit_line()
2185 void html_printer::restore_troff_indent (void)  in restore_troff_indent()
2201 void html_printer::emit_raw (text_glob *g)  in emit_raw()
2242 void html_printer::handle_tag_within_title (text_glob *g)  in handle_tag_within_title()
2253 void html_printer::do_center (char *arg)  in do_center()
2264 void html_printer::do_centered_image (void)  in do_centered_image()
2274 void html_printer::do_right_image (void)  in do_right_image()
2284 void html_printer::do_left_image (void)  in do_left_image()
2331 void html_printer::do_auto_image (text_glob *g, const char *filename)  in do_auto_image()
2352 void html_printer::outstanding_eol (int n)  in outstanding_eol()
2364 void html_printer::do_title (void)  in do_title()
2418 void html_printer::write_header (void)  in write_header()
2510 void html_printer::determine_header_level (int level)  in determine_header_level()
2534 void html_printer::do_heading (char *arg)  in do_heading()
2591 int html_printer::is_courier_until_eol (void)  in is_courier_until_eol()
2621 void html_printer::do_linelength (char *arg)  in do_linelength()
2634 void html_printer::do_pageoffset (char *arg)  in do_pageoffset()
2644 int html_printer::get_troff_indent (void)  in get_troff_indent()
2656 void html_printer::do_indentation (char *arg)  in do_indentation()
2666 void html_printer::do_tempindent (char *arg)  in do_tempindent()
2682 void html_printer::shutdown_table (void)  in shutdown_table()
2698 void html_printer::do_indent (int in, int pageoff, int linelen)  in do_indent()
2720 void html_printer::do_verticalspacing (char *arg)  in do_verticalspacing()
2729 void html_printer::do_pointsize (char *arg)  in do_pointsize()
2771 void html_printer::do_fill (char *arg)  in do_fill()
2789 void html_printer::do_eol (void)  in do_eol()
2805 void html_printer::do_check_center(void)  in do_check_center()
2850 void html_printer::do_eol_ce (void)  in do_eol_ce()
2869 void html_printer::do_flush (void)  in do_flush()
2878 void html_printer::do_links (void)  in do_links()
2891 void html_printer::insert_split_file (void)  in insert_split_file()
2914 void html_printer::do_job_name (char *name)  in do_job_name()
2929 void html_printer::do_head (char *name)  in do_head()
2942 void html_printer::do_break (void)  in do_break()
2969 void html_printer::do_space (char *arg)  in do_space()
2991 void html_printer::do_tab_ts (text_glob *g)  in do_tab_ts()
3023 void html_printer::do_tab_te (void)  in do_tab_te()
3039 void html_printer::do_tab (char *s)  in do_tab()
3057 void html_printer::do_tab0 (void)  in do_tab0()
3072 void html_printer::do_col (char *s)  in do_col()
3090 void html_printer::troff_tag (text_glob *g)  in troff_tag()
3184 int html_printer::is_in_middle (int left, int right)  in is_in_middle()
3194 void html_printer::flush_globs (void)  in flush_globs()
3242 int html_printer::calc_nf (text_glob *g, int nf)  in calc_nf()
3262 void html_printer::calc_po_in (text_glob *g, int nf)  in calc_po_in()
3282 int html_printer::next_horiz_pos (text_glob *g, int nf)  in next_horiz_pos()
3305 text_glob *html_printer::insert_tab_ts (text_glob *where)  in insert_tab_ts()
3324 void html_printer::insert_tab_te (void)  in insert_tab_te()
3342 void html_printer::insert_tab_0 (text_glob *where)  in insert_tab_0()
3357 void html_printer::remove_tabs (void)  in remove_tabs()
3382 void html_printer::remove_courier_tabs (void)  in remove_courier_tabs()
3411 void html_printer::insert_tab0_foreach_tab (void)  in insert_tab0_foreach_tab()
3469 void html_printer::update_min_max (colType type_of_col, int *minimum, int *maximum, text_glob *g)  in update_min_max()
3492 void html_printer::add_table_end (const char *  in add_table_end()
3510 void html_printer::lookahead_for_tables (void)  in lookahead_for_tables()
3722 void html_printer::flush_page (void)  in flush_page()
3748 void html_printer::determine_space (text_glob *g)  in determine_space()
3769 int html_printer::is_line_start (int nf)  in is_line_start()
3800 int html_printer::is_font_courier (font *f)  in is_font_courier()
3814 void html_printer::end_font (const char *fontname)  in end_font()
3842 void html_printer::start_font (const char *fontname)  in start_font()
3892 void html_printer::start_size (int from, int to)  in start_size()
3911 void html_printer::do_font (text_glob *g)  in do_font()
3952 int html_printer::start_subscript (text_glob *g)  in start_subscript()
3967 int html_printer::start_superscript (text_glob *g)  in start_superscript()
3982 int html_printer::end_subscript (text_glob *g)  in end_subscript()
3997 int html_printer::end_superscript (text_glob *g)  in end_superscript()
4014 void html_printer::do_sup_or_sub (text_glob *g)  in do_sup_or_sub()
4034 void html_printer::do_end_para (text_glob *g)  in do_end_para()
4050 void html_printer::emit_html (text_glob *g)  in emit_html()
4065 void html_printer::flush_sbuf()  in flush_sbuf()
4091 void html_printer::set_line_thickness(const environment *env)  in set_line_thickness()
4096 void html_printer::draw(int code, int *p, int np, const environment *env)  in draw()
4158 html_printer::html_printer()  in html_printer()  function in html_printer
4233 void html_printer::add_to_sbuf (int idx, const string &s)  in add_to_sbuf()
4259 int html_printer::sbuf_continuation (int idx, const char *name,  in sbuf_continuation()
4322 int html_printer::overstrike(int idx, const char *name, const environment *env, int w)  in overstrike()
4355 void html_printer::set_char(int i, font *f, const environment *env,  in set_char()
4387 void html_printer::set_numbered_char(int num, const environment *env,  in set_numbered_char()
4423 int html_printer::set_char_and_width(const char *nm, const environment *env,  in set_char_and_width()
4459 void html_printer::write_title (int in_head)  in write_title()
4490 void html_printer::begin_page(int n)  in begin_page()
4511 void html_printer::end_page(int)  in end_page()
4517 font *html_printer::make_font(const char *nm)  in make_font()
4522 void html_printer::do_body (void)  in do_body()
4544 void html_printer::emit_link (const string &to, const char *name)  in emit_link()
4558 void html_printer::write_navigation (const string &top, const string &prev,  in write_navigation()
4596 void html_printer::do_file_components (void)  in do_file_components()
4647 void html_printer::writeHeadMetaStyle (void)  in writeHeadMetaStyle()
4667 html_printer::~html_printer()  in ~html_printer()
4788 void html_printer::handle_assertion (int minv, int minh, int maxv, int maxh, const char *s)  in handle_assertion()
4811 void html_printer::handle_state_assertion (text_glob *g)  in handle_state_assertion()
4832 void html_printer::special(char *s, const environment *env, char type)  in special()
4913 void html_printer::devtag (char *s, const environment *env, char type)  in devtag()
4942 int html_printer::round_width(int x)  in round_width()