[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.52 and 1.53

version 1.52, 2017/03/28 03:26:33 version 1.53, 2018/03/29 01:32:54
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.51 2016/08/24 08:21:03 ohara Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.52 2017/03/28 03:26:33 noro Exp $
 */  */
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
Line 80  extern char *parse_strp;
Line 80  extern char *parse_strp;
   
 #define REALLOC_NBUF \  #define REALLOC_NBUF \
 if ( i >= nbufsize ) {\  if ( i >= nbufsize ) {\
         nbufsize += NBUFSIZ;\    nbufsize += NBUFSIZ;\
         if ( nbuf == nbuf0 ) {\    if ( nbuf == nbuf0 ) {\
                 nbuf = (char *)MALLOC_ATOMIC(nbufsize);\      nbuf = (char *)MALLOC_ATOMIC(nbufsize);\
                 bcopy(nbuf0,nbuf,nbufsize-NBUFSIZ);\      bcopy(nbuf0,nbuf,nbufsize-NBUFSIZ);\
         } else\    } else\
                 nbuf = REALLOC(nbuf,nbufsize);\      nbuf = REALLOC(nbuf,nbufsize);\
 }  }
   
 #define REALLOC_TBUF \  #define REALLOC_TBUF \
 if ( i >= tbufsize ) {\  if ( i >= tbufsize ) {\
         tbufsize += TBUFSIZ;\    tbufsize += TBUFSIZ;\
         if ( tbuf == tbuf0 ) {\    if ( tbuf == tbuf0 ) {\
                 tbuf = (char *)MALLOC_ATOMIC(tbufsize);\      tbuf = (char *)MALLOC_ATOMIC(tbufsize);\
                 bcopy(tbuf0,tbuf,tbufsize-TBUFSIZ);\      bcopy(tbuf0,tbuf,tbufsize-TBUFSIZ);\
         } else\    } else\
                 tbuf = REALLOC(tbuf,tbufsize);\      tbuf = REALLOC(tbuf,tbufsize);\
 }  }
   
 #define READ_ALNUM_NBUF \  #define READ_ALNUM_NBUF \
 while ( 1 ) {\  while ( 1 ) {\
         c = Getc();\    c = Getc();\
         if ( isalnum(c) ) {\    if ( isalnum(c) ) {\
                 REALLOC_NBUF nbuf[i++] = c;\      REALLOC_NBUF nbuf[i++] = c;\
         } else\    } else\
                 break;\      break;\
 }  }
   
 #define READ_DIGIT_NBUF \  #define READ_DIGIT_NBUF \
 while ( 1 ) {\  while ( 1 ) {\
         c = Getc();\    c = Getc();\
         if ( isdigit(c) ) {\    if ( isdigit(c) ) {\
                 REALLOC_NBUF nbuf[i++] = c;\      REALLOC_NBUF nbuf[i++] = c;\
         } else\    } else\
                 break;\      break;\
 }  }
   
 int yylex()  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;
         char nbuf0[NBUFSIZ],tbuf0[TBUFSIZ];    char nbuf0[NBUFSIZ],tbuf0[TBUFSIZ];
         char *nbuf, *tbuf;    char *nbuf, *tbuf;
         int nbufsize, tbufsize;    int nbufsize, tbufsize;
         N n,n1;    N n,n1;
         Q q;    Q q;
         Obj r;    Obj r;
         int floatingpoint = 0;    int floatingpoint = 0;
         double dbl;    double dbl;
         Real real;    Real real;
         double atof();    double atof();
         extern int bigfloat;    extern int bigfloat;
   
   
         /* initialize buffer pointers */    /* initialize buffer pointers */
         nbuf = nbuf0; tbuf = tbuf0;    nbuf = nbuf0; tbuf = tbuf0;
         nbufsize = NBUFSIZ; tbufsize = TBUFSIZ;    nbufsize = NBUFSIZ; tbufsize = TBUFSIZ;
   
         switch ( c = skipspace() ) {    switch ( c = skipspace() ) {
                 case EOF :      case EOF :
                         asir_terminate(2); break;        asir_terminate(2); break;
                 case '0' :      case '0' :
                         while ( ( c = Getc() ) == '0' );        while ( ( c = Getc() ) == '0' );
                         if ( c == '.' ) {        if ( c == '.' ) {
                                 Ungetc(c); c = '0';          Ungetc(c); c = '0';
                         } else if ( c == 'x' || 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
                                 Ungetc(c); REALLOC_NBUF 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' || 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
                                 Ungetc(c); REALLOC_NBUF 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;
                                 return ( FORMULA );          return ( FORMULA );
                         } else if ( !isdigit(c) ) {        } else if ( !isdigit(c) ) {
                                 yylvalp->p = 0; Ungetc(c);          yylvalp->p = 0; Ungetc(c);
                                 return ( FORMULA );          return ( FORMULA );
                         }        }
                         break;        break;
                 case '\'' :      case '\'' :
                         for ( i = 0; ; i++ ) {        for ( i = 0; ; i++ ) {
                                 c = Getc();          c = Getc();
                                 if ( c == '\'' )          if ( c == '\'' )
                                         break;            break;
                                 if ( c == '\\' )          if ( c == '\\' )
                                         c = Getc();            c = Getc();
                                 REALLOC_TBUF tbuf[i] = c;          REALLOC_TBUF tbuf[i] = c;
                         }        }
                         REALLOC_TBUF 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 '"' :
                         i = 0;        i = 0;
                         do {        do {
                                 c = Getc();          c = Getc();
                 if ( c == '\n' ) asir_infile->ln++;                  if ( c == '\n' ) asir_infile->ln++;
                                 if ( c == '\\' ) {          if ( c == '\\' ) {
                                         c1 = Getc();            c1 = Getc();
                                         if ( c1 == 'n' ) {            if ( c1 == 'n' ) {
                                                 c1 = '\n';              c1 = '\n';
                                         }else if ( c1 == 'r' ) {            }else if ( c1 == 'r' ) {
                                                 c1 = '\r';              c1 = '\r';
                     }else if ( c1 == 't' ) {                      }else if ( c1 == 't' ) {
                         c1 = '\t';                          c1 = '\t';
                     }else if ( isdigit(c1) ){                      }else if ( isdigit(c1) ){
Line 212  int yylex()
Line 212  int yylex()
                         }                          }
                         c1 = d;                          c1 = d;
                     }                      }
                                         REALLOC_NBUF nbuf[i++] = c1;            REALLOC_NBUF nbuf[i++] = c1;
                                 } else {          } else {
                                         REALLOC_NBUF nbuf[i++] = c;            REALLOC_NBUF nbuf[i++] = c;
                                 }          }
                         } while ( c != '"' );        } while ( c != '"' );
                         nbuf[i-1] = 0; /* REALLOC_NBUF is not necessary */        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;
                 case '>': case '<': case '=': case '!':      case '>': case '<': case '=': case '!':
                         if ( (c1 = Getc()) == '=' )        if ( (c1 = Getc()) == '=' )
                                 switch ( c ) {          switch ( c ) {
                                         case '>': yylvalp->i = (int)C_GE; break;            case '>': yylvalp->i = (int)C_GE; break;
                                         case '<': yylvalp->i = (int)C_LE; break;            case '<': yylvalp->i = (int)C_LE; break;
                                         case '=': yylvalp->i = (int)C_EQ; break;            case '=': yylvalp->i = (int)C_EQ; break;
                                         case '!': yylvalp->i = (int)C_NE; break;            case '!': yylvalp->i = (int)C_NE; break;
                                         default: break;            default: break;
                                 }          }
                         else if ( (c == '<' && c1 == '<') || (c == '>' && c1 == '>') )        else if ( (c == '<' && c1 == '<') || (c == '>' && c1 == '>') )
                                 return c;          return c;
                         else {        else {
                                 Ungetc(c1);          Ungetc(c1);
                                 switch ( c ) {          switch ( c ) {
                                         case '>': yylvalp->i = (int)C_GT; break;            case '>': yylvalp->i = (int)C_GT; break;
                                         case '<': yylvalp->i = (int)C_LT; break;            case '<': yylvalp->i = (int)C_LT; break;
                                         default: return c; break;            default: return c; break;
                                 }          }
                         }        }
                         return CMP; break;        return CMP; break;
                 case '+': case '-': case '*': case '/': case '%': case '^':      case '+': case '-': case '*': case '/': case '%': case '^':
                 case '|': case '&':      case '|': case '&':
                         switch ( c ) {        switch ( c ) {
                                 case '+': yylvalp->p = (pointer)addfs; break;          case '+': yylvalp->p = (pointer)addfs; break;
                                 case '-': yylvalp->p = (pointer)subfs; break;          case '-': yylvalp->p = (pointer)subfs; break;
                                 case '*': yylvalp->p = (pointer)mulfs; break;          case '*': yylvalp->p = (pointer)mulfs; break;
                                 case '/': yylvalp->p = (pointer)divfs; break;          case '/': yylvalp->p = (pointer)divfs; break;
                                 case '%': yylvalp->p = (pointer)remfs; break;          case '%': yylvalp->p = (pointer)remfs; break;
                                 case '^': yylvalp->p = (pointer)pwrfs; break;          case '^': yylvalp->p = (pointer)pwrfs; break;
                                 default: break;          default: break;
                         }        }
                         if ( (c1 = Getc()) == c )        if ( (c1 = Getc()) == c )
                                 switch ( c ) {          switch ( c ) {
                                         case '+': case '-': return SELF; break;            case '+': case '-': return SELF; break;
                                         case '|': return OR; break;            case '|': return OR; break;
                                         case '&': return AND; break;            case '&': return AND; break;
                                         default: Ungetc(c1); return c; break;            default: Ungetc(c1); return c; break;
                                 }          }
                         else if ( c1 == '=' )        else if ( c1 == '=' )
                                 return BOPASS;          return BOPASS;
                         else if ( (c == '-') && (c1 == '>') )        else if ( (c == '-') && (c1 == '>') )
                                 return POINT;          return POINT;
                         else {        else {
                                 Ungetc(c1); return c;          Ungetc(c1); return c;
                         }        }
                         break;        break;
                 default :      default :
                         break;        break;
         }    }
         if ( isdigit(c) ) {    if ( isdigit(c) ) {
                 for ( i = 0; i < DLENGTH; i++ )      for ( i = 0; i < DLENGTH; i++ )
                         nbuf[i] = '0';        nbuf[i] = '0';
                 REALLOC_NBUF nbuf[i++] = c;      REALLOC_NBUF nbuf[i++] = c;
                 READ_DIGIT_NBUF      READ_DIGIT_NBUF
                 if ( c == '.' ) {      if ( c == '.' ) {
                         floatingpoint = 1;        floatingpoint = 1;
   
                         REALLOC_NBUF nbuf[i++] = c;        REALLOC_NBUF nbuf[i++] = c;
                         READ_DIGIT_NBUF        READ_DIGIT_NBUF
                         if ( c == 'e' || 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 == '-') ) {
                                         REALLOC_NBUF nbuf[i++] = c;            REALLOC_NBUF nbuf[i++] = c;
                                 } else          } else
                                         Ungetc(c);            Ungetc(c);
                                 READ_DIGIT_NBUF          READ_DIGIT_NBUF
                         }        }
                 } else if ( c == 'e' || c == 'E' ) {      } else if ( c == 'e' || c == 'E' ) {
                         floatingpoint = 1;        floatingpoint = 1;
                         REALLOC_NBUF nbuf[i++] = c;        REALLOC_NBUF nbuf[i++] = c;
                         c = Getc();        c = Getc();
                         if ( (c == '+') || (c == '-') ) {        if ( (c == '+') || (c == '-') ) {
                                 REALLOC_NBUF nbuf[i++] = c;          REALLOC_NBUF nbuf[i++] = c;
                         } else        } else
                                 Ungetc(c);          Ungetc(c);
                         READ_DIGIT_NBUF        READ_DIGIT_NBUF
                 }      }
                 if ( floatingpoint ) {      if ( floatingpoint ) {
                         Ungetc(c); REALLOC_NBUF nbuf[i] = 0;        Ungetc(c); REALLOC_NBUF nbuf[i] = 0;
                         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 {      } 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);
                         n = NALLOC(d); PL(n) = d;        n = NALLOC(d); PL(n) = d;
                         for ( j = 0, ptr = BD(n); j < d; j++ ,i -= DLENGTH )        for ( j = 0, ptr = BD(n); j < d; j++ ,i -= DLENGTH )
                                 ptr[j] = myatoi(nbuf+i);          ptr[j] = myatoi(nbuf+i);
                         bnton(DBASE,n,&n1);        bnton(DBASE,n,&n1);
                         NTOQ(n1,1,q); r = (Obj)q;        NTOQ(n1,1,q); r = (Obj)q;
 /*                      optobj(&r); */  /*      optobj(&r); */
                 }      }
                 yylvalp->p = (pointer)r;      yylvalp->p = (pointer)r;
                 return ( FORMULA );      return ( FORMULA );
         } else if ( isalpha(c) || c == ':' || c == '_' ) {    } else if ( isalpha(c) || c == ':' || c == '_' ) {
                 if ( c == ':' ) {      if ( c == ':' ) {
                         c1 = Getc();        c1 = Getc();
                         if ( c1 != ':' ) {        if ( c1 != ':' ) {
                                 Ungetc(c1);          Ungetc(c1);
                                 return c;          return c;
                         }        }
                         c1 = Getc();        c1 = Getc();
                         if ( !isalpha(c1) ) {        if ( !isalpha(c1) ) {
                                 Ungetc(c1);          Ungetc(c1);
                                 return COLONCOLON;          return COLONCOLON;
                         }        }
                         i = 0;        i = 0;
                         tbuf[i++] = ':';        tbuf[i++] = ':';
                         tbuf[i++] = ':';        tbuf[i++] = ':';
                         tbuf[i++] = c1;        tbuf[i++] = c1;
                 } else {      } else {
                         i = 0;        i = 0;
                         tbuf[i++] = c;        tbuf[i++] = c;
                 }      }
                 while ( 1 ) {      while ( 1 ) {
                         c = Getc();        c = Getc();
                         if ( isalpha(c)||isdigit(c)||(c=='_')||(c=='.') ) {        if ( isalpha(c)||isdigit(c)||(c=='_')||(c=='.') ) {
                                 REALLOC_TBUF tbuf[i++] = c;          REALLOC_TBUF tbuf[i++] = c;
                         } else        } else
                                 break;          break;
                 }      }
                 REALLOC_TBUF tbuf[i] = 0; Ungetc(c);      REALLOC_TBUF tbuf[i] = 0; Ungetc(c);
                 if ( isupper(tbuf[0]) || (tbuf[0] == '_' && isupper(tbuf[1])) ) {      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;
                 } else {      } else {
                         for ( i = 0; kwd[i].name && strcmp(tbuf,kwd[i].name); i++ );        for ( i = 0; kwd[i].name && strcmp(tbuf,kwd[i].name); i++ );
                         if ( kwd[i].name ) {        if ( kwd[i].name ) {
                                 yylvalp->i = asir_infile->ln;          yylvalp->i = asir_infile->ln;
                                 return kwd[i].token;          return kwd[i].token;
                         } 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;
                                 return LCASE;          return LCASE;
                         }        }
                 }      }
         } else if ( c == '@' ) {    } else if ( c == '@' ) {
                 if ( isdigit(c = Getc()) ) {      if ( isdigit(c = Getc()) ) {
                         i = 0;        i = 0;
                         nbuf[i++] = c;        nbuf[i++] = c;
                         READ_DIGIT_NBUF        READ_DIGIT_NBUF
                         Ungetc(c); REALLOC_NBUF nbuf[i] = 0;        Ungetc(c); REALLOC_NBUF nbuf[i] = 0;
                         yylvalp->i = atoi(nbuf);        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);
                         return ANS;        return ANS;
                 } else if ( c == '>' ||  c == '<' ||  c == '=' || c == '!' ) {      } else if ( c == '>' ||  c == '<' ||  c == '=' || c == '!' ) {
                         if ( (c1 = Getc()) == '=' )        if ( (c1 = Getc()) == '=' )
                                 switch ( c ) {          switch ( c ) {
                                         case '>': yylvalp->i = (int)L_GE; break;            case '>': yylvalp->i = (int)L_GE; break;
                                         case '<': yylvalp->i = (int)L_LE; break;            case '<': yylvalp->i = (int)L_LE; break;
                                         case '=': yylvalp->i = (int)L_EQ; break;            case '=': yylvalp->i = (int)L_EQ; break;
                                         case '!': yylvalp->i = (int)L_NE; break;            case '!': yylvalp->i = (int)L_NE; break;
                                         default: break;            default: break;
                                 }          }
                         else {        else {
                                 Ungetc(c1);          Ungetc(c1);
                                 switch ( c ) {          switch ( c ) {
                                         case '>': yylvalp->i = (int)L_GT; break;            case '>': yylvalp->i = (int)L_GT; break;
                                         case '<': yylvalp->i = (int)L_LT; break;            case '<': yylvalp->i = (int)L_LT; break;
                                         case '=': yylvalp->i = (int)L_EQ; break;            case '=': yylvalp->i = (int)L_EQ; break;
                                         case '!': yylvalp->i = (int)L_NOT; return FOP_NOT; break;            case '!': yylvalp->i = (int)L_NOT; return FOP_NOT; break;
                                         default: break;            default: break;
                                 }          }
                         }        }
                         return LOP;        return LOP;
                 } else if ( c == '|' ||  c == '&' ) {      } else if ( c == '|' ||  c == '&' ) {
                         if ( (c1 = Getc()) != c )        if ( (c1 = Getc()) != c )
                                 Ungetc(c1);          Ungetc(c1);
                         switch ( c ) {        switch ( c ) {
                                 case '|': yylvalp->i = (int)L_OR;          case '|': yylvalp->i = (int)L_OR;
                                         return FOP_OR; break;            return FOP_OR; break;
                                 case '&': yylvalp->i = (int)L_AND;          case '&': yylvalp->i = (int)L_AND;
                                         return FOP_AND; break;            return FOP_AND; break;
                         }        }
                 } else if ( isalpha(c) ) {      } else if ( isalpha(c) ) {
                         i = 0;        i = 0;
                         tbuf[i++] = '@';        tbuf[i++] = '@';
                         tbuf[i++] = c;        tbuf[i++] = c;
                         while ( 1 ) {        while ( 1 ) {
                                 c = Getc();          c = Getc();
                                 if ( isalpha(c) ) {          if ( isalpha(c) ) {
                                         REALLOC_TBUF tbuf[i++] = c;            REALLOC_TBUF tbuf[i++] = c;
                                 } else          } else
                                         break;            break;
                         }        }
                         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") )        else if ( !strcmp(tbuf,"@s") )
                                 return GFSNGEN;          return GFSNGEN;
                         else if ( !strcmp(tbuf,"@void") ) {        else if ( !strcmp(tbuf,"@void") ) {
                                 yylvalp->p = VOIDobj;          yylvalp->p = VOIDobj;
                                 return FORMULA;          return FORMULA;
                         } else if ( !strcmp(tbuf,"@i") ) {        } else if ( !strcmp(tbuf,"@i") ) {
                                 extern pointer IU;          extern pointer IU;
   
                                 yylvalp->p = IU;          yylvalp->p = IU;
                                 return FORMULA;          return FORMULA;
                         } else if ( !strcmp(tbuf,"@true") ) {        } else if ( !strcmp(tbuf,"@true") ) {
                                 yylvalp->p = F_TRUE;          yylvalp->p = F_TRUE;
                                 return FORMULA;          return FORMULA;
                         } else if ( !strcmp(tbuf,"@false") ) {        } else if ( !strcmp(tbuf,"@false") ) {
                                 yylvalp->p = F_FALSE;          yylvalp->p = F_FALSE;
                                 return FORMULA;          return FORMULA;
                         } else if ( !strcmp(tbuf,"@impl") ) {        } else if ( !strcmp(tbuf,"@impl") ) {
                                 yylvalp->i = (int)L_IMPL;          yylvalp->i = (int)L_IMPL;
                                 return FOP_IMPL;          return FOP_IMPL;
                         } else if ( !strcmp(tbuf,"@repl") ) {        } else if ( !strcmp(tbuf,"@repl") ) {
                                 yylvalp->i = (int)L_REPL;          yylvalp->i = (int)L_REPL;
                                 return FOP_REPL;          return FOP_REPL;
                         } 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") ) {        } else if ( !strcmp(tbuf,"@grlex") ) {
                                 yylvalp->p = Symbol_grlex;          yylvalp->p = Symbol_grlex;
                                 return FORMULA;          return FORMULA;
                         } else if ( !strcmp(tbuf,"@glex") ) {        } else if ( !strcmp(tbuf,"@glex") ) {
                                 yylvalp->p = Symbol_glex;          yylvalp->p = Symbol_glex;
                                 return FORMULA;          return FORMULA;
                         } else if ( !strcmp(tbuf,"@lex") ) {        } else if ( !strcmp(tbuf,"@lex") ) {
                                 yylvalp->p = Symbol_lex;          yylvalp->p = Symbol_lex;
                                 return FORMULA;          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;
                                 return LCASE;          return LCASE;
                         }        }
                 } else {      } else {
                         Ungetc(c);        Ungetc(c);
                         return GF2NGEN;        return GF2NGEN;
                 }      }
         } else    } else
                 return ( c );      return ( c );
 }  }
   
 void purge_stdin()  void purge_stdin()
 {  {
 #if defined(__FreeBSD__) || defined(__DARWIN__)  #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;
         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();    void w_purge_stdin();
   
         w_purge_stdin();    w_purge_stdin();
 #elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || defined(__MINGW32__) || defined(_IBMR2)  #elif defined(sparc) || defined(__alpha) || defined(__SVR4) || defined(mips) || defined(VISUAL) || defined(__MINGW32__) || 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;
 #else  #else
 --->FIXIT  --->FIXIT
 #endif  #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 '\r':        case ' ': case '\t': case '\r':
                                 c = Getc(); break;          c = Getc(); break;
                         case '\n':        case '\n':
                                 c = afternl(); break;          c = afternl(); break;
                         case '/':        case '/':
                                 if ( (c1 = Getc()) == '*' )          if ( (c1 = Getc()) == '*' )
                                         c = aftercomment();            c = aftercomment();
                                 else {          else {
                                         Ungetc(c1); return c;            Ungetc(c1); return c;
                                 }          }
                                 break;          break;
                         default:        default:
                                 return c; break;          return c; break;
                 }      }
 }  }
   
 int afternl() {  int afternl() {
         int c,ac,i,quote;    int c,ac,i,quote;
         char *ptr,*buf0;    char *ptr,*buf0;
         char *av[BUFSIZ];    char *av[BUFSIZ];
         static int ilevel = 0;    static int ilevel = 0;
         char buf[BUFSIZ];    char buf[BUFSIZ];
   
         if ( !ilevel )    if ( !ilevel )
                 asir_infile->ln++;      asir_infile->ln++;
         while ( (c = Getc()) == '#' ) {    while ( (c = Getc()) == '#' ) {
                 Gets(buf);      Gets(buf);
 #define LINE "line"  #define LINE "line"
                 if ( !strncmp(buf,LINE,strlen(LINE)) ) buf0 = buf+strlen(LINE);      if ( !strncmp(buf,LINE,strlen(LINE)) ) buf0 = buf+strlen(LINE);
                 else buf0 = buf;      else buf0 = buf;
                 for ( quote = 0, ptr = buf0; *ptr; ptr++ )      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(buf0,&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++;
                         else if ( i == 2 )        else if ( i == 2 )
                                 ilevel--;          ilevel--;
                 if ( !ilevel )      if ( !ilevel )
                         asir_infile->ln = atoi(av[0]);        asir_infile->ln = atoi(av[0]);
         }    }
         return c;    return c;
 }  }
   
 int aftercomment() {  int aftercomment() {
         int c,c1;    int c,c1;
   
         for ( c = Getc(); ; ) {    for ( c = Getc(); ; ) {
                 if ( c == '\n' ) asir_infile->ln++;      if ( c == '\n' ) asir_infile->ln++;
                 c1 = Getc();      c1 = Getc();
                 if ( (c == '*') && (c1 == '/') )      if ( (c == '*') && (c1 == '/') )
                         return Getc();        return Getc();
                 else      else
                         c = c1;        c = c1;
         }    }
 }  }
   
 int myatoi(char *s)  int myatoi(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' );
         return ( r );    return ( r );
 }  }
   
 extern int ox_do_copy;  extern int ox_do_copy;
Line 563  extern char *CUR_FUNC;
Line 563  extern char *CUR_FUNC;
   
 void yyerror(char *s)  void yyerror(char *s)
 {  {
         STRING fname,name,kwd;    STRING fname,name,kwd;
         USINT u;    USINT u;
         NODE t;    NODE t;
         LIST l,l2;    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 */
                 } else {      } else {
                         if ( asir_infile->fp == stdin )        if ( asir_infile->fp == stdin )
                                 fprintf(stderr,"%s\n",s);          fprintf(stderr,"%s\n",s);
                         else        else
                                 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) ) {        if ( NEXT(asir_infile) ) {
                                 /* error in a file; record the position */          /* error in a file; record the position */
                                 MKSTR(fname,asir_infile->name);          MKSTR(fname,asir_infile->name);
                                 if ( CPVS == GPVS )          if ( CPVS == GPVS )
                                         MKSTR(name,"");            MKSTR(name,"");
                                 else          else
                                         MKSTR(name,CUR_FUNC);            MKSTR(name,CUR_FUNC);
                                 MKUSINT(u,asir_infile->ln);          MKUSINT(u,asir_infile->ln);
                                 t = mknode(3,fname,name,u); MKLIST(l,t);          t = mknode(3,fname,name,u); MKLIST(l,t);
                                 /* line number at the toplevel */          /* line number at the toplevel */
                                 MKSTR(fname,"toplevel"); MKUSINT(u,at_root);          MKSTR(fname,"toplevel"); MKUSINT(u,at_root);
                                 t = mknode(2,fname,u); MKLIST(l2,t);          t = mknode(2,fname,u); MKLIST(l2,t);
                                 t = mknode(2,l2,l);          t = mknode(2,l2,l);
                         } else {        } else {
                                 MKSTR(fname,"toplevel"); MKUSINT(u,asir_infile->ln);          MKSTR(fname,"toplevel"); MKUSINT(u,asir_infile->ln);
                                 t = mknode(2,fname,u); MKLIST(l,t);          t = mknode(2,fname,u); MKLIST(l,t);
                                 t = mknode(1,l);          t = mknode(1,l);
                         }        }
                         MKLIST(l,t);        MKLIST(l,t);
                         MKSTR(kwd,"asir_where"); t = mknode(2,kwd,l);        MKSTR(kwd,"asir_where"); t = mknode(2,kwd,l);
                         MKLIST(LastStackTrace,t);        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);
 }  }
   
 int echoback;  int echoback;
Line 615  unsigned char decrypt_char(unsigned char);
Line 615  unsigned char decrypt_char(unsigned char);
   
 int Egetc(FILE *fp)  int Egetc(FILE *fp)
 {  {
         int c;    int c;
   
         if ( fp ) {    if ( fp ) {
 #if FEP  #if FEP
                 if ( do_fep && isatty(fileno(fp)) )      if ( do_fep && isatty(fileno(fp)) )
                         c = readline_getc();        c = readline_getc();
                 else      else
 #endif  #endif
                         c = getc(fp);        c = getc(fp);
 #if defined(VISUAL) || defined(__MINGW32__)  #if defined(VISUAL) || defined(__MINGW32__)
                 check_intr();      check_intr();
 #endif  #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 {
                 c = *parse_strp++;      c = *parse_strp++;
                 if ( !c )      if ( !c )
                         return EOF;        return EOF;
                 else      else
                         return c;        return c;
         }    }
 }  }
   
 void Eungetc(int c,FILE *fp)  void Eungetc(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);
 #if FEP  #if FEP
                 if ( do_fep && isatty(fileno(fp)) )      if ( do_fep && isatty(fileno(fp)) )
                         readline_ungetc();        readline_ungetc();
                 else      else
 #endif  #endif
                         ungetc(c,fp);        ungetc(c,fp);
         } else    } else
                 *--parse_strp = c;      *--parse_strp = c;
 }  }
   
 static int Getc() {  static int Getc() {
         int c;    int c;
   
         if ( main_parser ) {    if ( main_parser ) {
                 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) ) {
                                         closecurrentinput();            closecurrentinput();
                                         /* if the input is the top level, generate error */            /* if the input is the top level, generate error */
                                         if ( !NEXT(asir_infile) )            if ( !NEXT(asir_infile) )
                                                 error("end-of-file detected during parsing");              error("end-of-file detected during parsing");
                                         else            else
                                                 c = Getc();              c = Getc();
                                         break;            break;
                                 } else if ( asir_infile->fp || do_file ) {          } else if ( asir_infile->fp || do_file ) {
                                         if ( asir_infile->fp )            if ( asir_infile->fp )
                                                 clearerr(asir_infile->fp);              clearerr(asir_infile->fp);
                                         asir_terminate(2);            asir_terminate(2);
                                 } else {          } else {
                                         error("end-of-line detected during parsing");            error("end-of-line detected during parsing");
                                 }          }
                         else        else
                                 break;          break;
                 }      }
                 if ( echoback )      if ( echoback )
                         fputc(c,asir_out);        fputc(c,asir_out);
         } else    } else
                 c = *parse_strp++;      c = *parse_strp++;
         return ( c );    return ( c );
 }  }
   
 static void Ungetc(int 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 )
                         fputc('',asir_out);        fputc('',asir_out);
         } else    } else
                 *--parse_strp = c;      *--parse_strp = c;
 }  }
   
 static void Gets(char *s)  static void Gets(char *s)
 {  {
         int c;    int c;
   
         while ( (c = Getc()) != '\n' )    while ( (c = Getc()) != '\n' )
                 *s++ = c;      *s++ = c;
         *s = 0;    *s = 0;
 }  }
   
 #if FEP  #if FEP
Legend:
Removed from v.1.52  
changed lines
  Added in v.1.53
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>