[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.21 and 1.22

version 1.21, 2005/06/16 05:07:24 version 1.22, 2006/01/19 12:24:15
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.20 2004/09/17 02:42:58 takayama Exp $ */  /* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.21 2005/06/16 05:07:24 takayama Exp $ */
   
 #include <stdio.h>  #include <stdio.h>
 #include <setjmp.h>  #include <setjmp.h>
Line 36 
Line 36 
 #endif  #endif
   
 /*  /*
 #define END_OF_INPUT  '#'  #define TEXMACS_END_OF_INPUT  '#'
 */  */
 #define END_OF_INPUT '\n'  #define TEXMACS_END_OF_INPUT '\n'
   #define CFEP_END_OF_INPUT 0x5
   
 /* Table for the engine type. */  /* Table for the engine type. */
 #define ASIR          1  #define ASIR          1
Line 52  extern int RestrictedMode, RestrictedMode_saved;
Line 53  extern int RestrictedMode, RestrictedMode_saved;
 int Format=1;  /* 1 : latex mode */  int Format=1;  /* 1 : latex mode */
 int OutputLimit_for_TeXmacs = (1024*10);  int OutputLimit_for_TeXmacs = (1024*10);
   
   /* Type of View part (user interface engine) */
   #define  V_TEXMACS    1
   #define  V_CFEP       2
   int View       = V_TEXMACS ;
   
 int TM_Engine  = ASIR ;  int TM_Engine  = ASIR ;
 int TM_asirStarted = 0;  int TM_asirStarted = 0;
 int TM_sm1Started  = 0;  int TM_sm1Started  = 0;
Line 73  static void printps(char *s);
Line 79  static void printps(char *s);
 static void printCopyright(char *s);  static void printCopyright(char *s);
 static int startEngine(int type,char *msg);  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 void setDefaultParameterForCfep();
   
 /* tail -f /tmp/debug-texmacs.txt  /* tail -f /tmp/debug-texmacs.txt
    Debug output to understand the timing problem of pipe interface.     Debug output to understand the timing problem of pipe interface.
Line 105  main(int argc,char *argv[]) {
Line 113  main(int argc,char *argv[]) {
   /* Set consts */    /* Set consts */
   Quiet = 1;    Quiet = 1;
   for (i=1; i<argc; i++) {    for (i=1; i<argc; i++) {
         if (strcmp(argv[i],"--sm1") == 0) {      if (strcmp(argv[i],"--view") == 0) {
           TM_Engine = SM1;        i++;
         }else if (strcmp(argv[i],"--asir") == 0) {        if (strcmp(argv[i],"texmacs") == 0) {
           TM_Engine = ASIR;          View = V_TEXMACS;
         }else if (strcmp(argv[i],"--k0") == 0) {        }else if (strcmp(argv[i],"cfep")==0) {
           TM_Engine = K0;          View = V_CFEP; setDefaultParameterForCfep();
         }else{
           /* printv("Unknown view type.\n"); */
         }
       } else if (strcmp(argv[i],"--sm1") == 0) {
         TM_Engine = SM1;
       }else if (strcmp(argv[i],"--asir") == 0) {
         TM_Engine = ASIR;
       }else if (strcmp(argv[i],"--k0") == 0) {
         TM_Engine = K0;
     }else if (strcmp(argv[i],"--outputLimit") == 0) {      }else if (strcmp(argv[i],"--outputLimit") == 0) {
       i++;        i++;
       sscanf(argv[i],"%d",&OutputLimit_for_TeXmacs);        sscanf(argv[i],"%d",&OutputLimit_for_TeXmacs);
     }else if (strcmp(argv[i],"--noLogWindow") == 0) {      }else if (strcmp(argv[i],"--noLogWindow") == 0) {
           Xm_noX = 1;        Xm_noX = 1;
     }else if (strcmp(argv[i],"--noCopyright") == 0) {      }else if (strcmp(argv[i],"--noCopyright") == 0) {
           NoCopyright = 1;        NoCopyright = 1;
         }else{      }else{
           /* printv("Unknown option\n"); */        /* printv("Unknown option\n"); */
         }      }
   }    }
   
   /* Initialize kanlib (gc is also initialized) */    /* Initialize kanlib (gc is also initialized) */
Line 269  static char *readString(FILE *fp, char *prolog, char *
Line 286  static char *readString(FILE *fp, char *prolog, char *
 #ifdef DEBUG2  #ifdef DEBUG2
     fprintf(Dfp,"[%x] ",c); fflush(Dfp);      fprintf(Dfp,"[%x] ",c); fflush(Dfp);
 #endif  #endif
     if (c == END_OF_INPUT) {      if (end_of_input(c)) {
       /* If there remains data in the stream,        /* If there remains data in the stream,
          read the remaining data. */           read the remaining data. */
           /*            /*
Line 337  static char *readString(FILE *fp, char *prolog, char *
Line 354  static char *readString(FILE *fp, char *prolog, char *
     INC_BUF ;      INC_BUF ;
   }    }
   return s;    return s;
   }
   
   static int end_of_input(int c) {
     switch(View) {
     case V_TEXMACS:
       if (c == TEXMACS_END_OF_INPUT) return 1;
       else 0;
       break;
     case V_CFEP:
       if (c == CFEP_END_OF_INPUT) return 1;
       else 0;
       break;
     default:
       if (c == '\n') return 1;
       else 0;
     }
   }
   static void setDefaultParameterForCfep() {
     Format = 0;
 }  }
   
 static void printv(char *s) {  static void printv(char *s) {
Legend:
Removed from v.1.21  
changed lines
  Added in v.1.22
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>