===================================================================
RCS file: /home/cvs/OpenXM/src/ox_toolkit/parse.c,v
retrieving revision 1.8
retrieving revision 1.12
diff -u -p -r1.8 -r1.12
--- OpenXM/src/ox_toolkit/parse.c	2003/01/11 11:42:31	1.8
+++ OpenXM/src/ox_toolkit/parse.c	2003/03/23 22:09:57	1.12
@@ -1,5 +1,5 @@
 /* -*- mode: C; coding: euc-japan -*- */
-/* $OpenXM: OpenXM/src/ox_toolkit/parse.c,v 1.7 2002/05/02 10:32:08 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.
@@ -52,7 +52,10 @@ static void parse_error(char *s);
 static void parse_right_parenthesis();
 static void parse_left_parenthesis();
 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 cmo  *parse_cmo_null();
 static cmo  *parse_cmo_int32();
@@ -60,7 +63,9 @@ static cmo  *parse_cmo_string();
 static cmo  *parse_cmo_mathcap();
 static cmo  *parse_cmo_list();
 static cmo  *parse_cmo_monomial32();
+#if defined(WITH_GMP)
 static cmo  *parse_cmo_zz();
+#endif /* WITH_GMP */
 static cmo  *parse_cmo_zero();
 static cmo  *parse_cmo_dms_generic();
 static cmo  *parse_cmo_ring_by_name();
@@ -96,7 +101,7 @@ static jmp_buf env_parse;
 /* This is a parsing fault. */
 static void parse_error(char *s)
 {
-    fprintf(ox_stderr, "syntax error: %s\n", s);
+    ox_printf("syntax error: %s\n", s);
     longjmp(env_parse, 1);
 }
 
@@ -217,10 +222,12 @@ static cmo *parse_cmo()
         token = lex();
         m = parse_cmo_monomial32();
         break;
+#if defined(WITH_GMP)
     case TOKEN(CMO_ZZ):
         token = lex();
         m = parse_cmo_zz();
         break;
+#endif /* WITH_GMP */
     case TOKEN(CMO_ZERO):
         token = lex();
         m = parse_cmo_zero();
@@ -275,6 +282,7 @@ static void parse_comma()
     token = lex();
 }
 
+#if defined(WITH_GMP)
 static mpz_ptr new_mpz_set_str(char *s)
 {
     mpz_ptr z = malloc(sizeof(mpz_t));
@@ -287,13 +295,13 @@ static mpz_ptr my_mpz_neg(mpz_ptr src)
     mpz_ptr z = malloc(sizeof(mpz_t));
     mpz_init(z);
     mpz_neg(z, src);
-#ifndef DEBUG
+#ifdef DEBUG
     free(src);
 #endif
     return z;
 }
 
-static mpz_ptr parse_integer()
+static mpz_ptr parse_mpz_integer()
 {
     int sign = 1;
     mpz_ptr val;
@@ -312,13 +320,41 @@ static mpz_ptr parse_integer()
     if (sign == -1) {
         val = my_mpz_neg(val);
     }
-#ifndef DEBUG
+#ifdef DEBUG
     free(yylval.sym);
 #endif
     token = lex();
     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()
 {
     char *s;
@@ -338,12 +374,12 @@ static cmo *parse_cmo_null()
 
 static cmo *parse_cmo_int32()
 {
-    mpz_ptr z;
+    int z;
 
     parse_comma();
     z = parse_integer();
     parse_right_parenthesis();
-    return (cmo *)new_cmo_int32(mpz_get_si(z));
+    return (cmo *)new_cmo_int32(z);
 }
 
 static cmo *parse_cmo_string()
@@ -414,7 +450,7 @@ static cmo *parse_cmo_monomial32()
     int tag;
 
     parse_comma();
-    size = mpz_get_si(parse_integer());
+    size = parse_integer();
     if (size < 0) {
         parse_error("invalid value.");
     }
@@ -422,7 +458,7 @@ static cmo *parse_cmo_monomial32()
 
     for(i=0; i<size; i++) {
         parse_comma();
-        m->exps[i] = mpz_get_si(parse_integer());
+        m->exps[i] = parse_integer();
     }
     parse_comma();
     parse_left_parenthesis();
@@ -438,6 +474,7 @@ static cmo *parse_cmo_monomial32()
     return (cmo *)m;
 }
 
+#if defined(WITH_GMP)
 /* the following function rewrite internal data of mpz/cmo_zz. */
 static cmo *parse_cmo_zz()
 {
@@ -447,7 +484,7 @@ static cmo *parse_cmo_zz()
     mpz_ptr z;
 
     parse_comma();
-    z = parse_integer();
+    z = parse_mpz_integer();
     if (token == ',') {
         length = mpz_get_si(z);
         m = new_cmo_zz_size(length);
@@ -455,7 +492,7 @@ static cmo *parse_cmo_zz()
         length = abs(length);
         for(i=0; i<length; i++) {
             parse_comma();
-            m->mpz->_mp_d[i] = mpz_get_si(parse_integer());
+            m->mpz->_mp_d[i] = parse_integer();
         }
     }else if (pflag_cmo_addrev) {
         m = new_cmo_zz_set_mpz(z);
@@ -466,6 +503,7 @@ static cmo *parse_cmo_zz()
     parse_right_parenthesis();
     return (cmo *)m;
 }
+#endif /* WITH_GMP */
 
 static cmo *parse_cmo_zero()
 {
@@ -685,9 +723,10 @@ symbol_t lookup(int 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 */
@@ -711,7 +750,7 @@ static char *lex_quoted_string()
         }
         buffer[i]=c;
     }
-    fprintf(ox_stderr, "buffer overflow!\n");
+    ox_printf("buffer overflow!\n");
     exit(1);
     /* return NULL; */
 }
@@ -723,9 +762,7 @@ static int token_of_symbol(char *key)
         yylval.d = symp->tag;
         return symp->token;
     }
-#if DEBUG
-    fprintf(ox_stderr, "lex error:: \"%s\" is unknown symbol.\n", key);
-#endif
+    ox_printf("lex error:: \"%s\" is unknown symbol.\n", key);
     return 0;
 }
 
@@ -740,7 +777,7 @@ static int lex_symbol()
         buffer[i]=c;
         c = mygetc();
     }
-    fprintf(ox_stderr, "buffer overflow!\n");
+    ox_printf("buffer overflow!\n");
     return 0;
 }