[BACK]Return to parse.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / ox_toolkit

Diff for /OpenXM/src/ox_toolkit/parse.c between version 1.6 and 1.12

version 1.6, 2000/12/03 16:15:03 version 1.12, 2003/03/23 22:09:57
Line 1 
Line 1 
 /* -*- mode: C; coding: euc-japan -*- */  /* -*- mode: C; coding: euc-japan -*- */
 /* $OpenXM: OpenXM/src/ox_toolkit/parse.c,v 1.5 2000/10/10 05:23:21 ohara Exp $ */  /* $OpenXM: OpenXM/src/ox_toolkit/parse.c,v 1.11 2003/03/23 20:17:35 ohara Exp $ */
   
 /*  /*
    This module is a parser for OX/CMO expressions.     This module is a parser for OX/CMO expressions.
Line 52  static void parse_error(char *s);
Line 52  static void parse_error(char *s);
 static void parse_right_parenthesis();  static void parse_right_parenthesis();
 static void parse_left_parenthesis();  static void parse_left_parenthesis();
 static void parse_comma();  static void parse_comma();
 static mpz_ptr parse_integer();  #if defined(WITH_GMP)
   static mpz_ptr parse_mpz_integer();
   #endif /* WITH_GMP */
   static int   parse_integer();
 static char *parse_string();  static char *parse_string();
 static cmo  *parse_cmo_null();  static cmo  *parse_cmo_null();
 static cmo  *parse_cmo_int32();  static cmo  *parse_cmo_int32();
Line 60  static cmo  *parse_cmo_string();
Line 63  static cmo  *parse_cmo_string();
 static cmo  *parse_cmo_mathcap();  static cmo  *parse_cmo_mathcap();
 static cmo  *parse_cmo_list();  static cmo  *parse_cmo_list();
 static cmo  *parse_cmo_monomial32();  static cmo  *parse_cmo_monomial32();
   #if defined(WITH_GMP)
 static cmo  *parse_cmo_zz();  static cmo  *parse_cmo_zz();
   #endif /* WITH_GMP */
 static cmo  *parse_cmo_zero();  static cmo  *parse_cmo_zero();
 static cmo  *parse_cmo_dms_generic();  static cmo  *parse_cmo_dms_generic();
 static cmo  *parse_cmo_ring_by_name();  static cmo  *parse_cmo_ring_by_name();
Line 96  static jmp_buf env_parse;
Line 101  static jmp_buf env_parse;
 /* This is a parsing fault. */  /* This is a parsing fault. */
 static void parse_error(char *s)  static void parse_error(char *s)
 {  {
     fprintf(stderr, "syntax error: %s\n", s);      ox_printf("syntax error: %s\n", s);
     longjmp(env_parse, 1);      longjmp(env_parse, 1);
 }  }
   
Line 217  static cmo *parse_cmo()
Line 222  static cmo *parse_cmo()
         token = lex();          token = lex();
         m = parse_cmo_monomial32();          m = parse_cmo_monomial32();
         break;          break;
   #if defined(WITH_GMP)
     case TOKEN(CMO_ZZ):      case TOKEN(CMO_ZZ):
         token = lex();          token = lex();
         m = parse_cmo_zz();          m = parse_cmo_zz();
         break;          break;
   #endif /* WITH_GMP */
     case TOKEN(CMO_ZERO):      case TOKEN(CMO_ZERO):
         token = lex();          token = lex();
         m = parse_cmo_zero();          m = parse_cmo_zero();
Line 275  static void parse_comma()
Line 282  static void parse_comma()
     token = lex();      token = lex();
 }  }
   
   #if defined(WITH_GMP)
 static mpz_ptr new_mpz_set_str(char *s)  static mpz_ptr new_mpz_set_str(char *s)
 {  {
     mpz_ptr z = malloc(sizeof(mpz_t));      mpz_ptr z = malloc(sizeof(mpz_t));
Line 287  static mpz_ptr my_mpz_neg(mpz_ptr src)
Line 295  static mpz_ptr my_mpz_neg(mpz_ptr src)
     mpz_ptr z = malloc(sizeof(mpz_t));      mpz_ptr z = malloc(sizeof(mpz_t));
     mpz_init(z);      mpz_init(z);
     mpz_neg(z, src);      mpz_neg(z, src);
 #ifndef DEBUG  #ifdef DEBUG
     free(src);      free(src);
 #endif  #endif
     return z;      return z;
 }  }
   
 static mpz_ptr parse_integer()  static mpz_ptr parse_mpz_integer()
 {  {
     int sign = 1;      int sign = 1;
     mpz_ptr val;      mpz_ptr val;
Line 312  static mpz_ptr parse_integer()
Line 320  static mpz_ptr parse_integer()
     if (sign == -1) {      if (sign == -1) {
         val = my_mpz_neg(val);          val = my_mpz_neg(val);
     }      }
 #ifndef DEBUG  #ifdef DEBUG
     free(yylval.sym);      free(yylval.sym);
 #endif  #endif
     token = lex();      token = lex();
     return val;      return val;
 }  }
   #endif /* WITH_GMP */
   
   static int parse_integer()
   {
   #if defined(WITH_GMP)
       return mpz_get_si(parse_mpz_integer());
   #else
       int sign = 1;
       int val;
   
       if (token == '+') {
           token = lex();
       }else if (token == '-') {
           sign = -1;
           token = lex();
       }
   
       if (token != T_DIGIT) {
           parse_error("no integer.");
       }
       val = sign*atoi(yylval.sym);
   #ifdef DEBUG
       free(yylval.sym);
   #endif
       token = lex();
       return val;
   #endif
   }
   
 static char *parse_string()  static char *parse_string()
 {  {
     char *s;      char *s;
Line 338  static cmo *parse_cmo_null()
Line 374  static cmo *parse_cmo_null()
   
 static cmo *parse_cmo_int32()  static cmo *parse_cmo_int32()
 {  {
     mpz_ptr z;      int z;
   
     parse_comma();      parse_comma();
     z = parse_integer();      z = parse_integer();
     parse_right_parenthesis();      parse_right_parenthesis();
     return (cmo *)new_cmo_int32(mpz_get_si(z));      return (cmo *)new_cmo_int32(z);
 }  }
   
 static cmo *parse_cmo_string()  static cmo *parse_cmo_string()
Line 414  static cmo *parse_cmo_monomial32()
Line 450  static cmo *parse_cmo_monomial32()
     int tag;      int tag;
   
     parse_comma();      parse_comma();
     size = mpz_get_si(parse_integer());      size = parse_integer();
     if (size < 0) {      if (size < 0) {
         parse_error("invalid value.");          parse_error("invalid value.");
     }      }
Line 422  static cmo *parse_cmo_monomial32()
Line 458  static cmo *parse_cmo_monomial32()
   
     for(i=0; i<size; i++) {      for(i=0; i<size; i++) {
         parse_comma();          parse_comma();
         m->exps[i] = mpz_get_si(parse_integer());          m->exps[i] = parse_integer();
     }      }
     parse_comma();      parse_comma();
     parse_left_parenthesis();      parse_left_parenthesis();
Line 438  static cmo *parse_cmo_monomial32()
Line 474  static cmo *parse_cmo_monomial32()
     return (cmo *)m;      return (cmo *)m;
 }  }
   
   #if defined(WITH_GMP)
 /* the following function rewrite internal data of mpz/cmo_zz. */  /* the following function rewrite internal data of mpz/cmo_zz. */
 static cmo *parse_cmo_zz()  static cmo *parse_cmo_zz()
 {  {
Line 447  static cmo *parse_cmo_zz()
Line 484  static cmo *parse_cmo_zz()
     mpz_ptr z;      mpz_ptr z;
   
     parse_comma();      parse_comma();
     z = parse_integer();      z = parse_mpz_integer();
     if (token == ',') {      if (token == ',') {
         length = mpz_get_si(z);          length = mpz_get_si(z);
         m = new_cmo_zz_size(length);          m = new_cmo_zz_size(length);
Line 455  static cmo *parse_cmo_zz()
Line 492  static cmo *parse_cmo_zz()
         length = abs(length);          length = abs(length);
         for(i=0; i<length; i++) {          for(i=0; i<length; i++) {
             parse_comma();              parse_comma();
             m->mpz->_mp_d[i] = mpz_get_si(parse_integer());              m->mpz->_mp_d[i] = parse_integer();
         }          }
     }else if (pflag_cmo_addrev) {      }else if (pflag_cmo_addrev) {
         m = new_cmo_zz_set_mpz(z);          m = new_cmo_zz_set_mpz(z);
Line 466  static cmo *parse_cmo_zz()
Line 503  static cmo *parse_cmo_zz()
     parse_right_parenthesis();      parse_right_parenthesis();
     return (cmo *)m;      return (cmo *)m;
 }  }
   #endif /* WITH_GMP */
   
 static cmo *parse_cmo_zero()  static cmo *parse_cmo_zero()
 {  {
Line 577  static int mygetc()
Line 615  static int mygetc()
   
 static void init_lex(char *s)  static void init_lex(char *s)
 {  {
       c=' ';
     mygetc_ptr=s;      mygetc_ptr=s;
 }  }
   
Line 684  symbol_t lookup(int i)
Line 723  symbol_t lookup(int i)
     return &symbol_list[i];      return &symbol_list[i];
 }  }
   
 char *symbol_get_key(symbol_t sp)  char *get_symbol_by_tag(int tag)
 {  {
     return sp->key;      symbol_t symp = lookup_by_tag(tag);
       return (symp != NULL)? symp->key: NULL;
 }  }
   
 /* no measure for buffer overflow */  /* no measure for buffer overflow */
Line 710  static char *lex_quoted_string()
Line 750  static char *lex_quoted_string()
         }          }
         buffer[i]=c;          buffer[i]=c;
     }      }
     fprintf(stderr, "buffer overflow!\n");      ox_printf("buffer overflow!\n");
     exit(1);      exit(1);
     /* return NULL; */      /* return NULL; */
 }  }
Line 722  static int token_of_symbol(char *key)
Line 762  static int token_of_symbol(char *key)
         yylval.d = symp->tag;          yylval.d = symp->tag;
         return symp->token;          return symp->token;
     }      }
 #if DEBUG      ox_printf("lex error:: \"%s\" is unknown symbol.\n", key);
     fprintf(stderr, "lex error:: \"%s\" is unknown symbol.\n", key);  
 #endif  
     return 0;      return 0;
 }  }
   
Line 739  static int lex_symbol()
Line 777  static int lex_symbol()
         buffer[i]=c;          buffer[i]=c;
         c = mygetc();          c = mygetc();
     }      }
     fprintf(stderr, "buffer overflow!\n");      ox_printf("buffer overflow!\n");
     return 0;      return 0;
 }  }
   
Legend:
Removed from v.1.6  
changed lines
  Added in v.1.12
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>