2024-03-17 07:58:28 +00:00
|
|
|
|
#include "syntax_novel.h"
|
|
|
|
|
#include <tokens_novel.h>
|
2024-06-18 03:54:36 +00:00
|
|
|
|
#include "ast_novel.h"
|
2024-03-17 07:58:28 +00:00
|
|
|
|
|
|
|
|
|
using namespace lib_syntax;
|
|
|
|
|
using namespace example_novel;
|
|
|
|
|
using namespace lib_token;
|
|
|
|
|
using namespace ast_basic;
|
|
|
|
|
|
|
|
|
|
// token-avaliable ==========================================================================
|
|
|
|
|
auto leftb = std::make_shared<LeftBracket>(); // {
|
|
|
|
|
auto rightb = std::make_shared<RightBracket>(); // }
|
|
|
|
|
auto refers = std::make_shared<ReferMark>(); // @
|
2024-06-20 13:36:46 +00:00
|
|
|
|
auto declare = std::make_shared<DeclareSymbo>(); // #
|
2024-03-17 07:58:28 +00:00
|
|
|
|
|
2024-06-20 13:36:46 +00:00
|
|
|
|
auto rank_key = std::make_shared<Keywords>(u8"<EFBFBD><EFBFBD><EFBFBD><EFBFBD>", u8"rank-symbol", 0xAEu); // <20><><EFBFBD><EFBFBD>
|
2024-06-19 04:05:43 +00:00
|
|
|
|
auto story_key = std::make_shared<Keywords>(u8"<EFBFBD><EFBFBD><EFBFBD><EFBFBD>", u8"story-mark", 0xAAu); // <20><><EFBFBD><EFBFBD>
|
2024-03-17 07:58:28 +00:00
|
|
|
|
auto numbers = std::make_shared<Numbers>(); // [0-9]+
|
2024-06-19 04:05:43 +00:00
|
|
|
|
auto frag_key = std::make_shared<Keywords>(u8"<EFBFBD><EFBFBD><EFBFBD><EFBFBD>", u8"fragment-mark", 0xABu); // <20><><EFBFBD><EFBFBD>
|
|
|
|
|
auto volume_key = std::make_shared<Keywords>(u8"<EFBFBD>־<EFBFBD>", u8"volume-mark", 0xACu); // <20>־<EFBFBD>
|
|
|
|
|
auto article_key = std::make_shared<Keywords>(u8"<EFBFBD>½<EFBFBD>", u8"article-mark", 0xADu); // <20>½<EFBFBD>
|
2024-05-02 11:25:21 +00:00
|
|
|
|
auto split_mark = std::make_shared<Split>(); // &
|
2024-03-17 07:58:28 +00:00
|
|
|
|
auto vtext = std::make_shared<VTextSection>(); // ^([^\\{\\}\\n@&]+)
|
2024-05-02 11:25:21 +00:00
|
|
|
|
auto name_text = std::make_shared<NameSection>(); // ^([^:\\{\\}\\n@&][^\\{\\}\\n@&]*)
|
2024-03-17 07:58:28 +00:00
|
|
|
|
|
|
|
|
|
auto newl = std::make_shared<NewLine>();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// rule-parts ===============================================================================
|
|
|
|
|
// MatchRule
|
|
|
|
|
#define MR(x) std::make_shared<const TokenMatch>(x)
|
|
|
|
|
// Buffer
|
2024-05-02 11:11:03 +00:00
|
|
|
|
#define Rules QList<std::shared_ptr<const BaseRule>>
|
2024-03-17 07:58:28 +00:00
|
|
|
|
// Option
|
|
|
|
|
#define OptMulT(token) std::make_shared<const Rept>(MR(token), 0, INT_MAX)
|
|
|
|
|
#define OptMulR(rule) std::make_shared<const Rept>(rule, 0, INT_MAX)
|
|
|
|
|
// multi+
|
|
|
|
|
#define MultiR(rule) std::make_shared<const Rept>(rule, 1, INT_MAX)
|
|
|
|
|
|
2024-05-02 11:11:03 +00:00
|
|
|
|
|
|
|
|
|
QList<std::shared_ptr<const BaseRule>> LinesMerge(const QList<std::shared_ptr<const BaseRule>>& mbrs) {
|
2024-06-18 03:54:36 +00:00
|
|
|
|
QList<std::shared_ptr<const BaseRule>> values_ret;
|
|
|
|
|
for (auto& item : mbrs) {
|
|
|
|
|
values_ret << item << OptMulT(newl);
|
|
|
|
|
}
|
|
|
|
|
return values_ret;
|
2024-05-02 11:11:03 +00:00
|
|
|
|
}
|
|
|
|
|
QList<std::shared_ptr<const BaseRule>> LinesMerge(std::shared_ptr<const BaseRule> item) {
|
2024-06-18 03:54:36 +00:00
|
|
|
|
return QList<std::shared_ptr<const BaseRule>>() << item << OptMulT(newl);
|
2024-05-02 11:11:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
2024-03-17 07:58:28 +00:00
|
|
|
|
// remove-return
|
2024-07-12 04:53:43 +00:00
|
|
|
|
auto remove_nl = [](const ExprRule::TokenSeqs& p)->ExprRule::TokenSeqs {
|
|
|
|
|
ExprRule::TokenSeqs result;
|
2024-06-18 03:54:36 +00:00
|
|
|
|
for (auto& n : p) {
|
2024-06-19 04:05:43 +00:00
|
|
|
|
if (n->define()->typeMark() == newl->typeMark())
|
2024-06-18 03:54:36 +00:00
|
|
|
|
continue;
|
|
|
|
|
result.append(n);
|
|
|
|
|
}
|
|
|
|
|
return result;
|
2024-03-17 07:58:28 +00:00
|
|
|
|
};
|
|
|
|
|
|
2024-06-18 03:54:36 +00:00
|
|
|
|
auto decl_comp = std::make_shared<const Any>(Rules{ MR(numbers), MR(vtext), MR(name_text), MR(split_mark) });
|
|
|
|
|
auto decl_expr = ElementRule<TextSection>(u8"decl_section", (int)NovelExprs::DESC_SECTION).reloadRule(remove_nl,
|
|
|
|
|
std::make_shared<const Seqs>(LinesMerge(MultiR(decl_comp))
|
|
|
|
|
));
|
2024-05-02 11:11:03 +00:00
|
|
|
|
|
2024-06-18 03:54:36 +00:00
|
|
|
|
auto fragment_decl = ElementRule<FragmentDefine>(u8"fragment_define", (int)NovelExprs::FRAG_DEFINES).reloadRule(remove_nl, std::make_shared<const Seqs>(
|
|
|
|
|
LinesMerge(Rules{ MR(leftb), MR(frag_key), MR(name_text) }) <<
|
|
|
|
|
OptMulR(decl_expr) <<
|
|
|
|
|
LinesMerge(MR(rightb))
|
2024-05-02 11:11:03 +00:00
|
|
|
|
));
|
|
|
|
|
|
2024-06-18 03:54:36 +00:00
|
|
|
|
auto fragment_refer = ElementRule<FragmentRefers>(u8"fragment_refer", (int)NovelExprs::FRAG_REFERS).reloadRule(remove_nl, std::make_shared<const Seqs>(
|
|
|
|
|
LinesMerge(Rules{ MR(leftb), MR(refers), MR(frag_key), MR(name_text), MR(split_mark), MR(name_text) }) <<
|
|
|
|
|
OptMulR(decl_expr) <<
|
|
|
|
|
LinesMerge(MR(rightb))
|
2024-05-02 11:11:03 +00:00
|
|
|
|
));
|
|
|
|
|
|
2024-06-18 03:54:36 +00:00
|
|
|
|
auto fragment_comp = std::make_shared<const Any>(Rules{ fragment_decl, fragment_refer, decl_expr });
|
|
|
|
|
auto story_define = ElementRule<StoryDefine>(u8"story_define", (int)NovelExprs::STORY_DEFINES).reloadRule(remove_nl, std::make_shared<const Seqs>(
|
2024-06-20 14:13:06 +00:00
|
|
|
|
LinesMerge(Rules{ MR(leftb), MR(story_key), MR(name_text) }) <<
|
2024-06-18 03:54:36 +00:00
|
|
|
|
OptMulR(fragment_comp) <<
|
|
|
|
|
LinesMerge(MR(rightb))
|
2024-05-02 11:11:03 +00:00
|
|
|
|
));
|
2024-03-17 07:58:28 +00:00
|
|
|
|
// ===================================================================
|
2024-06-18 03:54:36 +00:00
|
|
|
|
auto article_decl = ElementRule<ArticleDefine>(u8"article_define", (int)NovelExprs::ARTICLE_DEFINE).reloadRule(remove_nl, std::make_shared<const Seqs>(
|
|
|
|
|
LinesMerge(Rules{ MR(leftb), MR(article_key), MR(name_text) }) <<
|
|
|
|
|
OptMulR(std::make_shared<const Any>(Rules{ fragment_refer, decl_expr })) <<
|
|
|
|
|
LinesMerge(MR(rightb))
|
2024-05-02 11:11:03 +00:00
|
|
|
|
));
|
|
|
|
|
|
2024-06-18 03:54:36 +00:00
|
|
|
|
auto volume_decl = ElementRule<VolumeDefine>(u8"volume_define", (int)NovelExprs::VOLUME_DEFINE).reloadRule(remove_nl, std::make_shared<const Seqs>(
|
|
|
|
|
LinesMerge(Rules{ MR(leftb), MR(volume_key), MR(name_text) }) <<
|
|
|
|
|
OptMulR(std::make_shared<const Any>(Rules{ decl_expr, article_decl })) <<
|
|
|
|
|
LinesMerge(MR(rightb))
|
2024-05-02 11:11:03 +00:00
|
|
|
|
));
|
|
|
|
|
|
2024-06-20 13:36:46 +00:00
|
|
|
|
auto rank_define = ElementRule<RankDeclare>(u8"rank_define", (int)NovelNode::RankDeclaration).reloadRule(remove_nl, std::make_shared<const Seqs>(
|
|
|
|
|
Rules{ MR(declare), MR(rank_key), MR(numbers), OptMulT(newl)}
|
|
|
|
|
));
|
|
|
|
|
|
2024-06-18 03:54:36 +00:00
|
|
|
|
auto document_define = ElementRule<Document>(u8"decls-doc", (int)NovelExprs::DOC_DEFINES).reloadRule(remove_nl, std::make_shared<const Seqs>(
|
|
|
|
|
Rules{
|
2024-06-20 13:36:46 +00:00
|
|
|
|
std::make_shared<const Rept>(rank_define, 0, 1),
|
2024-06-18 03:54:36 +00:00
|
|
|
|
MultiR(std::make_shared<const Any>(Rules{story_define, volume_decl}))
|
|
|
|
|
}
|
2024-05-02 11:11:03 +00:00
|
|
|
|
));
|
2024-03-17 07:58:28 +00:00
|
|
|
|
|
2024-07-12 04:53:43 +00:00
|
|
|
|
std::shared_ptr<const ExprRule> NovalSyntax::getParseTree() { return document_define; }
|
2024-06-20 13:36:46 +00:00
|
|
|
|
std::shared_ptr<const ast_gen::SyntaxElement> NovalSyntax::tidy(std::shared_ptr<ast_gen::SyntaxElement> root, QList<std::shared_ptr<ast_gen::SyntaxElement>> children)
|
2024-06-18 03:54:36 +00:00
|
|
|
|
{
|
2024-06-18 04:44:18 +00:00
|
|
|
|
cache_load(root, children);
|
|
|
|
|
node_register(root, children);
|
|
|
|
|
return root;
|
|
|
|
|
}
|
2024-06-20 13:36:46 +00:00
|
|
|
|
void NovalSyntax::cache_load(std::shared_ptr<ast_gen::SyntaxElement> root, QList<std::shared_ptr<ast_gen::SyntaxElement>> children)
|
2024-06-18 04:44:18 +00:00
|
|
|
|
{
|
2024-06-18 17:09:45 +00:00
|
|
|
|
root->cacheLoad();
|
2024-06-18 03:54:36 +00:00
|
|
|
|
for (auto& cinst : children) {
|
|
|
|
|
cinst->setParent(root);
|
|
|
|
|
|
|
|
|
|
QList<std::shared_ptr<ast_gen::SyntaxElement>> child_items;
|
|
|
|
|
for (auto& it : cinst->bindExpression()->children()) {
|
|
|
|
|
auto const_it = std::dynamic_pointer_cast<const ast_gen::SyntaxElement>(it);
|
|
|
|
|
child_items.append(std::const_pointer_cast<ast_gen::SyntaxElement>(const_it));
|
|
|
|
|
}
|
|
|
|
|
|
2024-06-18 04:44:18 +00:00
|
|
|
|
cache_load(cinst, child_items);
|
2024-06-18 03:54:36 +00:00
|
|
|
|
}
|
2024-06-18 04:44:18 +00:00
|
|
|
|
}
|
2024-06-20 13:36:46 +00:00
|
|
|
|
void NovalSyntax::node_register(std::shared_ptr<const ast_gen::SyntaxElement> root, QList<std::shared_ptr<ast_gen::SyntaxElement>> children)
|
2024-06-18 04:44:18 +00:00
|
|
|
|
{
|
|
|
|
|
for (auto& child : children) {
|
2024-06-20 13:36:46 +00:00
|
|
|
|
if (!child->isAnonymous()) {
|
|
|
|
|
auto check_result = ast_gen::GlobalElement::UniquePtr->appendToCache(child);
|
|
|
|
|
if(check_result)
|
2024-06-20 14:13:06 +00:00
|
|
|
|
throw new lib_syntax::SyntaxException(QString(u8"SyntaxError[0x0004]ϵͳ<CFB5>а<EFBFBD><D0B0><EFBFBD>ͬ<EFBFBD><CDAC><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>ڵ㣺%1<type<70><65>%2>(%3,%4)")
|
2024-06-20 13:36:46 +00:00
|
|
|
|
.arg(child->signature()).arg(child->typeMark()).arg(child->path()).arg(check_result->path()));
|
|
|
|
|
}
|
2024-06-18 03:54:36 +00:00
|
|
|
|
|
2024-06-18 04:44:18 +00:00
|
|
|
|
QList<std::shared_ptr<ast_gen::SyntaxElement>> next_child_items;
|
|
|
|
|
for (auto& it : child->bindExpression()->children()) {
|
|
|
|
|
auto const_it = std::dynamic_pointer_cast<const ast_gen::SyntaxElement>(it);
|
|
|
|
|
next_child_items.append(std::const_pointer_cast<ast_gen::SyntaxElement>(const_it));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
node_register(child, next_child_items);
|
|
|
|
|
}
|
2024-06-20 13:36:46 +00:00
|
|
|
|
}
|