Subversion Repositories wimsdev

Rev

Rev 8103 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
10 reyssat 1
/*    Copyright (C) 2002-2003 XIAO, Gang of Universite de Nice - Sophia Antipolis
2
 *
3
 *  This program is free software; you can redistribute it and/or modify
4
 *  it under the terms of the GNU General Public License as published by
5
 *  the Free Software Foundation; either version 2 of the License, or
6
 *  (at your option) any later version.
7
 *
8
 *  This program is distributed in the hope that it will be useful,
9
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
10
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
 *  GNU General Public License for more details.
12
 *
13
 *  You should have received a copy of the GNU General Public License
14
 *  along with this program; if not, write to the Free Software
15
 *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
16
 */
8103 bpr 17
#include "texgif.h"
10 reyssat 18
 
19
/* dvi 2 gif driver, dvi interpreter */
8103 bpr 20
#define dvi_set1        128
21
#define dvi_set2        129
22
#define dvi_set3        130
23
#define dvi_set4        131
24
#define dvi_set_rule    132
25
#define dvi_put1        133
26
#define dvi_put2        134
27
#define dvi_put3        135
28
#define dvi_put4        136
29
#define dvi_put_rule    137
30
#define dvi_nop         138
31
#define dvi_bop         139
32
#define dvi_eop         140
33
#define dvi_push        141
34
#define dvi_pop         142
35
#define dvi_right1      143
36
#define dvi_right2      144
37
#define dvi_right3      145
38
#define dvi_right4      146
39
#define dvi_w0          147
40
#define dvi_w1          148
41
#define dvi_w2          149
42
#define dvi_w3          150
43
#define dvi_w4          151
44
#define dvi_x0          152
45
#define dvi_x1          153
46
#define dvi_x2          154
47
#define dvi_x3          155
48
#define dvi_x4          156
49
#define dvi_down1       157
50
#define dvi_down2       158
51
#define dvi_down3       159
52
#define dvi_down4       160
53
#define dvi_y0          161
54
#define dvi_y1          162
55
#define dvi_y2          163
56
#define dvi_y3          164
57
#define dvi_y4          165
58
#define dvi_z0          166
59
#define dvi_z1          167
60
#define dvi_z2          168
61
#define dvi_z3          169
62
#define dvi_z4          170
63
#define dvi_fnt1        235
64
#define dvi_fnt2        236
65
#define dvi_fnt3        237
66
#define dvi_fnt4        238
67
#define dvi_xxx1        239
68
#define dvi_xxx2        240
69
#define dvi_xxx3        241
70
#define dvi_xxx4        242
71
#define dvi_fnt_def1    243
72
#define dvi_fnt_def2    244
73
#define dvi_fnt_def3    245
74
#define dvi_fnt_def4    246
75
#define dvi_pre         247
76
#define dvi_post        248
77
#define dvi_post_post   249
10 reyssat 78
 
79
unsigned char *dvibuf, *dviptr;
80
int dvilen;
81
int pass, passstop;
82
int num, den, mag;
83
int minx, maxx,miny, maxy;
84
double dviratio;
85
int dvix, dviy;
86
int d_h,d_v,d_w,d_x,d_y,d_z;
87
int d_f;
88
int pageptr;
89
struct {
90
    int minx, maxx, miny, maxy;
91
} pagedata[MAX_PAGES];
92
 
93
struct {
94
    int h,v,w,x,y,z;
95
} dvistack[DVI_STACK_LIMIT];
96
int dvistackptr;
97
 
98
#define DVI_post_post   DVI_post
99
void DVI_post(void)
100
{
101
    passstop=-1; dviptr=dvibuf+dvilen;
102
}
103
 
104
void DVI_eop(void)
105
{
106
    if(pass==1) {
107
        pagedata[pageptr].minx=minx;
108
        pagedata[pageptr].maxx=maxx;
109
        pagedata[pageptr].miny=miny;
110
        pagedata[pageptr].maxy=maxy;
111
    }
112
    else saveimage();
113
    pageptr++;
114
    if(*outfile==0 || pageptr>=MAX_PAGES) {
115
        passstop=-1; dviptr=dvibuf+dvilen;
116
    }
117
    else passstop=0;
118
}
119
 
120
void DVI_bop(void)
121
{
122
    passstop=1; dvistackptr=0;
123
    d_h=d_v=d_w=d_x=d_y=d_z=0; d_f=-1;
124
    dviptr+=44;
125
    if(pass==1) {
126
        minx=miny=65536;
127
        maxx=maxy=-1;
128
    }
129
    else {
130
        char *p;
131
        maxx=pagedata[pageptr].maxx;
132
        minx=pagedata[pageptr].minx;
133
        maxy=pagedata[pageptr].maxy;
134
        miny=pagedata[pageptr].miny;
8195 bpr 135
        if(maxx<=minx || maxy<=miny) texgif_error("Empty page.");
10 reyssat 136
        createimage(maxx-minx,maxy-miny);
137
        currentcolor=color_black;
138
        p=getenv("w_instex_color");
139
        if(p!=NULL && *p!=0) makecolor(p);
140
    }
141
}
142
 
143
void DVI_nop(void) {}
144
 
145
int DVI_put(int p)
146
{
147
    int cc, ct, x1, x2, y1, y2;
8195 bpr 148
    if(d_f<0) texgif_error("Bad dvi: trying to put non-existing font.");
10 reyssat 149
    if(p==0) cc=*dviptr; else cc=texint(dviptr+1,p);
150
    dviptr+=p;
151
    if(cc<wfont[d_f].bc || cc>wfont[d_f].ec) return -1;
152
    dvix=rint(dviratio*d_h); dviy=rint(dviratio*d_v);
153
    if(pass==1) {
154
        ct=cc-wfont[d_f].bc;
155
        x1=dvix+wfont[d_f].fh[ct].xstart; y1=dviy+wfont[d_f].fh[ct].ystart;
156
        x2=x1+wfont[d_f].fh[ct].xmax; y2=y1+wfont[d_f].fh[ct].ymax;
157
        if(minx>x1) minx=x1; if(miny>y1) miny=y1;
158
        if(maxx<x2) maxx=x2; if(maxy<y2) maxy=y2;
159
    }
160
    else {
161
        paintfont(wfont+d_f,cc,dvix-minx,dviy-miny,currentcolor);
162
    }
163
    return cc;
164
}
165
 
166
void DVI_set(int p)
167
{
168
    int cc;
169
    cc=DVI_put(p);
170
    if(cc<0) return;
171
    d_h+=wfont[d_f].fh[cc-wfont[d_f].bc].w;
172
}
173
 
174
int DVI_put_rule(void)
175
{
176
    int xxx, xx, yy, x1, y1, x2, y2, xx1, xx2, yy1, yy2;
177
    yy=texint(dviptr+1,4); xx=texint(dviptr+5,4); dviptr+=8;
178
    if(xx<=0 || yy<=0) return xx;
179
    xxx=xx;
180
    if(xx>=0) {xx=rint(dviratio*xx+blacker); if(xx>0) xx--;}
181
    else {xx=rint(dviratio*xx-blacker); if(xx<0) xx--;}
182
    if(yy>=0) {yy=rint(dviratio*yy+blacker); if(yy>0) yy--;}
183
    else {yy=rint(dviratio*yy-blacker); if(yy<0) yy--;}
184
    if(pass==1) {
185
        x1=rint(dviratio*d_h); y2=rint(dviratio*d_v);
186
        x2=x1+xx; y1=y2-yy;
187
        if(x1<x2) {xx1=x1; xx2=x2;} else {xx1=x2; xx2=x1;}
188
        if(y1<y2) {yy1=y1; yy2=y2;} else {yy1=y2; yy2=y1;}
189
        if(minx>x1) minx=x1; if(miny>y1) miny=y1;
190
        if(maxx<x2) maxx=x2; if(maxy<y2) maxy=y2;
191
    }
192
    else {
193
        x1=rint(dviratio*d_h)-minx; y1=rint(dviratio*d_v)-miny;
194
        x2=x1+xx; y2=y1-yy;
195
        if(x1<x2) {xx1=x1; xx2=x2;} else {xx1=x2; xx2=x1;}
196
        if(y1<y2) {yy1=y1; yy2=y2;} else {yy1=y2; yy2=y1;}
197
        gdImageFilledRectangle(image,xx1,yy1,xx2,yy2,currentcolor);
198
    }
199
    return xxx;
200
}
201
 
202
void DVI_set_rule(void)
203
{
204
    d_h+=DVI_put_rule();
205
}
206
 
207
void DVI_fnt_num(int p)
208
{
209
    int fnum;
210
    if(p==0) fnum=*dviptr-171; else fnum=texint(dviptr+1,p);
211
    dviptr+=p;
212
    for(d_f=0; d_f<fontcnt && wfont[d_f].num!=fnum; d_f++);
8195 bpr 213
    if(d_f>=fontcnt) texgif_error("Bad dvi: using font before defining it.");
10 reyssat 214
}
215
 
216
void DVI_fnt_def(int p)
217
{
218
    int i, fnum, fdensity;
219
    char fname[1024];
220
    unsigned long int c,s,d,a,l;
221
    double fratio;
222
    union { unsigned long c; char C[4]; } U;
223
 
8195 bpr 224
    if(fontcnt>=FONT_NUMBER_LIMIT) texgif_error("Font number exceeded design capacity.");
10 reyssat 225
    fnum=texint(++dviptr,p); dviptr+=p;
226
    for (i = 0; i <= 3; i++) U.C[i] = dviptr[i];
227
    c=U.c; dviptr+=4;
228
    s=texint(dviptr,4); dviptr+=4;
229
    d=texint(dviptr,4); dviptr+=4;
230
    a=*dviptr++; l=*dviptr++;
8195 bpr 231
    if(a+l>1000 || a+l<1) texgif_error("Bad dvi: bad font name.");
10 reyssat 232
    memmove(fname,dviptr,a+l); fname[a+l]=0; dviptr+=a+l-1;
233
    if(pass==1) {
234
        fdensity=(double) density*((double) s/d);
235
        if(loadfont(fname, c, fdensity, wfont+fontcnt)==NULL) {
8100 bpr 236
            if(loadfont("cmr10",0,fdensity,wfont+fontcnt)==NULL)
8195 bpr 237
              texgif_error("Font panick: even cmr10 cannot be found.");
10 reyssat 238
            else fprintf(stderr,"Font %s not found; replace by cmr10.\n",fname);
239
        }
240
        wfont[fontcnt].num=fnum;
241
        fratio=(double) s/wfont[fontcnt].designsize*d/65536;
242
        for(i=0;i<wfont[fontcnt].cnt; i++)
243
          wfont[fontcnt].fh[i].w=fratio*wfont[fontcnt].fh[i].w;
244
        fontcnt++;
245
    }
246
}
247
 
248
void DVI_push(void)
249
{
8195 bpr 250
    if(dvistackptr>=DVI_STACK_LIMIT) texgif_error("dvi stack overflow.");
10 reyssat 251
    dvistack[dvistackptr].h=d_h;
252
    dvistack[dvistackptr].v=d_v;
253
    dvistack[dvistackptr].w=d_w;
254
    dvistack[dvistackptr].x=d_x;
255
    dvistack[dvistackptr].y=d_y;
256
    dvistack[dvistackptr].z=d_z;
257
    dvistackptr++;
258
}
259
 
260
void DVI_pop(void)
261
{
8195 bpr 262
    if(dvistackptr<=0) texgif_error("Bad dvi file: dvi stack underflow.");
10 reyssat 263
    dvistackptr--;
264
    d_h=dvistack[dvistackptr].h;
265
    d_v=dvistack[dvistackptr].v;
266
    d_w=dvistack[dvistackptr].w;
267
    d_x=dvistack[dvistackptr].x;
268
    d_y=dvistack[dvistackptr].y;
269
    d_z=dvistack[dvistackptr].z;
270
}
271
 
272
void DVI_move(int *hv, int p)
273
{
274
    int t;
275
    t=texintsigned(dviptr+1,p); dviptr+=p;
276
    *hv+=t;
277
}
278
 
279
void DVI_move2(int *hv, int *xyz, int p)
280
{
281
    if(p>0) *xyz=texintsigned(dviptr+1,p);
282
    *hv+=*xyz;
283
    dviptr+=p;
284
}
285
 
286
void DVI_xxx(int p)
287
{
288
    int i, t;
289
    char *pp, buf[1024];
8100 bpr 290
 
10 reyssat 291
    t=texint(dviptr+1,p);
292
    if(pass<2 || t>1000) {dviptr+=t+p; return;}
293
    memmove(buf,dviptr+1+1,t); buf[t]=0;
294
    dviptr+=t+p;
295
    for(i=0;i<t;i++) buf[i]=tolower(buf[i]);
296
    if(strncmp(buf,"color",5)!=0) return;
297
    pp=find_word_start(buf+5); if(*pp!='=') return;
298
    makecolor(pp+1);
299
}
300
 
301
        /* load and interprete dvi file */
302
void dvi(void)
303
{
304
    unsigned char cc, *startpoint;
305
    char namebuf[1024];
8100 bpr 306
 
10 reyssat 307
    snprintf(namebuf,sizeof(namebuf),"%s/texgif.dvi",tmpdir);
308
    dvilen=getfile(namebuf,&dvibuf);
8195 bpr 309
    if(dvilen<=0) texgif_error("dvi file not found.");
10 reyssat 310
    dviptr=dvibuf; fontcnt=0;
311
    if(*dviptr++!=dvi_pre || *dviptr++!=2) {
8195 bpr 312
        /* baddvi: */ texgif_error("Bad dvi file header.");
10 reyssat 313
    }
314
    num=texint(dviptr,4); dviptr+=4;
315
    den=texint(dviptr,4); dviptr+=4;
316
    mag=texint(dviptr,4); dviptr+=4;
317
    cc=*dviptr++; dviptr+=cc; startpoint=dviptr;
318
    density=rint((double) compressratio*mag*basedensity/1000);
319
    dviratio=(double) num/den*density/254000;
320
printf("dvi file: num=%d, den=%d, ratio=%f, mag=%d, density=%d\n",
321
       num,den,dviratio, mag, density);
322
    for(pass=1; pass<=2; pass++) {
323
        passstop=0; d_f=-1; pageptr=0;
324
        for(dviptr=startpoint; dviptr<dvibuf+dvilen && passstop>=0; dviptr++) {
325
            if(*dviptr<128) {
326
                DVI_set(0); continue;
327
            }
328
            if(*dviptr>=171 && *dviptr<=234) {
329
                DVI_fnt_num(0); continue;
330
            }
331
            switch(*dviptr) {
332
                case dvi_set1: case dvi_set2: case dvi_set3:
333
                case dvi_set4: DVI_set(*dviptr-dvi_set1+1); break;
334
                case dvi_set_rule: DVI_set_rule(); break;
8100 bpr 335
 
10 reyssat 336
                case dvi_put1: case dvi_put2: case dvi_put3:
337
                case dvi_put4: DVI_put(*dviptr-dvi_put1+1); break;
338
                case dvi_put_rule: DVI_put_rule(); break;
8100 bpr 339
 
10 reyssat 340
                case dvi_nop: DVI_nop(); break;
341
                case dvi_bop: DVI_bop(); break;
342
                case dvi_eop: DVI_eop(); break;
343
                case dvi_push: DVI_push(); break;
344
                case dvi_pop: DVI_pop(); break;
8100 bpr 345
 
10 reyssat 346
                case dvi_right1: case dvi_right2: case dvi_right3:
347
                case dvi_right4: DVI_move(&d_h, *dviptr-dvi_right1+1); break;
8100 bpr 348
 
10 reyssat 349
                case dvi_w0: case dvi_w1: case dvi_w2: case dvi_w3:
350
                case dvi_w4: DVI_move2(&d_h, &d_w, *dviptr-dvi_w0); break;
351
                case dvi_x0: case dvi_x1: case dvi_x2: case dvi_x3:
352
                case dvi_x4: DVI_move2(&d_h, &d_x, *dviptr-dvi_x0); break;
8100 bpr 353
 
10 reyssat 354
                case dvi_down1: case dvi_down2: case dvi_down3:
355
                case dvi_down4: DVI_move(&d_v, *dviptr-dvi_down1+1); break;
8100 bpr 356
 
10 reyssat 357
                case dvi_y0: case dvi_y1: case dvi_y2: case dvi_y3:
358
                case dvi_y4: DVI_move2(&d_v, &d_y, *dviptr-dvi_y0); break;
359
                case dvi_z0: case dvi_z1: case dvi_z2: case dvi_z3:
360
                case dvi_z4: DVI_move2(&d_v, &d_z, *dviptr-dvi_z0); break;
8100 bpr 361
 
10 reyssat 362
                case dvi_fnt1: case dvi_fnt2: case dvi_fnt3:
363
                case dvi_fnt4: DVI_fnt_num(*dviptr-dvi_fnt1+1); break;
8100 bpr 364
 
10 reyssat 365
                case dvi_xxx1: case dvi_xxx2: case dvi_xxx3:
366
                case dvi_xxx4: DVI_xxx(*dviptr-dvi_xxx1+1); break;
8100 bpr 367
 
10 reyssat 368
                case dvi_fnt_def1: case dvi_fnt_def2: case dvi_fnt_def3:
369
                case dvi_fnt_def4: DVI_fnt_def(*dviptr-dvi_fnt_def1+1); break;
8100 bpr 370
 
8195 bpr 371
                case dvi_pre: texgif_error("Bad dvi file: pre within file.");
10 reyssat 372
                case dvi_post: DVI_post(); break;
373
                case dvi_post_post: DVI_post_post(); break;
8100 bpr 374
 
8195 bpr 375
                default: texgif_error("Bad dvi file: unknown command.");
10 reyssat 376
            }
377
        }
378
    }
379
    free(dvibuf);
380
}
381