[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.22 and 1.37

version 1.22, 2003/02/14 22:29:18 version 1.37, 2005/12/10 14:14:16
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.21 2002/09/09 23:52:45 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/lex.c,v 1.36 2005/10/26 07:33:03 noro Exp $
 */  */
 #include <ctype.h>  #include <ctype.h>
 #include "ca.h"  #include "ca.h"
Line 67  static int skipspace();
Line 67  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 186  int yylex()
Line 187  int 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 == 'r' ) {
                                                   c1 = '\r';
                       }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 299  int yylex()
Line 320  int yylex()
                 }                  }
                 yylvalp->p = (pointer)r;                  yylvalp->p = (pointer)r;
                 return ( FORMULA );                  return ( FORMULA );
         } else if ( isalpha(c) ) {          } else if ( isalpha(c) || 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;
                 }                  }
                 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 381  int yylex()
Line 419  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 401  int yylex()
Line 442  int 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 427  void purge_stdin()
Line 477  void 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(_IBMR2)
         stdin->_ptr = stdin->_base; stdin->_cnt = 0;          stdin->_ptr = stdin->_base; stdin->_cnt = 0;
 #elif (defined(__MACH__) && defined(__ppc__)) || defined(__CYGWIN__)  #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
Line 442  static int skipspace() {
Line 492  static int skipspace() {
                         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();
Line 503  int myatoi(char *s)
Line 553  int myatoi(char *s)
 }  }
   
 extern int ox_do_copy;  extern int ox_do_copy;
   extern int I_am_server;
   extern JMP_BUF main_env;
   
 void yyerror(char *s)  void yyerror(char *s)
 {  {
         if ( main_parser )          if ( main_parser ) {
                 if ( ox_do_copy ) {                  if ( ox_do_copy ) {
                         /* push errors to DebugStack */                          /* push errors to DebugStack */
                 } else {                  } else {
Line 515  void yyerror(char *s)
Line 567  void yyerror(char *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);
                 }                  }
         else                  if ( I_am_server ) {
                           set_lasterror(s);
                           LONGJMP(main_env,1);
                   }
           } else
                 fprintf(stderr,"exprparse : %s\n",s);                  fprintf(stderr,"exprparse : %s\n",s);
 }  }
   
Line 531  int Egetc(FILE *fp)
Line 587  int Egetc(FILE *fp)
         int c;          int c;
   
         if ( fp ) {          if ( fp ) {
 #if defined(FEP)  #if FEP
                 if ( do_fep && isatty(fileno(fp)) )                  if ( do_fep && isatty(fileno(fp)) )
                         c = readline_getc();                          c = readline_getc();
                 else                  else
Line 570  void Eungetc(int c,FILE *fp)
Line 626  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 defined(FEP)  #if FEP
                 if ( do_fep && isatty(fileno(fp)) )                  if ( do_fep && isatty(fileno(fp)) )
                         readline_ungetc();                          readline_ungetc();
                 else                  else
Line 628  static void Gets(char *s)
Line 684  static void Gets(char *s)
         *s = 0;          *s = 0;
 }  }
   
 #if defined(FEP)  #if FEP
   
 static char *readline_line;  static char *readline_line;
 static int readline_nc,readline_index;  static int readline_nc,readline_index;
Line 668  char *readline_console(char *prompt)
Line 724  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.22  
changed lines
  Added in v.1.37
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>