-#ifndef _GINAC_PARSE_CONTEXT_HPP
-#define _GINAC_PARSE_CONTEXT_HPP
-#include <string>
-#include <cstddef> // size_t
+/** @file parse_context.h
+ *
+ * Interface to parser context. */
+
+/*
+ * GiNaC Copyright (C) 1999-2015 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
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * 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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ */
+
+#ifndef GINAC_PARSE_CONTEXT_H
+#define GINAC_PARSE_CONTEXT_H
+
#include "ex.h"
#include "symbol.h"
+
+#include <cstddef> // for size_t
#include <map>
+#include <string>
#include <utility>
-namespace GiNaC
-{
+namespace GiNaC {
/**
* Establishes correspondence between the strings and expressions.
typedef std::map<std::string, ex> symtab;
/**
- * Find the symbol with the @a name in the symbol table @a syms.
+ * Find the symbol (or abbreviation) with the @a name in the symbol table @a syms.
*
* If symbol is missing and @a strict = false, insert it, otherwise
* throw an exception.
*/
-extern symbol
+extern ex
find_or_insert_symbol(const std::string& name, symtab& syms,
const bool strict);
* number of arguments.
* 3. User can extend the parser via custom prototype tables. It's possible
* to read user defined classes, create abbreviations, etc.
+ *
+ * NOTE: due to a hack that allows user defined functions to be parsed, the map
+ * value of type reader_func is internally treated as an unsigned and not as a
+ * function pointer!! The unsigned has to correspond to the serial number of
+ * the defined GiNaC function.
*/
-typedef std::map<prototype, reader_func> prototype_table;
+class PrototypeLess
+{
+public:
+ bool operator()(const prototype& p1, const prototype& p2) const
+ {
+ int s = p1.first.compare(p2.first);
+ if (s == 0) {
+ if ((p1.second == 0) || (p2.second == 0)) return false;
+ return p1.second < p2.second;
+ }
+ return s < 0;
+ }
+};
+typedef std::map<prototype, reader_func, PrototypeLess> prototype_table;
/**
* Default prototype table.
*
- * It supports most of builtin GiNaC functions.
+ * It supports all defined GiNaC functions and "pow", "sqrt", and "power".
*/
extern const prototype_table& get_default_reader();
+/**
+ * Builtin prototype table.
+ *
+ * It supports only the builtin GiNaC functions and "pow", "sqrt", and "power".
+ */
+extern const prototype_table& get_builtin_reader();
-}
-
-#endif // _GINAC_PARSE_CONTEXT_HPP
+} // namespace GiNaC
+#endif // GINAC_PARSE_CONTEXT_H