mirror of
https://gitlab.com/smart-pattern/valentina.git
synced 2024-09-04 16:14:36 +02:00
310 lines
12 KiB
C
310 lines
12 KiB
C
|
/***************************************************************************************************
|
||
|
**
|
||
|
** Original work Copyright (C) 2013 Ingo Berg
|
||
|
** Modified work Copyright 2014 Roman Telezhinsky <dismine@gmail.com>
|
||
|
**
|
||
|
** Permission is hereby granted, free of charge, to any person obtaining a copy of this
|
||
|
** software and associated documentation files (the "Software"), to deal in the Software
|
||
|
** without restriction, including without limitation the rights to use, copy, modify,
|
||
|
** merge, publish, distribute, sublicense, and/or sell copies of the Software, and to
|
||
|
** permit persons to whom the Software is furnished to do so, subject to the following conditions:
|
||
|
**
|
||
|
** The above copyright notice and this permission notice shall be included in all copies or
|
||
|
** substantial portions of the Software.
|
||
|
**
|
||
|
** THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
|
||
|
** NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
||
|
** NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
|
||
|
** DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
||
|
** OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||
|
**
|
||
|
******************************************************************************************************/
|
||
|
|
||
|
#ifndef QMUQPARSERBASE_H
|
||
|
#define QMUQPARSERBASE_H
|
||
|
|
||
|
//--- Standard includes ------------------------------------------------------------------------
|
||
|
#include <cmath>
|
||
|
#include <string>
|
||
|
#include <iostream>
|
||
|
#include <map>
|
||
|
#include <memory>
|
||
|
#include <locale>
|
||
|
|
||
|
//--- Parser includes --------------------------------------------------------------------------
|
||
|
#include "qmuparserdef.h"
|
||
|
#include "qmuparserstack.h"
|
||
|
#include "qmuparsertokenreader.h"
|
||
|
#include "qmuparserbytecode.h"
|
||
|
#include "qmuparsererror.h"
|
||
|
|
||
|
|
||
|
namespace qmu
|
||
|
{
|
||
|
/** \file
|
||
|
\brief This file contains the class definition of the qmuparser engine.
|
||
|
*/
|
||
|
|
||
|
//--------------------------------------------------------------------------------------------------
|
||
|
/** \brief Mathematical expressions parser (base parser engine).
|
||
|
\author (C) 2013 Ingo Berg
|
||
|
|
||
|
This is the implementation of a bytecode based mathematical expressions parser.
|
||
|
The formula will be parsed from string and converted into a bytecode.
|
||
|
Future calculations will be done with the bytecode instead the formula string
|
||
|
resulting in a significant performance increase.
|
||
|
Complementary to a set of internally implemented functions the parser is able to handle
|
||
|
user defined functions and variables.
|
||
|
*/
|
||
|
class QmuParserBase
|
||
|
{
|
||
|
friend class QmuParserTokenReader;
|
||
|
|
||
|
private:
|
||
|
|
||
|
/** \brief Typedef for the parse functions.
|
||
|
|
||
|
The parse function do the actual work. The parser exchanges
|
||
|
the function pointer to the parser function depending on
|
||
|
which state it is in. (i.e. bytecode parser vs. string parser)
|
||
|
*/
|
||
|
typedef value_type (QmuParserBase::*ParseFunction)() const;
|
||
|
|
||
|
/** \brief Type used for storing an array of values. */
|
||
|
typedef std::vector<value_type> valbuf_type;
|
||
|
|
||
|
/** \brief Type for a vector of strings. */
|
||
|
typedef std::vector<string_type> stringbuf_type;
|
||
|
|
||
|
/** \brief Typedef for the token reader. */
|
||
|
typedef QmuParserTokenReader token_reader_type;
|
||
|
|
||
|
/** \brief Type used for parser tokens. */
|
||
|
typedef QmuParserToken<value_type, string_type> token_type;
|
||
|
|
||
|
/** \brief Maximum number of threads spawned by OpenMP when using the bulk mode. */
|
||
|
static const int s_MaxNumOpenMPThreads = 4;
|
||
|
|
||
|
public:
|
||
|
|
||
|
/** \brief Type of the error class.
|
||
|
|
||
|
Included for backwards compatibility.
|
||
|
*/
|
||
|
typedef QmuParserError exception_type;
|
||
|
|
||
|
static void EnableDebugDump(bool bDumpCmd, bool bDumpStack);
|
||
|
|
||
|
QmuParserBase();
|
||
|
QmuParserBase(const QmuParserBase &a_Parser);
|
||
|
QmuParserBase& operator=(const QmuParserBase &a_Parser);
|
||
|
|
||
|
virtual ~QmuParserBase();
|
||
|
|
||
|
value_type Eval() const;
|
||
|
value_type* Eval(int &nStackSize) const;
|
||
|
void Eval(value_type *results, int nBulkSize);
|
||
|
|
||
|
int GetNumResults() const;
|
||
|
|
||
|
void SetExpr(const string_type &a_sExpr);
|
||
|
void SetVarFactory(facfun_type a_pFactory, void *pUserData = NULL);
|
||
|
|
||
|
void SetDecSep(char_type cDecSep);
|
||
|
void SetThousandsSep(char_type cThousandsSep = 0);
|
||
|
void ResetLocale();
|
||
|
|
||
|
void EnableOptimizer(bool a_bIsOn=true);
|
||
|
void EnableBuiltInOprt(bool a_bIsOn=true);
|
||
|
|
||
|
bool HasBuiltInOprt() const;
|
||
|
void AddValIdent(identfun_type a_pCallback);
|
||
|
|
||
|
/** \fn void mu::QParserBase::DefineFun(const string_type &a_strName, fun_type0 a_pFun, bool a_bAllowOpt = true)
|
||
|
\brief Define a parser function without arguments.
|
||
|
\param a_strName Name of the function
|
||
|
\param a_pFun Pointer to the callback function
|
||
|
\param a_bAllowOpt A flag indicating this function may be optimized
|
||
|
*/
|
||
|
template<typename T>
|
||
|
void DefineFun(const string_type &a_strName, T a_pFun, bool a_bAllowOpt = true)
|
||
|
{
|
||
|
AddCallback( a_strName, QmuParserCallback(a_pFun, a_bAllowOpt), m_FunDef, ValidNameChars() );
|
||
|
}
|
||
|
|
||
|
void DefineOprt(const string_type &a_strName,
|
||
|
fun_type2 a_pFun,
|
||
|
unsigned a_iPri=0,
|
||
|
EOprtAssociativity a_eAssociativity = oaLEFT,
|
||
|
bool a_bAllowOpt = false);
|
||
|
void DefineConst(const string_type &a_sName, value_type a_fVal);
|
||
|
void DefineStrConst(const string_type &a_sName, const string_type &a_strVal);
|
||
|
void DefineVar(const string_type &a_sName, value_type *a_fVar);
|
||
|
void DefinePostfixOprt(const string_type &a_strFun, fun_type1 a_pOprt, bool a_bAllowOpt=true);
|
||
|
void DefineInfixOprt(const string_type &a_strName, fun_type1 a_pOprt, int a_iPrec=prINFIX, bool a_bAllowOpt=true);
|
||
|
|
||
|
// Clear user defined variables, constants or functions
|
||
|
void ClearVar();
|
||
|
void ClearFun();
|
||
|
void ClearConst();
|
||
|
void ClearInfixOprt();
|
||
|
void ClearPostfixOprt();
|
||
|
void ClearOprt();
|
||
|
|
||
|
void RemoveVar(const string_type &a_strVarName);
|
||
|
const varmap_type& GetUsedVar() const;
|
||
|
const varmap_type& GetVar() const;
|
||
|
const valmap_type& GetConst() const;
|
||
|
const string_type& GetExpr() const;
|
||
|
const funmap_type& GetFunDef() const;
|
||
|
string_type GetVersion(EParserVersionInfo eInfo = pviFULL) const;
|
||
|
|
||
|
const char_type ** GetOprtDef() const;
|
||
|
void DefineNameChars(const char_type *a_szCharset);
|
||
|
void DefineOprtChars(const char_type *a_szCharset);
|
||
|
void DefineInfixOprtChars(const char_type *a_szCharset);
|
||
|
|
||
|
const char_type* ValidNameChars() const;
|
||
|
const char_type* ValidOprtChars() const;
|
||
|
const char_type* ValidInfixOprtChars() const;
|
||
|
|
||
|
void SetArgSep(char_type cArgSep);
|
||
|
char_type GetArgSep() const;
|
||
|
|
||
|
void Error(EErrorCodes a_iErrc,
|
||
|
int a_iPos = (int)qmu::string_type::npos,
|
||
|
const string_type &a_strTok = string_type() ) const;
|
||
|
|
||
|
protected:
|
||
|
|
||
|
void Init();
|
||
|
|
||
|
virtual void InitCharSets() = 0;
|
||
|
virtual void InitFun() = 0;
|
||
|
virtual void InitConst() = 0;
|
||
|
virtual void InitOprt() = 0;
|
||
|
|
||
|
virtual void OnDetectVar(string_type *pExpr, int &nStart, int &nEnd);
|
||
|
|
||
|
static const char_type *c_DefaultOprt[];
|
||
|
static std::locale s_locale; ///< The locale used by the parser
|
||
|
static bool g_DbgDumpCmdCode;
|
||
|
static bool g_DbgDumpStack;
|
||
|
|
||
|
/** \brief A facet class used to change decimal and thousands separator. */
|
||
|
template<class TChar>
|
||
|
class change_dec_sep : public std::numpunct<TChar>
|
||
|
{
|
||
|
public:
|
||
|
|
||
|
explicit change_dec_sep(char_type cDecSep, char_type cThousandsSep = 0, int nGroup = 3)
|
||
|
:std::numpunct<TChar>()
|
||
|
,m_nGroup(nGroup)
|
||
|
,m_cDecPoint(cDecSep)
|
||
|
,m_cThousandsSep(cThousandsSep)
|
||
|
{}
|
||
|
|
||
|
protected:
|
||
|
|
||
|
virtual char_type do_decimal_point() const
|
||
|
{
|
||
|
return m_cDecPoint;
|
||
|
}
|
||
|
|
||
|
virtual char_type do_thousands_sep() const
|
||
|
{
|
||
|
return m_cThousandsSep;
|
||
|
}
|
||
|
|
||
|
virtual std::string do_grouping() const
|
||
|
{
|
||
|
return std::string(1, m_nGroup);
|
||
|
}
|
||
|
|
||
|
private:
|
||
|
|
||
|
int m_nGroup;
|
||
|
char_type m_cDecPoint;
|
||
|
char_type m_cThousandsSep;
|
||
|
};
|
||
|
|
||
|
private:
|
||
|
|
||
|
void Assign(const QmuParserBase &a_Parser);
|
||
|
void InitTokenReader();
|
||
|
void ReInit() const;
|
||
|
|
||
|
void AddCallback( const string_type &a_strName,
|
||
|
const QmuParserCallback &a_Callback,
|
||
|
funmap_type &a_Storage,
|
||
|
const char_type *a_szCharSet );
|
||
|
|
||
|
void ApplyRemainingOprt(QmuParserStack<token_type> &a_stOpt,
|
||
|
QmuParserStack<token_type> &a_stVal) const;
|
||
|
void ApplyBinOprt(QmuParserStack<token_type> &a_stOpt,
|
||
|
QmuParserStack<token_type> &a_stVal) const;
|
||
|
|
||
|
void ApplyIfElse(QmuParserStack<token_type> &a_stOpt,
|
||
|
QmuParserStack<token_type> &a_stVal) const;
|
||
|
|
||
|
void ApplyFunc(QmuParserStack<token_type> &a_stOpt,
|
||
|
QmuParserStack<token_type> &a_stVal,
|
||
|
int iArgCount) const;
|
||
|
|
||
|
token_type ApplyStrFunc(const token_type &a_FunTok,
|
||
|
const std::vector<token_type> &a_vArg) const;
|
||
|
|
||
|
int GetOprtPrecedence(const token_type &a_Tok) const;
|
||
|
EOprtAssociativity GetOprtAssociativity(const token_type &a_Tok) const;
|
||
|
|
||
|
void CreateRPN() const;
|
||
|
|
||
|
value_type ParseString() const;
|
||
|
value_type ParseCmdCode() const;
|
||
|
value_type ParseCmdCodeBulk(int nOffset, int nThreadID) const;
|
||
|
|
||
|
void CheckName(const string_type &a_strName, const string_type &a_CharSet) const;
|
||
|
void CheckOprt(const string_type &a_sName,
|
||
|
const QmuParserCallback &a_Callback,
|
||
|
const string_type &a_szCharSet) const;
|
||
|
|
||
|
void StackDump(const QmuParserStack<token_type > &a_stVal,
|
||
|
const QmuParserStack<token_type > &a_stOprt) const;
|
||
|
|
||
|
/** \brief Pointer to the parser function.
|
||
|
|
||
|
Eval() calls the function whose address is stored there.
|
||
|
*/
|
||
|
mutable ParseFunction m_pParseFormula;
|
||
|
mutable QmuParserByteCode m_vRPN; ///< The Bytecode class.
|
||
|
mutable stringbuf_type m_vStringBuf; ///< String buffer, used for storing string function arguments
|
||
|
stringbuf_type m_vStringVarBuf;
|
||
|
|
||
|
std::auto_ptr<token_reader_type> m_pTokenReader; ///< Managed pointer to the token reader object.
|
||
|
|
||
|
funmap_type m_FunDef; ///< Map of function names and pointers.
|
||
|
funmap_type m_PostOprtDef; ///< Postfix operator callbacks
|
||
|
funmap_type m_InfixOprtDef; ///< unary infix operator.
|
||
|
funmap_type m_OprtDef; ///< Binary operator callbacks
|
||
|
valmap_type m_ConstDef; ///< user constants.
|
||
|
strmap_type m_StrVarDef; ///< user defined string constants
|
||
|
varmap_type m_VarDef; ///< user defind variables.
|
||
|
|
||
|
bool m_bBuiltInOp; ///< Flag that can be used for switching built in operators on and off
|
||
|
|
||
|
string_type m_sNameChars; ///< Charset for names
|
||
|
string_type m_sOprtChars; ///< Charset for postfix/ binary operator tokens
|
||
|
string_type m_sInfixOprtChars; ///< Charset for infix operator tokens
|
||
|
|
||
|
mutable int m_nIfElseCounter; ///< Internal counter for keeping track of nested if-then-else clauses
|
||
|
|
||
|
// items merely used for caching state information
|
||
|
mutable valbuf_type m_vStackBuffer; ///< This is merely a buffer used for the stack in the cmd parsing routine
|
||
|
mutable int m_nFinalResultIdx;
|
||
|
};
|
||
|
|
||
|
} // namespace qmu
|
||
|
|
||
|
#endif
|
||
|
|