New directory with the beginning of a .dvi backend.

Tue Dec 21 18:55:06 2004  Søren Sandmann  <sandmann@redhat.com>

	* dvi/*: New directory with the beginning of a .dvi backend.

1 files changed, 94 insertions, 0 deletions

diff --git a/dvi/painter.hh b/dvi/painter.hh
new file mode 100755
index 0000000..cbb968b
--- /dev/null
+++ b/dvi/painter.hh
@@ -0,0 +1,94 @@
+#ifndef PAINTER_HH
+#define PAINTER_HH
+
+#include "dl-dvi-program.hh"
+#include "dl-dvi-file.hh"
+#include <gdk-pixbuf/gdk-pixbuf.h>
+#include "font.hh"
+#include <gdk/gdk.h>
+#include <cmath>
+#include <list>
+
+class AbstractDviPainter : public DviLib::DviRuntime
+{
+public:
+    virtual void paint_bitmap (const unsigned char *data, 
+			       uint width, 
+			       uint height,
+			       int hoffset,
+			       int voffseth) = 0;
+    virtual ~AbstractDviPainter () {}
+};
+
+class DviFrame : public DviLib::RefCounted
+{
+public:
+    int h, v, w, x, y, z;		// in dvi units
+    DviFrame *next;
+    DviFrame *copy ();
+};
+
+class DviPainter : public AbstractDviPainter
+{
+public:
+    virtual void set_char (int ch);		// typeset ch, move w
+    virtual void put_char (int ch);		// typeset ch, don't move
+    virtual void set_rule (int height, 
+			   int width);		// rule, move (height, width)
+    virtual void put_rule (int height, 
+			   int width);		// rule, don't move
+    virtual void push (void);			// push current context
+    virtual void pop (void);			// pop ccontext
+    virtual void right (int len);		// move right len
+    virtual void w (int len);			// move right len, set w = len
+    virtual void w_rep ();			// move right w
+    virtual void x (int len);			// move right len, set x = len
+    virtual void x_rep ();			// move right x
+    virtual void down (int len);		// move down len
+    virtual void y (int len);			// move down len, set y = len
+    virtual void y_rep ();			// move down y
+    virtual void z (int len);			// move down len, set z = len
+    virtual void z_rep ();			// move down z
+    virtual void push_fontmap (std::map<int, DviLib::DviFontdefinition *> fontmap);
+    virtual void font_num (int font_num);	// current_font = fd
+    virtual void special (string spc);		// do something special
+    virtual void paint_bitmap (const unsigned char *data, 
+			       uint width, 
+			       uint height,
+			       int voffset,
+			       int hoffset);
+private:
+    GdkPixmap		*pixmap;
+    GdkGC               *gc;
+    DviLib::DviFile     *dvi_file;
+    uint		 base_dpi;
+    AbstractFontFactory *font_factory;
+
+    // runtime
+    DviLib::AbstractFont *current_font;
+    DviFrame *current_frame;		// stack of DVI frames
+
+    double scale;		// convert dvi units to pixels
+    int dvi_to_pixels (int du) 
+    { 
+	// We add base_dpi horizontally and vertically. This
+	// has the effect of adding an inch horizontally and
+	// vertically. This is just how .dvi files work ...
+	return (int)floor (0.5 + scale * du) + base_dpi; 
+    }
+    int dvi_to_pixels_no_offset (int du) 
+    { 
+	return (int)floor (0.5 + scale * du); 
+    }
+    int tfm_to_dvi (uint tfm, int at_size);
+    
+public:
+    DviPainter (GdkPixmap		*pixmap_arg,
+		GdkGC			*gc_arg,
+		DviLib::DviFile		*dvi_file_arg,
+		uint			 base_dpi_arg,
+		AbstractFontFactory	*font_factory_arg);
+    virtual ~DviPainter ();
+};
+
+#endif