version 1.7, 2004/03/02 09:10:04 |
version 1.8, 2004/03/02 09:30:48 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.6 2004/03/01 12:55:03 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.7 2004/03/02 09:10:04 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
|
|
openxm_home = (char *) getenv("OpenXM_HOME"); |
openxm_home = (char *) getenv("OpenXM_HOME"); |
asir_config = (char *) getenv("ASIR_CONFIG"); |
asir_config = (char *) getenv("ASIR_CONFIG"); |
if (openxm_home == NULL || asir_config == NULL) { |
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..."); |
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); |
exit(10); |
} |
} |
|
|
|
|
|
|
startEngine(TM_Engine," "); |
startEngine(TM_Engine," "); |
|
|
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
signal(SIGINT,ctrlC); |
signal(SIGINT,ctrlC); |
} |
} |
|
|
irt = 0; |
irt = 0; |
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. */ |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
signal(SIGINT,ctrlC); |
signal(SIGINT,ctrlC); |
} |
} |
irt = 1; |
irt = 1; |
continue; |
continue; |
} else { } |
} else { } |
if (!irt) { |
if (!irt) { |
printf("%s",DATA_END); fflush(stdout); |
printf("%s",DATA_END); fflush(stdout); |
} |
} |
irt = 0; |
irt = 0; |
|
|
/* Reading the input. */ |
/* 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) { |
s=readString(stdin, " ", " "); /* see test data */ |
s=readString(stdin, " ", " "); /* see test data */ |
}else{ |
}else{ |
s=readString(stdin, "if (1) { ", " ; }else{ }"); /* see test data */ |
s=readString(stdin, "if (1) { ", " ; }else{ }"); /* see test data */ |
} |
} |
|
|
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 */ |
/* 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 && (! TM_do_not_print)) { |
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(); |
vmode = 0; |
vmode = 0; |
/* printf("id=%d\n",ob.tag); bug: matrix return 17 instead of Sinteger |
/* printf("id=%d\n",ob.tag); bug: matrix return 17 instead of Sinteger |
or error. */ |
or error. */ |
if (ob.tag == Sinteger) { |
if (ob.tag == Sinteger) { |
/* printf("cmotag=%d\n",ob.lc.ival);*/ |
/* printf("cmotag=%d\n",ob.lc.ival);*/ |
if (ob.lc.ival == CMO_ERROR2) { |
if (ob.lc.ival == CMO_ERROR2) { |
vmode = 1; |
vmode = 1; |
} |
} |
if (ob.lc.ival == CMO_STRING) { |
if (ob.lc.ival == CMO_STRING) { |
vmode = 1; |
vmode = 1; |
} |
} |
} |
} |
if (vmode) { |
if (vmode) { |
KSexecuteString(" ox.engine oxpopstring "); |
KSexecuteString(" ox.engine oxpopstring "); |
r = KSpopString(); |
r = KSpopString(); |
}else{ |
}else{ |
KSexecuteString(" ox.engine 1 oxpushcmo ox.engine (print_tex_form) oxexec "); |
KSexecuteString(" ox.engine 1 oxpushcmo ox.engine (print_tex_form) oxexec "); |
KSexecuteString(" ox.engine oxpopstring "); |
KSexecuteString(" ox.engine oxpopstring "); |
r = KSpopString(); |
r = KSpopString(); |
} |
} |
if (strlen(r) < OutputLimit_for_TeXmacs) { |
if (strlen(r) < OutputLimit_for_TeXmacs) { |
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{ |
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); |
if (strlen(r) < OutputLimit_for_TeXmacs) printv(r); |
else printv("Output is too large.\n"); |
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. */ |
printv(""); |
printv(""); |
} |
} |
} |
} |
} |
} |
} |
} |
|
|
#define SB_SIZE 1024 |
#define SB_SIZE 1024 |
#define INC_BUF if (n >= limit-3) { \ |
#define INC_BUF if (n >= limit-3) { \ |
tmp = s; \ |
tmp = s; \ |
limit *= 2; \ |
limit *= 2; \ |
s = (char *) sGC_malloc(limit); \ |
s = (char *) sGC_malloc(limit); \ |
if (s == NULL) { \ |
if (s == NULL) { \ |
fprintf(stderr,"No more memory.\n"); \ |
fprintf(stderr,"No more memory.\n"); \ |
exit(10); \ |
exit(10); \ |
} \ |
} \ |
strcpy(s,tmp); \ |
strcpy(s,tmp); \ |
} |
} |
/* */ |
/* */ |
static char *readString(FILE *fp, char *prolog, char *epilog) { |
static char *readString(FILE *fp, char *prolog, char *epilog) { |
int n = 0; |
int n = 0; |
Line 209 static char *readString(FILE *fp, char *prolog, char * |
|
Line 209 static char *readString(FILE *fp, char *prolog, char * |
|
int m; |
int m; |
int start; |
int start; |
if (limit == 0) { |
if (limit == 0) { |
limit = 1024; |
limit = 1024; |
s = (char *)sGC_malloc(limit); |
s = (char *)sGC_malloc(limit); |
if (s == NULL) { |
if (s == NULL) { |
fprintf(stderr,"No more memory.\n"); |
fprintf(stderr,"No more memory.\n"); |
exit(10); |
exit(10); |
} |
} |
} |
} |
s[0] = 0; n = 0; m = 0; |
s[0] = 0; n = 0; m = 0; |
for (i=0; i < strlen(prolog); i++) { |
for (i=0; i < strlen(prolog); i++) { |
s[n++] = prolog[i]; s[n] = 0; |
s[n++] = prolog[i]; s[n] = 0; |
INC_BUF ; |
INC_BUF ; |
} |
} |
start = n; |
start = n; |
while ((c = fgetc(fp)) != EOF) { |
while ((c = fgetc(fp)) != EOF) { |
#ifdef DEBUG2 |
#ifdef DEBUG2 |
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 (oxSocketSelect0(0,1)) { |
if (oxSocketSelect0(0,1)) { |
/* If there remains data in the stream, |
/* If there remains data in the stream, |
read the remaining data. */ |
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 == '\n') c=' '; |
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; |
if (s[n-1] == '$' && TM_Engine == ASIR) TM_do_not_print = 1; |
else TM_do_not_print = 0; |
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"); |
exit(0); |
exit(0); |
} |
} |
/* Check the escape sequence to change the globa env. */ |
/* Check the escape sequence to change the globa env. */ |
if (strcmp(&(s[start]),"!verbatim;") == 0) { |
if (strcmp(&(s[start]),"!verbatim;") == 0) { |
printv("Output mode is changed to verbatim mode."); |
printv("Output mode is changed to verbatim mode."); |
Format=0; |
Format=0; |
return NULL; |
return NULL; |
} |
} |
if (strcmp(&(s[start]),"!latex;") == 0) { |
if (strcmp(&(s[start]),"!latex;") == 0) { |
printv("Output mode is changed to latex/verbose."); |
printv("Output mode is changed to latex/verbose."); |
Format = 1; |
Format = 1; |
return NULL; |
return NULL; |
} |
} |
if (strcmp(&(s[start]),"!asir;") == 0) { |
if (strcmp(&(s[start]),"!asir;") == 0) { |
Format=1; |
Format=1; |
TM_Engine=ASIR; startEngine(TM_Engine,"Asir"); |
TM_Engine=ASIR; startEngine(TM_Engine,"Asir"); |
return NULL; |
return NULL; |
} |
} |
if (strcmp(&(s[start]),"!sm1;") == 0) { |
if (strcmp(&(s[start]),"!sm1;") == 0) { |
Format=0; |
Format=0; |
TM_Engine=SM1; startEngine(TM_Engine,"sm1"); |
TM_Engine=SM1; startEngine(TM_Engine,"sm1"); |
return NULL; |
return NULL; |
} |
} |
if (strcmp(&(s[start]),"!k0;") == 0) { |
if (strcmp(&(s[start]),"!k0;") == 0) { |
Format=0; |
Format=0; |
TM_Engine=K0; startEngine(TM_Engine,"k0"); |
TM_Engine=K0; startEngine(TM_Engine,"k0"); |
return NULL; |
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 ; |
} |
} |
return s; |
return s; |
Line 318 static int startEngine(int type,char *msg) { |
|
Line 318 static int startEngine(int type,char *msg) { |
|
printf("%s",DATA_BEGIN_V); |
printf("%s",DATA_BEGIN_V); |
if (type == SM1) { |
if (type == SM1) { |
if (!TM_sm1Started) KSexecuteString(" sm1connectr "); |
if (!TM_sm1Started) KSexecuteString(" sm1connectr "); |
KSexecuteString(" /ox.engine oxsm1.ccc def "); |
KSexecuteString(" /ox.engine oxsm1.ccc def "); |
TM_sm1Started = 1; |
TM_sm1Started = 1; |
printf("%s\n",msg); |
printf("%s\n",msg); |
}else if (type == K0) { |
}else if (type == K0) { |
if (!TM_k0Started) KSexecuteString(" k0connectr "); |
if (!TM_k0Started) KSexecuteString(" k0connectr "); |
KSexecuteString(" /ox.engine oxk0.ccc def "); |
KSexecuteString(" /ox.engine oxk0.ccc def "); |
TM_k0Started = 1; |
TM_k0Started = 1; |
printf("%s\n",msg); |
printf("%s\n",msg); |
}else{ |
}else{ |
if (!TM_asirStarted) KSexecuteString(" asirconnectr "); |
if (!TM_asirStarted) KSexecuteString(" asirconnectr "); |
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()+asir_contrib_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. */ |
/* 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) { 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 "); |
KSexecuteString(" oxasir.ccc (if(1) { ctrl(\"message\",0); } else { ; } ;) oxsubmit oxasir.ccc oxpopcmo "); |