[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.12 and 1.30

version 1.12, 2000/12/22 10:03:32 version 1.30, 2004/03/01 02:03:28
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.11 2000/12/18 01:28:27 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.29 2004/02/04 07:42:07 noro Exp $
 */  */
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
Line 60 
Line 60 
 #include "y.tab.h"  #include "y.tab.h"
 #endif  #endif
   
 extern IN asir_infile;  static int Getc();
   static void Ungetc(int c);
   static void Gets(char *s);
   static int skipspace();
   
   extern INFILE asir_infile;
 extern struct oTKWD kwd[];  extern struct oTKWD kwd[];
   
 int afternl();  
 int myatoi();  
 int aftercomment();  
   
 extern int main_parser;  extern int main_parser;
 extern char *parse_strp;  extern char *parse_strp;
 extern int recv_intr;  extern int recv_intr;
   
 static int skipspace();  
 static int Getc();  
 static void Ungetc();  
 static void Gets();  
   
 #define NBUFSIZ (BUFSIZ*10)  #define NBUFSIZ (BUFSIZ*10)
 #define TBUFSIZ (BUFSIZ)  #define TBUFSIZ (BUFSIZ)
   
Line 117  while ( 1 ) {\
Line 113  while ( 1 ) {\
                 break;\                  break;\
 }  }
   
 yylex()  int yylex()
 {  {
 #define yylvalp (&yylval)  #define yylvalp (&yylval)
         register int c,c1;          register int c,c1;
Line 130  yylex()
Line 126  yylex()
         N n,n1;          N n,n1;
         Q q;          Q q;
         Obj r;          Obj r;
           int floatingpoint = 0;
           double dbl;
           Real real;
           double atof();
           extern int bigfloat;
   
   
         /* initialize buffer pointers */          /* initialize buffer pointers */
         nbuf = nbuf0; tbuf = tbuf0;          nbuf = nbuf0; tbuf = tbuf0;
Line 142  yylex()
Line 144  yylex()
                         while ( ( c = Getc() ) == '0' );                          while ( ( c = Getc() ) == '0' );
                         if ( c == '.' ) {                          if ( c == '.' ) {
                                 Ungetc(c); c = '0';                                  Ungetc(c); c = '0';
                         } else if ( c == 'x' ) {                          } else if ( c == 'x' || c == 'X' ) {
                                 for ( i = 0; i < 8; i++ )                                  for ( i = 0; i < 8; i++ )
                                         nbuf[i] = '0';                                          nbuf[i] = '0';
                                 READ_ALNUM_NBUF                                  READ_ALNUM_NBUF
Line 151  yylex()
Line 153  yylex()
                                 NTOQ(n1,1,q); r = (Obj)q;                                  NTOQ(n1,1,q); r = (Obj)q;
                                 yylvalp->p = (pointer)r;                                  yylvalp->p = (pointer)r;
                                 return ( FORMULA );                                  return ( FORMULA );
                         } else if ( c == 'b' ) {                          } else if ( c == 'b' || c == 'B' ) {
                                 for ( i = 0; i < 32; i++ )                                  for ( i = 0; i < 32; i++ )
                                         nbuf[i] = '0';                                          nbuf[i] = '0';
                                 READ_ALNUM_NBUF                                  READ_ALNUM_NBUF
Line 184  yylex()
Line 186  yylex()
                                 c = Getc();                                  c = Getc();
                                 if ( c == '\\' ) {                                  if ( c == '\\' ) {
                                         c1 = Getc();                                          c1 = Getc();
                                         if ( c1 == 'n' )                                          if ( c1 == 'n' ) {
                                                 c1 = '\n';                                                  c1 = '\n';
                       }else if ( c1 == 't' ) {
                           c1 = '\t';
                       }else if ( isdigit(c1) ){
                           d = c1 - '0';
                           c1 = Getc();
                           if ( isdigit(c1) ) {
                                d = 8*d + (c1 - '0');
                                c1 = Getc();
                                if ( isdigit(c1) ) {
                                    d = 8*d + (c1 - '0');
                                }else {
                                    Ungetc(c1);
                                }
                           }else {
                               Ungetc(c1);
                           }
                           c1 = d;
                       }
                                         REALLOC_NBUF nbuf[i++] = c1;                                          REALLOC_NBUF nbuf[i++] = c1;
                                 } else {                                  } else {
                                         REALLOC_NBUF nbuf[i++] = c;                                          REALLOC_NBUF nbuf[i++] = c;
Line 250  yylex()
Line 270  yylex()
                 REALLOC_NBUF nbuf[i++] = c;                  REALLOC_NBUF nbuf[i++] = c;
                 READ_DIGIT_NBUF                  READ_DIGIT_NBUF
                 if ( c == '.' ) {                  if ( c == '.' ) {
                         double dbl;                          floatingpoint = 1;
                         Real real;  
                         double atof();  
                         extern int bigfloat;  
   
                         REALLOC_NBUF nbuf[i++] = c;                          REALLOC_NBUF nbuf[i++] = c;
                         READ_DIGIT_NBUF                          READ_DIGIT_NBUF
                         if ( c == 'e' ) {                          if ( c == 'e' || c == 'E' ) {
                                 REALLOC_NBUF nbuf[i++] = c;                                  REALLOC_NBUF nbuf[i++] = c;
                                 c = Getc();                                  c = Getc();
                                 if ( (c == '+') || (c == '-') ) {                                  if ( (c == '+') || (c == '-') ) {
Line 266  yylex()
Line 283  yylex()
                                         Ungetc(c);                                          Ungetc(c);
                                 READ_DIGIT_NBUF                                  READ_DIGIT_NBUF
                         }                          }
                   } else if ( c == 'e' || c == 'E' ) {
                           floatingpoint = 1;
                           REALLOC_NBUF nbuf[i++] = c;
                           c = Getc();
                           if ( (c == '+') || (c == '-') ) {
                                   REALLOC_NBUF nbuf[i++] = c;
                           } else
                                   Ungetc(c);
                           READ_DIGIT_NBUF
                   }
                   if ( floatingpoint ) {
                         Ungetc(c); REALLOC_NBUF nbuf[i] = 0;                          Ungetc(c); REALLOC_NBUF nbuf[i] = 0;
 #if PARI  #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;
Line 289  yylex()
Line 317  yylex()
                 }                  }
                 yylvalp->p = (pointer)r;                  yylvalp->p = (pointer)r;
                 return ( FORMULA );                  return ( FORMULA );
         } else if ( isalpha(c) ) {          } else if ( isalpha(c) || c == ':' ) {
                 i = 0;                  if ( c == ':' ) {
                 tbuf[i++] = c;                          c1 = Getc();
                           if ( c1 != ':' ) {
                                   Ungetc(c1);
                                   return c;
                           }
                           c1 = Getc();
                           if ( !isalpha(c1) ) {
                                   Ungetc(c1);
                                   return COLONCOLON;
                           }
                           i = 0;
                           tbuf[i++] = ':';
                           tbuf[i++] = ':';
                           tbuf[i++] = c1;
                   } else {
                           i = 0;
                           tbuf[i++] = c;
                   }
                 while ( 1 ) {                  while ( 1 ) {
                         c = Getc();                          c = Getc();
                         if ( isalpha(c)||isdigit(c)||(c=='_') ) {                          if ( isalpha(c)||isdigit(c)||(c=='_')||(c=='.') ) {
                                 REALLOC_TBUF tbuf[i++] = c;                                  REALLOC_TBUF tbuf[i++] = c;
                         } else                          } else
                                 break;                                  break;
Line 369  yylex()
Line 414  yylex()
                         Ungetc(c); REALLOC_TBUF tbuf[i] = 0;                          Ungetc(c); REALLOC_TBUF tbuf[i] = 0;
                         if ( !strcmp(tbuf,"@p") )                          if ( !strcmp(tbuf,"@p") )
                                 return GFPNGEN;                                  return GFPNGEN;
                           else if ( !strcmp(tbuf,"@s") )
                                   return GFSNGEN;
                         else if ( !strcmp(tbuf,"@i") ) {                          else if ( !strcmp(tbuf,"@i") ) {
                                 extern pointer IU;                                  extern pointer IU;
   
Line 389  yylex()
Line 436  yylex()
                         } else if ( !strcmp(tbuf,"@equiv") ) {                          } else if ( !strcmp(tbuf,"@equiv") ) {
                                 yylvalp->i = (int)L_EQUIV;                                  yylvalp->i = (int)L_EQUIV;
                                 return FOP_EQUIV;                                  return FOP_EQUIV;
                           } else if ( !strcmp(tbuf,"@grlex") ) {
                                   yylvalp->p = Symbol_grlex;
                                   return FORMULA;
                           } else if ( !strcmp(tbuf,"@glex") ) {
                                   yylvalp->p = Symbol_glex;
                                   return FORMULA;
                           } else if ( !strcmp(tbuf,"@lex") ) {
                                   yylvalp->p = Symbol_lex;
                                   return FORMULA;
                         } else {                          } else {
                                 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;
Line 410  void purge_stdin()
Line 466  void purge_stdin()
         stdin->_IO_read_end = stdin->_IO_read_base;          stdin->_IO_read_end = stdin->_IO_read_base;
         stdin->_IO_read_ptr = stdin->_IO_read_base;          stdin->_IO_read_ptr = stdin->_IO_read_base;
 #elif defined(VISUAL_LIB)  #elif defined(VISUAL_LIB)
           void w_purge_stdin();
   
         w_purge_stdin();          w_purge_stdin();
 #elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL)  #elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || 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)
           stdin->_r = 0; stdin->_p = stdin->_bf._base;
 #else  #else
 --->FIXIT  --->FIXIT
 #endif  #endif
Line 423  static int skipspace() {
Line 483  static int skipspace() {
   
         for ( c = Getc(); ; )          for ( c = Getc(); ; )
                 switch ( c ) {                  switch ( c ) {
                         case ' ': case '\t':                          case ' ': case '\t': case '\r':
                                 c = Getc(); break;                                  c = Getc(); break;
                         case '\n':                          case '\n':
                                 c = afternl();  break;                                  c = afternl();  break;
Line 479  int aftercomment() {
Line 539  int aftercomment() {
         }          }
 }  }
   
 int myatoi(s)  int myatoi(char *s)
 char *s;  
 {  {
         int i,r;          int i,r;
         for ( i = 0, r = 0; i < DLENGTH; i++ ) r = r * 10 + ( s[i] - '0' );          for ( i = 0, r = 0; i < DLENGTH; i++ ) r = r * 10 + ( s[i] - '0' );
Line 488  char *s;
Line 547  char *s;
 }  }
   
 extern int ox_do_copy;  extern int ox_do_copy;
   extern int I_am_server;
   extern JMP_BUF main_env;
   
 void yyerror(s)  void yyerror(char *s)
 char *s;  
 {  {
         if ( main_parser )          if ( main_parser )
                 if ( ox_do_copy ) {                  if ( I_am_server ) {
                           set_lasterror(s);
                           LONGJMP(main_env,1);
                   } else if ( ox_do_copy ) {
                         /* push errors to DebugStack */                          /* push errors to DebugStack */
                 } else {                  } else {
                         if ( asir_infile->fp == stdin )                          if ( asir_infile->fp == stdin )
Line 509  int echoback;
Line 572  int echoback;
   
 extern int read_exec_file, do_fep, do_file;  extern int read_exec_file, do_fep, do_file;
   
 int readline_getc();  
 void readline_ungetc();  
 int Egetc();  
 void Eungetc();  
   
 unsigned char encrypt_char(unsigned char);  unsigned char encrypt_char(unsigned char);
 unsigned char decrypt_char(unsigned char);  unsigned char decrypt_char(unsigned char);
   
 int Egetc(fp)  int Egetc(FILE *fp)
 FILE *fp;  
 {  {
         int c;          int c;
   
         if ( fp ) {          if ( fp ) {
                 c = getc(fp);  #if FEP
                   if ( do_fep && isatty(fileno(fp)) )
                           c = readline_getc();
                   else
   #endif
                           c = getc(fp);
 #if defined(VISUAL)  #if defined(VISUAL)
                 if ( recv_intr ) {                  if ( recv_intr ) {
 #include <signal.h>  #include <signal.h>
Line 552  FILE *fp;
Line 614  FILE *fp;
         }          }
 }  }
   
 void Eungetc(c,fp)  void Eungetc(int c,FILE *fp)
 int c;  
 FILE *fp;  
 {  {
         if ( fp ) {          if ( fp ) {
                 if ( asir_infile->encoded )                  if ( asir_infile->encoded )
                         c = (int)encrypt_char((unsigned char)c);                          c = (int)encrypt_char((unsigned char)c);
                 ungetc(c,fp);  #if FEP
                   if ( do_fep && isatty(fileno(fp)) )
                           readline_ungetc();
                   else
   #endif
                           ungetc(c,fp);
         } else          } else
                 *--parse_strp = c;                  *--parse_strp = c;
 }  }
Line 568  static int Getc() {
Line 633  static int Getc() {
         int c;          int c;
   
         if ( main_parser ) {          if ( main_parser ) {
 #if FEP  
                 if ( do_fep && isatty(fileno(asir_infile->fp)) )  
                         while ( 1 ) {  
                                 if ((c = readline_getc()) == EOF)  
                                         if ( NEXT(asir_infile) ) {  
                                                 closecurrentinput();  
                                                 c = Getc();  
                                                 break;  
                                         } else if ( read_exec_file || do_file )  
                                                 asir_terminate(1);  
                                         else {  
                                                 if ( asir_infile->fp )  
                                                         clearerr(asir_infile->fp);  
                                         }  
                                 else  
                                         break;  
                         }  
                 else  
 #endif  
                 while ( 1 ) {                  while ( 1 ) {
                         if ((c = Egetc(asir_infile->fp)) == EOF)                          if ((c = Egetc(asir_infile->fp)) == EOF)
                                 if ( NEXT(asir_infile) ) {                                  if ( NEXT(asir_infile) ) {
Line 613  static int Getc() {
Line 659  static int Getc() {
         return ( c );          return ( c );
 }  }
   
 static void Ungetc(c) {  static void Ungetc(int c) {
         if ( main_parser ) {          if ( main_parser ) {
 #if FEP  
                 if ( do_fep && isatty(fileno(asir_infile->fp)) )  
                         readline_ungetc();  
                 else  
 #endif  
                 Eungetc(c,asir_infile->fp);                  Eungetc(c,asir_infile->fp);
                 if ( echoback )                  if ( echoback )
                         fputc('',asir_out);                          fputc('',asir_out);
Line 627  static void Ungetc(c) {
Line 668  static void Ungetc(c) {
                 *--parse_strp = c;                  *--parse_strp = c;
 }  }
   
 static void Gets(s)  static void Gets(char *s)
 char *s;  
 {  {
         int c;          int c;
   
Line 664  void readline_ungetc()
Line 704  void readline_ungetc()
         readline_nc++; readline_index--;          readline_nc++; readline_index--;
 }  }
   
 char *readline_console(prompt)  char *readline_console(char *prompt)
 char *prompt;  
 {  {
         char *line;          char *line;
         int exp_result;          int exp_result;
Legend:
Removed from v.1.12  
changed lines
  Added in v.1.30
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>