10#include "CLHEP/Evaluator/stack.icc"
11#include "CLHEP/Evaluator/string.icc"
12#include "CLHEP/Evaluator/hash_map.icc"
49#define EVAL HepTool::Evaluator
51#define REMOVE_BLANKS \
52for(pointer=name;;pointer++) if (!isspace(*pointer)) break; \
53for(n=strlen(pointer);n>0;n--) if (!isspace(*(pointer+n-1))) break
57 c = (pointer > end) ? '\0' : *pointer; \
58 if (!isspace(c)) break; \
61#define EVAL_EXIT(STATUS,POSITION) endp = POSITION; return STATUS
64static const char sss[
MAX_N_PAR+2] =
"012345";
66enum {
ENDL,
LBRA,
OR,
AND,
EQ,
NE,
GE,
GT,
LE,
LT,
71static int variable(
const string & name,
double & result,
88 dic_type::const_iterator iter = dictionary.find(name);
89 if (iter == dictionary.end())
90 return EVAL::ERROR_UNKNOWN_VARIABLE;
91 Item item = iter->second;
98 pchar exp_end = exp_begin + strlen(exp_begin) - 1;
99 if (engine(exp_begin, exp_end, result, exp_end, dictionary) == EVAL::OK)
103 return EVAL::ERROR_CALCULATION_ERROR;
107static int function(
const string & name, stack<double> & par,
108 double & result,
const dic_type & dictionary)
125 int npar = par.size();
126 if (npar >
MAX_N_PAR)
return EVAL::ERROR_UNKNOWN_FUNCTION;
128 dic_type::const_iterator iter = dictionary.find(sss[npar]+name);
129 if (iter == dictionary.end())
return EVAL::ERROR_UNKNOWN_FUNCTION;
130 Item item = iter->second;
133 for(
int i=0; i<npar; i++) {
pp[i] = par.top(); par.pop(); }
135 if (item.
function == 0)
return EVAL::ERROR_CALCULATION_ERROR;
138 result = ((double (*)())item.
function)();
141 result = ((double (*)(double))item.
function)(pp[0]);
144 result = ((double (*)(double,double))item.
function)(pp[1], pp[0]);
147 result = ((double (*)(double,double,double))item.
function)
151 result = ((double (*)(double,double,double,double))item.
function)
152 (pp[3],pp[2],pp[1],pp[0]);
155 result = ((double (*)(double,double,double,double,double))item.
function)
156 (pp[4],pp[3],pp[2],pp[1],pp[0]);
159 return (errno == 0) ? EVAL::OK : EVAL::ERROR_CALCULATION_ERROR;
162static int operand(
pchar begin,
pchar end,
double & result,
182 pchar pointer = begin;
188 if (!isalpha(*pointer)) {
190 result = strtod(pointer, (
char **)(&pointer));
194 EVAL_EXIT( EVAL::ERROR_CALCULATION_ERROR, begin );
200 while(pointer <= end) {
202 if (c !=
'_' && !isalnum(c))
break;
215 EVAL_STATUS = variable(name, result, dictionary);
216 EVAL_EXIT( EVAL_STATUS, (EVAL_STATUS == EVAL::OK) ? --pointer : begin);
224 pchar par_begin = pointer+1, par_end;
227 c = (pointer > end) ?
'\0' : *pointer;
230 EVAL_EXIT( EVAL::ERROR_UNPAIRED_PARENTHESIS, pos.top() );
232 pos.push(pointer);
break;
234 if (pos.size() == 1) {
236 EVAL_STATUS = engine(par_begin, par_end, value, par_end, dictionary);
237 if (EVAL_STATUS == EVAL::WARNING_BLANK_STRING)
238 {
EVAL_EXIT( EVAL::ERROR_EMPTY_PARAMETER, --par_end ); }
239 if (EVAL_STATUS != EVAL::OK)
242 par_begin = pointer + 1;
246 if (pos.size() > 1) {
251 EVAL_STATUS = engine(par_begin, par_end, value, par_end, dictionary);
252 switch (EVAL_STATUS) {
256 case EVAL::WARNING_BLANK_STRING:
258 {
EVAL_EXIT( EVAL::ERROR_EMPTY_PARAMETER, --par_end ); }
263 EVAL_STATUS =
function(name, par, result, dictionary);
264 EVAL_EXIT( EVAL_STATUS, (EVAL_STATUS == EVAL::OK) ? pointer : begin);
284static int maker(
int op, stack<double> & val)
286 if (val.size() < 2)
return EVAL::ERROR_SYNTAX_ERROR;
287 double val2 = val.top(); val.pop();
288 double val1 = val.top();
291 val.top() = (val1 || val2) ? 1. : 0.;
294 val.top() = (val1 && val2) ? 1. : 0.;
297 val.top() = (val1 == val2) ? 1. : 0.;
300 val.top() = (val1 != val2) ? 1. : 0.;
303 val.top() = (val1 >= val2) ? 1. : 0.;
306 val.top() = (val1 > val2) ? 1. : 0.;
309 val.top() = (val1 <= val2) ? 1. : 0.;
312 val.top() = (val1 < val2) ? 1. : 0.;
315 val.top() = val1 + val2;
318 val.top() = val1 - val2;
321 val.top() = val1 * val2;
324 if (val2 == 0.0)
return EVAL::ERROR_CALCULATION_ERROR;
325 val.top() = val1 / val2;
329 val.top() = std::pow(val1,val2);
330 if (errno == 0)
return EVAL::OK;
332 val.top() = val1 + val2;
335 val.top() = val1 - val2;
338 return EVAL::ERROR_CALCULATION_ERROR;
358static int engine(
pchar begin,
pchar end,
double & result,
361 enum SyntaxTableEntry {
363 NumberVariableOrFunction = 1,
364 UnaryPlusOrMinus = 2,
367 static const int SyntaxTable[19][19] = {
369 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
370 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
371 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
372 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
373 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
374 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
375 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
376 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
377 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
378 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
379 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
380 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
381 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
382 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
383 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
384 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
385 { 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 1 },
386 { 3, 0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 0 },
387 { 3, 0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 0 }
389 enum ActionTableEntry {
390 UnbalancedParentheses = -1,
391 ExpressionCompleted = 0,
392 HigherPrecedenceOperator = 1,
393 SamePrecedenceOperator = 2,
394 CloseProcessedParenthesesOrExpression = 3,
395 LowerPrecedenceOperator = 4
397 static const int ActionTable[17][18] = {
399 { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,-1 },
400 {-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3 },
401 { 4, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4 },
402 { 4, 1, 4, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4 },
403 { 4, 1, 4, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4 },
404 { 4, 1, 4, 4, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 4 },
405 { 4, 1, 4, 4, 4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 4 },
406 { 4, 1, 4, 4, 4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 4 },
407 { 4, 1, 4, 4, 4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 4 },
408 { 4, 1, 4, 4, 4, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 4 },
409 { 4, 1, 4, 4, 4, 4, 4, 4, 4, 4, 2, 2, 1, 1, 1, 1, 1, 4 },
410 { 4, 1, 4, 4, 4, 4, 4, 4, 4, 4, 2, 2, 1, 1, 1, 1, 1, 4 },
411 { 4, 1, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 1, 1, 4, 4, 1, 4 },
412 { 4, 1, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 1, 1, 4, 4, 1, 4 },
413 { 4, 1, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 1, 1, 2, 2, 1, 4 },
414 { 4, 1, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 1, 1, 2, 2, 1, 4 },
415 { 4, 1, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 1, 1, 4, 4, 4, 4 }
422 pchar pointer = begin;
423 int iWhat, iCur, iPrev = 0, iTop, EVAL_STATUS;
426 op.push(0); pos.push(pointer);
428 if (c ==
'\0') {
EVAL_EXIT( EVAL::WARNING_BLANK_STRING, begin ); }
433 c = (pointer > end) ?
'\0' : *pointer;
434 if (isspace(c))
continue;
436 case '\0': iCur =
ENDL;
break;
437 case '(': iCur =
LBRA;
break;
439 if (*(pointer+1) ==
'|') {
440 pointer++; iCur =
OR;
break;
442 EVAL_EXIT( EVAL::ERROR_UNEXPECTED_SYMBOL, pointer );
445 if (*(pointer+1) ==
'&') {
446 pointer++; iCur =
AND;
break;
448 EVAL_EXIT( EVAL::ERROR_UNEXPECTED_SYMBOL, pointer );
451 if (*(pointer+1) ==
'=') {
452 pointer++; iCur =
EQ;
break;
454 EVAL_EXIT( EVAL::ERROR_UNEXPECTED_SYMBOL, pointer );
457 if (*(pointer+1) ==
'=') {
458 pointer++; iCur =
NE;
break;
460 EVAL_EXIT( EVAL::ERROR_UNEXPECTED_SYMBOL, pointer );
463 if (*(pointer+1) ==
'=') { pointer++; iCur =
GE; }
else { iCur =
GT; }
466 if (*(pointer+1) ==
'=') { pointer++; iCur =
LE; }
else { iCur =
LT; }
468 case '+': iCur =
PLUS;
break;
469 case '-': iCur =
MINUS;
break;
471 if (*(pointer+1) ==
'*') { pointer++; iCur =
POW; }
else{ iCur =
MULT; }
473 case '/': iCur =
DIV;
break;
474 case '^': iCur =
POW;
break;
475 case ')': iCur =
RBRA;
break;
477 if (c ==
'.' || isalnum(c)) {
480 EVAL_EXIT( EVAL::ERROR_UNEXPECTED_SYMBOL, pointer );
486 iWhat = SyntaxTable[iPrev][iCur];
490 EVAL_EXIT( EVAL::ERROR_SYNTAX_ERROR, pointer );
492 EVAL_STATUS = operand(pointer, end, value, pointer, dictionary);
493 if (EVAL_STATUS != EVAL::OK) {
EVAL_EXIT( EVAL_STATUS, pointer ); }
509 if (op.size() == 0) {
EVAL_EXIT( EVAL::ERROR_SYNTAX_ERROR, pointer ); }
511 switch (ActionTable[iTop][iCur]) {
513 if (op.size() > 1) pointer = pos.top();
514 EVAL_EXIT( EVAL::ERROR_UNPAIRED_PARENTHESIS, pointer );
516 if (val.size() == 1) {
520 EVAL_EXIT( EVAL::ERROR_SYNTAX_ERROR, pointer );
523 op.push(iCur); pos.push(pointer);
526 EVAL_STATUS = maker(iTop, val);
527 if (EVAL_STATUS != EVAL::OK) {
530 op.top() = iCur; pos.top() = pointer;
536 EVAL_STATUS = maker(iTop, val);
537 if (EVAL_STATUS != EVAL::OK) {
549static void setItem(
const char *
prefix,
const char * name,
552 if (name == 0 || *name ==
'\0') {
567 for(
int i=0; i<
n; i++) {
568 char c = *(pointer+i);
569 if (c !=
'_' && !isalnum(c)) {
577 string item_name =
prefix + string(pointer,n);
578 dic_type::iterator iter = (s->
theDictionary).find(item_name);
581 if (item_name == name) {
582 s->
theStatus = EVAL::WARNING_EXISTING_VARIABLE;
584 s->
theStatus = EVAL::WARNING_EXISTING_FUNCTION;
618 if (expression != 0) {
632 return ((
Struct *)(p))->theStatus;
637 return ((
Struct *)(p))->thePosition - ((
Struct *)(p))->theExpression;
652 char prefix[] =
"Evaluator : ";
653 std::ostringstream errn;
657 errn <<
prefix <<
"invalid name";
660 errn <<
prefix <<
"syntax error";
663 errn <<
prefix <<
"unpaired parenthesis";
666 errn <<
prefix <<
"unexpected symbol";
669 errn <<
prefix <<
"unknown variable";
672 errn <<
prefix <<
"unknown function";
675 errn <<
prefix <<
"empty parameter in function call";
678 errn <<
prefix <<
"calculation error";
688{ setItem(
"", name,
Item(value), (
Struct *)p); }
691{ setItem(
"", name,
Item(expression), (
Struct *)p); }
701 double (*fun)(
double))
705 double (*fun)(
double,
double))
709 double (*fun)(
double,
double,
double))
713 double (*fun)(
double,
double,
double,
double))
717 double (*fun)(
double,
double,
double,
double,
double))
722 if (name == 0 || *name ==
'\0')
return false;
724 if (n == 0)
return false;
733 if (name == 0 || *name ==
'\0')
return false;
734 if (npar < 0 || npar >
MAX_N_PAR)
return false;
736 if (n == 0)
return false;
738 return ((s->
theDictionary).find(sss[npar]+
string(pointer,n)) ==
744 if (name == 0 || *name ==
'\0')
return;
753 if (name == 0 || *name ==
'\0')
return;
754 if (npar < 0 || npar >
MAX_N_PAR)
return;
#define EVAL_EXIT(STATUS, POSITION)
hash_map< string, Item > dic_type
G4double(* function)(G4double)