1234567891011121314151617 |
- /* javaglb.h: Copyright (C) Codemist Ltd., 1996. */
- extern int debugging;
-
- extern void jsyserr(char *fmt, ...);
- extern void jdebug(char *fmt, ...);
- extern void *jmalloc(unsigned32 n);
- extern void *jfree(void *p);
- extern ClassFile *rdClassFile(char *name);
- extern ClassFile *rdClassFILE1(FILE *file, char *name);
- extern void javaint(ClassFile *);
- extern void javadecode(unsigned8 *code, unsigned32 len, Cp_Info *cp, unsigned32 cplen);
- extern char *jdecodeopname(unsigned32 op);
- extern ClassFile java_PrintStream;
- /* end of javaglb.h */
|