version 1.15, 2004/03/09 02:53:05 |
version 1.17, 2004/03/11 03:32:46 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.14 2004/03/04 12:29:58 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.16 2004/03/09 07:10:46 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
|
|
#define DATA_BEGIN_V "<S type=verbatim>" /* "\002verbatim:" */ |
#define DATA_BEGIN_V "<S type=verbatim>" /* "\002verbatim:" */ |
#define DATA_BEGIN_L "<S type=latex>" /* "\002latex:" */ |
#define DATA_BEGIN_L "<S type=latex>" /* "\002latex:" */ |
#define DATA_BEGIN_P "<S type=prompt>" /* "\002channel:prompt " */ |
#define DATA_BEGIN_P "<S type=prompt>" /* "\002channel:prompt " */ |
|
#define DATA_BEGIN_PS "<S type=postscript>" /* "\002ps: " */ |
#define DATA_END "</S>" /* "\005" */ |
#define DATA_END "</S>" /* "\005" */ |
#else |
#else |
#define DATA_BEGIN_V "\002verbatim:" |
#define DATA_BEGIN_V "\002verbatim:" |
#define DATA_BEGIN_L "\002latex:" |
#define DATA_BEGIN_L "\002latex:" |
#define DATA_BEGIN_P "\002prompt:" |
#define DATA_BEGIN_P "\002prompt:" |
|
#define DATA_BEGIN_PS "\002ps:" |
#define DATA_END "\005" |
#define DATA_END "\005" |
#endif |
#endif |
|
|
Line 65 static char *readString(FILE *fp,char *prolog, char *e |
|
Line 67 static char *readString(FILE *fp,char *prolog, char *e |
|
static void printv(char *s); |
static void printv(char *s); |
static void printl(char *s); |
static void printl(char *s); |
static void printp(char *s); |
static void printp(char *s); |
|
static void printps(char *s); |
static void printCopyright(char *s); |
static void printCopyright(char *s); |
static int startEngine(int type,char *msg); |
static int startEngine(int type,char *msg); |
|
static int isPS(char *s); |
|
|
/* tail -f /tmp/debug-texmacs.txt |
/* tail -f /tmp/debug-texmacs.txt |
Debug output to understand the timing problem of pipe interface. |
Debug output to understand the timing problem of pipe interface. |
Line 192 main(int argc,char *argv[]) { |
|
Line 196 main(int argc,char *argv[]) { |
|
KSexecuteString(" ox.engine oxpopstring "); |
KSexecuteString(" ox.engine oxpopstring "); |
r = KSpopString(); |
r = KSpopString(); |
} |
} |
if (strlen(r) < OutputLimit_for_TeXmacs) { |
if (isPS(r)) { |
if (vmode) printv(r); else printl(r); |
printps(r); |
} else printv("Output is too large.\n"); |
}else{ |
|
if (vmode) printv(r); |
|
else{ |
|
if (strlen(r) < OutputLimit_for_TeXmacs) { |
|
printl(r); |
|
} else printv("Output is too large.\n"); |
|
} |
|
} |
}else{ |
}else{ |
if (!TM_do_not_print) { |
if (!TM_do_not_print) { |
KSexecuteString(" ox.engine oxpopstring "); |
KSexecuteString(" ox.engine oxpopstring "); |
r = KSpopString(); |
r = KSpopString(); |
if (strlen(r) < OutputLimit_for_TeXmacs) printv(r); |
printv(r); |
else printv("Output is too large.\n"); |
|
}else{ |
}else{ |
KSexecuteString(" ox.engine 1 oxpops "); /* Discard the result. */ |
KSexecuteString(" ox.engine 1 oxpops "); /* Discard the result. */ |
/* Push and pop dummy data to wait until the computation finishes. */ |
/* Push and pop dummy data to wait until the computation finishes. */ |
Line 336 static void printl(char *s) { |
|
Line 346 static void printl(char *s) { |
|
printf("%s",DATA_END); |
printf("%s",DATA_END); |
fflush(NULL); |
fflush(NULL); |
} |
} |
|
static int isPS(char *s) { |
|
if (s[0] != '%') return 0; |
|
if (s[1] != '%') return 0; |
|
if (s[2] != '!') return 0; |
|
if (s[3] != 'P') return 0; |
|
if (s[4] != 'S') return 0; |
|
return 1; |
|
} |
|
static void printps(char *s) { |
|
printf("%s",DATA_BEGIN_PS); |
|
printf("%s",s); |
|
printf("%s",DATA_END); |
|
fflush(NULL); |
|
} |
static void printp(char *s) { |
static void printp(char *s) { |
printf("%s",DATA_BEGIN_P); |
printf("%s",DATA_BEGIN_P); |
printf("%s",DATA_END); |
printf("%s",DATA_END); |
Line 346 static void printCopyright(char *s) { |
|
Line 370 static void printCopyright(char *s) { |
|
printf("%s",DATA_BEGIN_V); |
printf("%s",DATA_BEGIN_V); |
if (! NoCopyright) { |
if (! NoCopyright) { |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
printf(" under the BSD licence. !asir; !sm1; !k0; !verbatim;\n"); |
printf(" under the BSD license. !asir; !sm1; !k0; !verbatim;\n"); |
printf("Type in !reset; when the engine gets confused. "); |
printf("Type in !reset; when the engine gets confused. "); |
printf("%s",s); |
printf("%s",s); |
} |
} |