version 1.6, 2004/03/01 12:55:03 |
version 1.7, 2004/03/02 09:10:04 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.5 2004/03/01 09:37:05 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.6 2004/03/01 12:55:03 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
|
|
/* |
/* |
#define DEBUG |
#define DEBUG |
*/ |
*/ |
#define DEBUG2 |
/* #define DEBUG2 */ |
|
|
#ifdef DEBUG |
#ifdef DEBUG |
#define DATA_BEGIN_V "<S type=verbatim>" /* "\002verbatim:" */ |
#define DATA_BEGIN_V "<S type=verbatim>" /* "\002verbatim:" */ |
Line 52 int TM_Engine = ASIR ; |
|
Line 52 int TM_Engine = ASIR ; |
|
int TM_asirStarted = 0; |
int TM_asirStarted = 0; |
int TM_sm1Started = 0; |
int TM_sm1Started = 0; |
int TM_k0Started = 0; |
int TM_k0Started = 0; |
|
int TM_do_not_print = 0; |
|
|
void ctrlC(); |
void ctrlC(); |
struct object KpoString(char *s); |
struct object KpoString(char *s); |
|
|
struct object ob; |
struct object ob; |
int irt=0; |
int irt=0; |
int vmode=1; |
int vmode=1; |
|
char *openxm_home; |
|
char *asir_config; |
|
|
|
openxm_home = (char *) getenv("OpenXM_HOME"); |
|
asir_config = (char *) getenv("ASIR_CONFIG"); |
|
if (openxm_home == NULL || asir_config == NULL) { |
|
printv("The environmental variables OpenXM_HOME/ASIR_CONFIG are not set.\nStart the texmacs with openxm texmacs or ox_texmacs by openxm ox_texmacs\nBye..."); |
|
exit(10); |
|
} |
|
|
|
|
#ifdef DEBUG2 |
#ifdef DEBUG2 |
Dfp = fopen("/tmp/debug-texmacs.txt","w"); |
Dfp = fopen("/tmp/debug-texmacs.txt","w"); |
#endif |
#endif |
|
|
printf("%s",DATA_END); fflush(stdout); |
printf("%s",DATA_END); fflush(stdout); |
} |
} |
irt = 0; |
irt = 0; |
|
|
|
/* Reading the input. */ |
if (TM_Engine == K0) { |
if (TM_Engine == K0) { |
s=readString(stdin, " ", " "); /* see test data */ |
s=readString(stdin, " ", " "); /* see test data */ |
}else if (TM_Engine == SM1) { |
}else if (TM_Engine == SM1) { |
|
|
|
|
if (s == NULL) { irt = 1; continue; } |
if (s == NULL) { irt = 1; continue; } |
if (!irt) printf("%s",DATA_BEGIN_V); |
if (!irt) printf("%s",DATA_BEGIN_V); |
|
/* Evaluate the input on the engine */ |
KSexecuteString(" ox.engine "); |
KSexecuteString(" ox.engine "); |
ob = KpoString(s); |
ob = KpoString(s); |
KSpush(ob); |
KSpush(ob); |
KSexecuteString(" oxsubmit "); |
KSexecuteString(" oxsubmit "); |
|
|
/* Get the result in string. */ |
/* Get the result in string. */ |
if (Format == 1) { |
if (Format == 1 && (! TM_do_not_print)) { |
/* translate to latex form */ |
/* translate to latex form */ |
KSexecuteString(" ox.engine oxpushcmotag ox.engine oxpopcmo "); |
KSexecuteString(" ox.engine oxpushcmotag ox.engine oxpopcmo "); |
ob = KSpop(); |
ob = KSpop(); |
|
|
if (vmode) printv(r); else printl(r); |
if (vmode) printv(r); else printl(r); |
} else printv("Output is too large.\n"); |
} else printv("Output is too large.\n"); |
}else{ |
}else{ |
KSexecuteString(" ox.engine oxpopstring "); |
if (!TM_do_not_print) { |
r = KSpopString(); |
KSexecuteString(" ox.engine oxpopstring "); |
if (strlen(r) < OutputLimit_for_TeXmacs) printv(r); |
r = KSpopString(); |
else printv("Output is too large.\n"); |
if (strlen(r) < OutputLimit_for_TeXmacs) printv(r); |
|
else printv("Output is too large.\n"); |
|
}else{ |
|
KSexecuteString(" ox.engine 1 oxpops "); /* Discard the result. */ |
|
printv(""); |
|
} |
} |
} |
} |
} |
} |
} |
Line 222 static char *readString(FILE *fp, char *prolog, char * |
|
Line 241 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 (s[n-1] == '$' && TM_Engine == ASIR) TM_do_not_print = 1; |
|
else TM_do_not_print = 0; |
/* Check the escape sequence */ |
/* Check the escape sequence */ |
if (strcmp(&(s[start]),"!quit;") == 0) { |
if (strcmp(&(s[start]),"!quit;") == 0) { |
printv("Terminated the process ox_texmacs.\n"); |
printv("Terminated the process ox_texmacs.\n"); |
Line 286 static void printp(char *s) { |
|
Line 307 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"); |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
printf(" under the BSD licence. !asir, !sm1, !k0."); |
printf(" under the BSD licence. !asir; !sm1; !k0; !verbatim;"); |
printf("%s",s); |
printf("%s",s); |
printf("%s",DATA_END); |
printf("%s",DATA_END); |
fflush(NULL); |
fflush(NULL); |
Line 310 static int startEngine(int type,char *msg) { |
|
Line 331 static int startEngine(int type,char *msg) { |
|
KSexecuteString(" /ox.engine oxasir.ccc def "); |
KSexecuteString(" /ox.engine oxasir.ccc def "); |
TM_asirStarted = 1; |
TM_asirStarted = 1; |
printf("%s\n",msg); |
printf("%s\n",msg); |
KSexecuteString(" oxasir.ccc (copyright();) oxsubmit oxasir.ccc oxpopstring "); |
KSexecuteString(" oxasir.ccc (copyright()+asir_contrib_copyright();) oxsubmit oxasir.ccc oxpopstring "); |
ob = KSpop(); |
ob = KSpop(); |
if (ob.tag == Sdollar) { |
if (ob.tag == Sdollar) { |
printf("%s",ob.lc.str); |
printf("%s",ob.lc.str); |
} |
} |
|
/* Initialize the setting of asir. */ |
|
KSexecuteString(" oxasir.ccc (if(1) { Xm_server_mode = 1; Xm_helpdir = \"help-eg\"; } else { ; } ;) oxsubmit oxasir.ccc oxpopcmo "); |
|
KSexecuteString(" oxasir.ccc (if(1) { ctrl(\"message\",0); } else { ; } ;) oxsubmit oxasir.ccc oxpopcmo "); |
|
/* bug; if ctrl is written with Xm_helpdir = ... without oxpopcmo, then it does |
|
not work. */ |
} |
} |
printf("%s",DATA_END); |
printf("%s",DATA_END); |
fflush(NULL); |
fflush(NULL); |