Changed symbol_options to domain.
authorJens Vollinga <vollinga@thep.physik.uni-mainz.de>
Thu, 8 Jan 2004 18:53:36 +0000 (18:53 +0000)
committerJens Vollinga <vollinga@thep.physik.uni-mainz.de>
Thu, 8 Jan 2004 18:53:36 +0000 (18:53 +0000)
ginsh/ginsh_lexer.ll
ginsh/ginsh_parser.yy

index 896c28d..15185d6 100644 (file)
@@ -38,7 +38,7 @@
 sym_tab syms;
 
 // Type of symbols to generate (real or complex)
-unsigned symboltype = symbol_options::complex;
+unsigned symboltype = domain::complex;
 
 // lex input function
 static int ginsh_input(char *buf, int max_size);
@@ -110,10 +110,10 @@ real_symbols    return T_REAL_SYMBOLS;
 {A}{AN}*               {
                                sym_tab::const_iterator i = syms.find(yytext);
                                if (i == syms.end()) {
-                                       if (symboltype == symbol_options::complex) {
+                                       if (symboltype == domain::complex) {
                                                yylval = syms[yytext] = *(new symbol(yytext));
                                        } else {
-                                               yylval = syms[yytext] = *(new symbol(yytext, symbol_options::real));
+                                               yylval = syms[yytext] = *(new symbol(yytext, domain::real));
                                        }
                                } else
                                        yylval = i->second;
index 00aaea3..c045826 100644 (file)
@@ -202,8 +202,8 @@ line        : ';'
                cout << (syms.size() > 350 ? 350 : syms.size());
                cout << " out of a possible 350.\n";
        }
-       | T_REAL_SYMBOLS { symboltype = symbol_options::real; }
-       | T_COMPLEX_SYMBOLS { symboltype = symbol_options::complex; }
+       | T_REAL_SYMBOLS { symboltype = domain::real; }
+       | T_COMPLEX_SYMBOLS { symboltype = domain::complex; }
        | T_TIME {getrusage(RUSAGE_SELF, &start_time);} '(' exp ')' {
                getrusage(RUSAGE_SELF, &end_time);
                cout << (end_time.ru_utime.tv_sec - start_time.ru_utime.tv_sec) +