2021-09-08 15:18:24 +02:00
|
|
|
#include <hex/pattern_language/evaluator.hpp>
|
2021-09-21 21:29:18 +02:00
|
|
|
#include <hex/pattern_language/ast_node.hpp>
|
2020-11-19 11:36:52 +01:00
|
|
|
|
2021-09-08 15:18:24 +02:00
|
|
|
namespace hex::pl {
|
2020-12-06 21:40:57 +01:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
void Evaluator::createVariable(const std::string &name, ASTNode *type) {
|
|
|
|
auto &variables = *this->getScope(0).scope;
|
|
|
|
for (auto &variable : variables) {
|
|
|
|
if (variable->getVariableName() == name) {
|
|
|
|
LogConsole::abortEvaluation(hex::format("variable with name '{}' already exists", name));
|
2021-04-21 10:17:42 +02:00
|
|
|
}
|
2021-01-05 14:42:08 +01:00
|
|
|
}
|
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
auto pattern = type->createPatterns(this).front();
|
2021-01-05 14:42:08 +01:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
pattern->setVariableName(name);
|
|
|
|
pattern->setOffset(this->getStack().size());
|
|
|
|
pattern->setLocal(true);
|
2021-01-09 21:47:11 +01:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
this->getStack().emplace_back();
|
|
|
|
variables.push_back(pattern);
|
2021-01-07 01:19:54 +01:00
|
|
|
}
|
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
void Evaluator::setVariable(const std::string &name, const Token::Literal& value) {
|
|
|
|
PatternData *pattern = nullptr;
|
2021-01-07 01:19:54 +01:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
auto &variables = *this->getScope(0).scope;
|
|
|
|
for (auto &variable : variables) {
|
|
|
|
if (variable->getVariableName() == name) {
|
|
|
|
pattern = variable;
|
|
|
|
break;
|
2021-01-07 01:19:54 +01:00
|
|
|
}
|
2021-06-20 21:22:31 +02:00
|
|
|
}
|
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
if (pattern == nullptr)
|
|
|
|
LogConsole::abortEvaluation(hex::format("no variable with name '{}' found", name));
|
2021-06-20 21:22:31 +02:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
Token::Literal castedLiteral = std::visit(overloaded {
|
|
|
|
[&](double &value) -> Token::Literal {
|
|
|
|
if (dynamic_cast<PatternDataUnsigned*>(pattern))
|
|
|
|
return u128(value);
|
|
|
|
else if (dynamic_cast<PatternDataSigned*>(pattern))
|
|
|
|
return s128(value);
|
|
|
|
else if (dynamic_cast<PatternDataFloat*>(pattern))
|
|
|
|
return value;
|
2021-06-20 23:46:13 +02:00
|
|
|
else
|
2021-09-21 21:29:18 +02:00
|
|
|
LogConsole::abortEvaluation(hex::format("cannot cast type 'double' to type '{}'", pattern->getTypeName()));
|
|
|
|
},
|
|
|
|
[&](const std::string &value) -> Token::Literal {
|
|
|
|
if (dynamic_cast<PatternDataString*>(pattern))
|
|
|
|
return value;
|
|
|
|
else
|
|
|
|
LogConsole::abortEvaluation(hex::format("cannot cast type 'string' to type '{}'", pattern->getTypeName()));
|
|
|
|
},
|
|
|
|
[&](PatternData * const &value) -> Token::Literal {
|
|
|
|
if (value->getTypeName() == pattern->getTypeName())
|
|
|
|
return value;
|
|
|
|
else
|
|
|
|
LogConsole::abortEvaluation(hex::format("cannot cast type '{}' to type '{}'", value->getTypeName(), pattern->getTypeName()));
|
|
|
|
},
|
|
|
|
[&](auto &&value) -> Token::Literal {
|
|
|
|
if (dynamic_cast<PatternDataUnsigned*>(pattern))
|
|
|
|
return u128(value);
|
|
|
|
else if (dynamic_cast<PatternDataSigned*>(pattern))
|
|
|
|
return s128(value);
|
|
|
|
else if (dynamic_cast<PatternDataCharacter*>(pattern))
|
|
|
|
return char(value);
|
|
|
|
else if (dynamic_cast<PatternDataBoolean*>(pattern))
|
|
|
|
return bool(value);
|
|
|
|
else if (dynamic_cast<PatternDataFloat*>(pattern))
|
|
|
|
return double(value);
|
|
|
|
else
|
|
|
|
LogConsole::abortEvaluation(hex::format("cannot cast type 'string' to type '{}'", pattern->getTypeName()));
|
2021-06-21 00:21:38 +02:00
|
|
|
}
|
2021-09-21 21:29:18 +02:00
|
|
|
}, value);
|
2021-06-21 00:21:38 +02:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
this->getStack().back() = castedLiteral;
|
2021-06-20 23:46:13 +02:00
|
|
|
}
|
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
std::optional<std::vector<PatternData*>> Evaluator::evaluate(const std::vector<ASTNode*> &ast) {
|
|
|
|
this->m_stack.clear();
|
|
|
|
this->m_customFunctions.clear();
|
|
|
|
this->m_scopes.clear();
|
2021-01-21 17:49:30 +01:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
for (auto &func : this->m_customFunctionDefinitions)
|
|
|
|
delete func;
|
|
|
|
this->m_customFunctionDefinitions.clear();
|
2021-01-21 17:49:30 +01:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
std::vector<PatternData*> patterns;
|
2021-01-23 14:00:09 +01:00
|
|
|
|
Pattern Language rewrite (#111)
* Initial parser rewrite effort
Lexer and Token cleanup, Parser started over
* Greatly improved parser syntax
* Reimplemented using declarations and variable placement parsing
* Added back unions and structs
* Added enums as well as mathematical expressions (+, -, *, /, <<, >>, &, |, ^)
* Code style improvement
* Implemented arrays and fixed memory issues
* Fixed more memory issues in parser, reimplemented validator, evaluator and patterns
* Fixed builtin types, arrays and reimplemented strings
* Improved error messages
* Made character a distinct type, used for chars and strings
* Implemented padding, fixed arrays
* Added bitfields
* Added rvalue parsing, no evaluating yet
* Added .idea folder to gitignore
* Fixed build on MacOS
* Added custom implementation of integral concept if not available
* Rebased onto master
* Fixed array variable decl crash
* Added rvalues and dot syntax
* Lower case all pattern language error messages
* Fixed typo in variable name
* Fixed bug where preprocessor would not ignore commented out directives
* Reimplemented pointers
* Fixed rebase issues
2021-01-02 20:27:11 +01:00
|
|
|
try {
|
2021-09-21 21:29:18 +02:00
|
|
|
pushScope(nullptr, patterns);
|
|
|
|
for (auto node : ast) {
|
|
|
|
if (dynamic_cast<ASTNodeTypeDecl*>(node)) {
|
|
|
|
;// Don't create patterns from type declarations
|
|
|
|
} else if (dynamic_cast<ASTNodeFunctionCall*>(node)) {
|
|
|
|
delete node->evaluate(this);
|
|
|
|
} else if (dynamic_cast<ASTNodeFunctionDefinition*>(node)) {
|
|
|
|
this->m_customFunctionDefinitions.push_back(node->evaluate(this));
|
|
|
|
} else {
|
|
|
|
auto newPatterns = node->createPatterns(this);
|
|
|
|
patterns.insert(patterns.end(), newPatterns.begin(), newPatterns.end());
|
2021-04-13 20:40:21 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|
2021-09-21 21:29:18 +02:00
|
|
|
popScope();
|
|
|
|
} catch (const LogConsole::EvaluateError &error) {
|
|
|
|
this->m_console.log(LogConsole::Level::Error, error.second);
|
2021-04-13 20:40:21 +02:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
if (error.first != 0)
|
|
|
|
this->m_console.setHardError(error);
|
2020-11-19 11:36:52 +01:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
for (auto &pattern : patterns)
|
|
|
|
delete pattern;
|
|
|
|
patterns.clear();
|
2021-01-08 15:03:53 +01:00
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
return std::nullopt;
|
2020-11-19 11:36:52 +01:00
|
|
|
}
|
|
|
|
|
2021-09-21 21:29:18 +02:00
|
|
|
return patterns;
|
2020-11-19 11:36:52 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|