+static char*getFontID(GfxFont*font);
+
+class InfoOutputDev: public OutputDev
+{
+ public:
+ int x1,y1,x2,y2;
+ int num_links;
+ int num_images;
+ int num_fonts;
+
+ InfoOutputDev()
+ {
+ num_links = 0;
+ num_images = 0;
+ num_fonts = 0;
+ }
+ virtual ~InfoOutputDev()
+ {
+ }
+ virtual GBool upsideDown() {return gTrue;}
+ virtual GBool useDrawChar() {return gTrue;}
+ virtual GBool useGradients() {return gTrue;}
+ virtual GBool interpretType3Chars() {return gTrue;}
+ virtual void startPage(int pageNum, GfxState *state, double crop_x1, double crop_y1, double crop_x2, double crop_y2)
+ {
+ double x1,y1,x2,y2;
+ state->transform(crop_x1,crop_y1,&x1,&y1);
+ state->transform(crop_x2,crop_y2,&x2,&y2);
+ if(x2<x1) {double x3=x1;x1=x2;x2=x3;}
+ if(y2<y1) {double y3=y1;y1=y2;y2=y3;}
+ this->x1 = (int)x1;
+ this->y1 = (int)y1;
+ this->x2 = (int)x2;
+ this->y2 = (int)y2;
+ }
+ virtual void drawLink(Link *link, Catalog *catalog)
+ {
+ num_links++;
+ }
+ virtual void updateFont(GfxState *state)
+ {
+ GfxFont*font = state->getFont();
+ if(!font)
+ return;
+ char*id = getFontID(font);
+ /* FIXME*/
+ num_fonts++;
+ }
+ virtual void drawImageMask(GfxState *state, Object *ref, Stream *str,
+ int width, int height, GBool invert,
+ GBool inlineImg)
+ {
+ num_images++;
+ }
+ virtual void drawImage(GfxState *state, Object *ref, Stream *str,
+ int width, int height, GfxImageColorMap *colorMap,
+ int *maskColors, GBool inlineImg)
+ {
+ num_images++;
+ }
+};
+
+SWFOutputDev::SWFOutputDev()
+{
+ jpeginfo = 0;
+ ttfinfo = 0;
+ linkinfo = 0;
+ pbminfo = 0;
+ type3active = 0;
+ clippos = 0;
+ clipping[clippos] = 0;
+ outputstarted = 0;
+ xref = 0;
+ picpos = 0;
+ pic_id = 0;
+ substitutepos = 0;
+ type3Warning = 0;
+ user_movex = 0;
+ user_movey = 0;
+ user_clipx1 = 0;
+ user_clipy1 = 0;
+ user_clipx2 = 0;
+ user_clipy2 = 0;
+ memset(&output, 0, sizeof(output));
+// printf("SWFOutputDev::SWFOutputDev() \n");
+};
+
+void SWFOutputDev::setMove(int x,int y)
+{
+ this->user_movex = x;
+ this->user_movey = y;
+}
+
+void SWFOutputDev::setClip(int x1,int y1,int x2,int y2)
+{
+ if(x2<x1) {int x3=x1;x1=x2;x2=x3;}
+ if(y2<y1) {int y3=y1;y1=y2;y2=y3;}
+
+ this->user_clipx1 = x1;
+ this->user_clipy1 = y1;
+ this->user_clipx2 = x2;
+ this->user_clipy2 = y2;
+}
+void SWFOutputDev::getDimensions(int*x1,int*y1,int*x2,int*y2)
+{
+ if(x1) *x1 = output.swf.movieSize.xmin/20;
+ if(y1) *y1 = output.swf.movieSize.ymin/20;
+ if(x2) *x2 = output.swf.movieSize.xmax/20;
+ if(y2) *y2 = output.swf.movieSize.ymax/20;
+}
+
+static char*getFontID(GfxFont*font)
+{
+ GString*gstr = font->getName();
+ char* fontname = gstr==0?0:gstr->getCString();
+ if(fontname==0) {
+ char buf[32];
+ Ref*r=font->getID();
+ sprintf(buf, "UFONT%d", r->num);
+ return strdup(buf);
+ }
+ return strdup(fontname);
+}
+
+static char*getFontName(GfxFont*font)
+{
+ char*fontid = getFontID(font);
+ char*fontname= 0;
+ char* plus = strchr(fontid, '+');
+ if(plus && plus < &fontid[strlen(fontid)-1]) {
+ fontname = strdup(plus+1);
+ } else {
+ fontname = strdup(fontid);
+ }
+ free(fontid);
+ return fontname;
+}
+
+static char mybuf[1024];
+static char* gfxstate2str(GfxState *state)