version 1.1, 2004/02/29 03:00:37 |
version 1.3, 2004/02/29 13:02:44 |
|
|
/* $OpenXM$ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.2 2004/02/29 08:19:54 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
|
|
#define LONGJMP(env,p) longjmp(env,p) |
#define LONGJMP(env,p) longjmp(env,p) |
#endif |
#endif |
|
|
#define DATA_BEGIN_V "<S type=verbatim>" /* "\0x2verbatim:" */ |
/* |
#define DATA_BEGIN_L "<S type=latex>" /* "\0x2latex:" */ |
#define DEBUG |
#define DATA_BEGIN_P "<S type=prompt>" /* "\0x2prompt:" */ |
*/ |
#define DATA_END "</S>" /* "\0x5" */ |
#define DEBUG2 |
|
|
|
#ifdef DEBUG |
|
#define DATA_BEGIN_V "<S type=verbatim>" /* "\002verbatim:" */ |
|
#define DATA_BEGIN_L "<S type=latex>" /* "\002latex:" */ |
|
#define DATA_BEGIN_P "<S type=prompt>" /* "\002channel:prompt " */ |
|
#define DATA_END "</S>" /* "\005" */ |
|
#else |
|
#define DATA_BEGIN_V "\002verbatim:" |
|
#define DATA_BEGIN_L "\002latex:" |
|
#define DATA_BEGIN_P "\002prompt:" |
|
#define DATA_END "\005" |
|
#endif |
|
|
|
/* |
|
#define END_OF_INPUT '#' |
|
*/ |
|
#define END_OF_INPUT '\n' |
|
|
extern int Quiet; |
extern int Quiet; |
extern JMP_BUF EnvOfStackMachine; |
extern JMP_BUF EnvOfStackMachine; |
int Format=0; |
int Format=1; /* 1 : latex mode */ |
|
int OutputLimit_for_TeXmacs = (1024*10); |
|
|
void ctrlC(); |
void ctrlC(); |
struct object KpoString(char *s); |
struct object KpoString(char *s); |
char *KSpopString(void); |
char *KSpopString(void); |
|
|
static char *readString(FILE *fp); |
static char *readString(FILE *fp,char *prolog, char *eplog); |
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 printCopyright(char *s); |
|
|
|
/* tail -f /tmp/debug-texmacs.txt |
|
Debug output to understand the timing problem of pipe interface. |
|
*/ |
|
FILE *Dfp; |
|
|
main() { |
main() { |
char *s; |
char *s; |
char *r; |
char *r; |
char *sys; |
char *sys; |
struct object ob; |
struct object ob; |
|
int irt=0; |
|
|
|
#ifdef DEBUG2 |
|
Dfp = fopen("/tmp/debug-texmacs.txt","w"); |
|
#endif |
|
|
/* Set consts */ |
/* Set consts */ |
sys = "asir> "; |
sys = "asir> "; |
Quiet = 1; |
Quiet = 1; |
|
|
/* Initialize kanlib (gc is also initialized) */ |
/* Initialize kanlib (gc is also initialized) */ |
KSstart(); |
KSstart(); |
|
|
|
/* Main loop */ |
|
printf("%s",DATA_BEGIN_V); |
|
printCopyright(""); |
|
|
/* 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 "); |
|
|
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
signal(SIGINT,ctrlC); |
signal(SIGINT,ctrlC); |
} |
} |
/* Main loop */ |
|
|
irt = 0; |
while(1) { |
while(1) { |
printp(sys); |
/* printp(sys); no prompt */ |
if (SETJMP(EnvOfStackMachine)) { |
if (SETJMP(EnvOfStackMachine)) { |
printv("Syntax error or an interruption\n"); |
printv("Syntax error or an interruption\n"); |
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; |
continue; |
continue; |
} else { } |
} else { } |
s=readString(stdin); |
if (!irt) { |
if (s[0] == 0 || (strcmp(s,"quit;")==0)) break; |
printf("%s",DATA_END); fflush(stdout); |
|
} |
|
irt = 0; |
|
s=readString(stdin, "if (1) { ", " ; }else{ };"); /* see test data */ |
|
if (s == NULL) break; |
|
printf("%s",DATA_BEGIN_V); |
KSexecuteString(" ox.engine "); |
KSexecuteString(" ox.engine "); |
ob = KpoString(s); |
ob = KpoString(s); |
KSpush(ob); |
KSpush(ob); |
|
|
/* 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 oxpopstring "); |
|
r = KSpopString(); |
|
if (strlen(r) < OutputLimit_for_TeXmacs) printl(r); |
|
else printv("Output is too large.\n"); |
}else{ |
}else{ |
KSexecuteString(" ox.engine oxpopstring "); |
KSexecuteString(" ox.engine oxpopstring "); |
r = KSpopString(); |
r = KSpopString(); |
printv(r); |
if (strlen(r) < OutputLimit_for_TeXmacs) printv(r); |
|
else printv("Output is too large.\n"); |
} |
} |
} |
} |
} |
} |
|
|
|
|
#define SB_SIZE 1024 |
#define SB_SIZE 1024 |
static char *readString(FILE *fp) { |
#define INC_BUF if (n >= limit-3) { \ |
|
tmp = s; \ |
|
limit *= 2; \ |
|
s = (char *) sGC_malloc(limit); \ |
|
if (s == NULL) { \ |
|
fprintf(stderr,"No more memory.\n"); \ |
|
exit(10); \ |
|
} \ |
|
strcpy(s,tmp); \ |
|
} |
|
/* */ |
|
static char *readString(FILE *fp, char *prolog, char *epilog) { |
int n = 0; |
int n = 0; |
static int limit = 0; |
static int limit = 0; |
static char *s; |
static char *s; |
int c; |
int c; |
char *tmp; |
char *tmp; |
|
int i; |
|
int m; |
|
int start; |
if (limit == 0) { |
if (limit == 0) { |
limit = 1024; |
limit = 1024; |
s = (char *)sGC_malloc(limit); |
s = (char *)sGC_malloc(limit); |
Line 100 static char *readString(FILE *fp) { |
|
Line 159 static char *readString(FILE *fp) { |
|
exit(10); |
exit(10); |
} |
} |
} |
} |
s[0] = 0; n = 0; |
s[0] = 0; n = 0; m = 0; |
|
for (i=0; i < strlen(prolog); i++) { |
|
s[n++] = prolog[i]; s[n] = 0; |
|
INC_BUF ; |
|
} |
|
start = n; |
while ((c = fgetc(fp)) != EOF) { |
while ((c = fgetc(fp)) != EOF) { |
if (c == '\n') { |
#ifdef DEBUG2 |
return s; |
fprintf(Dfp,"[%x] ",c); fflush(Dfp); |
} |
#endif |
s[n++] = c; s[n] = 0; |
if (c == END_OF_INPUT) { |
if (n >= limit-3) { |
if (oxSocketSelect0(0,1)) { |
tmp = s; |
/* If there remains data in the stream, |
limit *= 2; |
read the remaining data. */ |
s = (char *) sGC_malloc(limit); |
if (c == '\n') c=' '; |
if (s == NULL) { |
s[n++] = c; s[n] = 0; m++; |
fprintf(stderr,"No more memory.\n"); |
INC_BUF ; |
exit(10); |
continue; |
} |
} |
strcpy(s,tmp); |
break; |
} |
} |
|
if (c == '\n') c=' '; |
|
s[n++] = c; s[n] = 0; m++; |
|
INC_BUF ; |
} |
} |
|
if (strcmp(&(s[start]),"quit;") == 0) { |
|
printv("Terminated the process ox_texmacs.\n"); |
|
exit(0); |
|
} |
|
for (i=0; i < strlen(epilog); i++) { |
|
s[n++] = epilog[i]; s[n] = 0; |
|
INC_BUF ; |
|
} |
return s; |
return s; |
} |
} |
|
|
Line 125 static void printv(char *s) { |
|
Line 200 static void printv(char *s) { |
|
printf("%s",DATA_BEGIN_V); |
printf("%s",DATA_BEGIN_V); |
printf("%s",s); |
printf("%s",s); |
printf("%s",DATA_END); |
printf("%s",DATA_END); |
/* for debug "hello; |
#ifdef DEBUG2 |
for (i=0; i<strlen(s); i++) { |
fprintf(Dfp,"<%s>",s); fflush(Dfp); |
printf("%x ",s[i]); |
#endif |
} |
|
printf("\n"); |
|
*/ |
|
|
|
fflush(NULL); |
fflush(NULL); |
} |
} |
static void printl(char *s) { |
static void printl(char *s) { |
Line 142 static void printl(char *s) { |
|
Line 213 static void printl(char *s) { |
|
} |
} |
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] ",s); |
|
fflush(NULL); |
|
} |
|
static void printCopyright(char *s) { |
|
printf("%s",DATA_BEGIN_V); |
|
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org\n"); |
printf("%s",s); |
printf("%s",s); |
printf("%s",DATA_END); |
printf("%s",DATA_END); |
fflush(NULL); |
fflush(NULL); |
} |
} |
|
|
|
/* test data |
|
|
|
1. print("hello"); print("afo"); |
|
|
|
1+2; |
|
|
|
2. def foo(N) { for (I=0; I<10; I++) { --> error |
|
|
|
3+5; |
|
|
|
4. print("hello"); shift+return print("afo"); |
|
|
|
*/ |
|
|
|
|
|
|