[BACK]Return to ox_texmacs.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / kxx

Diff for /OpenXM/src/kxx/ox_texmacs.c between version 1.36 and 1.43

version 1.36, 2015/09/28 07:01:27 version 1.43, 2019/03/28 09:21:40
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.35 2009/02/22 16:40:05 ohara Exp $ */  /* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.42 2018/09/07 01:21:31 takayama Exp $ */
   
 #include <stdio.h>  #include <stdio.h>
 #include <stdlib.h>  #include <stdlib.h>
Line 9 
Line 9 
 #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__)  
 #define JMP_BUF sigjmp_buf  #define JMP_BUF sigjmp_buf
 #define SETJMP(env)  sigsetjmp(env,1)  #define SETJMP(env)  MYSIGSETJMP(env,1)
 #define LONGJMP(env,p)  siglongjmp(env,p)  #define LONGJMP(env,p)  MYSIGLONGJMP(env,p)
 #else  #else
 #define JMP_BUF jmp_buf  #define JMP_BUF jmp_buf
 #define SETJMP(env)  setjmp(env)  #define SETJMP(env)  MYSETJMP(env)
 #define LONGJMP(env,p)  longjmp(env,p)  #define LONGJMP(env,p)  MYLONGJMP(env,p)
 #endif  #endif
   
 /*  /*
 #define DEBUG  #define DEBUG
 */  */
 /* #define DEBUG2 */  /*
   #define DEBUG2
   */
   
 /* Type of View part (user interface engine) */  /* Type of View part (user interface engine) */
 #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
   #define  V_SAGE       4
   #define  V_JUPYTER       5
 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. */
     "",
     "",          /* SAGE */
     "\n"
 };  };
   
 /* todo:  start_of_input */  /* todo:  start_of_input */
Line 62  char *Data_end[] = {
Line 81  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,
     '\n',   /* SAGE cf. __init__ */
     '\n'
 };  };
   
   /* Note! if you give more than 10 Views, increase the number 10  below.
      See the option --prompt which should be given after --view is set.
   */
   char *Prompt[10]={
     "generic>", /* generic */
     "", /* texmacs */
     "",    /* cfep */
     "",   /* qfep */
     "\nasir>",    /* SAGE */
     "\nPEXPECT_PROMPT>"
   };
   
   
 /* Table for the engine type. */  /* Table for the engine type. */
 #define ASIR          1  #define ASIR          1
 #define SM1           2  #define SM1           2
Line 92  int EngineLogToStdout = 0;   /* Do not run the ox engi
Line 127  int EngineLogToStdout = 0;   /* Do not run the ox engi
 char *AsirInitFile = NULL;  char *AsirInitFile = NULL;
   
 char *LanguageResource = NULL;  char *LanguageResource = NULL;
   int TM_quiet = 0;
   
 void ctrlC();  void ctrlC();
 struct object KpoString(char *s);  struct object KpoString(char *s);
Line 107  static int startEngine(int type,char *msg);
Line 143  static int startEngine(int type,char *msg);
 static int isPS(char *s);  static int isPS(char *s);
 static int end_of_input(int c);  static int end_of_input(int c);
 static void setDefaultParameterForCfep();  static void setDefaultParameterForCfep();
   static void setDefaultParameterForSage();
   static void setDefaultParameterForJupyter();
   
 static void myEncoder(int c);  static void myEncoder(int c);
 static void myEncoderS(unsigned char *s);  static void myEncoderS(unsigned char *s);
Line 143  main(int argc,char *argv[]) {
Line 181  main(int argc,char *argv[]) {
 #ifdef DEBUG2  #ifdef DEBUG2
   Dfp = fopen("/tmp/debug-texmacs.txt","w");    Dfp = fopen("/tmp/debug-texmacs.txt","w");
 #endif  #endif
   
   /* Initialize kanlib (gc is also initialized) */  
   KSstart();  
   
     TM_quiet=0;
     for (i=1; i<argc; i++) {
       if (strcmp(argv[i],"--quiet")==0) {
         TM_quiet=1;
       }
     }
     /* Initialize kanlib (gc is also initialized) */
     if (TM_quiet) {
       KSstart_quiet();
     }else{
       KSstart();
     }
   /* Set consts */    /* Set consts */
   Quiet = 1;    Quiet = 1;
   for (i=1; i<argc; i++) {    for (i=1; i<argc; i++) {
Line 156  main(int argc,char *argv[]) {
Line 203  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 if (strcmp(argv[i],"sage")==0) {
           View = V_SAGE; setDefaultParameterForSage();
         }else if (strcmp(argv[i],"jupyter")==0) {
           View = V_JUPYTER; setDefaultParameterForJupyter();
       }else{        }else{
         View = GENERIC;          View = GENERIC;
         /* printv("Unknown view type.\n"); */          /* printv("Unknown view type.\n"); */
Line 186  main(int argc,char *argv[]) {
Line 239  main(int argc,char *argv[]) {
       i++;        i++;
       AsirInitFile = (char *)sGC_malloc(strlen(argv[i])+80);        AsirInitFile = (char *)sGC_malloc(strlen(argv[i])+80);
       sprintf(AsirInitFile,"%s",argv[i]);        sprintf(AsirInitFile,"%s",argv[i]);
       }else if (strcmp(argv[i],"--quiet") == 0) {
         /* it is already set. Ignore. */
       }else if (strcmp(argv[i],"--prompt")==0) {
         i++;
         Prompt[View] = (char *)sGC_malloc(strlen(argv[i])+2);
         strcpy(Prompt[View],argv[i]);
     }else{      }else{
       /* printv("Unknown option\n"); */        /* printv("Unknown option\n"); */
     }      }
Line 217  main(int argc,char *argv[]) {
Line 276  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 290  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;
     } else {  }      } else {  }
     if (!irt) {      if (!irt) {
       printf("%s",Data_end[View]); fflush(stdout);        if (View != V_SAGE) printf("%s",Data_end[View]); fflush(stdout);
     }      }
     irt = 0;      irt = 0;
   
     /* Reading the input. */      /* Reading the input. */
       if ((View == V_SAGE) || (View == V_JUPYTER)) {
         if (s != NULL) {printf("%s",Prompt[View]); fflush(stdout);}
         else {printf("%s",&(Prompt[View][1])); fflush(stdout);}
       }else{
         printf("%s",Prompt[View]); fflush(stdout);
       }
     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) {
Line 390  static char *pngGetResult(void) {
Line 455  static char *pngGetResult(void) {
       strcpy(s,tmp); \        strcpy(s,tmp); \
     }      }
 /*   */  /*   */
   static char *Sss=NULL;
   static int Sss_size=10240;
   
 static char *readString(FILE *fp, char *prolog, char *epilog) {  static char *readString(FILE *fp, char *prolog, char *epilog) {
   int n = 0;    int n = 0;
   static int limit = 0;    static int limit = 0;
Line 416  static char *readString(FILE *fp, char *prolog, char *
Line 484  static char *readString(FILE *fp, char *prolog, char *
   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 ",c,c); fflush(Dfp);
 #endif  #endif
     if (end_of_input(c)) {      if (end_of_input(c)) {
       /* If there remains data in the stream,        /* If there remains data in the stream,
          read the remaining data. (for debug) */           read the remaining data. (for debug) */
           /*        /*
       if (oxSocketSelect0(0,1)) {        if ((View == V_JUPYTER) || (View == V_SAGE)) {
         if (c == '\n') c=' ';          if (oxSocketSelect0(0,1)) {
         s[n++] = c; s[n] = 0;  m++;  #ifdef DEBUG2
         INC_BUF ;            fprintf(Dfp,"<%x>%c ",c,c); fflush(Dfp);
         continue;  #endif
             if (c == '\n') c=' ';
             s[n++] = c; s[n] = 0;  m++;
             INC_BUF ;
             continue;
           }
       }        }
       */        */
       break;        break;
Line 435  static char *readString(FILE *fp, char *prolog, char *
Line 508  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 ((c == EOF) && (start == n)) exit(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);
   }    }
     if (((View == V_JUPYTER) || (View == V_SAGE)) &&
         ((strcmp(&(s[start]),"quit")==0) || (strcmp(&(s[start]),"quit()")==0))) {
       printv("Terminated the process ox_texmacs.\n");
       exit(0);
     }
     if ((View == V_JUPYTER) &&
         (strcmp(&(s[start]),"version")==0)) {
       s[n=strlen(s)]='('; s[++n]=0; INC_BUF;
       s[n++]=')'; s[n]=0; INC_BUF;
     }
   /* Check the escape sequence to change the global env. */    /* Check the escape sequence to change the global env. */
   if (strcmp(&(s[start]),"!verbatim;") == 0) {    if (strcmp(&(s[start]),"!verbatim;") == 0) {
     if (View != V_CFEP) printv("Output mode is changed to verbatim mode.");      if (View != V_CFEP) printv("Output mode is changed to verbatim mode.");
Line 491  static char *readString(FILE *fp, char *prolog, char *
Line 575  static char *readString(FILE *fp, char *prolog, char *
         s[i-3] = s[i-2] = s[i-1] = s[i] = ' '; break;          s[i-3] = s[i-2] = s[i-1] = s[i] = ' '; break;
       }        }
     }      }
   
       /* 2019.03.28 for jupyter */
       if ((strncmp(&(s[start]),"base_prompt",strlen("base_prompt")) != 0)
           &&(strncmp(&(s[start]),"version()",strlen("version()")) != 0)) {
         if (Sss == NULL) {
             Sss = (char *)sGC_malloc(Sss_size);
             Sss[0] = 0;
         }
         if (Sss_size < strlen(Sss)+strlen(s)+strlen(epilog)-10) {
           Sss_size = 2*Sss_size;
           if (Sss_size < 0) { fprintf(stderr,"Fatal error: too big string\n"); exit(-1); }
           char *sss_tmp = (char *)sGC_malloc(Sss_size);
           strcpy(sss_tmp,Sss);
           Sss=sss_tmp;
         }
         strcpy(&(Sss[strlen(Sss)]),&(s[start]));
         for (i=strlen(Sss); i>=0; i--) {
           if (Sss[i] < 0x20) continue;
           if (Sss[i] == '#') {
             /* construct s and return s */
             Sss[i] = ' ';
             s = (char *) sGC_malloc(strlen(Sss)+strlen(prolog)+strlen(epilog)+10);
             sprintf(s,"%s%s%s",prolog,Sss,epilog);
             Sss[0]=0;
   #ifdef DEBUG2
             fprintf(Dfp,"#By Sss: %s#\n",s); fflush(Dfp);
   #endif
             return s;
           }else break;
         }
         return NULL;
       }
     }else{
   #ifdef DEBUG2
       fprintf(Dfp,"#base_prompt or version()#\n",s); fflush(Dfp);
   #endif
   }    }
     /* end 2019.03.28 for jupyter. */
   
   /* Set TM_do_no_print */    /* Set TM_do_no_print */
   if (s[n-1] == '$' && TM_Engine == ASIR) {    if (s[n-1] == '$' && TM_Engine == ASIR) {
Line 515  static int end_of_input(int c) {
Line 636  static int end_of_input(int c) {
 static void setDefaultParameterForCfep() {  static void setDefaultParameterForCfep() {
   Format = 0;    Format = 0;
 }  }
   static void setDefaultParameterForSage() {
     Format = 0;
   }
   static void setDefaultParameterForJupyter() {
     Format = 0;
   }
   
 static void printv(char *s) {  static void printv(char *s) {
   int i;    int i;
Line 553  static void printp(char *s) {
Line 680  static void printp(char *s) {
   fflush(NULL);    fflush(NULL);
 }  }
 static void printCopyright(char *s) {  static void printCopyright(char *s) {
   printf("%s",Data_begin_v[View]);  
   if (! NoCopyright) {    if (! NoCopyright) {
       printf("%s",Data_begin_v[View]);
     printf("OpenXM engine (ox engine) interface with TeXmacs protocol.\n2004 (C) openxm.org");      printf("OpenXM engine (ox engine) interface with TeXmacs protocol.\n2004 (C) openxm.org");
     printf(" under the BSD license.  !asir; !sm1; !k0; !verbatim; !quit;\n");      printf(" under the BSD license.  !asir; !sm1; !k0; !verbatim; !quit;\n");
     printf("Type in      !reset;     when the engine gets confused. ");      printf("Type in      !reset;     when the engine gets confused. ");
     printf("%s",s);      printf("%s",s);
       printf("%s",Data_end[View]);
   }    }
   printf("%s",Data_end[View]);  
   fflush(NULL);    fflush(NULL);
 }  }
   
Line 569  static void flushSm1() {
Line 696  static void flushSm1() {
 }  }
 static int startEngine(int type,char *msg) {  static int startEngine(int type,char *msg) {
   struct object ob = OINIT;    struct object ob = OINIT;
   printf("%s",Data_begin_v[View]);    if (!TM_quiet) printf("%s",Data_begin_v[View]);
   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 ");
Line 625  static int startEngine(int type,char *msg) {
Line 752  static int startEngine(int type,char *msg) {
        not work. */         not work. */
     KSexecuteString(" oxasir.ccc (print(\"----------- Messages from asir ------------------------------\")$ ) oxsubmit oxasir.ccc oxpopcmo ");      KSexecuteString(" oxasir.ccc (print(\"----------- Messages from asir ------------------------------\")$ ) oxsubmit oxasir.ccc oxpopcmo ");
   }    }
   printf("%s",Data_end[View]);    if (!TM_quiet) printf("%s",Data_end[View]);
   fflush(NULL);    fflush(NULL);
 }  }
   
Legend:
Removed from v.1.36  
changed lines
  Added in v.1.43
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>