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

version 1.1, 1999/12/03 07:39:12 version 1.22, 2003/02/14 22:29:18
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/asir99/parse/lex.c,v 1.1.1.1 1999/11/10 08:12:34 noro Exp $ */  /*
    * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
    * All rights reserved.
    *
    * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
    * non-exclusive and royalty-free license to use, copy, modify and
    * redistribute, solely for non-commercial and non-profit purposes, the
    * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
    * conditions of this Agreement. For the avoidance of doubt, you acquire
    * only a limited right to use the SOFTWARE hereunder, and FLL or any
    * third party developer retains all rights, including but not limited to
    * copyrights, in and to the SOFTWARE.
    *
    * (1) FLL does not grant you a license in any way for commercial
    * purposes. You may use the SOFTWARE only for non-commercial and
    * non-profit purposes only, such as academic, research and internal
    * business use.
    * (2) The SOFTWARE is protected by the Copyright Law of Japan and
    * international copyright treaties. If you make copies of the SOFTWARE,
    * with or without modification, as permitted hereunder, you shall affix
    * to all such copies of the SOFTWARE the above copyright notice.
    * (3) An explicit reference to this SOFTWARE and its copyright owner
    * shall be made on your publication or presentation in any form of the
    * results obtained by use of the SOFTWARE.
    * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
    * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
    * for such modification or the source code of the modified part of the
    * SOFTWARE.
    *
    * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
    * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
    * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
    * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
    * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
    * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
    * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
    * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
    * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
    * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
    * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
    * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
    * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
    * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
    * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
    * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
    * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
    *
    * $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.21 2002/09/09 23:52:45 noro Exp $
   */
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
 #include "al.h"  #include "al.h"
 #include "base.h"  #include "base.h"
 #include "parse.h"  #include "parse.h"
 #if !defined(THINK_C)  
 #include <sys/types.h>  #include <sys/types.h>
 #include <sys/stat.h>  #include <sys/stat.h>
 #endif  #if defined(VISUAL)
   #include "ytab.h"
   #else
 #include "y.tab.h"  #include "y.tab.h"
   #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;
   
 static int skipspace();  #define NBUFSIZ (BUFSIZ*10)
 static int Getc();  #define TBUFSIZ (BUFSIZ)
 static void Ungetc();  
 static void Gets();  
   
 yylex()  #define REALLOC_NBUF \
   if ( i >= nbufsize ) {\
           nbufsize += NBUFSIZ;\
           if ( nbuf == nbuf0 ) {\
                   nbuf = (char *)MALLOC_ATOMIC(nbufsize);\
                   bcopy(nbuf0,nbuf,nbufsize-NBUFSIZ);\
           } else\
                   nbuf = REALLOC(nbuf,nbufsize);\
   }
   
   #define REALLOC_TBUF \
   if ( i >= tbufsize ) {\
           tbufsize += TBUFSIZ;\
           if ( tbuf == tbuf0 ) {\
                   tbuf = (char *)MALLOC_ATOMIC(tbufsize);\
                   bcopy(tbuf0,tbuf,tbufsize-TBUFSIZ);\
           } else\
                   tbuf = REALLOC(tbuf,tbufsize);\
   }
   
   #define READ_ALNUM_NBUF \
   while ( 1 ) {\
           c = Getc();\
           if ( isalnum(c) ) {\
                   REALLOC_NBUF nbuf[i++] = c;\
           } else\
                   break;\
   }
   
   #define READ_DIGIT_NBUF \
   while ( 1 ) {\
           c = Getc();\
           if ( isdigit(c) ) {\
                   REALLOC_NBUF nbuf[i++] = c;\
           } else\
                   break;\
   }
   
   int yylex()
 {  {
 #define yylvalp (&yylval)  #define yylvalp (&yylval)
         register int c,c1;          register int c,c1;
         register int *ptr;          register int *ptr;
         char *cptr;          char *cptr;
         int d,i,j;          int d,i,j;
 #if defined(__MWERKS__)          char nbuf0[NBUFSIZ],tbuf0[TBUFSIZ];
         char nbuf[BUFSIZ],tbuf[BUFSIZ];          char *nbuf, *tbuf;
 #else          int nbufsize, tbufsize;
         char nbuf[BUFSIZ*10],tbuf[BUFSIZ];  
 #endif  
         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 */
           nbuf = nbuf0; tbuf = tbuf0;
           nbufsize = NBUFSIZ; tbufsize = TBUFSIZ;
   
         switch ( c = skipspace() ) {          switch ( c = skipspace() ) {
                 case EOF :                  case EOF :
                         asir_terminate(2); break;                          asir_terminate(2); break;
Line 48  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';
                                 for ( ; isalnum(c = Getc()); nbuf[i++] = c );                                  READ_ALNUM_NBUF
                                 Ungetc(c); nbuf[i] = 0;                                  Ungetc(c); REALLOC_NBUF nbuf[i] = 0;
                                 hexton(nbuf,&n1);                                  hexton(nbuf,&n1);
                                 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';
                                 for ( ; isalnum(c = Getc()); nbuf[i++] = c );                                  READ_ALNUM_NBUF
                                 Ungetc(c); nbuf[i] = 0;                                  Ungetc(c); REALLOC_NBUF nbuf[i] = 0;
                                 binaryton(nbuf,&n1);                                  binaryton(nbuf,&n1);
                                 NTOQ(n1,1,q); r = (Obj)q;                                  NTOQ(n1,1,q); r = (Obj)q;
                                 yylvalp->p = (pointer)r;                                  yylvalp->p = (pointer)r;
Line 78  yylex()
Line 174  yylex()
                                         break;                                          break;
                                 if ( c == '\\' )                                  if ( c == '\\' )
                                         c = Getc();                                          c = Getc();
                                 tbuf[i] = c;                                  REALLOC_TBUF tbuf[i] = c;
                         }                          }
                         tbuf[i] = 0;                          REALLOC_TBUF tbuf[i] = 0;
                         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 LCASE; break;                          return LCASE; break;
                 case '"' :                  case '"' :
 #if 0  
                         for ( i = 0; (nbuf[i] = Getc()) != '"'; i++ );  
 #endif  
                         i = 0;                          i = 0;
                         do {                          do {
                                 c = Getc();                                  c = Getc();
Line 95  yylex()
Line 188  yylex()
                                         c1 = Getc();                                          c1 = Getc();
                                         if ( c1 == 'n' )                                          if ( c1 == 'n' )
                                                 c1 = '\n';                                                  c1 = '\n';
                                         nbuf[i++] = c1;                                          REALLOC_NBUF nbuf[i++] = c1;
                                 } else                                  } else {
                                         nbuf[i++] = c;                                          REALLOC_NBUF nbuf[i++] = c;
                                   }
                         } while ( c != '"' );                          } while ( c != '"' );
                         nbuf[i-1] = 0;                          nbuf[i-1] = 0; /* REALLOC_NBUF is not necessary */
                         cptr = (char *)MALLOC(strlen(nbuf)+1);                          cptr = (char *)MALLOC(strlen(nbuf)+1);
                         strcpy(cptr,nbuf); yylvalp->p = (pointer) cptr;                          strcpy(cptr,nbuf); yylvalp->p = (pointer) cptr;
                         return ( STR ); break;                          return ( STR ); break;
Line 155  yylex()
Line 249  yylex()
         if ( isdigit(c) ) {          if ( isdigit(c) ) {
                 for ( i = 0; i < DLENGTH; i++ )                  for ( i = 0; i < DLENGTH; i++ )
                         nbuf[i] = '0';                          nbuf[i] = '0';
                 for ( nbuf[i++] = c; isdigit(c = Getc()); nbuf[i++] = c);                  REALLOC_NBUF nbuf[i++] = c;
                   READ_DIGIT_NBUF
                 if ( c == '.' ) {                  if ( c == '.' ) {
                         double dbl;                          floatingpoint = 1;
                         Real real;  
                         double atof();  
                         extern int bigfloat;  
   
                         for ( nbuf[i++] = c; isdigit(c = Getc()); nbuf[i++] = c);                          REALLOC_NBUF nbuf[i++] = c;
                         if ( c == 'e' ) {                          READ_DIGIT_NBUF
                                 nbuf[i++] = c;                          if ( c == 'e' || c == 'E' ) {
                                 if ( ((c = Getc()) == '+') || (c == '-') ) {                                  REALLOC_NBUF nbuf[i++] = c;
                                         nbuf[i++] = c; c = Getc();                                  c = Getc();
                                 }                                  if ( (c == '+') || (c == '-') ) {
                                 for ( ; isdigit(c); nbuf[i++] = c, c = Getc());                                          REALLOC_NBUF nbuf[i++] = c;
                                   } else
                                           Ungetc(c);
                                   READ_DIGIT_NBUF
                         }                          }
                         Ungetc(c); nbuf[i] = 0;                  } else if ( c == 'e' || c == 'E' ) {
 #if PARI                          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;
   #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 194  yylex()
Line 300  yylex()
                 yylvalp->p = (pointer)r;                  yylvalp->p = (pointer)r;
                 return ( FORMULA );                  return ( FORMULA );
         } else if ( isalpha(c) ) {          } else if ( isalpha(c) ) {
                 for ( i = 1, tbuf[0] = c; isalpha(c = Getc())||isdigit(c)||(c=='_'); i++ )                  i = 0;
                         tbuf[i] = c;                  tbuf[i++] = c;
                 tbuf[i] = 0; Ungetc(c);                  while ( 1 ) {
                           c = Getc();
                           if ( isalpha(c)||isdigit(c)||(c=='_') ) {
                                   REALLOC_TBUF tbuf[i++] = c;
                           } else
                                   break;
                   }
                   REALLOC_TBUF tbuf[i] = 0; Ungetc(c);
                 if ( isupper(tbuf[0]) ) {                  if ( isupper(tbuf[0]) ) {
                         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 214  yylex()
Line 327  yylex()
                 }                  }
         } else if ( c == '@' ) {          } else if ( c == '@' ) {
                 if ( isdigit(c = Getc()) ) {                  if ( isdigit(c = Getc()) ) {
                         for ( i = 1, nbuf[0] = c; isdigit(c = Getc()); nbuf[i++] = c);                          i = 0;
                         Ungetc(c); nbuf[i] = 0; yylvalp->i = atoi(nbuf);                          nbuf[i++] = c;
                           READ_DIGIT_NBUF
                           Ungetc(c); REALLOC_NBUF nbuf[i] = 0;
                           yylvalp->i = atoi(nbuf);
                         return ANS;                          return ANS;
                 } else if ( c == '@' ) {                  } else if ( c == '@' ) {
                         yylvalp->i = MAX(0,APVS->n-1);                          yylvalp->i = MAX(0,APVS->n-1);
Line 250  yylex()
Line 366  yylex()
                                         return FOP_AND; break;                                          return FOP_AND; break;
                         }                          }
                 } else if ( isalpha(c) ) {                  } else if ( isalpha(c) ) {
                         for ( i = 2, tbuf[0] = '@', tbuf[1] = c;                          i = 0;
                                 isalpha(c = Getc()); tbuf[i++] = c);                          tbuf[i++] = '@';
                         Ungetc(c); tbuf[i] = 0;                          tbuf[i++] = c;
                           while ( 1 ) {
                                   c = Getc();
                                   if ( isalpha(c) ) {
                                           REALLOC_TBUF tbuf[i++] = c;
                                   } else
                                           break;
                           }
                           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 288  yylex()
Line 414  yylex()
                 return ( c );                  return ( c );
 }  }
   
   void purge_stdin()
   {
   #if defined(__FreeBSD__)
           fpurge(stdin);
   #elif defined(linux)
           stdin->_IO_read_end = stdin->_IO_read_base;
           stdin->_IO_read_ptr = stdin->_IO_read_base;
   #elif defined(VISUAL_LIB)
           void w_purge_stdin();
   
           w_purge_stdin();
   #elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || defined(_IBMR2)
           stdin->_ptr = stdin->_base; stdin->_cnt = 0;
   #elif (defined(__MACH__) && defined(__ppc__)) || defined(__CYGWIN__)
           stdin->_r = 0; stdin->_p = stdin->_bf._base;
   #else
   --->FIXIT
   #endif
   }
   
 static int skipspace() {  static int skipspace() {
         int c,c1;          int c,c1;
   
         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 349  int aftercomment() {
Line 495  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 359  char *s;
Line 504  char *s;
   
 extern int ox_do_copy;  extern int ox_do_copy;
   
 void yyerror(s)  void yyerror(char *s)
 char *s;  
 {  {
         if ( main_parser )          if ( main_parser )
                 if ( ox_do_copy ) {                  if ( ox_do_copy ) {
Line 379  int echoback;
Line 523  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 defined(FEP)
                   if ( do_fep && isatty(fileno(fp)) )
                           c = readline_getc();
                   else
   #endif
                           c = getc(fp);
   #if defined(VISUAL)
                   if ( recv_intr ) {
   #include <signal.h>
                           if ( recv_intr == 1 ) {
                                   recv_intr = 0;
                                   int_handler(SIGINT);
                           } else {
                                   recv_intr = 0;
                                   ox_usr1_handler(0);
                           }
                   }
   #endif
                 if ( c == EOF )                  if ( c == EOF )
                         return c;                          return c;
                 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 {          } else if ( read_exec_file )
                   return EOF;
           else {
                 c = *parse_strp++;                  c = *parse_strp++;
                 if ( !c )                  if ( !c )
                         return EOF;                          return EOF;
Line 408  FILE *fp;
Line 565  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 defined(FEP)
                   if ( do_fep && isatty(fileno(fp)) )
                           readline_ungetc();
                   else
   #endif
                           ungetc(c,fp);
         } else          } else
                 *--parse_strp = c;                  *--parse_strp = c;
 }  }
Line 428  static int Getc() {
Line 588  static int Getc() {
                         if ((c = Egetc(asir_infile->fp)) == EOF)                          if ((c = Egetc(asir_infile->fp)) == EOF)
                                 if ( NEXT(asir_infile) ) {                                  if ( NEXT(asir_infile) ) {
                                         closecurrentinput();                                          closecurrentinput();
                                         c = Getc();                                          /* if the input is the top level, generate error */
                                           if ( !NEXT(asir_infile) )
                                                   error("end-of-file detected during parsing");
                                           else
                                                   c = Getc();
                                         break;                                          break;
                                 } else if ( read_exec_file || do_file )                                  } else if ( read_exec_file || do_file )
                                         asir_terminate(2);                                          asir_terminate(2);
Line 446  static int Getc() {
Line 610  static int Getc() {
         return ( c );          return ( c );
 }  }
   
 static void Ungetc(c) {  static void Ungetc(int c) {
         if ( main_parser ) {          if ( main_parser ) {
                 Eungetc(c,asir_infile->fp);                  Eungetc(c,asir_infile->fp);
                 if ( echoback )                  if ( echoback )
Line 455  static void Ungetc(c) {
Line 619  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 464  char *s;
Line 627  char *s;
                 *s++ = c;                  *s++ = c;
         *s = 0;          *s = 0;
 }  }
   
   #if defined(FEP)
   
   static char *readline_line;
   static int readline_nc,readline_index;
   char *readline_console();
   
   int readline_getc()
   {
           char buf[BUFSIZ];
   
           if ( !readline_nc ) {
                   if ( readline_line )
                           free(readline_line);
                   sprompt(buf);
                   readline_line = readline_console(buf);
                   readline_nc = strlen(readline_line);
                   readline_index = 0;
           }
           readline_nc--;
           return readline_line[readline_index++];
   }
   
   void readline_ungetc()
   {
           readline_nc++; readline_index--;
   }
   
   char *readline_console(char *prompt)
   {
           char *line;
           int exp_result;
           char *expansion;
   
           while ( 1 ) {
                   line = (char *)readline(prompt);
                   if ( line && *line ) {
                           using_history();
                           exp_result = history_expand(line,&expansion);
                           if ( !exp_result ) {
                                   free(expansion);
                                   for ( ; isspace(*line); line++ );
                                   add_history(line);
                                   break;
                           } else if ( exp_result > 0 ) {
                                   free(line);
                                   line = expansion;
                                   break;
                           }
                   }
           }
           return line;
   }
   #endif
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.22
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>