2020-11-16 22:54:39 +01:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include <hex.hpp>
|
|
|
|
|
2022-02-27 23:25:39 +01:00
|
|
|
#include <memory>
|
2022-01-31 14:37:12 +01:00
|
|
|
#include <optional>
|
2020-11-16 22:54:39 +01:00
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
|
|
|
|
2022-01-31 14:37:12 +01:00
|
|
|
#include <hex/pattern_language/error.hpp>
|
|
|
|
|
2021-09-08 15:18:24 +02:00
|
|
|
namespace hex::pl {
|
|
|
|
|
|
|
|
class ASTNode;
|
2020-11-16 22:54:39 +01:00
|
|
|
|
|
|
|
class Validator {
|
|
|
|
public:
|
2022-01-31 14:37:12 +01:00
|
|
|
Validator() = default;
|
2020-11-16 22:54:39 +01:00
|
|
|
|
2022-02-27 23:25:39 +01:00
|
|
|
bool validate(const std::vector<std::shared_ptr<ASTNode>> &ast);
|
2020-11-27 21:20:23 +01:00
|
|
|
|
2022-01-31 14:37:12 +01:00
|
|
|
const std::optional<PatternLanguageError> &getError() { return this->m_error; }
|
2020-11-27 21:20:23 +01:00
|
|
|
|
|
|
|
private:
|
2022-01-31 14:37:12 +01:00
|
|
|
std::optional<PatternLanguageError> m_error;
|
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
|
|
|
|
2022-01-31 14:37:12 +01:00
|
|
|
[[noreturn]] static void throwValidatorError(const std::string &error, u32 lineNumber) {
|
|
|
|
throw PatternLanguageError(lineNumber, "Validator: " + error);
|
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
|
|
|
}
|
2020-11-16 22:54:39 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|