version 1.15, 2004/03/09 02:53:05 |
version 1.20, 2004/09/17 02:42:58 |
|
|
/* $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.19 2004/09/05 00:51:18 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 |
|
|
|
|
|
|
extern int Quiet; |
extern int Quiet; |
extern JMP_BUF EnvOfStackMachine; |
extern JMP_BUF EnvOfStackMachine; |
|
extern int Calling_ctrlC_hook; |
|
extern int RestrictedMode, RestrictedMode_saved; |
int Format=1; /* 1 : latex mode */ |
int Format=1; /* 1 : latex mode */ |
int OutputLimit_for_TeXmacs = (1024*10); |
int OutputLimit_for_TeXmacs = (1024*10); |
|
|
Line 65 static char *readString(FILE *fp,char *prolog, char *e |
|
Line 69 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 138 main(int argc,char *argv[]) { |
|
Line 144 main(int argc,char *argv[]) { |
|
while(1) { |
while(1) { |
/* printp(sys); no prompt */ |
/* printp(sys); no prompt */ |
if (SETJMP(EnvOfStackMachine)) { |
if (SETJMP(EnvOfStackMachine)) { |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
if (!Calling_ctrlC_hook) { |
|
Calling_ctrlC_hook = 1; RestrictedMode = 0; |
|
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
|
RestrictedMode = RestrictedMode_saved; |
|
} |
|
Calling_ctrlC_hook = 0; |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
signal(SIGINT,ctrlC); |
signal(SIGINT,ctrlC); |
} |
} |
Line 192 main(int argc,char *argv[]) { |
|
Line 203 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 253 static char *readString(FILE *fp, char *prolog, char * |
|
Line 270 static char *readString(FILE *fp, char *prolog, char * |
|
fprintf(Dfp,"[%x] ",c); fflush(Dfp); |
fprintf(Dfp,"[%x] ",c); fflush(Dfp); |
#endif |
#endif |
if (c == END_OF_INPUT) { |
if (c == END_OF_INPUT) { |
|
/* If there remains data in the stream, |
|
read the remaining data. */ |
|
/* |
if (oxSocketSelect0(0,1)) { |
if (oxSocketSelect0(0,1)) { |
/* If there remains data in the stream, |
|
read the remaining data. */ |
|
if (c == '\n') c=' '; |
if (c == '\n') c=' '; |
s[n++] = c; s[n] = 0; m++; |
s[n++] = c; s[n] = 0; m++; |
INC_BUF ; |
INC_BUF ; |
continue; |
continue; |
} |
} |
|
*/ |
break; |
break; |
} |
} |
if (c == '\n') c=' '; |
if ( c == '\v') c=' '; |
s[n++] = c; s[n] = 0; m++; |
s[n++] = c; s[n] = 0; m++; |
INC_BUF ; |
INC_BUF ; |
} |
} |
Line 336 static void printl(char *s) { |
|
Line 355 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 379 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); |
} |
} |