2017-11-23 10:36:24 +00:00
|
|
|
/*
|
|
|
|
This file is part of libeval, a simple math expression evaluator
|
|
|
|
|
|
|
|
Copyright (C) 2017 Michael Geselbracht, mgeselbracht3@gmail.com
|
|
|
|
|
|
|
|
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 3 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, see <https://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#define TESTMODE 0
|
|
|
|
|
|
|
|
#include <libeval/numeric_evaluator.h>
|
|
|
|
|
|
|
|
#if !TESTMODE
|
|
|
|
#include <common.h>
|
|
|
|
#else
|
|
|
|
#include <unistd.h>
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
#include <ctype.h>
|
2018-02-23 23:04:59 +00:00
|
|
|
#include <math.h>
|
2017-11-23 10:36:24 +00:00
|
|
|
|
|
|
|
|
|
|
|
/* The (generated) lemon parser is written in C.
|
|
|
|
* In order to keep its symbol from the global namespace include the parser code with
|
|
|
|
* a C++ namespace.
|
|
|
|
*/
|
|
|
|
namespace numEval
|
|
|
|
{
|
|
|
|
|
|
|
|
#ifdef __GNUC__
|
|
|
|
#pragma GCC diagnostic push
|
|
|
|
#pragma GCC diagnostic ignored "-Wunused-variable"
|
|
|
|
#pragma GCC diagnostic ignored "-Wsign-compare"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#include "grammar.c"
|
|
|
|
#ifdef __GNUC__
|
|
|
|
#pragma GCC diagnostic pop
|
|
|
|
#endif
|
|
|
|
|
|
|
|
} /* namespace numEval */
|
|
|
|
|
|
|
|
NumericEvaluator :: NumericEvaluator() : pClParser(0)
|
|
|
|
{
|
2017-11-24 15:13:07 +00:00
|
|
|
struct lconv* lc = localeconv();
|
|
|
|
cClDecSep = *lc->decimal_point;
|
2017-11-23 10:36:24 +00:00
|
|
|
|
|
|
|
bClTextInputStorage = true;
|
|
|
|
|
2018-03-20 22:44:04 +00:00
|
|
|
bClError = false;
|
|
|
|
bClParseFinished = false;
|
|
|
|
|
2017-11-23 10:36:24 +00:00
|
|
|
init();
|
|
|
|
}
|
|
|
|
|
|
|
|
NumericEvaluator :: ~NumericEvaluator()
|
|
|
|
{
|
|
|
|
numEval::ParseFree(pClParser, free);
|
|
|
|
|
|
|
|
// Allow explicit call to destructor
|
|
|
|
pClParser = nullptr;
|
|
|
|
|
|
|
|
clear();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
NumericEvaluator :: init()
|
|
|
|
{
|
|
|
|
if (pClParser == nullptr)
|
|
|
|
pClParser = numEval::ParseAlloc(malloc);
|
|
|
|
|
|
|
|
//numEval::ParseTrace(stdout, "lib");
|
|
|
|
|
|
|
|
#if TESTMODE
|
|
|
|
eClUnitDefault = Unit::Metric;
|
|
|
|
#else
|
|
|
|
switch (g_UserUnit)
|
|
|
|
{
|
|
|
|
case INCHES : eClUnitDefault = Unit::Inch; break;
|
|
|
|
case MILLIMETRES : eClUnitDefault = Unit::Metric; break;
|
|
|
|
default: eClUnitDefault = Unit::Metric; break;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2018-03-20 22:44:04 +00:00
|
|
|
NumericEvaluator :: clear(const void* pObj)
|
2017-11-23 10:36:24 +00:00
|
|
|
{
|
|
|
|
free(clToken.token);
|
|
|
|
clToken.token = nullptr;
|
|
|
|
clToken.input = nullptr;
|
|
|
|
bClError = true;
|
2018-03-20 22:44:04 +00:00
|
|
|
|
|
|
|
if (bClTextInputStorage && pObj) clObjMap.erase(pObj);
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
NumericEvaluator :: parse(int token, numEval::TokenType value)
|
|
|
|
{
|
|
|
|
numEval::Parse(pClParser, token, value, this);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
NumericEvaluator :: parseError(const char* s)
|
|
|
|
{
|
|
|
|
bClError = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
NumericEvaluator :: parseOk()
|
|
|
|
{
|
|
|
|
bClParseFinished = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
NumericEvaluator :: parseSetResult(double val)
|
|
|
|
{
|
2017-11-24 20:15:08 +00:00
|
|
|
snprintf(clToken.token, clToken.OutLen, "%.10g", val);
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
const char*
|
|
|
|
NumericEvaluator :: textInput(const void* pObj) const
|
|
|
|
{
|
|
|
|
auto it = clObjMap.find(pObj);
|
|
|
|
if (it != clObjMap.end()) return it->second.c_str();
|
|
|
|
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
NumericEvaluator :: process(const char* s)
|
|
|
|
{
|
|
|
|
/* Process new string.
|
|
|
|
* Feed parser token after token until end of input.
|
|
|
|
*/
|
|
|
|
|
|
|
|
newString(s);
|
|
|
|
|
|
|
|
if (pClParser == nullptr) init();
|
2018-03-21 16:08:54 +00:00
|
|
|
bClError = false;
|
2017-11-23 10:36:24 +00:00
|
|
|
bClParseFinished = false;
|
|
|
|
|
|
|
|
Token tok;
|
|
|
|
do {
|
|
|
|
tok = getToken();
|
|
|
|
parse(tok.token, tok.value);
|
|
|
|
if (bClParseFinished || tok.token == ENDS) {
|
2018-02-15 11:38:33 +00:00
|
|
|
// Reset parser by passing zero as token ID, value is ignored.
|
|
|
|
numEval::Parse(pClParser, 0, tok.value, this);
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
//usleep(200000);
|
|
|
|
} while (tok.token);
|
|
|
|
|
|
|
|
return !bClError;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool
|
|
|
|
NumericEvaluator :: process(const char* s, const void* pObj)
|
|
|
|
{
|
|
|
|
if (bClTextInputStorage) // Store input string for (text entry) pObj.
|
|
|
|
clObjMap[pObj] = s;
|
|
|
|
return process(s);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
NumericEvaluator :: newString(const char* s)
|
|
|
|
{
|
|
|
|
clear();
|
|
|
|
auto len = strlen(s);
|
|
|
|
clToken.token = reinterpret_cast<decltype(clToken.token)>(malloc(TokenStat::OutLen+1));
|
2018-02-23 23:04:59 +00:00
|
|
|
strcpy(clToken.token, "0");
|
2017-11-23 10:36:24 +00:00
|
|
|
clToken.inputLen = len;
|
|
|
|
clToken.pos = 0;
|
|
|
|
clToken.input = s;
|
|
|
|
bClParseFinished = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
NumericEvaluator::Token
|
|
|
|
NumericEvaluator :: getToken()
|
|
|
|
{
|
|
|
|
Token retval;
|
|
|
|
size_t idx;
|
|
|
|
|
|
|
|
retval.token = ENDS;
|
|
|
|
retval.value.dValue = 0;
|
|
|
|
|
|
|
|
if (clToken.token == nullptr) return retval;
|
|
|
|
if (clToken.input == nullptr) return retval;
|
|
|
|
if (clToken.pos >= clToken.inputLen) return retval;
|
|
|
|
|
2018-02-23 23:04:59 +00:00
|
|
|
auto isDecSep = [&](char ch) -> bool {
|
|
|
|
if (ch == cClDecSep) return true;
|
|
|
|
if (cClDecSep == ',' && ch == '.') return true;
|
|
|
|
return false;
|
|
|
|
};
|
|
|
|
|
2017-11-23 10:36:24 +00:00
|
|
|
// Lambda: get value as string, store into clToken.token and update current index.
|
2018-02-23 23:04:59 +00:00
|
|
|
auto extractNumber = [&]() {
|
2017-11-23 10:36:24 +00:00
|
|
|
short sepCount = 0;
|
|
|
|
idx = 0;
|
|
|
|
auto ch = clToken.input[clToken.pos];
|
|
|
|
do {
|
2018-02-23 23:04:59 +00:00
|
|
|
if (ch == isDecSep(ch) && sepCount) break;
|
2017-11-23 10:36:24 +00:00
|
|
|
clToken.token[idx++] = ch;
|
2018-02-23 23:04:59 +00:00
|
|
|
if (isDecSep(ch)) sepCount++;
|
2017-11-23 10:36:24 +00:00
|
|
|
ch = clToken.input[++clToken.pos];
|
2018-02-23 23:04:59 +00:00
|
|
|
} while (isdigit(ch) || isDecSep(ch));
|
2017-11-23 10:36:24 +00:00
|
|
|
clToken.token[idx] = 0;
|
2018-02-23 23:04:59 +00:00
|
|
|
|
|
|
|
// Ensure that the systems decimal separator is used
|
|
|
|
for (int i = strlen(clToken.token); i; i--) if (isDecSep(clToken.token[i-1])) clToken.token[i-1] = cClDecSep;
|
2017-11-23 10:36:24 +00:00
|
|
|
};
|
|
|
|
|
2018-02-23 23:04:59 +00:00
|
|
|
/* Lamda: Get unit for current token. Returns Unit::Invalid if token is not a unit.
|
|
|
|
* '"', "in", "th", "mi", "mil" or "mm"
|
|
|
|
*/
|
2017-11-23 10:36:24 +00:00
|
|
|
auto checkUnit = [this]() -> Unit {
|
2018-02-23 23:04:59 +00:00
|
|
|
const int sizeLeft = clToken.inputLen - clToken.pos;
|
|
|
|
Unit convertFrom = Unit::Invalid;
|
|
|
|
char unit[2] = { 0, 0 };
|
|
|
|
for (int i = 0; i < sizeLeft && i < int(sizeof(unit)/sizeof(unit[0])); i++) unit[i] = tolower(clToken.input[clToken.pos+i]);
|
|
|
|
auto tokcmp = [sizeLeft, unit](const char* s, int len) -> int {
|
|
|
|
if (len > sizeLeft) return 0;
|
|
|
|
if (!strncmp(unit, s, len)) return len;
|
|
|
|
return 0;
|
|
|
|
};
|
|
|
|
int size = 0;
|
|
|
|
if ((size = tokcmp("\"", 1))) convertFrom = Unit::Inch;
|
|
|
|
else if ((size = tokcmp("in", 2))) convertFrom = Unit::Inch;
|
|
|
|
else if ((size = tokcmp("mi", 2))) convertFrom = Unit::Mil;
|
|
|
|
else if ((size = tokcmp("th", 2))) convertFrom = Unit::Mil;
|
|
|
|
else if ((size = tokcmp("mm", 2))) convertFrom = Unit::Metric;
|
|
|
|
clToken.pos += size;
|
|
|
|
|
|
|
|
if (size) {
|
|
|
|
while (clToken.pos < clToken.inputLen && isalnum(clToken.input[clToken.pos])) clToken.pos++;
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
2018-02-23 23:04:59 +00:00
|
|
|
|
|
|
|
return convertFrom;
|
2017-11-23 10:36:24 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
// Start processing of first/next token: Remove whitespace
|
|
|
|
char ch;
|
|
|
|
for (;;) {
|
|
|
|
ch = clToken.input[clToken.pos];
|
|
|
|
if (ch == ' ') {
|
|
|
|
clToken.pos++;
|
|
|
|
}
|
|
|
|
else break;
|
|
|
|
}
|
|
|
|
|
|
|
|
Unit convertFrom;
|
|
|
|
|
|
|
|
if (ch == 0) {
|
|
|
|
/* End of input */
|
|
|
|
}
|
2018-02-23 23:04:59 +00:00
|
|
|
else if (isdigit(ch) || isDecSep(ch)) { // VALUE
|
2017-11-23 10:36:24 +00:00
|
|
|
extractNumber();
|
|
|
|
retval.token = VALUE;
|
|
|
|
retval.value.dValue = atof(clToken.token);
|
|
|
|
}
|
|
|
|
else if ((convertFrom = checkUnit()) != Unit::Invalid) { // UNIT
|
|
|
|
/* Units are appended to a VALUE.
|
|
|
|
* Determine factor to default unit if unit for value is given.
|
|
|
|
* Example: Default is mm, unit is inch: factor is 25.4
|
|
|
|
* The factor is assigned to the terminal UNIT. The actual
|
|
|
|
* conversion is done within a parser action.
|
|
|
|
*/
|
|
|
|
retval.token = UNIT;
|
|
|
|
if (eClUnitDefault == Unit::Metric)
|
|
|
|
{
|
2018-02-23 23:04:59 +00:00
|
|
|
switch (convertFrom) {
|
|
|
|
case Unit::Inch : retval.value.dValue = 25.4; break;
|
|
|
|
case Unit::Mil : retval.value.dValue = 25.4/1000.0; break;
|
|
|
|
case Unit::Metric : retval.value.dValue = 1.0; break;
|
|
|
|
case Unit::Invalid : break;
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (eClUnitDefault == Unit::Inch)
|
|
|
|
{
|
2018-02-23 23:04:59 +00:00
|
|
|
switch (convertFrom) {
|
|
|
|
case Unit::Inch : retval.value.dValue = 1.0; break;
|
|
|
|
case Unit::Mil : retval.value.dValue = 1.0/1000.0; break;
|
|
|
|
case Unit::Metric : retval.value.dValue = 1.0/25.4; break;
|
|
|
|
case Unit::Invalid : break;
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (isalpha(ch)) { // VAR
|
|
|
|
const char* cptr = &clToken.input[clToken.pos];
|
|
|
|
cptr++;
|
|
|
|
while (isalnum(*cptr)) cptr++;
|
|
|
|
retval.token = VAR;
|
|
|
|
size_t bytesToCopy = cptr - &clToken.input[clToken.pos];
|
|
|
|
if (bytesToCopy >= sizeof(retval.value.text)) bytesToCopy = sizeof(retval.value.text)-1;
|
|
|
|
strncpy(retval.value.text, &clToken.input[clToken.pos], bytesToCopy);
|
|
|
|
retval.value.text[bytesToCopy] = 0;
|
|
|
|
clToken.pos += cptr - &clToken.input[clToken.pos];
|
|
|
|
}
|
|
|
|
else { // Single char tokens
|
|
|
|
switch (ch) {
|
|
|
|
case '+' : retval.token = PLUS; break;
|
|
|
|
case '-' : retval.token = MINUS; break;
|
|
|
|
case '*' : retval.token = MULT; break;
|
|
|
|
case '/' : retval.token = DIVIDE; break;
|
|
|
|
case '(' : retval.token = PARENL; break;
|
|
|
|
case ')' : retval.token = PARENR; break;
|
|
|
|
case '=' : retval.token = ASSIGN; break;
|
|
|
|
case ';' : retval.token = SEMCOL; break;
|
2018-03-21 16:08:54 +00:00
|
|
|
default: bClError = true; break; /* invalid character */
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
clToken.pos++;
|
|
|
|
}
|
|
|
|
|
|
|
|
return retval;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
NumericEvaluator :: setVar(const std::string& s, double value)
|
|
|
|
{
|
|
|
|
clVarMap[s] = value;
|
|
|
|
}
|
|
|
|
|
|
|
|
double
|
|
|
|
NumericEvaluator :: getVar(const std::string& s)
|
|
|
|
{
|
|
|
|
auto result = clVarMap.find(s);
|
|
|
|
if (result != clVarMap.end()) return result->second;
|
|
|
|
return 0.0;
|
|
|
|
}
|