version 1.37, 2015/10/08 11:49:38 |
version 1.40, 2016/08/24 22:38:12 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.36 2015/09/28 07:01:27 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.39 2016/03/31 05:27:34 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
|
|
#include "serversm.h" |
#include "serversm.h" |
#include "ox_pathfinder.h" |
#include "ox_pathfinder.h" |
|
|
void *sGC_malloc(size_t size); |
|
#if defined(__CYGWIN__) || defined(__MSYS__) |
#if defined(__CYGWIN__) || defined(__MSYS__) |
#define JMP_BUF sigjmp_buf |
#define JMP_BUF sigjmp_buf |
#define SETJMP(env) MYSIGSETJMP(env,1) |
#define SETJMP(env) MYSIGSETJMP(env,1) |
Line 29 void *sGC_malloc(size_t size); |
|
Line 28 void *sGC_malloc(size_t size); |
|
#define GENERIC 0 /* DEBUG, xml */ |
#define GENERIC 0 /* DEBUG, xml */ |
#define V_TEXMACS 1 |
#define V_TEXMACS 1 |
#define V_CFEP 2 |
#define V_CFEP 2 |
|
#define V_QFEP 3 |
int View = V_TEXMACS ; |
int View = V_TEXMACS ; |
|
|
char *Data_begin_v[] = { |
char *Data_begin_v[] = { |
"<S type=verbatim>", |
"<S type=verbatim>", |
"\002verbatim:", |
"\002verbatim:", |
"\002", |
"\002", |
|
"" |
}; |
}; |
char *Data_begin_l[] = { |
char *Data_begin_l[] = { |
"<S type=latex>", |
"<S type=latex>", |
"\002latex:", |
"\002latex:", |
"\002latex:" |
"\002latex:", |
|
"" |
}; |
}; |
char *Data_begin_p[] = { |
char *Data_begin_p[] = { |
"<S type=prompt>", |
"<S type=prompt>", |
"\002prompt:", |
"\002prompt:", |
"\002prompt:" |
"\002prompt:", |
|
"" |
}; |
}; |
char *Data_begin_ps[] = { |
char *Data_begin_ps[] = { |
"<S type=postscript>", |
"<S type=postscript>", |
"\002ps:", |
"\002ps:", |
"\002ps:" |
"\002ps:", |
|
"" |
}; |
}; |
char *Data_end[] = { |
char *Data_end[] = { |
"</S>", |
"</S>", |
"\005", |
"\005", |
"\n\005" /* \n is not a part of the protocol. */ |
"\n\005", /* \n is not a part of the protocol. */ |
|
"" |
}; |
}; |
|
|
/* todo: start_of_input */ |
/* todo: start_of_input */ |
Line 62 char *Data_end[] = { |
|
Line 67 char *Data_end[] = { |
|
char End_of_input[] = { |
char End_of_input[] = { |
0x5, /* Use ^E and Return to end the input. */ |
0x5, /* Use ^E and Return to end the input. */ |
'\n', /* TEXMACS_END_OF_INPUT. 0xd should be used for multiple lines. */ |
'\n', /* TEXMACS_END_OF_INPUT. 0xd should be used for multiple lines. */ |
0x5 /* CFEP_END_OF_INPUT */ |
0x5, /* CFEP_END_OF_INPUT */ |
|
0x5 |
}; |
}; |
|
|
/* Table for the engine type. */ |
/* Table for the engine type. */ |
Line 156 main(int argc,char *argv[]) { |
|
Line 162 main(int argc,char *argv[]) { |
|
View = V_TEXMACS; |
View = V_TEXMACS; |
}else if (strcmp(argv[i],"cfep")==0) { |
}else if (strcmp(argv[i],"cfep")==0) { |
View = V_CFEP; setDefaultParameterForCfep(); |
View = V_CFEP; setDefaultParameterForCfep(); |
|
}else if (strcmp(argv[i],"qfep")==0) { |
|
View = V_QFEP; setDefaultParameterForCfep(); |
}else{ |
}else{ |
View = GENERIC; |
View = GENERIC; |
/* printv("Unknown view type.\n"); */ |
/* printv("Unknown view type.\n"); */ |
Line 217 main(int argc,char *argv[]) { |
|
Line 225 main(int argc,char *argv[]) { |
|
if (LanguageResource != NULL) KSexecuteString(LanguageResource); |
if (LanguageResource != NULL) KSexecuteString(LanguageResource); |
startEngine(TM_Engine," "); |
startEngine(TM_Engine," "); |
|
|
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (mysignal(SIGINT,SIG_IGN) != SIG_IGN) { |
signal(SIGINT,ctrlC); |
mysignal(SIGINT,ctrlC); |
} |
} |
|
|
irt = 0; |
irt = 0; |
Line 231 main(int argc,char *argv[]) { |
|
Line 239 main(int argc,char *argv[]) { |
|
RestrictedMode = RestrictedMode_saved; |
RestrictedMode = RestrictedMode_saved; |
} |
} |
Calling_ctrlC_hook = 0; |
Calling_ctrlC_hook = 0; |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (mysignal(SIGINT,SIG_IGN) != SIG_IGN) { |
signal(SIGINT,ctrlC); |
mysignal(SIGINT,ctrlC); |
} |
} |
irt = 1; |
irt = 1; |
continue; |
continue; |