[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.42 and 1.43

version 1.42, 2018/09/07 01:21:31 version 1.43, 2019/03/28 09:21:40
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.41 2018/09/07 00:28:53 takayama 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 22 
Line 22 
 /*  /*
 #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 */
Line 30 
Line 32 
 #define  V_CFEP       2  #define  V_CFEP       2
 #define  V_QFEP       3  #define  V_QFEP       3
 #define  V_SAGE       4  #define  V_SAGE       4
   #define  V_JUPYTER       5
 int View       = V_TEXMACS ;  int View       = V_TEXMACS ;
   
 char *Data_begin_v[] = {  char *Data_begin_v[] = {
Line 37  char *Data_begin_v[] = {
Line 40  char *Data_begin_v[] = {
   "\002verbatim:",    "\002verbatim:",
   "\002",    "\002",
   "",    "",
     "",
   ""    ""
 };  };
 char *Data_begin_l[] = {  char *Data_begin_l[] = {
Line 44  char *Data_begin_l[] = {
Line 48  char *Data_begin_l[] = {
   "\002latex:",    "\002latex:",
   "\002latex:",    "\002latex:",
   "",    "",
     "",
   ""    ""
 };  };
 char *Data_begin_p[] = {  char *Data_begin_p[] = {
Line 51  char *Data_begin_p[] = {
Line 56  char *Data_begin_p[] = {
   "\002prompt:",    "\002prompt:",
   "\002prompt:",    "\002prompt:",
   "",    "",
     "",
   ""    ""
 };  };
 char *Data_begin_ps[] = {  char *Data_begin_ps[] = {
Line 58  char *Data_begin_ps[] = {
Line 64  char *Data_begin_ps[] = {
   "\002ps:",    "\002ps:",
   "\002ps:",    "\002ps:",
   "",    "",
     "",
   ""    ""
 };  };
 char *Data_end[] = {  char *Data_end[] = {
Line 65  char *Data_end[] = {
Line 72  char *Data_end[] = {
   "\005",    "\005",
   "\n\005",    /* \n is not a part of the protocol. */    "\n\005",    /* \n is not a part of the protocol. */
   "",    "",
   ""           /* SAGE */    "",          /* SAGE */
     "\n"
 };  };
   
 /* todo:  start_of_input */  /* todo:  start_of_input */
Line 75  char End_of_input[] = {
Line 83  char End_of_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,    0x5,
   '\n'   /* SAGE cf. __init__ */    '\n',   /* SAGE cf. __init__ */
     '\n'
 };  };
   
 char *Prompt[]={  /* 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 */    "generic>", /* generic */
   "", /* texmacs */    "", /* texmacs */
   "",    /* cfep */    "",    /* cfep */
   "",   /* qfep */    "",   /* qfep */
   "\nasir>"    /* SAGE */    "\nasir>",    /* SAGE */
     "\nPEXPECT_PROMPT>"
 };  };
   
   
Line 131  static int isPS(char *s);
Line 144  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 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 193  main(int argc,char *argv[]) {
Line 207  main(int argc,char *argv[]) {
         View = V_QFEP; setDefaultParameterForCfep();          View = V_QFEP; setDefaultParameterForCfep();
       }else if (strcmp(argv[i],"sage")==0) {        }else if (strcmp(argv[i],"sage")==0) {
         View = V_SAGE; setDefaultParameterForSage();          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 225  main(int argc,char *argv[]) {
Line 241  main(int argc,char *argv[]) {
       sprintf(AsirInitFile,"%s",argv[i]);        sprintf(AsirInitFile,"%s",argv[i]);
     }else if (strcmp(argv[i],"--quiet") == 0) {      }else if (strcmp(argv[i],"--quiet") == 0) {
       /* it is already set. Ignore. */        /* 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 282  main(int argc,char *argv[]) {
Line 302  main(int argc,char *argv[]) {
     irt = 0;      irt = 0;
   
     /* Reading the input. */      /* Reading the input. */
     printf("%s",Prompt[View]); fflush(stdout);      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 430  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 456  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 475  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 531  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 556  static void setDefaultParameterForCfep() {
Line 637  static void setDefaultParameterForCfep() {
   Format = 0;    Format = 0;
 }  }
 static void setDefaultParameterForSage() {  static void setDefaultParameterForSage() {
     Format = 0;
   }
   static void setDefaultParameterForJupyter() {
   Format = 0;    Format = 0;
 }  }
   
Legend:
Removed from v.1.42  
changed lines
  Added in v.1.43
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>