aboutsummaryrefslogtreecommitdiff
path: root/include/openvic-dataloader/ParseState.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'include/openvic-dataloader/ParseState.hpp')
-rw-r--r--include/openvic-dataloader/ParseState.hpp120
1 files changed, 0 insertions, 120 deletions
diff --git a/include/openvic-dataloader/ParseState.hpp b/include/openvic-dataloader/ParseState.hpp
deleted file mode 100644
index 5655606..0000000
--- a/include/openvic-dataloader/ParseState.hpp
+++ /dev/null
@@ -1,120 +0,0 @@
-#pragma once
-
-#include <concepts>
-
-#include <openvic-dataloader/AbstractSyntaxTree.hpp>
-#include <openvic-dataloader/DiagnosticLogger.hpp>
-
-#include <dryad/tree.hpp>
-
-namespace ovdl {
- template<typename T>
- concept IsParseState = requires(
- T t,
- const T ct,
- typename T::ast_type::file_type&& file,
- lexy::buffer<typename T::ast_type::file_type::encoding_type>&& buffer,
- const char* path //
- ) {
- requires IsAst<typename T::ast_type>;
- requires std::derived_from<typename T::diagnostic_logger_type, DiagnosticLogger>;
- { T { std::move(file) } } -> std::same_as<T>;
- { T { std::move(buffer) } } -> std::same_as<T>;
- { T { path, std::move(buffer) } } -> std::same_as<T>;
- { t.ast() } -> std::same_as<typename T::ast_type&>;
- { ct.ast() } -> std::same_as<const typename T::ast_type&>;
- { t.logger() } -> std::same_as<typename T::diagnostic_logger_type&>;
- { ct.logger() } -> std::same_as<const typename T::diagnostic_logger_type&>;
- };
-
- template<IsAst AstT>
- struct ParseState {
- using ast_type = AstT;
- using diagnostic_logger_type = BasicDiagnosticLogger<typename ast_type::file_type>;
-
- ParseState(typename ast_type::file_type&& file)
- : _ast { std::move(file) },
- _logger { _ast.file() } {}
-
- ParseState(lexy::buffer<typename ast_type::file_type::encoding_type>&& buffer)
- : ParseState(typename ast_type::file_type { std::move(buffer) }) {}
-
- ParseState(const char* path, lexy::buffer<typename ast_type::file_type::encoding_type>&& buffer)
- : ParseState(typename ast_type::file_type { path, std::move(buffer) }) {}
-
- ast_type& ast() {
- return _ast;
- }
-
- const ast_type& ast() const {
- return _ast;
- }
-
- diagnostic_logger_type& logger() {
- return _logger;
- }
-
- const diagnostic_logger_type& logger() const {
- return _logger;
- }
-
- private:
- ast_type _ast;
- diagnostic_logger_type _logger;
- };
-
- template<typename T>
- concept IsFileParseState = requires(
- T t,
- const T ct,
- typename T::file_type&& file,
- lexy::buffer<typename T::file_type::encoding_type>&& buffer,
- const char* path //
- ) {
- requires IsFile<typename T::file_type>;
- requires std::derived_from<typename T::diagnostic_logger_type, DiagnosticLogger>;
- { T { std::move(file) } } -> std::same_as<T>;
- { T { std::move(buffer) } } -> std::same_as<T>;
- { T { path, std::move(buffer) } } -> std::same_as<T>;
- { t.file() } -> std::same_as<typename T::file_type&>;
- { ct.file() } -> std::same_as<const typename T::file_type&>;
- { t.logger() } -> std::same_as<typename T::diagnostic_logger_type&>;
- { ct.logger() } -> std::same_as<const typename T::diagnostic_logger_type&>;
- };
-
- template<IsFile FileT>
- struct FileParseState {
- using file_type = FileT;
- using diagnostic_logger_type = BasicDiagnosticLogger<file_type>;
-
- FileParseState(file_type&& file)
- : _file { std::move(file) },
- _logger { file } {}
-
- FileParseState(lexy::buffer<typename file_type::encoding_type>&& buffer)
- : FileParseState(file_type { std::move(buffer) }) {}
-
- FileParseState(const char* path, lexy::buffer<typename file_type::encoding_type>&& buffer)
- : FileParseState(file_type { path, std::move(buffer) }) {}
-
- file_type& file() {
- return _file;
- }
-
- const file_type& file() const {
- return _file;
- }
-
- diagnostic_logger_type& logger() {
- return _logger;
- }
-
- const diagnostic_logger_type& logger() const {
- return _logger;
- }
-
- private:
- file_type _file;
- diagnostic_logger_type _logger;
- };
-} \ No newline at end of file