devices/grodvi/dvi.cpp

115 class dvi_printer : public printer {
173   dvi_printer();
174   ~dvi_printer();
185 class draw_dvi_printer : public dvi_printer {
196 dvi_printer::dvi_printer()
214 dvi_printer::~dvi_printer()
230 void dvi_printer::out1(int n)
236 void dvi_printer::out2(int n)
243 void dvi_printer::out3(int n)
251 void dvi_printer::out4(int n)
260 void dvi_printer::out_string(const char *s)
268 void dvi_printer::end_of_line()
278 void dvi_printer::possibly_begin_line()
309 void dvi_printer::set_color(color *col)
343 void dvi_printer::set_char(int idx, font *f, const environment *env,
399 void dvi_printer::define_font(int i)
411 void dvi_printer::set_font(int i)
419 void dvi_printer::out_signed(unsigned char base, int param)
439 void dvi_printer::out_unsigned(unsigned char base, int param)
465 void dvi_printer::preamble()
475 void dvi_printer::postamble()
497 void dvi_printer::begin_page(int i)
529 void dvi_printer::end_page(int)
540   dvi_printer::end_page(len);
544 void dvi_printer::do_special(const char *s)
555 void dvi_printer::special(char *arg, const environment *env, char type)
563 void dvi_printer::moveto(int h, int v)
580 void dvi_printer::draw(int code, int *p, int np, const environment *env)
893 font *dvi_printer::make_font(const char *nm)
903     return new dvi_printer;