* This file must be processed with flex. */
/*
- * GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
* Definitions
*/
+%pointer
+
%{
#include "config.h"
// Table of all used symbols
sym_tab syms;
+// Type of symbols to generate (real or complex)
+unsigned symboltype = domain::complex;
+
// lex input function
static int ginsh_input(char *buf, int max_size);
%}
warranty return T_WARRANTY;
print return T_PRINT;
iprint return T_IPRINT;
+print_latex return T_PRINTLATEX;
+print_csrc return T_PRINTCSRC;
time return T_TIME;
xyzzy return T_XYZZY;
inventory return T_INVENTORY;
look return T_LOOK;
score return T_SCORE;
+complex_symbols return T_COMPLEX_SYMBOLS;
+real_symbols return T_REAL_SYMBOLS;
/* comparison */
"==" return T_EQUAL;
">=" return T_GREATEREQ;
/* last 1..3 expressions */
-\" return T_QUOTE;
-\"\" return T_QUOTE2;
-\"\"\" return T_QUOTE3;
+\% return T_QUOTE;
+\%\% return T_QUOTE2;
+\%\%\% return T_QUOTE3;
/* numbers */
{D}+ |
{A}{AN}* {
sym_tab::const_iterator i = syms.find(yytext);
if (i == syms.end()) {
- yylval = syms[yytext] = *(new symbol(yytext));
+ if (symboltype == domain::complex) {
+ yylval = syms[yytext] = *(new symbol(yytext));
+ } else {
+ yylval = syms[yytext] = *(new symbol(yytext, domain::real));
+ }
} else
yylval = i->second;
return T_SYMBOL;
static int ginsh_input(char *buf, int max_size)
{
int result;
+#if defined(YY_CURRENT_BUFFER)
+ if (YY_CURRENT_BUFFER->yy_is_interactive) {
+#else
if (yy_current_buffer->yy_is_interactive) {
+#endif
#ifdef HAVE_LIBREADLINE
// Do we need to read a new line?
int actual;