| 1 | #include <stdlib.h>
|
|---|
| 2 | #include <stdio.h>
|
|---|
| 3 | #include <ctype.h>
|
|---|
| 4 | #include <string.h>
|
|---|
| 5 | #include "sopnamsp.h"
|
|---|
| 6 | #include "cexpre.h"
|
|---|
| 7 | #include <stack>
|
|---|
| 8 | #include <math.h>
|
|---|
| 9 | #include "srandgen.h"
|
|---|
| 10 |
|
|---|
| 11 | namespace SOPHYA {
|
|---|
| 12 |
|
|---|
| 13 | long CExprBase::totnexp_create = 0;
|
|---|
| 14 | long CExprBase::totnexp_delete = 0;
|
|---|
| 15 | CExprBase::CExprBase()
|
|---|
| 16 | {
|
|---|
| 17 | totnexp_create++;
|
|---|
| 18 | // cout << "CExprBase::CExprBase()-Creation " << hex << this << dec << endl;
|
|---|
| 19 | }
|
|---|
| 20 |
|
|---|
| 21 | CExprBase::~CExprBase()
|
|---|
| 22 | {
|
|---|
| 23 | totnexp_delete++;
|
|---|
| 24 | // cout << "CExprBase::~CExprBase() " << hex << this << dec << endl;
|
|---|
| 25 | }
|
|---|
| 26 |
|
|---|
| 27 | void CExprBase::CheckThrow(const char * msg) const
|
|---|
| 28 | {
|
|---|
| 29 | string errmsg;
|
|---|
| 30 | bool ok = CheckE(errmsg);
|
|---|
| 31 | if (ok) return;
|
|---|
| 32 | else {
|
|---|
| 33 | errmsg += msg;
|
|---|
| 34 | throw CExprException(errmsg);
|
|---|
| 35 | }
|
|---|
| 36 | }
|
|---|
| 37 |
|
|---|
| 38 | //---------------------------------------------------------
|
|---|
| 39 | /*!
|
|---|
| 40 | \internal
|
|---|
| 41 | \ingroup SysTools
|
|---|
| 42 | \brief Class representing numbers for expression evaluation
|
|---|
| 43 | \sa CExpressionEvaluator
|
|---|
| 44 | */
|
|---|
| 45 | class CE_NumberExp : public CExprBase {
|
|---|
| 46 | public:
|
|---|
| 47 | CE_NumberExp(double v) { _val = v; _pval=&_val; }
|
|---|
| 48 | CE_NumberExp(double* pv) { _pval=pv; _val = *_pval; }
|
|---|
| 49 | CE_NumberExp(string const & s);
|
|---|
| 50 | virtual ~CE_NumberExp() {}
|
|---|
| 51 | virtual double Evaluate() const { return (*_pval); }
|
|---|
| 52 | virtual void Print(ostream& os) const { os << (*_pval); }
|
|---|
| 53 | protected:
|
|---|
| 54 | double _val;
|
|---|
| 55 | double* _pval;
|
|---|
| 56 | };
|
|---|
| 57 |
|
|---|
| 58 | CE_NumberExp::CE_NumberExp(string const & s)
|
|---|
| 59 | {
|
|---|
| 60 | _pval=&_val;
|
|---|
| 61 | size_t l = s.length();
|
|---|
| 62 | if (l < 1) {
|
|---|
| 63 | string errmsg = "CE_NumberExp::CE_NumberExp() Empty expression";
|
|---|
| 64 | throw CExprException(errmsg);
|
|---|
| 65 | }
|
|---|
| 66 | if (s == "Pi") _val = M_PI;
|
|---|
| 67 | else if (s == "E") _val = M_E;
|
|---|
| 68 | else {
|
|---|
| 69 | string errmsg = "CE_NumberExp::CE_NumberExp() Bad numerical constant or unknown variable: ";
|
|---|
| 70 | errmsg += s;
|
|---|
| 71 |
|
|---|
| 72 | char* lcc;
|
|---|
| 73 | _val = strtod(s.c_str(), &lcc);
|
|---|
| 74 | if (*lcc != '\0') throw CExprException(errmsg);
|
|---|
| 75 | }
|
|---|
| 76 | }
|
|---|
| 77 |
|
|---|
| 78 | //---------------------------------------------------------
|
|---|
| 79 | //----------- Expression changement de signe -------------
|
|---|
| 80 | /*!
|
|---|
| 81 | \internal
|
|---|
| 82 | \ingroup SysTools
|
|---|
| 83 | \brief Class for handling change sign expression (-x)
|
|---|
| 84 | \sa CExpressionEvaluator
|
|---|
| 85 | */
|
|---|
| 86 | class CE_ChsExp : public CExprBase {
|
|---|
| 87 | public:
|
|---|
| 88 | explicit CE_ChsExp(CExprBase * e) { _e = e; }
|
|---|
| 89 | virtual ~CE_ChsExp() { if (_e) delete _e; }
|
|---|
| 90 | virtual double Evaluate() const { return -_e->Evaluate(); }
|
|---|
| 91 | virtual bool CheckE(string& errmsg) const { if (_e) return true; else return false; }
|
|---|
| 92 | virtual void Print(ostream& os) const { os << "-( "; _e->Print(os); os << " )"; }
|
|---|
| 93 | protected:
|
|---|
| 94 | CExprBase * _e;
|
|---|
| 95 | };
|
|---|
| 96 |
|
|---|
| 97 | //---------------------------------------------------------
|
|---|
| 98 | /*!
|
|---|
| 99 | \internal
|
|---|
| 100 | \ingroup SysTools
|
|---|
| 101 | \brief Base class for binary operations on expressions
|
|---|
| 102 | \sa CExpressionEvaluator
|
|---|
| 103 | */
|
|---|
| 104 | class CE_BinExp : public CExprBase {
|
|---|
| 105 | public:
|
|---|
| 106 | explicit CE_BinExp(char op, int prior);
|
|---|
| 107 | virtual ~CE_BinExp() { if (_e1) delete _e1; if (_e2) delete _e2; }
|
|---|
| 108 | inline void SetE1(CExprBase * e) { _e1 = e; }
|
|---|
| 109 | inline void SetE2(CExprBase * e) { _e2 = e; }
|
|---|
| 110 | virtual bool CheckE(string& errmsg) const;
|
|---|
| 111 | virtual void Print(ostream& os) const;
|
|---|
| 112 | inline char BOpC() const { return _bop; }
|
|---|
| 113 | inline int Priority() const { return _priority; }
|
|---|
| 114 | protected:
|
|---|
| 115 | CExprBase * _e1;
|
|---|
| 116 | CExprBase * _e2;
|
|---|
| 117 | char _bop; // Caractere identificateur d'operation (+,-,*,/ ...)
|
|---|
| 118 | int _priority; // Niveau de priorite: 1= +,- 2: *,/ 3: ^...
|
|---|
| 119 | };
|
|---|
| 120 |
|
|---|
| 121 | CE_BinExp::CE_BinExp(char op, int prior)
|
|---|
| 122 | {
|
|---|
| 123 | _e1 = NULL; _e2 = NULL;
|
|---|
| 124 | _bop = op;
|
|---|
| 125 | _priority = prior;
|
|---|
| 126 | }
|
|---|
| 127 |
|
|---|
| 128 | bool CE_BinExp::CheckE(string& errmsg) const
|
|---|
| 129 | {
|
|---|
| 130 | if ((_e1 == NULL) || (_e2 == NULL)) {
|
|---|
| 131 | errmsg += "CE_BinExp::CheckE: Binary expression-missing argument ";
|
|---|
| 132 | return false;
|
|---|
| 133 | }
|
|---|
| 134 | return true;
|
|---|
| 135 | }
|
|---|
| 136 |
|
|---|
| 137 | void CE_BinExp::Print(ostream& os) const
|
|---|
| 138 | {
|
|---|
| 139 | os << "(" << (*_e1) << _bop << (*_e2) << ")" ;
|
|---|
| 140 | }
|
|---|
| 141 |
|
|---|
| 142 | //---------------------------------------------------------
|
|---|
| 143 | /*!
|
|---|
| 144 | \internal
|
|---|
| 145 | \ingroup SysTools
|
|---|
| 146 | \brief Addition of two CExprBase (binary operation : x+y)
|
|---|
| 147 | \sa CExpressionEvaluator
|
|---|
| 148 | */
|
|---|
| 149 | class CE_AddExp : public CE_BinExp {
|
|---|
| 150 | public:
|
|---|
| 151 | CE_AddExp() : CE_BinExp('+',1) {}
|
|---|
| 152 | virtual double Evaluate() const { CheckThrow("CE_AddExp::Evaluate"); return _e1->Evaluate()+_e2->Evaluate();
|
|---|
| 153 | }
|
|---|
| 154 | };
|
|---|
| 155 | /*!
|
|---|
| 156 | \internal
|
|---|
| 157 | \ingroup SysTools
|
|---|
| 158 | \brief Multiplication of two CExprBase (binary operation : x*y)
|
|---|
| 159 | \sa CExpressionEvaluator
|
|---|
| 160 | */
|
|---|
| 161 | class CE_MulExp : public CE_BinExp {
|
|---|
| 162 | public:
|
|---|
| 163 | CE_MulExp() : CE_BinExp('*',2) {}
|
|---|
| 164 | virtual double Evaluate() const { CheckThrow("CE_MulExp::Evaluate"); return _e1->Evaluate()*_e2->Evaluate(); }
|
|---|
| 165 | };
|
|---|
| 166 | /*!
|
|---|
| 167 | \internal
|
|---|
| 168 | \ingroup SysTools
|
|---|
| 169 | \brief Subtraction of two CExprBase (binary operation : x-y)
|
|---|
| 170 | \sa CExpressionEvaluator
|
|---|
| 171 | */
|
|---|
| 172 | class CE_SubExp : public CE_BinExp {
|
|---|
| 173 | public:
|
|---|
| 174 | CE_SubExp() : CE_BinExp('-',1) {}
|
|---|
| 175 | virtual double Evaluate() const { CheckThrow("CE_SubExp::Evaluate"); return _e1->Evaluate()-_e2->Evaluate(); }
|
|---|
| 176 | };
|
|---|
| 177 | /*!
|
|---|
| 178 | \internal
|
|---|
| 179 | \ingroup SysTools
|
|---|
| 180 | \brief Division of two CExprBase (binary operation : x/y)
|
|---|
| 181 | \sa CExpressionEvaluator
|
|---|
| 182 | */
|
|---|
| 183 | class CE_DivExp : public CE_BinExp {
|
|---|
| 184 | public:
|
|---|
| 185 | CE_DivExp() : CE_BinExp('/',2) {}
|
|---|
| 186 | virtual double Evaluate() const { CheckThrow("CE_DivExp::Evaluate"); return _e1->Evaluate()/_e2->Evaluate(); }
|
|---|
| 187 | };
|
|---|
| 188 |
|
|---|
| 189 | //---------------------------------------------------------
|
|---|
| 190 | typedef double (* f0exp) ();
|
|---|
| 191 | typedef double (* f1exp) (double x);
|
|---|
| 192 | typedef double (* f2exp) (double x, double y);
|
|---|
| 193 | typedef double (* f3exp) (double x, double y, double z);
|
|---|
| 194 |
|
|---|
| 195 | //---------------------------------------------------------
|
|---|
| 196 | #define FMXARG 3
|
|---|
| 197 | /*!
|
|---|
| 198 | \internal
|
|---|
| 199 | \ingroup SysTools
|
|---|
| 200 | \brief Function evaluation on other expression in the form f(), f(x), f(x,y), f(x,y,z)
|
|---|
| 201 | \sa CExpressionEvaluator
|
|---|
| 202 | */
|
|---|
| 203 | class CE_FuncExp : public CExprBase {
|
|---|
| 204 | public:
|
|---|
| 205 | CE_FuncExp(string const & func);
|
|---|
| 206 | virtual ~CE_FuncExp();
|
|---|
| 207 | virtual double Evaluate() const ;
|
|---|
| 208 | inline void AddArg(CExprBase * e);
|
|---|
| 209 | inline int GetMaxNArg() const { return _maxne; }
|
|---|
| 210 | virtual bool CheckE(string& errmsg) const;
|
|---|
| 211 | virtual void Print(ostream& os) const;
|
|---|
| 212 | protected:
|
|---|
| 213 | f0exp _f0;
|
|---|
| 214 | f1exp _f1;
|
|---|
| 215 | f2exp _f2;
|
|---|
| 216 | f3exp _f3;
|
|---|
| 217 | int _ne, _maxne;
|
|---|
| 218 | CExprBase * _e[FMXARG];
|
|---|
| 219 | string _fname;
|
|---|
| 220 | };
|
|---|
| 221 |
|
|---|
| 222 | // Les fonctions de generation de nombre aleatoire
|
|---|
| 223 | static double _CE_rand01() { return drand01(); }
|
|---|
| 224 | static double _CE_randpm1() { return drandpm1(); }
|
|---|
| 225 | static double _CE_gaurand() { return GaussianRand(1.,0.); }
|
|---|
| 226 | //---------------------------------------------------------
|
|---|
| 227 | CE_FuncExp::CE_FuncExp(string const & func)
|
|---|
| 228 | {
|
|---|
| 229 | _ne = 0; _maxne = -1;
|
|---|
| 230 | for(int k=0; k<FMXARG; k++) _e[k] = NULL;
|
|---|
| 231 | _f0 = NULL;
|
|---|
| 232 | _f1 = NULL;
|
|---|
| 233 | _f2 = NULL;
|
|---|
| 234 | _f3 = NULL;
|
|---|
| 235 | if (func == "sin") _f1 = sin;
|
|---|
| 236 | else if (func == "cos") _f1 = cos;
|
|---|
| 237 | else if (func == "tan") _f1 = tan;
|
|---|
| 238 | else if (func == "asin") _f1 = asin;
|
|---|
| 239 | else if (func == "acos") _f1 = acos;
|
|---|
| 240 | else if (func == "atan") _f1 = atan;
|
|---|
| 241 | else if (func == "atan2") _f2 = atan2;
|
|---|
| 242 | else if (func == "sqrt") _f1 = sqrt;
|
|---|
| 243 | else if (func == "fabs") _f1 = fabs;
|
|---|
| 244 | else if (func == "floor") _f1 = floor;
|
|---|
| 245 | else if (func == "exp") _f1 = exp;
|
|---|
| 246 | else if (func == "log") _f1 = log;
|
|---|
| 247 | else if (func == "log10") _f1 = log10;
|
|---|
| 248 | else if (func == "pow") _f2 = pow;
|
|---|
| 249 | else if (func == "hypot") _f2 = hypot;
|
|---|
| 250 | else if (func == "sinh") _f1 = sinh;
|
|---|
| 251 | else if (func == "cosh") _f1 = cosh;
|
|---|
| 252 | else if (func == "tanh") _f1 = tanh;
|
|---|
| 253 | // Les fonctions aleatoires declaree plus haut
|
|---|
| 254 | else if (func == "rand01") _f0 = _CE_rand01;
|
|---|
| 255 | else if (func == "randpm1") _f0 = _CE_randpm1;
|
|---|
| 256 | else if (func == "gaurand") _f0 = _CE_gaurand;
|
|---|
| 257 | else {
|
|---|
| 258 | string errmsg = "CE_FuncExp::CE_FuncExp() - Uknown function " ;
|
|---|
| 259 | errmsg += func;
|
|---|
| 260 | throw CExprException(errmsg);
|
|---|
| 261 | }
|
|---|
| 262 | if (_f0) _maxne = 0;
|
|---|
| 263 | else if (_f1) _maxne = 1;
|
|---|
| 264 | else if (_f2) _maxne = 2;
|
|---|
| 265 | else if (_f3) _maxne = 3;
|
|---|
| 266 | _fname = func;
|
|---|
| 267 | }
|
|---|
| 268 |
|
|---|
| 269 |
|
|---|
| 270 | CE_FuncExp::~CE_FuncExp()
|
|---|
| 271 | {
|
|---|
| 272 | for(int k=0; k<FMXARG; k++) if (_e[k]) delete _e[k];
|
|---|
| 273 | }
|
|---|
| 274 |
|
|---|
| 275 | void CE_FuncExp::AddArg(CExprBase * e)
|
|---|
| 276 | {
|
|---|
| 277 | if ((e != NULL) && (_ne < _maxne)) { _e[_ne] = e; _ne++; }
|
|---|
| 278 | else throw CExprException("CE_FuncExp::AddArg() e=NULL or too many arguments ");
|
|---|
| 279 | }
|
|---|
| 280 |
|
|---|
| 281 | double CE_FuncExp::Evaluate() const
|
|---|
| 282 | {
|
|---|
| 283 | if ((_ne != _maxne) || (_maxne < 0) ) {
|
|---|
| 284 | throw CExprException("CE_FuncExp::Evaluate() - Wrong argument number ");
|
|---|
| 285 | }
|
|---|
| 286 | if (_ne == 0) return _f0();
|
|---|
| 287 | else if (_ne == 1) return _f1(_e[0]->Evaluate());
|
|---|
| 288 | else if (_ne == 2) return _f2(_e[0]->Evaluate(), _e[1]->Evaluate());
|
|---|
| 289 | else if (_ne == 3) return _f3(_e[0]->Evaluate(), _e[1]->Evaluate(),
|
|---|
| 290 | _e[2]->Evaluate());
|
|---|
| 291 | else return 0.;
|
|---|
| 292 | }
|
|---|
| 293 |
|
|---|
| 294 | bool CE_FuncExp::CheckE(string& errmsg) const
|
|---|
| 295 | {
|
|---|
| 296 | if ((_ne != _maxne) || (_maxne < 0) ) {
|
|---|
| 297 | char buff[128];
|
|---|
| 298 | sprintf(buff, "CE_FuncExp::CheckE() %s - Wrong argument number - ne=%d maxne=%d ",
|
|---|
| 299 | _fname.c_str(), _ne, _maxne);
|
|---|
| 300 | errmsg += buff;
|
|---|
| 301 | return false;
|
|---|
| 302 | }
|
|---|
| 303 | return true;
|
|---|
| 304 | }
|
|---|
| 305 |
|
|---|
| 306 | void CE_FuncExp::Print(ostream& os) const
|
|---|
| 307 | {
|
|---|
| 308 | if ((_ne != _maxne) || (_maxne < 1) )
|
|---|
| 309 | os << _fname << "(ArgError)" ;
|
|---|
| 310 | else {
|
|---|
| 311 | if (_ne == 1) os << _fname << "(" << *(_e[0]) << ")";
|
|---|
| 312 | else if (_ne == 2) os << _fname << "(" << *(_e[0]) << "," << *(_e[1]) << ")";
|
|---|
| 313 | else if (_ne == 3) os << _fname << "(" << *(_e[0])
|
|---|
| 314 | << "," << *(_e[1]) << "," << *(_e[2]) << ")";
|
|---|
| 315 | }
|
|---|
| 316 | }
|
|---|
| 317 |
|
|---|
| 318 | //---------------------------------------------------------
|
|---|
| 319 | /*!
|
|---|
| 320 | \class CExpressionEvaluator
|
|---|
| 321 | \ingroup SysTools
|
|---|
| 322 | \brief Class for evaluation of arithmetic expressions with C-like syntax.
|
|---|
| 323 |
|
|---|
| 324 | This classes can handle the parsing of c-like arithmetic
|
|---|
| 325 | expressions containing numerical constants, the four
|
|---|
| 326 | basic operations (addition +, subtraction -, multiplication *,
|
|---|
| 327 | division /) and functions.
|
|---|
| 328 | The numerical constants are also defined <tt> (Pi = M_PI E = M_E) </tt>.
|
|---|
| 329 | The following functions from the standard math library and
|
|---|
| 330 | random generators are available:
|
|---|
| 331 |
|
|---|
| 332 | - sqrt fabs floor hypot
|
|---|
| 333 | - exp log log10 pow
|
|---|
| 334 | - sin cos tan asin acos atan atan2
|
|---|
| 335 | - sinh cosh tanh
|
|---|
| 336 | - rand01() : Flat random number generator in the range [0 1]
|
|---|
| 337 | - randpm1() : Flat random number generator in the range [-1 1]
|
|---|
| 338 | - gaurand() : Gaussian random number generator (m=0, sigma=1)
|
|---|
| 339 |
|
|---|
| 340 | Usage example :
|
|---|
| 341 | \code
|
|---|
| 342 | #include "cexpre.h"
|
|---|
| 343 | ...
|
|---|
| 344 | string es = "4.+3*(cos(Pi/8.)+1.5)";
|
|---|
| 345 | CExpressionEvaluator e(es);
|
|---|
| 346 | cout << " Expression: " << e << " = " << e.Evaluate() << endl;
|
|---|
| 347 | \endcode
|
|---|
| 348 |
|
|---|
| 349 | Output : \n
|
|---|
| 350 | <tt> Expression: (4+(3*(cos((3.14159/8))+1.5))) = 11.2716 </tt>
|
|---|
| 351 | */
|
|---|
| 352 |
|
|---|
| 353 | /*!
|
|---|
| 354 | Parse the character string \c exp and builds an expression. Uses the given list of variables
|
|---|
| 355 | \c varlist if a valid pointer is provided. Can throw CExprException exception.
|
|---|
| 356 | */
|
|---|
| 357 | CExpressionEvaluator::CExpressionEvaluator(const char* exp, CE_VarListInterface* varlist)
|
|---|
| 358 | {
|
|---|
| 359 | _exp = NULL;
|
|---|
| 360 | _varlist = varlist;
|
|---|
| 361 | size_t off=0,stop=0;
|
|---|
| 362 | string fname = "";
|
|---|
| 363 | string errmsg;
|
|---|
| 364 | string sexp=exp;
|
|---|
| 365 | _exp= ParseString(0,fname,sexp,off,stop,errmsg);
|
|---|
| 366 | if (_exp == NULL) throw CExprException(errmsg);
|
|---|
| 367 | }
|
|---|
| 368 |
|
|---|
| 369 | /*!
|
|---|
| 370 | Parse the string \c sex and builds an expression. Uses the given list of variables
|
|---|
| 371 | \c varlist if a valid pointer is provided. Can throw CExprException exception.
|
|---|
| 372 | */
|
|---|
| 373 | CExpressionEvaluator::CExpressionEvaluator(string const & sex, CE_VarListInterface* varlist)
|
|---|
| 374 | {
|
|---|
| 375 | _exp = NULL;
|
|---|
| 376 | _varlist = varlist;
|
|---|
| 377 | size_t off=0,stop=0;
|
|---|
| 378 | string fname = "";
|
|---|
| 379 | string errmsg;
|
|---|
| 380 | _exp= ParseString(0,fname,sex,off,stop,errmsg);
|
|---|
| 381 | if (_exp == NULL) throw CExprException(errmsg);
|
|---|
| 382 | }
|
|---|
| 383 |
|
|---|
| 384 | CExpressionEvaluator::~CExpressionEvaluator()
|
|---|
| 385 | {
|
|---|
| 386 | if (_exp) delete _exp;
|
|---|
| 387 | }
|
|---|
| 388 |
|
|---|
| 389 | double CExpressionEvaluator::Evaluate() const
|
|---|
| 390 | {
|
|---|
| 391 | if (_exp) return _exp->Evaluate();
|
|---|
| 392 | else return 0.;
|
|---|
| 393 | }
|
|---|
| 394 |
|
|---|
| 395 | void CExpressionEvaluator::Print(ostream& os) const
|
|---|
| 396 | {
|
|---|
| 397 | if (_exp) _exp->Print(os);
|
|---|
| 398 | else os << "CExpressionEvaluator ???";
|
|---|
| 399 | }
|
|---|
| 400 |
|
|---|
| 401 | // cette fonction rearrange le stack des operations binaires en attente
|
|---|
| 402 | static CExprBase* Arrange_CE_BinExpStack(stack<CE_BinExp* >& sbx, CExprBase* cex, CE_BinExp* nbx)
|
|---|
| 403 | {
|
|---|
| 404 | while ( !sbx.empty() && (nbx->Priority() <= sbx.top()->Priority()) ) {
|
|---|
| 405 | sbx.top()->SetE2(cex);
|
|---|
| 406 | cex = sbx.top(); sbx.pop();
|
|---|
| 407 | }
|
|---|
| 408 | nbx->SetE1(cex);
|
|---|
| 409 | sbx.push(nbx);
|
|---|
| 410 | return NULL;
|
|---|
| 411 | }
|
|---|
| 412 |
|
|---|
| 413 | // cette fonction rearrange le stack des operations binaires en attente
|
|---|
| 414 | static CExprBase* Arrange_CE_BinExpStack(stack<CE_BinExp* >& sbx, CExprBase* cex)
|
|---|
| 415 | {
|
|---|
| 416 | if (sbx.empty()) return cex;
|
|---|
| 417 | while ( !sbx.empty() ) {
|
|---|
| 418 | sbx.top()->SetE2(cex);
|
|---|
| 419 | cex = sbx.top(); sbx.pop();
|
|---|
| 420 | }
|
|---|
| 421 | return cex;
|
|---|
| 422 | }
|
|---|
| 423 |
|
|---|
| 424 | CExprBase* CExpressionEvaluator::VarNameOrNumber(string const & s)
|
|---|
| 425 | {
|
|---|
| 426 | if (_varlist==NULL) return new CE_NumberExp(s);
|
|---|
| 427 | double* pv=_varlist->GetVarPointer(s);
|
|---|
| 428 | if (pv!=NULL) return new CE_NumberExp(pv);
|
|---|
| 429 | return new CE_NumberExp(s);
|
|---|
| 430 | }
|
|---|
| 431 |
|
|---|
| 432 | CExprBase* CExpressionEvaluator::ParseString(int extype, string fname, string const & sex,
|
|---|
| 433 | size_t off, size_t& stop, string& errmsg)
|
|---|
| 434 | {
|
|---|
| 435 | size_t len = sex.length();
|
|---|
| 436 | if (len < 1) {
|
|---|
| 437 | string errmsg = "CExpressionEvaluator::ParseString() Empty expression";
|
|---|
| 438 | throw CExprException(errmsg);
|
|---|
| 439 | }
|
|---|
| 440 | errmsg = "";
|
|---|
| 441 | CExprBase* rx = NULL; // Expression resultat
|
|---|
| 442 | stack< CE_BinExp* > sbx; // Stack des expressions binaires
|
|---|
| 443 | CE_FuncExp* fx = NULL; // Expression fonction
|
|---|
| 444 | CExprBase* cx = NULL; // Element d'expression (courante)
|
|---|
| 445 |
|
|---|
| 446 | if (extype == 2) fx = new CE_FuncExp(fname);
|
|---|
| 447 |
|
|---|
| 448 | size_t p=0, q=0;
|
|---|
| 449 | char lastopc=0, opc=0; // Last/current operation sign (+,-,*,/,...)
|
|---|
| 450 | int osn = 0;
|
|---|
| 451 | bool finok = false;
|
|---|
| 452 | bool fgcont = true;
|
|---|
| 453 | bool checkok = true;
|
|---|
| 454 | bool apperrmsg = true;
|
|---|
| 455 | // cout << " DBG-ParseString off= " << off << " sex[off]= " << sex[off]
|
|---|
| 456 | // << " extype= " << extype << endl;
|
|---|
| 457 | p = stop = off;
|
|---|
| 458 | while ((p < len) && (fgcont) && (checkok) ) {
|
|---|
| 459 | // cout << " DBG-2-ParseString p=" << p << " q=" << q << endl;
|
|---|
| 460 |
|
|---|
| 461 | cx = NULL;
|
|---|
| 462 | // ------------------------------- Bretelle ------
|
|---|
| 463 | // Il faut sauter les signes +/- qui se trouverait dans les
|
|---|
| 464 | // exposants des nombres xxxe-yy xxxe+y : 0.4e-2 ...
|
|---|
| 465 | // Les qques lignes sont une bretelle qui saute ces signes +/- (Reza, Aout 2004)
|
|---|
| 466 | // On verifie d'abord s'il y a un nombre valide au debut de la positions courante
|
|---|
| 467 | char* lcc;
|
|---|
| 468 | size_t pfn=0,psn;
|
|---|
| 469 | bool numberok = false;
|
|---|
| 470 | strtod(sex.c_str()+p, &lcc);
|
|---|
| 471 | if (lcc != sex.c_str()+p) { // Expression valide de double au debut
|
|---|
| 472 | numberok = true; // de la position courante
|
|---|
| 473 | pfn = lcc-sex.c_str();
|
|---|
| 474 | }
|
|---|
| 475 | // On cherche le 1er signe d'operateur - apres le nombre de debut
|
|---|
| 476 | q = sex.find_first_of("+-*/(),",p);
|
|---|
| 477 |
|
|---|
| 478 | while ( numberok && (q < len) && (q < pfn) && (q > p) &&
|
|---|
| 479 | ((sex[q] == '+') || (sex[q] == '-')) ) {
|
|---|
| 480 | psn = q+1;
|
|---|
| 481 | if (psn < len) q = sex.find_first_of("+-*/(),",psn);
|
|---|
| 482 | else q = len+1;
|
|---|
| 483 | }
|
|---|
| 484 | //---- Fin de la Bretelle ---- pour sauter les signes +/- de l'exposant des nombres
|
|---|
| 485 |
|
|---|
| 486 | if (q < len) { // operateur trouve
|
|---|
| 487 | opc = sex[q]; // signe operateur courant
|
|---|
| 488 | switch (opc) {
|
|---|
| 489 | case '(' :
|
|---|
| 490 | if (q == p) {
|
|---|
| 491 | string fname = "";
|
|---|
| 492 | cx = ParseString(1, fname, sex, q+1, stop, errmsg);
|
|---|
| 493 | }
|
|---|
| 494 | else cx = ParseString(2, sex.substr(p,q-p), sex, q+1, stop, errmsg);
|
|---|
| 495 | if (!cx) { checkok = false; p = stop+1; apperrmsg = false; }
|
|---|
| 496 | else {
|
|---|
| 497 | if (osn == 1) {
|
|---|
| 498 | if (sex[p-osn] == '-') cx = new CE_ChsExp(cx);
|
|---|
| 499 | }
|
|---|
| 500 | if (osn > 1) {
|
|---|
| 501 | checkok = false; p = stop+1; fgcont = false;
|
|---|
| 502 | delete cx;
|
|---|
| 503 | errmsg = "CExpressionEvaluator::ParseString()/ Syntax Error - multiple chs (+/-) (AA)";
|
|---|
| 504 | }
|
|---|
| 505 | else if (rx) {
|
|---|
| 506 | checkok = false; p = stop+1; fgcont = false;
|
|---|
| 507 | delete cx;
|
|---|
| 508 | errmsg = "CExpressionEvaluator::ParseString()/ Syntax Error - rx&&cx (A)";
|
|---|
| 509 | }
|
|---|
| 510 | else {
|
|---|
| 511 | if (stop == len-1) {
|
|---|
| 512 | rx = Arrange_CE_BinExpStack(sbx, cx);
|
|---|
| 513 | finok = true;
|
|---|
| 514 | }
|
|---|
| 515 | else rx = cx;
|
|---|
| 516 | p = stop+1; osn = 0; lastopc = opc;
|
|---|
| 517 | }
|
|---|
| 518 | }
|
|---|
| 519 | break;
|
|---|
| 520 |
|
|---|
| 521 | case ')' :
|
|---|
| 522 | case ',' :
|
|---|
| 523 | if (extype == 0) {
|
|---|
| 524 | checkok = false; p = q; fgcont = false;
|
|---|
| 525 | errmsg = "CExpressionEvaluator::ParseString() Unexpected ) or ,";
|
|---|
| 526 | }
|
|---|
| 527 | if ( (extype == 1) && (opc == ',')) {
|
|---|
| 528 | checkok = false; p = q; fgcont = false;
|
|---|
| 529 | errmsg = "CExpressionEvaluator::ParseString() Unexpected ,";
|
|---|
| 530 | }
|
|---|
| 531 | if ((q > p) && (rx)) {
|
|---|
| 532 | checkok = false; p = q; fgcont = false;
|
|---|
| 533 | errmsg = "CExpressionEvaluator::ParseString()/ Syntax Error - rx&&cx (B)";
|
|---|
| 534 | }
|
|---|
| 535 | if (q > p) cx = VarNameOrNumber(sex.substr(p-osn,q-p+osn));
|
|---|
| 536 | else cx = rx;
|
|---|
| 537 |
|
|---|
| 538 | if (!cx && ( !fx || ( opc != ')' ) ||
|
|---|
| 539 | ( (fx && (fx->GetMaxNArg() > 0) && (opc == ')' ) ) ) ) ) {
|
|---|
| 540 | checkok = false; p = q; fgcont = false;
|
|---|
| 541 | errmsg = "CExpressionEvaluator::ParseString()/ Syntax Error - farg=NULL (BB)";
|
|---|
| 542 | }
|
|---|
| 543 | else {
|
|---|
| 544 | if (cx) { rx = Arrange_CE_BinExpStack(sbx, cx);
|
|---|
| 545 | if (extype == 2) {
|
|---|
| 546 | // cout << " DBG-ParseString-AddArg " << *(cx) << endl;
|
|---|
| 547 | fx->AddArg(rx); rx = NULL;
|
|---|
| 548 | }
|
|---|
| 549 | }
|
|---|
| 550 | if (opc == ')') { // Signe de fin de traitement d'une portion d'expression
|
|---|
| 551 | if (extype == 2) { rx = fx; fx = NULL; }
|
|---|
| 552 | stop = q; osn = 0; lastopc = opc;
|
|---|
| 553 | fgcont = false;
|
|---|
| 554 | finok = true;
|
|---|
| 555 | }
|
|---|
| 556 | else {
|
|---|
| 557 | if (q == (len-1)) finok = true;
|
|---|
| 558 | p = q+1; osn = 0; lastopc = opc;
|
|---|
| 559 | }
|
|---|
| 560 | }
|
|---|
| 561 | break;
|
|---|
| 562 |
|
|---|
| 563 | case '+' :
|
|---|
| 564 | case '-' :
|
|---|
| 565 | case '*' :
|
|---|
| 566 | case '/' :
|
|---|
| 567 | if (!( ((opc=='+')||(opc=='-')) && ( (q==off) || ( (q==p) && lastopc != '(') ) ) ) {
|
|---|
| 568 | CE_BinExp* nbx;
|
|---|
| 569 | if (opc == '+') nbx = new CE_AddExp;
|
|---|
| 570 | else if (opc == '-') nbx = new CE_SubExp;
|
|---|
| 571 | else if (opc == '*') nbx = new CE_MulExp;
|
|---|
| 572 | else nbx = new CE_DivExp;
|
|---|
| 573 | if ((p == q) && (rx == NULL)) {
|
|---|
| 574 | checkok = false; p = q; osn = 0; fgcont = false;
|
|---|
| 575 | delete nbx;
|
|---|
| 576 | errmsg = "CExpressionEvaluator::ParseString() Syntax Error - rx==NULL (C)";
|
|---|
| 577 | }
|
|---|
| 578 | else {
|
|---|
| 579 | if (p == q) cx = rx;
|
|---|
| 580 | else cx = VarNameOrNumber(sex.substr(p-osn,q-p+osn));
|
|---|
| 581 | rx = Arrange_CE_BinExpStack(sbx, cx, nbx);
|
|---|
| 582 | p = q+1; osn = 0; lastopc = opc;
|
|---|
| 583 | }
|
|---|
| 584 | }
|
|---|
| 585 | else {
|
|---|
| 586 | // Traitement des signes +/- qui pourrait faire partie d'une constante numerique
|
|---|
| 587 | p = q+1; osn++;
|
|---|
| 588 | continue;
|
|---|
| 589 | }
|
|---|
| 590 | break;
|
|---|
| 591 | default:
|
|---|
| 592 | throw CExprException("CExpressionEvaluator::ParseString() BUG-BUG-BUG");
|
|---|
| 593 | break;
|
|---|
| 594 | } // Fin de switch
|
|---|
| 595 | }
|
|---|
| 596 | else { // dernier element
|
|---|
| 597 | if ( (p<len) && (rx != NULL)) {
|
|---|
| 598 | checkok = false; p = len-1; fgcont = false;
|
|---|
| 599 | errmsg = "CExpressionEvaluator::ParseString() Syntax Error - rx!=NULL at end (D)";
|
|---|
| 600 | }
|
|---|
| 601 | else {
|
|---|
| 602 | if (p<len) cx = VarNameOrNumber(sex.substr(p-osn));
|
|---|
| 603 | else cx = rx;
|
|---|
| 604 | rx = Arrange_CE_BinExpStack(sbx, cx);
|
|---|
| 605 | stop = p = len; fgcont = false;
|
|---|
| 606 | finok = true;
|
|---|
| 607 | }
|
|---|
| 608 | }
|
|---|
| 609 | }
|
|---|
| 610 | // cout << " DBG-ParseString-out stop= " << stop << " sex[stop]= " << sex[stop] << endl;
|
|---|
| 611 | if (finok && checkok) {
|
|---|
| 612 | if( !sbx.empty() ) {
|
|---|
| 613 | checkok = false;
|
|---|
| 614 | errmsg = "CExpressionEvaluator::ParseString() !sbx.empty() at the end (E)";
|
|---|
| 615 | }
|
|---|
| 616 | else {
|
|---|
| 617 | checkok = rx->CheckE(errmsg);
|
|---|
| 618 | }
|
|---|
| 619 | }
|
|---|
| 620 | if (!finok || !checkok || !rx) {
|
|---|
| 621 | char buff[128];
|
|---|
| 622 | if (errmsg.length() < 1) {
|
|---|
| 623 | errmsg = "CExpressionEvaluator::ParseString() Error - " ;
|
|---|
| 624 | if (!finok) errmsg += " !finok " ;
|
|---|
| 625 | if (!checkok) errmsg += " !checkok " ;
|
|---|
| 626 | if (!rx) errmsg += " !rx " ;
|
|---|
| 627 | errmsg += " (F)";
|
|---|
| 628 | }
|
|---|
| 629 |
|
|---|
| 630 | if (apperrmsg) {
|
|---|
| 631 | if (p<len)
|
|---|
| 632 | sprintf(buff,"\n CExprError... %s <> %s ", sex.substr(0,p).c_str(),
|
|---|
| 633 | sex.substr(p).c_str());
|
|---|
| 634 | else sprintf(buff,"\n CExprError... %s <<", sex.c_str());
|
|---|
| 635 | errmsg += buff;
|
|---|
| 636 | }
|
|---|
| 637 | if (rx) delete rx;
|
|---|
| 638 | rx = NULL;
|
|---|
| 639 | while (!sbx.empty()) {
|
|---|
| 640 | delete sbx.top();
|
|---|
| 641 | sbx.pop();
|
|---|
| 642 | }
|
|---|
| 643 | }
|
|---|
| 644 | if (fx) delete fx;
|
|---|
| 645 | return rx;
|
|---|
| 646 | }
|
|---|
| 647 |
|
|---|
| 648 | } // End of namespace SOPHYA
|
|---|
| 649 |
|
|---|