mirror of
https://codeberg.org/ProgramSnail/lang.git
synced 2025-12-05 22:48:43 +00:00
base of builders modernization: functions -> tasks
This commit is contained in:
parent
d28050ed23
commit
49d9a95fd9
2 changed files with 53 additions and 3 deletions
46
lang/builders/include/builders_utils.hpp
Normal file
46
lang/builders/include/builders_utils.hpp
Normal file
|
|
@ -0,0 +1,46 @@
|
||||||
|
#pragma once
|
||||||
|
|
||||||
|
#include "executor.hpp"
|
||||||
|
#include "name_tree.hpp"
|
||||||
|
#include "nodes_storage.hpp"
|
||||||
|
|
||||||
|
namespace builders {
|
||||||
|
|
||||||
|
using Code = parser::ParseTree;
|
||||||
|
using Exprs = nodes::ExpressionStorage;
|
||||||
|
using Types = nodes::TypeStorage;
|
||||||
|
using Names = names::NameTree;
|
||||||
|
|
||||||
|
using Executor = utils::Executor<Exprs, Types, Names>;
|
||||||
|
|
||||||
|
using Node = nodes::Node_<nodes::NodePart<utils::Pos>>; // TODO
|
||||||
|
|
||||||
|
template <typename N>
|
||||||
|
using Task = utils::Task<Executor, N, utils::None, parser::ParseTree::Node>;
|
||||||
|
|
||||||
|
template <typename N> struct BuilderTask {
|
||||||
|
static_assert(false);
|
||||||
|
};
|
||||||
|
|
||||||
|
template <typename N> struct BuilderTaskBase : public Task<N> {
|
||||||
|
using Task<N>::Task;
|
||||||
|
|
||||||
|
template <typename OtherN>
|
||||||
|
OtherN Run(const parser::ParseTree::Node &node,
|
||||||
|
const utils::None &args = {}) {
|
||||||
|
BuilderTask<OtherN> task(this->executor);
|
||||||
|
return task(node, args);
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
// TODO
|
||||||
|
// template <>
|
||||||
|
// struct BuilderTask<nodes::ExpressionProxy>
|
||||||
|
// : public BuilderTaskBase<nodes::ExpressionProxy> {
|
||||||
|
// using BuilderTaskBase<nodes::ExpressionProxy>::BuilderTaskBase;
|
||||||
|
|
||||||
|
// nodes::ExpressionProxy operator()(const parser::ParseTree::Node &expr,
|
||||||
|
// const utils::None &args) override;
|
||||||
|
// };
|
||||||
|
|
||||||
|
} // namespace builders
|
||||||
|
|
@ -4,6 +4,8 @@
|
||||||
|
|
||||||
namespace utils {
|
namespace utils {
|
||||||
|
|
||||||
|
struct None {};
|
||||||
|
|
||||||
template <typename Exec, typename Ret, typename Args, typename Node> class Task;
|
template <typename Exec, typename Ret, typename Args, typename Node> class Task;
|
||||||
|
|
||||||
template <typename State> class ExecutorState {
|
template <typename State> class ExecutorState {
|
||||||
|
|
@ -39,7 +41,8 @@ private:
|
||||||
Log log_;
|
Log log_;
|
||||||
};
|
};
|
||||||
|
|
||||||
template <typename Exec, typename Ret, typename Args, typename Node> class Task {
|
template <typename Exec, typename Ret, typename Args, typename Node>
|
||||||
|
class Task {
|
||||||
public:
|
public:
|
||||||
Task(Exec &executor) : executor(executor) {}
|
Task(Exec &executor) : executor(executor) {}
|
||||||
|
|
||||||
|
|
@ -47,14 +50,15 @@ public:
|
||||||
|
|
||||||
//
|
//
|
||||||
|
|
||||||
// template <typename N, typename NArgs> Ret Run(const N& node, NArgs&& args) {
|
// template <typename N, typename NArgs> Ret Run(const N& node, NArgs&& args)
|
||||||
|
// {
|
||||||
// Task<Exec, Ret, NArgs, N> task(executor);
|
// Task<Exec, Ret, NArgs, N> task(executor);
|
||||||
// return task(node, std::forward<Args>(args));
|
// return task(node, std::forward<Args>(args));
|
||||||
// }
|
// }
|
||||||
|
|
||||||
//
|
//
|
||||||
|
|
||||||
virtual Ret operator()(const Node& node, const Args& args) = 0;
|
virtual Ret operator()(const Node &node, const Args &args = {}) = 0;
|
||||||
|
|
||||||
//
|
//
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue