1 020c8058 2005-01-04 devnull #include <u.h>
2 020c8058 2005-01-04 devnull #include <libc.h>
3 020c8058 2005-01-04 devnull #include <draw.h>
4 020c8058 2005-01-04 devnull #include <event.h>
5 020c8058 2005-01-04 devnull #include <bio.h>
6 020c8058 2005-01-04 devnull #include "proof.h"
8 020c8058 2005-01-04 devnull char fname[NFONT][20]; /* font names */
9 020c8058 2005-01-04 devnull char lastload[NFONT][20]; /* last file name prefix loaded for this font */
10 020c8058 2005-01-04 devnull Font *fonttab[NFONT][NSIZE]; /* pointers to fonts */
11 020c8058 2005-01-04 devnull int fmap[NFONT]; /* what map to use with this font */
13 020c8058 2005-01-04 devnull static void loadfont(int, int);
14 020c8058 2005-01-04 devnull static void fontlookup(int, char *);
15 020c8058 2005-01-04 devnull static void buildxheight(Biobuf*);
16 020c8058 2005-01-04 devnull static void buildmap(Biobuf*);
17 020c8058 2005-01-04 devnull static void buildtroff(char *);
18 020c8058 2005-01-04 devnull static void addmap(int, char *, int);
19 020c8058 2005-01-04 devnull static char *map(Rune*, int);
20 020c8058 2005-01-04 devnull static void scanstr(char *, char *, char **);
22 020c8058 2005-01-04 devnull int specfont; /* somehow, number of special font */
24 020c8058 2005-01-04 devnull #define NMAP 5
25 020c8058 2005-01-04 devnull #define QUICK 2048 /* char values less than this are quick to look up */
26 020c8058 2005-01-04 devnull #define eq(s,t) strcmp((char *) s, (char *) t) == 0
28 020c8058 2005-01-04 devnull int curmap = -1; /* what map are we working on */
30 020c8058 2005-01-04 devnull typedef struct Link Link;
31 020c8058 2005-01-04 devnull struct Link /* link names together */
33 020c8058 2005-01-04 devnull uchar *name;
35 020c8058 2005-01-04 devnull Link *next;
38 020c8058 2005-01-04 devnull typedef struct Map Map;
39 020c8058 2005-01-04 devnull struct Map /* holds a mapping from uchar name to index */
41 020c8058 2005-01-04 devnull double xheight;
42 020c8058 2005-01-04 devnull Rune quick[QUICK]; /* low values get special treatment */
43 020c8058 2005-01-04 devnull Link *slow; /* other stuff goes into a link list */
46 020c8058 2005-01-04 devnull Map charmap[5];
48 020c8058 2005-01-04 devnull typedef struct Fontmap Fontmap;
49 020c8058 2005-01-04 devnull struct Fontmap /* mapping from troff name to filename */
51 020c8058 2005-01-04 devnull char *troffname;
52 020c8058 2005-01-04 devnull char *prefix;
53 020c8058 2005-01-04 devnull int map; /* which charmap to use for this font */
54 020c8058 2005-01-04 devnull char *fallback; /* font to look in if can't find char here */
57 020c8058 2005-01-04 devnull Fontmap fontmap[100];
58 020c8058 2005-01-04 devnull int pos2fontmap[NFONT]; /* indexed by troff font position, gives Fontmap */
59 020c8058 2005-01-04 devnull int nfontmap = 0; /* how many are there */
63 020c8058 2005-01-04 devnull dochar(Rune r[])
65 020c8058 2005-01-04 devnull char *s, *fb;
68 020c8058 2005-01-04 devnull int fontno, fm, i;
69 020c8058 2005-01-04 devnull char buf[10];
71 020c8058 2005-01-04 devnull fontno = curfont;
72 020c8058 2005-01-04 devnull if((s = map(r, curfont)) == 0){ /* not on current font */
73 020c8058 2005-01-04 devnull if ((s = map(r, specfont)) != 0) /* on special font */
74 020c8058 2005-01-04 devnull fontno = specfont;
76 020c8058 2005-01-04 devnull /* look for fallback */
77 020c8058 2005-01-04 devnull fm = pos2fontmap[curfont];
78 020c8058 2005-01-04 devnull fb = fontmap[fm].fallback;
80 020c8058 2005-01-04 devnull /* see if fallback is mounted */
81 020c8058 2005-01-04 devnull for(i = 0; i < NFONT; i++){
82 020c8058 2005-01-04 devnull if(eq(fb, fontmap[pos2fontmap[i]].troffname)){
83 020c8058 2005-01-04 devnull s = map(r, i);
85 020c8058 2005-01-04 devnull fontno = i;
86 020c8058 2005-01-04 devnull goto found;
91 020c8058 2005-01-04 devnull /* no such char; use name itself on defont */
92 020c8058 2005-01-04 devnull /* this is not a general solution */
93 020c8058 2005-01-04 devnull p.x = hpos/DIV + xyoffset.x + offset.x;
94 020c8058 2005-01-04 devnull p.y = vpos/DIV + xyoffset.y + offset.y;
95 020c8058 2005-01-04 devnull p.y -= font->ascent;
96 020c8058 2005-01-04 devnull sprint(buf, "%S", r);
97 020c8058 2005-01-04 devnull string(screen, p, display->black, ZP, font, buf);
102 020c8058 2005-01-04 devnull p.x = hpos/DIV + xyoffset.x + offset.x;
103 020c8058 2005-01-04 devnull p.y = vpos/DIV + xyoffset.y + offset.y;
104 020c8058 2005-01-04 devnull while ((f = fonttab[fontno][cursize]) == 0)
105 020c8058 2005-01-04 devnull loadfont(fontno, cursize);
106 020c8058 2005-01-04 devnull p.y -= f->ascent;
107 020c8058 2005-01-04 devnull dprint(2, "putting %S at %d,%d font %d, size %d\n", r, p.x, p.y, fontno, cursize);
108 020c8058 2005-01-04 devnull string(screen, p, display->black, ZP, f, s);
111 020c8058 2005-01-04 devnull static int drawlog2[] = {
114 020c8058 2005-01-04 devnull 2, 2, 2, 2,
115 020c8058 2005-01-04 devnull 3, 3, 3, 3, 3, 3, 3, 3,
116 020c8058 2005-01-04 devnull 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,
120 020c8058 2005-01-04 devnull static void
121 020c8058 2005-01-04 devnull loadfont(int n, int s)
123 020c8058 2005-01-04 devnull char file[100];
124 020c8058 2005-01-04 devnull int i, fd, t, deep;
125 020c8058 2005-01-04 devnull static char *try[3] = {"", "times/R.", "pelm/"};
126 020c8058 2005-01-04 devnull Subfont *f;
127 020c8058 2005-01-04 devnull Font *ff;
129 020c8058 2005-01-04 devnull try[0] = fname[n];
130 020c8058 2005-01-04 devnull dprint(2, "loadfont %d %d\n", n, s);
131 020c8058 2005-01-04 devnull for (t = 0; t < 3; t++){
132 020c8058 2005-01-04 devnull i = s * mag * charmap[fmap[n]].xheight/0.72; /* a pixel is 0.72 points */
133 020c8058 2005-01-04 devnull if (i < MINSIZE)
134 020c8058 2005-01-04 devnull i = MINSIZE;
135 020c8058 2005-01-04 devnull dprint(2, "size %d, i %d, mag %g\n", s, i, mag);
136 020c8058 2005-01-04 devnull for(; i >= MINSIZE; i--){
137 020c8058 2005-01-04 devnull /* if .font file exists, take that */
138 020c8058 2005-01-04 devnull sprint(file, "%s/%s%d.font", libfont, try[t], i);
139 020c8058 2005-01-04 devnull ff = openfont(display, file);
140 020c8058 2005-01-04 devnull if(ff != 0){
141 020c8058 2005-01-04 devnull fonttab[n][s] = ff;
142 020c8058 2005-01-04 devnull dprint(2, "using %s for font %d %d\n", file, n, s);
145 020c8058 2005-01-04 devnull /* else look for a subfont file */
146 020c8058 2005-01-04 devnull for (deep = drawlog2[screen->depth]; deep >= 0; deep--){
147 020c8058 2005-01-04 devnull sprint(file, "%s/%s%d.%d", libfont, try[t], i, deep);
148 020c8058 2005-01-04 devnull dprint(2, "trying %s for %d\n", file, i);
149 020c8058 2005-01-04 devnull if ((fd = open(file, 0)) >= 0){
150 020c8058 2005-01-04 devnull f = readsubfont(display, file, fd, 0);
151 020c8058 2005-01-04 devnull if (f == 0) {
152 020c8058 2005-01-04 devnull fprint(2, "can't rdsubfontfile %s: %r\n", file);
153 020c8058 2005-01-04 devnull exits("rdsubfont");
155 020c8058 2005-01-04 devnull close(fd);
156 020c8058 2005-01-04 devnull ff = mkfont(f, 0);
157 020c8058 2005-01-04 devnull if(ff == 0){
158 020c8058 2005-01-04 devnull fprint(2, "can't mkfont %s: %r\n", file);
159 020c8058 2005-01-04 devnull exits("rdsubfont");
161 020c8058 2005-01-04 devnull fonttab[n][s] = ff;
162 020c8058 2005-01-04 devnull dprint(2, "using %s for font %d %d\n", file, n, s);
168 020c8058 2005-01-04 devnull fprint(2, "can't find font %s.%d or substitute, quitting\n", fname[n], s);
169 020c8058 2005-01-04 devnull exits("no font");
173 020c8058 2005-01-04 devnull loadfontname(int n, char *s)
176 020c8058 2005-01-04 devnull Font *f, *g = 0;
178 020c8058 2005-01-04 devnull if (strcmp(s, fname[n]) == 0)
180 020c8058 2005-01-04 devnull if(fname[n] && fname[n][0]){
181 020c8058 2005-01-04 devnull if(lastload[n] && strcmp(lastload[n], fname[n]) == 0)
183 020c8058 2005-01-04 devnull strcpy(lastload[n], fname[n]);
185 020c8058 2005-01-04 devnull fontlookup(n, s);
186 020c8058 2005-01-04 devnull for (i = 0; i < NSIZE; i++)
187 020c8058 2005-01-04 devnull if (f = fonttab[n][i]){
188 020c8058 2005-01-04 devnull if (f != g) {
189 020c8058 2005-01-04 devnull freefont(f);
192 020c8058 2005-01-04 devnull fonttab[n][i] = 0;
197 020c8058 2005-01-04 devnull allfree(void)
201 020c8058 2005-01-04 devnull for (i=0; i<NFONT; i++)
202 020c8058 2005-01-04 devnull loadfontname(i, "??");
207 020c8058 2005-01-04 devnull readmapfile(char *file)
209 020c8058 2005-01-04 devnull Biobuf *fp;
210 020c8058 2005-01-04 devnull char *p, cmd[100];
212 020c8058 2005-01-04 devnull if ((fp=Bopen(file, OREAD)) == 0){
213 020c8058 2005-01-04 devnull fprint(2, "proof: can't open map file %s\n", file);
214 020c8058 2005-01-04 devnull exits("urk");
216 020c8058 2005-01-04 devnull while((p=Brdline(fp, '\n')) != 0) {
217 020c8058 2005-01-04 devnull p[Blinelen(fp)-1] = 0;
218 020c8058 2005-01-04 devnull scanstr(p, cmd, 0);
219 020c8058 2005-01-04 devnull if(p[0]=='\0' || eq(cmd, "#")) /* skip comments, empty */
220 020c8058 2005-01-04 devnull continue;
221 020c8058 2005-01-04 devnull else if(eq(cmd, "xheight"))
222 020c8058 2005-01-04 devnull buildxheight(fp);
223 020c8058 2005-01-04 devnull else if(eq(cmd, "map"))
224 020c8058 2005-01-04 devnull buildmap(fp);
225 020c8058 2005-01-04 devnull else if(eq(cmd, "special"))
226 020c8058 2005-01-04 devnull buildtroff(p);
227 020c8058 2005-01-04 devnull else if(eq(cmd, "troff"))
228 020c8058 2005-01-04 devnull buildtroff(p);
230 020c8058 2005-01-04 devnull fprint(2, "weird map line %s\n", p);
232 020c8058 2005-01-04 devnull Bterm(fp);
235 020c8058 2005-01-04 devnull static void
236 020c8058 2005-01-04 devnull buildxheight(Biobuf *fp) /* map goes from char name to value to print via *string() */
238 020c8058 2005-01-04 devnull char *line;
240 020c8058 2005-01-04 devnull line = Brdline(fp, '\n');
241 020c8058 2005-01-04 devnull if(line == 0){
242 020c8058 2005-01-04 devnull fprint(2, "proof: bad map file\n");
243 020c8058 2005-01-04 devnull exits("map");
245 020c8058 2005-01-04 devnull charmap[curmap].xheight = atof(line);
248 020c8058 2005-01-04 devnull static void
249 020c8058 2005-01-04 devnull buildmap(Biobuf *fp) /* map goes from char name to value to print via *string() */
251 020c8058 2005-01-04 devnull uchar *p, *line, ch[100];
252 020c8058 2005-01-04 devnull int val;
255 020c8058 2005-01-04 devnull curmap++;
256 020c8058 2005-01-04 devnull if(curmap >= NMAP){
257 020c8058 2005-01-04 devnull fprint(2, "proof: out of char maps; recompile\n");
258 020c8058 2005-01-04 devnull exits("charmap");
260 020c8058 2005-01-04 devnull while ((line = Brdline(fp, '\n'))!= 0){
261 020c8058 2005-01-04 devnull if (line[0] == '\n')
263 020c8058 2005-01-04 devnull line[Blinelen(fp)-1] = 0;
264 020c8058 2005-01-04 devnull scanstr((char *) line, (char *) ch, (char **)(void*)&p);
265 020c8058 2005-01-04 devnull if (ch[0] == '\0') {
266 020c8058 2005-01-04 devnull fprint(2, "bad map file line '%s'\n", (char*)line);
267 020c8058 2005-01-04 devnull continue;
269 020c8058 2005-01-04 devnull val = strtol((char *) p, 0, 10);
270 020c8058 2005-01-04 devnull dprint(2, "buildmap %s (%x %x) %s %d\n", (char*)ch, ch[0], ch[1], (char*)p, val);
271 020c8058 2005-01-04 devnull chartorune(&r, (char*)ch);
272 020c8058 2005-01-04 devnull if(utflen((char*)ch)==1 && r<QUICK)
273 020c8058 2005-01-04 devnull charmap[curmap].quick[r] = val;
275 020c8058 2005-01-04 devnull addmap(curmap, strdup((char *) ch), val); /* put somewhere else */
279 020c8058 2005-01-04 devnull static void
280 020c8058 2005-01-04 devnull addmap(int n, char *s, int val) /* stick a new link on */
282 020c8058 2005-01-04 devnull Link *p = (Link *) malloc(sizeof(Link));
283 020c8058 2005-01-04 devnull Link *prev = charmap[n].slow;
285 020c8058 2005-01-04 devnull if(p == 0)
286 020c8058 2005-01-04 devnull exits("out of memory in addmap");
287 020c8058 2005-01-04 devnull p->name = (uchar *) s;
288 020c8058 2005-01-04 devnull p->val = val;
289 020c8058 2005-01-04 devnull p->next = prev;
290 020c8058 2005-01-04 devnull charmap[n].slow = p;
293 020c8058 2005-01-04 devnull static void
294 020c8058 2005-01-04 devnull buildtroff(char *buf) /* map troff names into bitmap filenames */
295 020c8058 2005-01-04 devnull { /* e.g., R -> times/R., I -> times/I., etc. */
296 020c8058 2005-01-04 devnull char *p, cmd[100], name[200], prefix[400], fallback[100];
298 020c8058 2005-01-04 devnull scanstr(buf, cmd, &p);
299 020c8058 2005-01-04 devnull scanstr(p, name, &p);
300 020c8058 2005-01-04 devnull scanstr(p, prefix, &p);
301 020c8058 2005-01-04 devnull while(*p!=0 && isspace(*p))
303 020c8058 2005-01-04 devnull if(*p != 0){
304 020c8058 2005-01-04 devnull scanstr(p, fallback, &p);
305 020c8058 2005-01-04 devnull fontmap[nfontmap].fallback = strdup(fallback);
307 020c8058 2005-01-04 devnull fontmap[nfontmap].fallback = 0;
308 020c8058 2005-01-04 devnull fontmap[nfontmap].troffname = strdup(name);
309 020c8058 2005-01-04 devnull fontmap[nfontmap].prefix = strdup(prefix);
310 020c8058 2005-01-04 devnull fontmap[nfontmap].map = curmap;
311 020c8058 2005-01-04 devnull dprint(2, "troff name %s is bitmap %s map %d in slot %d fallback %s\n", name, prefix, curmap, nfontmap, fontmap[nfontmap].fallback? fontmap[nfontmap].fallback : "<null>");
312 020c8058 2005-01-04 devnull nfontmap++;
315 020c8058 2005-01-04 devnull static void
316 020c8058 2005-01-04 devnull fontlookup(int n, char *s) /* map troff name of s into position n */
320 020c8058 2005-01-04 devnull for(i = 0; i < nfontmap; i++)
321 020c8058 2005-01-04 devnull if (eq(s, fontmap[i].troffname)) {
322 020c8058 2005-01-04 devnull strcpy(fname[n], fontmap[i].prefix);
323 020c8058 2005-01-04 devnull fmap[n] = fontmap[i].map;
324 020c8058 2005-01-04 devnull pos2fontmap[n] = i;
325 020c8058 2005-01-04 devnull if (eq(s, "S"))
326 020c8058 2005-01-04 devnull specfont = n;
327 020c8058 2005-01-04 devnull dprint(2, "font %d %s is %s\n", n, s, fname[n]);
330 020c8058 2005-01-04 devnull /* god help us if this font isn't there */
334 020c8058 2005-01-04 devnull static char *
335 020c8058 2005-01-04 devnull map(Rune rp[], int font) /* figure out mapping for char in this font */
337 020c8058 2005-01-04 devnull static char s[100];
338 020c8058 2005-01-04 devnull char c[10];
339 020c8058 2005-01-04 devnull Link *p;
342 020c8058 2005-01-04 devnull if(rp[1]==0 && rp[0]<QUICK) /* fast lookup */
343 020c8058 2005-01-04 devnull r = charmap[fmap[font]].quick[rp[0]];
344 020c8058 2005-01-04 devnull else { /* high-valued or compound character name */
345 020c8058 2005-01-04 devnull sprint(c, "%S", rp);
347 020c8058 2005-01-04 devnull for (p = charmap[fmap[font]].slow; p; p = p->next)
348 020c8058 2005-01-04 devnull if(eq(c, p->name)){
349 020c8058 2005-01-04 devnull r = p->val;
353 020c8058 2005-01-04 devnull if(r == 0){ /* not there */
354 020c8058 2005-01-04 devnull dprint(2, "didn't find %S font# %d\n", rp, font);
355 020c8058 2005-01-04 devnull return 0;
357 020c8058 2005-01-04 devnull dprint(2, "map %S to %s font# %d\n", rp, s, font);
358 020c8058 2005-01-04 devnull s[runetochar(s, &r)] = 0;
359 020c8058 2005-01-04 devnull return s;
362 020c8058 2005-01-04 devnull static void
363 020c8058 2005-01-04 devnull scanstr(char *s, char *ans, char **ep)
365 020c8058 2005-01-04 devnull for (; isspace((uchar) *s); s++)
367 020c8058 2005-01-04 devnull for (; *s!=0 && !isspace((uchar) *s); )
368 020c8058 2005-01-04 devnull *ans++ = *s++;
369 020c8058 2005-01-04 devnull *ans = 0;
371 020c8058 2005-01-04 devnull *ep = s;