[BACK]Return to lex.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / parse

Diff for /OpenXM_contrib2/asir2000/parse/lex.c between version 1.33 and 1.49

version 1.33, 2004/04/30 08:25:38 version 1.49, 2015/08/08 14:19:42
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.32 2004/03/26 08:25:37 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.48 2015/08/06 10:01:53 fujimoto Exp $
 */  */
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
Line 54 
Line 54 
 #include "parse.h"  #include "parse.h"
 #include <sys/types.h>  #include <sys/types.h>
 #include <sys/stat.h>  #include <sys/stat.h>
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__)
 #include "ytab.h"  #include "ytab.h"
 #else  #else
 #include "y.tab.h"  #include "y.tab.h"
 #endif  #endif
   #if FEP
   #include <readline/readline.h>
   #endif
   
 static int Getc();  static int Getc();
 static void Ungetc(int c);  static void Ungetc(int c);
Line 67  static int skipspace();
Line 70  static int skipspace();
   
 extern INFILE asir_infile;  extern INFILE asir_infile;
 extern struct oTKWD kwd[];  extern struct oTKWD kwd[];
   extern Obj VOIDobj;
   
 extern int main_parser;  extern int main_parser;
 extern char *parse_strp;  extern char *parse_strp;
Line 297  int yylex()
Line 301  int yylex()
                 }                  }
                 if ( floatingpoint ) {                  if ( floatingpoint ) {
                         Ungetc(c); REALLOC_NBUF nbuf[i] = 0;                          Ungetc(c); REALLOC_NBUF nbuf[i] = 0;
 #if defined(PARI)  
                         if ( !bigfloat ) {                          if ( !bigfloat ) {
                                 dbl = (double)atof(nbuf+DLENGTH);                                  dbl = (double)atof(nbuf+DLENGTH);
                                 MKReal(dbl,real); r = (Obj)real;                                  MKReal(dbl,real); r = (Obj)real;
                         } else                          } else
                                 strtobf(nbuf,(BF *)&r);                                  strtobf(nbuf,(BF *)&r);
 #else  
                         dbl = (double)atof(nbuf+DLENGTH);  
                         MKReal(dbl,real); r = (Obj)real;  
 #endif  
                 } else {                  } else {
                         Ungetc(c);                          Ungetc(c);
                         i -= DLENGTH; d = (i%DLENGTH?i/DLENGTH+1:i/DLENGTH);                          i -= DLENGTH; d = (i%DLENGTH?i/DLENGTH+1:i/DLENGTH);
Line 319  int yylex()
Line 318  int yylex()
                 }                  }
                 yylvalp->p = (pointer)r;                  yylvalp->p = (pointer)r;
                 return ( FORMULA );                  return ( FORMULA );
         } else if ( isalpha(c) || c == ':' ) {          } else if ( isalpha(c) || c == ':' || c == '_' ) {
                 if ( c == ':' ) {                  if ( c == ':' ) {
                         c1 = Getc();                          c1 = Getc();
                         if ( c1 != ':' ) {                          if ( c1 != ':' ) {
Line 347  int yylex()
Line 346  int yylex()
                                 break;                                  break;
                 }                  }
                 REALLOC_TBUF tbuf[i] = 0; Ungetc(c);                  REALLOC_TBUF tbuf[i] = 0; Ungetc(c);
                 if ( isupper(tbuf[0]) ) {                  if ( isupper(tbuf[0]) || (tbuf[0] == '_' && isupper(tbuf[1])) ) {
                         cptr = (char *)MALLOC(strlen(tbuf)+1); strcpy(cptr,tbuf);                          cptr = (char *)MALLOC(strlen(tbuf)+1); strcpy(cptr,tbuf);
                         yylvalp->p = (pointer)cptr;                          yylvalp->p = (pointer)cptr;
                         return UCASE;                          return UCASE;
Line 418  int yylex()
Line 417  int yylex()
                                 return GFPNGEN;                                  return GFPNGEN;
                         else if ( !strcmp(tbuf,"@s") )                          else if ( !strcmp(tbuf,"@s") )
                                 return GFSNGEN;                                  return GFSNGEN;
                         else if ( !strcmp(tbuf,"@i") ) {                          else if ( !strcmp(tbuf,"@void") ) {
                                   yylvalp->p = VOIDobj;
                                   return FORMULA;
                           } else if ( !strcmp(tbuf,"@i") ) {
                                 extern pointer IU;                                  extern pointer IU;
   
                                 yylvalp->p = IU;                                  yylvalp->p = IU;
Line 462  int yylex()
Line 464  int yylex()
   
 void purge_stdin()  void purge_stdin()
 {  {
 #if defined(__FreeBSD__)  #if defined(__FreeBSD__) || defined(__DARWIN__)
         fpurge(stdin);          fpurge(stdin);
 #elif defined(linux)  #elif defined(linux)
         stdin->_IO_read_end = stdin->_IO_read_base;          stdin->_IO_read_end = stdin->_IO_read_base;
Line 471  void purge_stdin()
Line 473  void purge_stdin()
         void w_purge_stdin();          void w_purge_stdin();
   
         w_purge_stdin();          w_purge_stdin();
 #elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || defined(_IBMR2)  #elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) || defined(_IBMR2)
         stdin->_ptr = stdin->_base; stdin->_cnt = 0;          stdin->_ptr = stdin->_base; stdin->_cnt = 0;
 #elif (defined(__MACH__) && defined(__ppc__)) || defined(__CYGWIN__) || defined(__FreeBSD__) || defined(__INTERIX)  #elif (defined(__MACH__) && defined(__ppc__)) || defined(__CYGWIN__) || defined(__FreeBSD__) || defined(__INTERIX)
         stdin->_r = 0; stdin->_p = stdin->_bf._base;          stdin->_r = 0; stdin->_p = stdin->_bf._base;
Line 480  void purge_stdin()
Line 482  void purge_stdin()
 #endif  #endif
 }  }
   
 extern int asir_texmacs;  
   
 static int skipspace() {  static int skipspace() {
         int c,c1;          int c,c1;
   
Line 505  static int skipspace() {
Line 505  static int skipspace() {
   
 int afternl() {  int afternl() {
         int c,ac,i,quote;          int c,ac,i,quote;
         char *ptr;          char *ptr,*buf0;
         char *av[BUFSIZ];          char *av[BUFSIZ];
         static int ilevel = 0;          static int ilevel = 0;
         char buf[BUFSIZ];          char buf[BUFSIZ];
Line 514  int afternl() {
Line 514  int afternl() {
                 asir_infile->ln++;                  asir_infile->ln++;
         while ( (c = Getc()) == '#' ) {          while ( (c = Getc()) == '#' ) {
                 Gets(buf);                  Gets(buf);
                 for ( quote = 0, ptr = buf; *ptr; ptr++ )  #define LINE "line"
                   if ( !strncmp(buf,LINE,strlen(LINE)) ) buf0 = buf+strlen(LINE);
                   else buf0 = buf;
                   for ( quote = 0, ptr = buf0; *ptr; ptr++ )
                         if ( *ptr == '"' )                          if ( *ptr == '"' )
                                 quote = quote ? 0 : 1;                                  quote = quote ? 0 : 1;
                         else if ( quote && (*ptr == ' ') )                          else if ( quote && (*ptr == ' ') )
                                 *ptr = '_';                                  *ptr = '_';
                 stoarg(buf,&ac,av);                  stoarg(buf0,&ac,av);
                 if ( ac == 3 )                  if ( ac == 3 )
                         if ( (i = atoi(av[2])) == 1 )                          if ( (i = atoi(av[2])) == 1 )
                                 ilevel++;                                  ilevel++;
Line 535  int aftercomment() {
Line 538  int aftercomment() {
         int c,c1;          int c,c1;
   
         for ( c = Getc(); ; ) {          for ( c = Getc(); ; ) {
                   if ( c == '\n' ) asir_infile->ln++;
                 c1 = Getc();                  c1 = Getc();
                 if ( (c == '*') && (c1 == '/') )                  if ( (c == '*') && (c1 == '/') )
                         return Getc();                          return Getc();
Line 553  int myatoi(char *s)
Line 557  int myatoi(char *s)
 extern int ox_do_copy;  extern int ox_do_copy;
 extern int I_am_server;  extern int I_am_server;
 extern JMP_BUF main_env;  extern JMP_BUF main_env;
   extern int at_root;
   extern LIST LastStackTrace;
   extern char *CUR_FUNC;
   
 void yyerror(char *s)  void yyerror(char *s)
 {  {
           STRING fname,name,kwd;
           USINT u;
           NODE t;
           LIST l,l2;
   
         if ( main_parser ) {          if ( main_parser ) {
                 if ( ox_do_copy ) {                  if ( ox_do_copy ) {
                         /* push errors to DebugStack */                          /* push errors to DebugStack */
Line 566  void yyerror(char *s)
Line 578  void yyerror(char *s)
                                 fprintf(stderr,"\"%s\", near line %d: %s\n",asir_infile->name,asir_infile->ln,s);                                  fprintf(stderr,"\"%s\", near line %d: %s\n",asir_infile->name,asir_infile->ln,s);
                 }                  }
                 if ( I_am_server ) {                  if ( I_am_server ) {
                           if ( NEXT(asir_infile) ) {
                                   /* error in a file; record the position */
                                   MKSTR(fname,asir_infile->name);
                                   if ( CPVS == GPVS )
                                           MKSTR(name,"");
                                   else
                                           MKSTR(name,CUR_FUNC);
                                   MKUSINT(u,asir_infile->ln);
                                   t = mknode(3,fname,name,u); MKLIST(l,t);
                                   /* line number at the toplevel */
                                   MKSTR(fname,"toplevel"); MKUSINT(u,at_root);
                                   t = mknode(2,fname,u); MKLIST(l2,t);
                                   t = mknode(2,l2,l);
                           } else {
                                   MKSTR(fname,"toplevel"); MKUSINT(u,asir_infile->ln);
                                   t = mknode(2,fname,u); MKLIST(l,t);
                                   t = mknode(1,l);
                           }
                           MKLIST(l,t);
                           MKSTR(kwd,"asir_where"); t = mknode(2,kwd,l);
                           MKLIST(LastStackTrace,t);
                         set_lasterror(s);                          set_lasterror(s);
                         LONGJMP(main_env,1);                          LONGJMP(main_env,1);
                 }                  }
         } else          } else
                 fprintf(stderr,"exprparse : %s\n",s);                  fprintf(stderr,"exprparse : %s\n",s);
   #if defined(__MINGW32__) || defined(__MINGW64__)
           fflush(stderr);
   #endif
 }  }
   
 int echoback;  int echoback;
   
 extern int read_exec_file, do_fep, do_file;  extern int do_fep, do_file;
   
 unsigned char encrypt_char(unsigned char);  unsigned char encrypt_char(unsigned char);
 unsigned char decrypt_char(unsigned char);  unsigned char decrypt_char(unsigned char);
Line 591  int Egetc(FILE *fp)
Line 627  int Egetc(FILE *fp)
                 else                  else
 #endif  #endif
                         c = getc(fp);                          c = getc(fp);
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__)
                 if ( recv_intr ) {                  if ( recv_intr ) {
 #include <signal.h>  #include <signal.h>
                         if ( recv_intr == 1 ) {                          if ( recv_intr == 1 ) {
Line 608  int Egetc(FILE *fp)
Line 644  int Egetc(FILE *fp)
                 if ( asir_infile->encoded )                  if ( asir_infile->encoded )
                         c = decrypt_char((unsigned char)c);                          c = decrypt_char((unsigned char)c);
                 return c;                  return c;
         } else if ( read_exec_file )          } else {
                 return EOF;  
         else {  
                 c = *parse_strp++;                  c = *parse_strp++;
                 if ( !c )                  if ( !c )
                         return EOF;                          return EOF;
Line 648  static int Getc() {
Line 682  static int Getc() {
                                         else                                          else
                                                 c = Getc();                                                  c = Getc();
                                         break;                                          break;
                                 } else if ( read_exec_file || do_file )                                  } else if ( asir_infile->fp || do_file ) {
                                         asir_terminate(2);  
                                 else {  
                                         if ( asir_infile->fp )                                          if ( asir_infile->fp )
                                                 clearerr(asir_infile->fp);                                                  clearerr(asir_infile->fp);
                                           asir_terminate(2);
                                   } else {
                                           error("end-of-line detected during parsing");
                                 }                                  }
                         else                          else
                                 break;                                  break;
Line 722  char *readline_console(char *prompt)
Line 757  char *readline_console(char *prompt)
                         exp_result = history_expand(line,&expansion);                          exp_result = history_expand(line,&expansion);
                         if ( !exp_result ) {                          if ( !exp_result ) {
                                 free(expansion);                                  free(expansion);
                                 for ( ; isspace(*line); line++ );                                  for ( ; isspace((unsigned char)*line); line++ );
                                 add_history(line);                                  add_history(line);
                                 break;                                  break;
                         } else if ( exp_result > 0 ) {                          } else if ( exp_result > 0 ) {
Legend:
Removed from v.1.33  
changed lines
  Added in v.1.49
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>