version 1.3, 2004/02/29 13:02:44 |
version 1.5, 2004/03/01 09:37:05 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.2 2004/02/29 08:19:54 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.4 2004/03/01 07:55:38 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
|
|
*/ |
*/ |
#define END_OF_INPUT '\n' |
#define END_OF_INPUT '\n' |
|
|
|
/* Table for the engine type. */ |
|
#define ASIR 1 |
|
#define SM1 2 |
|
#define K0 3 |
|
|
extern int Quiet; |
extern int Quiet; |
extern JMP_BUF EnvOfStackMachine; |
extern JMP_BUF EnvOfStackMachine; |
int Format=1; /* 1 : latex mode */ |
int Format=1; /* 1 : latex mode */ |
int OutputLimit_for_TeXmacs = (1024*10); |
int OutputLimit_for_TeXmacs = (1024*10); |
|
|
|
int TM_Engine = ASIR ; |
|
int TM_asirStarted = 0; |
|
int TM_sm1Started = 0; |
|
int TM_k0Started = 0; |
|
|
void ctrlC(); |
void ctrlC(); |
struct object KpoString(char *s); |
struct object KpoString(char *s); |
char *KSpopString(void); |
char *KSpopString(void); |
Line 52 static void printv(char *s); |
|
Line 62 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 printCopyright(char *s); |
static void printCopyright(char *s); |
|
static int startEngine(int type,char *msg); |
|
|
/* 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. |
|
|
char *sys; |
char *sys; |
struct object ob; |
struct object ob; |
int irt=0; |
int irt=0; |
|
int vmode=1; |
|
|
#ifdef DEBUG2 |
#ifdef DEBUG2 |
Dfp = fopen("/tmp/debug-texmacs.txt","w"); |
Dfp = fopen("/tmp/debug-texmacs.txt","w"); |
|
|
/* Load ox engine here */ |
/* Load ox engine here */ |
/* engine id should be set to ox.engine */ |
/* engine id should be set to ox.engine */ |
KSexecuteString(" [(parse) (ox.sm1) pushfile] extension "); |
KSexecuteString(" [(parse) (ox.sm1) pushfile] extension "); |
KSexecuteString(" asirconnectr /ox.engine oxasir.ccc def "); |
startEngine(TM_Engine," "); |
|
|
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
signal(SIGINT,ctrlC); |
signal(SIGINT,ctrlC); |
|
|
printf("%s",DATA_END); fflush(stdout); |
printf("%s",DATA_END); fflush(stdout); |
} |
} |
irt = 0; |
irt = 0; |
s=readString(stdin, "if (1) { ", " ; }else{ };"); /* see test data */ |
if (TM_Engine == K0) { |
if (s == NULL) break; |
s=readString(stdin, " ", " "); /* see test data */ |
|
}else if (TM_Engine == SM1) { |
|
s=readString(stdin, " ", " "); /* see test data */ |
|
}else{ |
|
s=readString(stdin, "if (1) { ", " ; }else{ }"); /* see test data */ |
|
} |
|
|
|
if (s == NULL) { irt = 1; continue; } |
printf("%s",DATA_BEGIN_V); |
printf("%s",DATA_BEGIN_V); |
KSexecuteString(" ox.engine "); |
KSexecuteString(" ox.engine "); |
ob = KpoString(s); |
ob = KpoString(s); |
|
|
/* Get the result in string. */ |
/* Get the result in string. */ |
if (Format == 1) { |
if (Format == 1) { |
/* translate to latex form */ |
/* translate to latex form */ |
KSexecuteString(" ox.engine 1 oxpushcmo ox.engine (print_tex_form) oxexec "); |
KSexecuteString(" ox.engine oxpushcmotag ox.engine oxpopcmo "); |
KSexecuteString(" ox.engine oxpopstring "); |
ob = KSpop(); |
r = KSpopString(); |
vmode = 0; |
if (strlen(r) < OutputLimit_for_TeXmacs) printl(r); |
/* printf("id=%d\n",ob.tag); bug: matrix return 17 instead of Sinteger |
else printv("Output is too large.\n"); |
or error. */ |
|
if (ob.tag == Sinteger) { |
|
/* printf("cmotag=%d\n",ob.lc.ival);*/ |
|
if (ob.lc.ival == CMO_ERROR2) { |
|
vmode = 1; |
|
} |
|
if (ob.lc.ival == CMO_STRING) { |
|
vmode = 1; |
|
} |
|
} |
|
if (vmode) { |
|
KSexecuteString(" ox.engine oxpopstring "); |
|
r = KSpopString(); |
|
}else{ |
|
KSexecuteString(" ox.engine 1 oxpushcmo ox.engine (print_tex_form) oxexec "); |
|
KSexecuteString(" ox.engine oxpopstring "); |
|
r = KSpopString(); |
|
} |
|
if (strlen(r) < OutputLimit_for_TeXmacs) { |
|
if (vmode) printv(r); else printl(r); |
|
} else printv("Output is too large.\n"); |
}else{ |
}else{ |
KSexecuteString(" ox.engine oxpopstring "); |
KSexecuteString(" ox.engine oxpopstring "); |
r = KSpopString(); |
r = KSpopString(); |
Line 184 static char *readString(FILE *fp, char *prolog, char * |
|
Line 223 static char *readString(FILE *fp, char *prolog, char * |
|
s[n++] = c; s[n] = 0; m++; |
s[n++] = c; s[n] = 0; m++; |
INC_BUF ; |
INC_BUF ; |
} |
} |
if (strcmp(&(s[start]),"quit;") == 0) { |
/* Check the escape sequence */ |
|
if (strcmp(&(s[start]),"!quit;") == 0) { |
printv("Terminated the process ox_texmacs.\n"); |
printv("Terminated the process ox_texmacs.\n"); |
exit(0); |
exit(0); |
} |
} |
|
/* Check the escape sequence to change the globa env. */ |
|
if (strcmp(&(s[start]),"!verbatim;") == 0) { |
|
printv("Output mode is changed to verbatim mode."); |
|
Format=0; |
|
return NULL; |
|
} |
|
if (strcmp(&(s[start]),"!latex;") == 0) { |
|
printv("Output mode is changed to latex/verbose."); |
|
Format = 1; |
|
return NULL; |
|
} |
|
if (strcmp(&(s[start]),"!asir;") == 0) { |
|
Format=1; |
|
TM_Engine=ASIR; startEngine(TM_Engine,"Asir"); |
|
return NULL; |
|
} |
|
if (strcmp(&(s[start]),"!sm1;") == 0) { |
|
Format=0; |
|
TM_Engine=SM1; startEngine(TM_Engine,"sm1"); |
|
return NULL; |
|
} |
|
if (strcmp(&(s[start]),"!k0;") == 0) { |
|
Format=0; |
|
TM_Engine=K0; startEngine(TM_Engine,"k0"); |
|
return NULL; |
|
} |
|
|
for (i=0; i < strlen(epilog); i++) { |
for (i=0; i < strlen(epilog); i++) { |
s[n++] = epilog[i]; s[n] = 0; |
s[n++] = epilog[i]; s[n] = 0; |
INC_BUF ; |
INC_BUF ; |
Line 207 static void printv(char *s) { |
|
Line 274 static void printv(char *s) { |
|
} |
} |
static void printl(char *s) { |
static void printl(char *s) { |
printf("%s",DATA_BEGIN_L); |
printf("%s",DATA_BEGIN_L); |
printf("%s",s); |
printf(" $ %s $ ",s); |
printf("%s",DATA_END); |
printf("%s",DATA_END); |
fflush(NULL); |
fflush(NULL); |
} |
} |
Line 219 static void printp(char *s) { |
|
Line 286 static void printp(char *s) { |
|
} |
} |
static void printCopyright(char *s) { |
static void printCopyright(char *s) { |
printf("%s",DATA_BEGIN_V); |
printf("%s",DATA_BEGIN_V); |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org\n"); |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
|
printf(" under the BSD licence. !asir, !sm1, !k0."); |
printf("%s",s); |
printf("%s",s); |
|
printf("%s",DATA_END); |
|
fflush(NULL); |
|
} |
|
|
|
static int startEngine(int type,char *msg) { |
|
struct object ob; |
|
printf("%s",DATA_BEGIN_V); |
|
if (type == SM1) { |
|
if (!TM_sm1Started) KSexecuteString(" sm1connectr "); |
|
KSexecuteString(" /ox.engine oxsm1.ccc def "); |
|
TM_sm1Started = 1; |
|
printf("%s\n",msg); |
|
}else if (type == K0) { |
|
if (!TM_k0Started) KSexecuteString(" k0connectr "); |
|
KSexecuteString(" /ox.engine oxk0.ccc def "); |
|
TM_k0Started = 1; |
|
printf("%s\n",msg); |
|
}else{ |
|
if (!TM_asirStarted) KSexecuteString(" asirconnectr "); |
|
KSexecuteString(" /ox.engine oxasir.ccc def "); |
|
TM_asirStarted = 1; |
|
printf("%s\n",msg); |
|
KSexecuteString(" oxasir.ccc (copyright();) oxsubmit oxasir.ccc oxpopstring "); |
|
ob = KSpop(); |
|
if (ob.tag == Sdollar) { |
|
printf("%s",ob.lc.str); |
|
} |
|
} |
printf("%s",DATA_END); |
printf("%s",DATA_END); |
fflush(NULL); |
fflush(NULL); |
} |
} |