整理语法规则定义

This commit is contained in:
codeboss 2024-05-02 19:11:03 +08:00
parent 5256bb0e49
commit 868703fce5
1 changed files with 49 additions and 38 deletions

View File

@ -29,13 +29,25 @@ auto newl = std::make_shared<NewLine>();
// MatchRule
#define MR(x) std::make_shared<const TokenMatch>(x)
// Buffer
#define Buff QList<std::shared_ptr<const BaseRule>>()
#define Rules QList<std::shared_ptr<const BaseRule>>
// 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)
QList<std::shared_ptr<const BaseRule>> LinesMerge(const QList<std::shared_ptr<const BaseRule>>& mbrs) {
QList<std::shared_ptr<const BaseRule>> values_ret;
for (auto& item : mbrs) {
values_ret << item << OptMulT(newl);
}
return values_ret;
}
QList<std::shared_ptr<const BaseRule>> LinesMerge(std::shared_ptr<const BaseRule> item) {
return QList<std::shared_ptr<const BaseRule>>() << item << OptMulT(newl);
}
// remove-return
auto remove_nl = [](const ExprRule::TokenSeqs& p)->ExprRule::TokenSeqs {
ExprRule::TokenSeqs result;
@ -50,51 +62,50 @@ auto remove_nl = [](const ExprRule::TokenSeqs& p)->ExprRule::TokenSeqs {
return result;
};
auto decl_comp = std::make_shared<const Any>(Buff << MR(numbers) << MR(vtext) << MR(ntext) << MR(split));
auto decl_expr = ExprRule(u8"decl_section", (int)NovelExprs::DESC_SECTION)
.reloadRule(remove_nl, std::make_shared<const Seqs>(Buff << MultiR(decl_comp) << OptMulT(newl)));
auto decl_comp = std::make_shared<const Any>(Rules{MR(numbers), MR(vtext), MR(ntext), MR(split)});
auto decl_expr = ExprRule(u8"decl_section", (int)NovelExprs::DESC_SECTION).reloadRule(remove_nl,
std::make_shared<const Seqs>(LinesMerge(MultiR(decl_comp))
));
auto fragment_decl = ExprRule(u8"fragment_define", (int)NovelExprs::FRAG_DEFINES)
.reloadRule(remove_nl, std::make_shared<const Seqs>(Buff
<< MR(leftb) << OptMulT(newl) << MR(frags) << OptMulT(newl) << MR(ntext) << OptMulT(newl)
<< OptMulR(decl_expr) << MR(rightb) << OptMulT(newl)));
auto fragment_decl = ExprRule(u8"fragment_define", (int)NovelExprs::FRAG_DEFINES).reloadRule(remove_nl, std::make_shared<const Seqs>(
LinesMerge(Rules{MR(leftb), MR(frags), MR(ntext)}) <<
OptMulR(decl_expr) <<
LinesMerge(MR(rightb))
));
auto fragment_refer = ExprRule(u8"fragment_refer", (int)NovelExprs::FRAG_REFERS)
.reloadRule(remove_nl, std::make_shared<const Seqs>(Buff
<< MR(leftb) << OptMulT(newl) << MR(refers) << OptMulT(newl) << MR(frags) << OptMulT(newl)
<< MR(ntext) << OptMulT(newl) << MR(split) << OptMulT(newl) << MR(ntext) << OptMulT(newl)
<< OptMulR(decl_expr) << MR(rightb) << OptMulT(newl)));
auto fragment_refer = ExprRule(u8"fragment_refer", (int)NovelExprs::FRAG_REFERS).reloadRule(remove_nl, std::make_shared<const Seqs>(
LinesMerge(Rules{MR(leftb), MR(refers), MR(frags), MR(ntext), MR(split), MR(ntext)}) <<
OptMulR(decl_expr) <<
LinesMerge(MR(rightb))
));
auto fragment_comp = std::make_shared<const Any>(Buff << fragment_decl << fragment_refer << decl_expr);
auto story_define =
ExprRule(u8"story_define", (int)NovelExprs::STORY_DEFINES)
.reloadRule(remove_nl, std::make_shared<const Seqs>(Buff << OptMulT(newl)
<< MR(leftb) << OptMulT(newl) << MR(story) << OptMulT(newl) << MR(numbers) << OptMulT(newl) << MR(ntext) << OptMulT(newl)
<< OptMulR(fragment_comp) << MR(rightb) << OptMulT(newl)));
auto fragment_comp = std::make_shared<const Any>(Rules{fragment_decl, fragment_refer, decl_expr});
auto story_define = ExprRule(u8"story_define", (int)NovelExprs::STORY_DEFINES).reloadRule(remove_nl, std::make_shared<const Seqs>(
LinesMerge(Rules{ MR(leftb), MR(story), MR(numbers), MR(ntext)}) <<
OptMulR(fragment_comp) <<
LinesMerge(MR(rightb))
));
// ===================================================================
auto article_decl =
ExprRule(u8"article_define", (int)NovelExprs::ARTICLE_DEFINE)
.reloadRule(remove_nl, std::make_shared<const Seqs>(
Buff << MR(leftb) << OptMulT(newl) << MR(article) << OptMulT(newl) << MR(ntext) << OptMulT(newl)
<< OptMulR(std::make_shared<const Any>(Buff << fragment_refer << decl_expr))
<< MR(rightb) << OptMulT(newl)));
auto article_decl = ExprRule(u8"article_define", (int)NovelExprs::ARTICLE_DEFINE).reloadRule(remove_nl, std::make_shared<const Seqs>(
LinesMerge(Rules{ MR(leftb), MR(article), MR(ntext)}) <<
OptMulR(std::make_shared<const Any>(Rules{ fragment_refer, decl_expr })) <<
LinesMerge(MR(rightb))
));
auto volume_decl =
ExprRule(u8"volume_define", (int)NovelExprs::VOLUME_DEFINE)
.reloadRule(remove_nl,
std::make_shared<const Seqs>(Buff << OptMulT(newl)
<< MR(leftb) << OptMulT(newl) << MR(volume) << OptMulT(newl) << MR(ntext) << OptMulT(newl)
<< OptMulR(std::make_shared<const Any>(Buff << decl_expr << article_decl))
<< MR(rightb) << OptMulT(newl)));
auto volume_decl = ExprRule(u8"volume_define", (int)NovelExprs::VOLUME_DEFINE).reloadRule(remove_nl, std::make_shared<const Seqs>(
LinesMerge(Rules{ MR(leftb), MR(volume), MR(ntext)}) <<
OptMulR(std::make_shared<const Any>(Rules{ decl_expr, article_decl })) <<
LinesMerge(MR(rightb))
));
auto document_define =
ExprRule(u8"decls-doc", (int)NovelExprs::DOC_DEFINES)
.reloadRule(remove_nl, std::make_shared<const Rept>(std::make_shared<const Any>(Buff << story_define << volume_decl), 1, INT_MAX));
auto document_define = ExprRule(u8"decls-doc", (int)NovelExprs::DOC_DEFINES).reloadRule(remove_nl, std::make_shared<const Seqs>(
Rules{
OptMulT(newl),
MultiR(std::make_shared<const Any>(Rules{story_define, volume_decl}))
}
));
std::shared_ptr<const ExprRule> NovalSyntax::getParseTree() { return document_define; }
std::shared_ptr<const TokenReader> NovalSyntax::getLexReader()
{
auto inst = std::make_shared<lib_token::TokenReader>(QList<std::shared_ptr<const lib_token::TokenDefine>>()