/*****************************************************************************/ /* */ /* disdvi --- disassembles TeX dvi files. */ /* */ /* */ /* 2.25 23jan2003 M.J.E. Mol fixed bug in copying font name (name[i]) */ /* 2.24 27may96 M.J.E. Mol A few typecasts added */ /* 2.23 23jul95 M.J.E. Mol Cleanups from duz@roxi.ez.fht-mannheim.de */ /* 2.22 13dec90 M.J.E. Mol Fixed bug in num(). Cleaned up code. */ /* 2.21 03may90 M.J.E. Mol Created usage(). */ /* 2.2 02may90 M.J.E. Mol Included port to VAX/VMS VAXC by */ /* Robert Schneider. */ /* 2.1 19jan90 M.J.E. Mol Maintain a list of fonts and */ /* show fontnames in font changes. */ /* Show character code when printing ligatures */ /* 2.0 23jan89 M.J.E. Mol (c) 1989 */ /* marcel@mesa.nl */ /* */ /*****************************************************************************/ /* * dvi2tty * Copyright (C) 2003 Marcel J.E. Mol * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. * */ char *disdvi = "@(#) disdvi.c 2.25 23jan2003 M.J.E. Mol (c) 1989-1996, marcel@mesa.nl"; /* * Include files */ #include #include #if defined(MSDOS) # include #else # if !defined(THINK_C) /* Macintosh */ # include # endif #endif #include #include #include "commands.h" #if defined(THINK_C) # include "macintosh.h" #endif /* * Constant definitions */ #define LASTCHAR 127 /* max dvi character, above are commands */ #define get1() num(1) #define get2() num(2) #define get3() num(3) #define get4() num(4) #define sget1() snum(1) #define sget2() snum(2) #define sget3() snum(3) #define sget4() snum(4) /* * Type definitions */ typedef struct _font { long num; struct _font * next; char * name; } font; /* * Variable declarations */ font * fonts = NULL; FILE * dvifp; char * dvi_name; long pc = 0; char * progname; /* * Function declarations */ #if !defined(THINK_C) char * malloc (); #endif #if defined(VMS) main (int argc, char ** argv); #else void main (int argc, char ** argv); #endif void bop (void); void preamble (void); void postamble (void); void postpostamble (void); void fontdef (int x); char * fontname (unsigned long fntnum); void special (int x); void printnonprint (int ch); unsigned long num (int size); long snum (int size); void usage (void); /* * MAIN -- */ #if defined(VMS) main(int argc, char **argv) #else void main(int argc, char **argv) #endif { register int opcode; /* dvi opcode */ register int i; unsigned long fontnum; #if defined(THINK_C) argc = process_disdvi_command_line(&argv); #endif progname = *argv++; if (argc > 2) { fprintf(stderr, "To many arguments\n"); usage(); exit(1); } if (argc == 2) { if (!strcmp(*argv, "-h")) { usage(); exit(0); } if ((i = strlen(*argv)) == 0) { fprintf(stderr, "Illegal empty filename\n"); usage(); exit(2); } if ((i >= 5) && (!strcmp(*argv+i-4, ".dvi"))) dvi_name = *argv; else { dvi_name = malloc((i+5) * sizeof(char)); strcpy(dvi_name, *argv); strcat(dvi_name, ".dvi"); } if ((dvifp = fopen(dvi_name, "r")) == NULL) { perror(dvi_name); exit(3); } } else dvifp = stdin; #if defined(MSDOS) setmode(fileno(dvifp), O_BINARY); #endif while ((opcode = (int) get1()) != EOF) { /* process until end of file */ printf("%06ld: ", pc - 1); if ((opcode <= LASTCHAR) && isprint(opcode)) { printf("Char: "); while ((opcode <= LASTCHAR) && isprint(opcode)) { putchar(opcode); opcode = (int) get1(); } putchar('\n'); printf("%06ld: ", pc - 1); } if (opcode <= LASTCHAR) printnonprint(opcode); /* it must be a non-printable */ else if ((opcode >= FONT_00) && (opcode <= FONT_63)) printf("FONT_%02d /* %s */\n", opcode - FONT_00, fontname((unsigned long) opcode - FONT_00)); else switch (opcode) { case SET1 : case SET2 : case SET3 : case SET4 : printf("SET%d: %ld\n", opcode - SET1 + 1, num(opcode - SET1 + 1)); break; case SET_RULE : printf("SET_RULE: height: %ld\n", sget4()); printf("%06ld: ", pc); printf(" length: %ld\n", sget4()); break; case PUT1 : case PUT2 : case PUT3 : case PUT4 : printf("PUT%d: %ld\n", opcode - PUT1 + 1, num(opcode - PUT1 + 1)); break; case PUT_RULE : printf("PUT_RULE: height: %ld\n", sget4()); printf("%06ld: ", pc); printf(" length: %ld\n", sget4()); break; case NOP : printf("NOP\n"); break; case BOP : bop(); break; case EOP : printf("EOP\n"); break; case PUSH : printf("PUSH\n"); break; case POP : printf("POP\n"); break; case RIGHT1 : case RIGHT2 : case RIGHT3 : case RIGHT4 : printf("RIGHT%d: %ld\n", opcode - RIGHT1 + 1, snum(opcode - RIGHT1 + 1)); break; case W0 : printf("W0\n"); break; case W1 : case W2 : case W3 : case W4 : printf("W%d: %ld\n", opcode - W0, snum(opcode - W0)); break; case X0 : printf("X0\n"); break; case X1 : case X2 : case X3 : case X4 : printf("X%d: %ld\n", opcode - X0, snum(opcode - X0)); break; case DOWN1 : case DOWN2 : case DOWN3 : case DOWN4 : printf("DOWN%d: %ld\n", opcode - DOWN1 + 1, snum(opcode - DOWN1 + 1)); break; case Y0 : printf("Y0\n"); break; case Y1 : case Y2 : case Y3 : case Y4 : printf("Y%d: %ld\n", opcode - Y0, snum(opcode - Y0)); break; case Z0 : printf("Z0\n"); break; case Z1 : case Z2 : case Z3 : case Z4 : printf("Z%d: %ld\n", opcode - Z0, snum(opcode - Z0)); break; case FNT1 : case FNT2 : case FNT3 : case FNT4 : fontnum = num(opcode -FNT1 + 1); printf("FNT%d: %ld /* %s */\n", opcode - FNT1 + 1, fontnum, fontname(fontnum)); break; case XXX1 : case XXX2 : case XXX3 : case XXX4 : special(opcode - XXX1 + 1); break; case FNT_DEF1 : case FNT_DEF2 : case FNT_DEF3 : case FNT_DEF4 : fontdef(opcode - FNT_DEF1 + 1); break; case PRE : preamble(); break; case POST : postamble(); break; case POST_POST: postpostamble(); break; } } exit(0); } /* main */ /* * BOP -- Process beginning of page. */ void bop(void) { int i; printf("BOP page number : %ld", sget4()); for (i=9; i > 0; i--) { if (i % 3 == 0) printf("\n%06ld: ", pc); printf(" %6ld", sget4()); } printf("\n%06ld: ", pc); printf(" prev page offset : %06ld\n", sget4()); return; } /* bop */ /* * POSTAMBLE -- Process post amble. */ void postamble(void) { printf("POST last page offset : %06ld\n", sget4()); printf("%06ld: ", pc); printf(" numerator : %ld\n", get4()); printf("%06ld: ", pc); printf(" denominator : %ld\n", get4()); printf("%06ld: ", pc); printf(" magnification : %ld\n", get4()); printf("%06ld: ", pc); printf(" max page height : %ld\n", get4()); printf("%06ld: ", pc); printf(" max page width : %ld\n", get4()); printf("%06ld: ", pc); printf(" stack size needed: %d\n", (int) get2()); printf("%06ld: ", pc); printf(" number of pages : %d\n", (int) get2()); return; } /* postamble */ /* * PREAMBLE -- Process pre amble. */ void preamble(void) { register int i; printf("PRE version : %d\n", (int) get1()); printf("%06ld: ", pc); printf(" numerator : %ld\n", get4()); printf("%06ld: ", pc); printf(" denominator : %ld\n", get4()); printf("%06ld: ", pc); printf(" magnification : %ld\n", get4()); printf("%06ld: ", pc); i = (int) get1(); printf(" job name (%3d) :", i); while (i-- > 0) putchar((int) get1()); putchar('\n'); return; } /* preamble */ /* * POSTPOSTAMBLE -- Process post post amble. */ void postpostamble(void) { register int i; printf("POSTPOST postamble offset : %06ld\n", get4()); printf("%06ld: ", pc); printf(" version : %d\n", (int) get1()); while ((i = (int) get1()) == TRAILER) { printf("%06ld: ", pc - 1); printf("TRAILER\n"); } while (i != EOF) { printf("%06ld: ", pc - 1); printf("BAD DVI FILE END: 0x%02X\n", i); i = (int) get1(); } return; } /* postpostamble */ /* * SPECIAL -- Process special opcode. */ void special(int x) { register long len; len = num(x); printf("XXX%d: %ld bytes\n", x, len); printf("%06ld: ", pc); for (; len>0; len--) /* a bit dangerous ... */ putchar((int) get1()); /* can be non-printables */ putchar('\n'); return; } /* special */ /* * FONTDEF -- Process a font definition. */ void fontdef(int x) { register int i; char * name; font * fnt; int namelen; unsigned long fntnum; int new = 0; fntnum = num(x); printf("FNT_DEF%d: %ld\n", x, fntnum); printf("%06ld: ", pc); /* avoid side-effect on pc in get4() */ printf(" checksum : %ld\n", get4()); printf("%06ld: ", pc); printf(" scale : %ld\n", get4()); printf("%06ld: ", pc); printf(" design : %ld\n", get4()); printf("%06ld: ", pc); printf(" name : "); namelen = (int) get1() + (int) get1(); fnt = fonts; while (fnt != NULL && fnt->num != fntnum) fnt = fnt->next; if (fnt == NULL) { if ((fnt = (font *) malloc(sizeof(font))) == NULL) { perror("fontdef"); exit(1); } fnt->num = fntnum; new = 1; } else free(fnt->name); /* free old name */ if ((name = (char *) malloc((namelen+1) * sizeof(char))) == NULL) { perror("fontdef"); exit(1); } for (i = 0; i < namelen; i++) name[i] = get1(); name[i] = '\0'; fnt->name = name; if (new) { fnt->next = fonts; fonts = fnt; } printf("%s\n", name); return; } /* fontdef */ /* * FONTNAME -- Return font name. */ char * fontname(unsigned long fntnum) { font * fnt; fnt = fonts; while (fnt != NULL && fnt->num != fntnum) fnt = fnt->next; if (fnt != NULL) return fnt->name; return "unknown fontname"; } /* fontname */ /* * PRINTNONPRINT -- Translate non-printable characters. */ void printnonprint(int ch) { printf("Char: "); switch (ch) { case 11 : printf("ff /* ligature (non-printing) 0x%02X */", ch); break; case 12 : printf("fi /* ligature (non-printing) 0x%02X */", ch); break; case 13 : printf("fl /* ligature (non-printing) 0x%02X */", ch); break; case 14 : printf("ffi /* ligature (non-printing) 0x%02X */", ch); break; case 15 : printf("ffl /* ligature (non-printing) 0x%02X */", ch); break; case 16 : printf("i /* (non-printing) 0x%02X */", ch); break; case 17 : printf("j /* (non-printing) 0x%02X */", ch); break; case 25 : printf("ss /* german (non-printing) 0x%02X */", ch); break; case 26 : printf("ae /* scadinavian (non-printing) 0x%02X */", ch); break; case 27 : printf("oe /* scadinavian (non-printing) 0x%02X */", ch); break; case 28 : printf("o /* scadinavian (non-printing) 0x%02X */", ch); break; case 29 : printf("AE /* scadinavian (non-printing) 0x%02X */", ch); break; case 30 : printf("OE /* scadinavian (non-printing) 0x%02X */", ch); break; case 31 : printf("O /* scadinavian (non-printing) 0x%02X */", ch); break; default : printf("0x%02X", ch); break; } putchar('\n'); return; } /* printnonprint */ /* * NUM -- */ unsigned long num(int size) { register int i; register unsigned long x = 0; pc += size; for (i = size; i > 0; i--) x = (x << 8) + (unsigned) getc(dvifp); return x; } /* num */ /* * SNUM -- */ long snum(int size) { register int i; register long x; pc += size; x = getc(dvifp); if (x & 0x80) x -= 0x100; for (i = size - 1; i > 0; i--) x = (x << 8) + (unsigned) getc(dvifp); return x; } /* snum */ /* * USAGE -- */ void usage(void) { fprintf(stderr, "\n%s\n\n", disdvi); fprintf(stderr, " disassembles TeX dvi files\n"); fprintf(stderr, "Usage: %s [-h | [.dvi]]\n", progname); return; } /* usage */