* Interface to parser context. */
/*
- * GiNaC Copyright (C) 1999-2009 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2024 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
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);
* The parser uses (an associative array of) such functions to construct
* (GiNaC) classes and functions from a sequence of characters.
*/
-typedef ex (*reader_func)(const exvector& args);
+class reader_func {
+ enum { FUNCTION_PTR, GINAC_FUNCTION };
+public:
+ reader_func(ex (*func_)(const exvector& args))
+ : type(FUNCTION_PTR), serial(0), func(func_) {}
+ reader_func(unsigned serial_)
+ : type(GINAC_FUNCTION), serial(serial_), func(nullptr) {}
+ ex operator()(const exvector& args) const;
+private:
+ unsigned type;
+ unsigned serial;
+ ex (*func)(const exvector& args);
+};
+
+
/**
* Prototype table.
* 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.